Model Based Test Case Generation From Natural Language Requirements And Inconsistency, Incompleteness Detection in Natural Language Using Model-Checking Approach
Journal Title: International Journal of Advanced Research in Computer Engineering & Technology(IJARCET) - Year 2013, Vol 2, Issue 4
Abstract
Natural language (NL) is any language that arises in an unpremeditated fashion as the result of the innate facility for language possessed by the human intellect. A natural language is typically used for communication, and may be spoken, signed/written. Natural language (NL) is still widely used for developing software requirements specifications or other artifacts created for documenting requirements. However, natural language deliverables suffer from ambiguity, inconsistency and incompleteness. This work presents a methodology that produces model based test cases considering natural language requirements. Natural language requirements are converted in to state chart models and test cases are generated from state chart models. Inconsistency is a major problem that permeates all aspects of software development. Inconsistency occurs when a specification contains conflicting, contradictory description of the expected behavior of the system to be built or of its domain Incompleteness contributes to one of the very serious problems that are present in software specifications. Existence of defects such as incompleteness certainly generates a source code that doesn’t meet the undisclosed goals of the customers resulting in the generation of incoherent system and acceptance test cases. This paper proposes a methodology for dealing with defects such as incompleteness and inconsistency in natural language requirements deliverables. Model checking combined with k-permutations of n values of variables and specification patterns were used to detect incompleteness in software specifications. A method using both theorem-proving and model-checking techniques were used for automatically discovering inconsistencies in the requirements. Index Terms—Inconsistency, Incompleteness, Model based testing, Model-checking, Natural language.
Authors and Affiliations
NEETHU GEORGE , J. SELVAKUMAR
Keywords
Related Articles
- EP ID EP162014
- DOI -
- Views 75
- Downloads 0
Estimation of Solar Cell Model Parameter by Hybrid Genetic Algorithm Using MATLAB
In the present work, an efficient and accurate approach for the estimation of the solar cell parameters using hybrid genetic algorithm from the given voltage-Current data is proposed. Exact estimation of solar ce...
Traffic Estimation in Mobile Ad Hoc Network Using Probe Packets
This paper presents a new method for estimating of traffic in mobile ad hoc by using probe packets. Probing based approaches involves sending test transactions over the network to monitor the path and performance o...
GRID COMPUTING – AN ALTERNATIVE TO HPC
Grid Computing delivers on the potential in the growth and abundance of network connected systems and bandwidth: computation, collaboration and communication over the Advanced Web. At the heart of Grid Computing...
A Novel Low Power Gray To Binary Code Converter Using Gate Diffusion Input(GDI)
In modern era, Ultra low power design has an Active research topic due to its various Applications. In this paper we introduce a novel low power and Area efficient Gray to Binary code converter is implemented b...
ESW-FI: An Improved Analysis of Frequent Itemsets Mining
Frequent itemsets mining play an essential role in many datamining tasks. The frequent itemset mining over data streams is to find an approximate set of frequent itemsets in transaction with respect to a given supp...