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 49
- Downloads 0
Improved Focused Crawler Using Inverted WAH Bitmap Index
Focused Crawlers are software which can traverse the internet and retrieve web pages by hyperlinks according to specific topic. The traditional web crawlers cannot function well to retrieve the relevant pages effec...
Improving Performance of Wireless Mesh Network using Channel Allocation Schemes
One of the major advantages of wireless communication over wired is the flexibility when creating links between nodes. But this comes at a price as influences from outside the mesh network can distort communication be...
COEXISTENCE MODEL OF ZIGBEE& IEEE 802.11b (WLAN) IN UBIQUITOUS NETWORK ENVIRONMENT
IEEE 802.15.4 standard is used for low rate, short distance wireless communication. However due to its low power it is greatly affected by interference provided by other wireless technology working on same ISM( ind...
GEOEYE
The Geoeye web services provide a new efficient solution to assemble the GIS functions into a variety of applications. This paper presents the system architecture design for web service based GIS. The GIS web servi...
Recognition and Classification of Broken Characters using Feed Forward Neural Network to Enhance an OCR Solution
The major problem faced by an Optical Character Recognizer (OCR) can be attributed to the presence of a large number of broken characters in a digital document image. Recognition of such documents accurately, that...