Nat2测试

NAT2TEST(测试用例的自然语言需求)是从自然语言需求生成测试用例的完全自动策略,它可以考虑离散或连续的时间属性。自动化对于这项任务是必不可少的,因为我们不能期望从业者总是拥有正式的建模知识。自动化还允许在软件开发过程中早期应用正式方法。这种策略特别适合于反应式系统,其行为可以描述为满足特定条件时应采取的行动。测试用例可以使用商业工具(如T-VEC和RT-Tester)生成,也可以使用FDR和Z3等工具基于形式一致性关系生成,在这种情况下,测试生成被证明是正确的。支持同名策略的NAT2TEST工具是用Java编写的,它的图形用户界面(GUI)是使用eclipsercp框架构建的。该工具可以轻松安装并在多个平台上运行。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换