摘要
根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率。
According to the requirements of validating higher secure systems, an approach to generate testing cases based on Z formal descriptions was proposed. With this approach, a testing case generator was implemented, which could produce testing cases with MC/DC （ modified condition/decision coverage） criterion to balance the quantity and quality of the produced testing cases. Compared with related work, this approach can reduce the manual interferences and the requirements in designing the formal specification, and improve the accuracy and efficiency of testing-case generation.
出处
《计算机应用》
CSCD
北大核心
2008年第4期1018-1022,共5页
journal of Computer Applications
基金
国家自然科学基金资助项目(60773170
60721002
60473053)
国家863计划项目(2006AA01Z432)
江苏省自然科学基金资助项目(BK2005074)
关键词
安全评估
测试用例生成
形式化描述
更改条件判定覆盖
security evaluation
testing-case generation
formal description
Modified Condition/Decision Coverage （MC/DC）
