Testing case generator based on formal specifications
基于形式化描述测试用例生成的研究与实现
Keywords: 安全评估,测试用例生成,形式化描述,更改条件判定覆盖
Abstract:
根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题.与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率.
Full-Text
