一种修正条件判定覆盖测试的路径选取方法
首发时间:2010-11-12
摘要:修正条件/判定覆盖(Modified Condition/Decision Coverage,MC/DC)测试是一种实用的软件结构覆盖率测试,目前已被广泛地应用于测试过程中检测布尔表达式的正确性。本文首先阐述了修正条件/判定覆盖准则的概念,接着介绍了一种基于抽象语法树提取原子谓词和独立影响对的方法,提出了一种基于程序控制流图选择待测真值向量和路径的方法,最后通过实例验证了该方法能有效地生成MC/DC测试路径集。
关键词: 软件测试 修正条件判定覆盖测试 MC/DC 路径 独立影响
For information in English, please click here
A Method of Path Choosing for Modified Condition/Decision Coverage Testing
Abstract:MC/DC (Modified Condition/Decision Coverage) testing is a practical testing criterion for software structural coverage. It has been widely applied in the testing process to verify the Boolean expression. This paper give the concept of modified condition decision coverage firstly, then introduces a method to extract atomic predicates and the independent effect couple based on the abstract syntax tree and puts forward a method to choose the value vector that will be tested and the paths based on the program control flow graph, finally the method's availability was validated with instances and the test results show that the system is effective in generating MC/DC test paths.
Keywords: Software testing modified condition decision coverage MC/DC path independent effect
论文图表:
引用
No.4390502549624128****
同行评议
共计0人参与
勘误表
一种修正条件判定覆盖测试的路径选取方法
评论
全部评论0/1000