基于MC/DC准则的确认测试用例生成方法  

MC/DC Criteria-based Validation Test Case Generation Method

作　　者：郑平[1] 许胜[1] 

机构地区：[1]中国航天工程咨询中心,北京100037

出　　处：《现代电子技术》2007年第16期114-117,共4页Modern Electronics Technique

摘　　要：形式化的需求规格说明以其能够被自动操纵的形式,精确地描述了软件预期提供的功能,为测试提供了良好的条件。运用模型检查技术自动生成测试用例是形式化方法在基于需求的测试中采用的主要途径。MC/DC(修改的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。结合模型检查技术,提出一种从形式化的软件需求中自动生成测试用例的方法,以达到对软件需求的类似于MC/DC准则的覆盖测试。以一个实际的案例为例,并检验其生成的用例对代码的覆盖率,证明方法的实用性。Formal specifications represent a significant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form which can be automatically manipulated. The application of model checking techniques to automatic generate test case is the major approach of using formal method in specificationbased test. MC/I）C （Modified Condition/Decision Coverage） is a practical test criterion for software structural coverage. Using model checking techniques,a method of automatic generating test case from form specifications is brought forward to achieve adequate test coverage of software specifications which similar to MC/DC criteria. The method has been applied to a case study, and the coverage contribution of the test case to the code has been verified, the result of experimental data demonstrates that the method is practical.

关 键 词：MC/DC 形式化方法 模型检查 测试准则 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]