Generating Test Cases for Timed Systems from Controlled Natural Language Specifications
Generating Test Cases for Timed Systems from Controlled Natural Language Specifications
复制标题
从受控自然语言规范生成定时系统的测试用例
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Matthias Schnelte
中科院分区：
文献类型：
--
作者：
Matthias Schnelte
动态测试仍然是汽车行业最常用的质量保证技术。需要尽可能使测试过程自动化。在这项工作中，我们专注于自动生成测试用例的需求规格说明。为了将该方法尽可能地嵌入到现有的工作流中，我们从自然语言（如规范）开始，因为需求仍然主要用自然语言编写。为了支持这一点，我们为汽车领域指定了一种受控的自然语言。在获得需求之后，它们被转换成正式的模型。该模型实现了高效的可达性分析，并允许描述丰富的时间行为。然后，我们使用偏序规划来创建阳性和阴性测试。由此产生的测试用例能够处理非确定性的定时行为。此外，测试用例可以以可理解的方式呈现，以便读者可以验证它们。
Dynamic testing is still the most used quality assurance technique in the automotive industry. There is a need to automate the testing process as much as possible. In this work we focus on the automatic generation of test cases from requirement specifications. To embed the approach as close as possible into existing workflows we start with natural language like specifications, as requirements are still mostly written in natural language. To support this, we specify a controlled natural language for the automotive domain. After acquiring the requirements they are translated into a formal model. The model enables an efficient reachability analysis and allows to describe rich temporal behavior. We then use partial order planning to create positive and negative tests. The resulting test cases are able to handle non-deterministic timing behavior. Furthermore the test cases can be presented in a comprehensible way, so that the reader can validate them.