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 79
- Downloads 0
Design of low power SAR ADC in Biomedical Applications
Power consumption is one of the main design constraints in today ICs. For systems that are powered by small non rechargeable batteries over the entire life time, such as medical implant devices ultra low power consum...
AN EXTENSIVE REVIEW OF CURRENT TRENDS IN STEGANALYSIS
Steganography refers to the art of secret communication while steganalysis is the art and science of detection of the presence of steganography. Both steganography and steganalysis received a great deal of attent...
Cryptography Using Quantum Key Distribution in Wireless Networks
Despite years of intensive research, the main deterrents of widely deploying secure communication between wireless nodes remains the cumbersome key setup process. In this paper, we address this problem and we introd...
ICCC: Information Correctness to the Customers in Cloud Data Storage
Cloud storage is the only solution to the IT organizations to optimize the escalating storage costs and maintenance. Data outsourcing in to the cloud has become today trending environment for the thin organizations. The...
Solving Digital Circuit Layout Problem based on Graph Partitioning Technique: A Glance
—Digital Circuit Layout is a combinatorial optimization problem. Due to the complexity of integrated circuits, the first step in physical design is usually to divide a design into subdesigns. The work presents a br...