NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
Lecture Notes in Computer Science(2015)
摘要
Formal models are increasingly being used as input for automated test-generation strategies. However, typically the requirements are captured as English text, and these formal models are not readily available. With this in mind, we have devised a strategy (NAT2TEST) to obtain formal models from natural language requirements automatically, particularly to generate sound test cases. Our strategy is extensible, since we consider an intermediate and hidden formal characterisation of the system behaviour from which other formal notations can be derived. Here, we present the NAT2TEST tool, which implements our strategy.
更多查看译文
关键词
Natural-language requirements,Test-case generation,Tool
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络