标题：Model Based Test Case Generation From Natural Language Requirements And Inconsistency, Incompleteness Detection in Natural Language Using Model-Checking Approach
期刊名称：International Journal of Advanced Research in Computer Engineering & Technology (IJARCET)
印刷版ISSN：2278-1323
出版年度：2013
卷号：2
期号：4
页码：1565-1573
出版社：Shri Pannalal Research Institute of Technolgy
摘要：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.
关键词：Inconsistency; Incompleteness; ; Model based testing; Model-checking; Natural ; language.
