| 专利名称 | 一种计算机软件白盒测试的实现方法及系统 | 申请号 | CN200910242657.8 | 专利类型 | 发明专利 | 公开（公告）号 | CN101710305 | 公开（授权）日 | 2010.05.19 | 申请（专利权）人 | 中国科学院计算技术研究所 | 发明（设计）人 | 陈聪明;李丰;冯晓兵;霍玮 | 主分类号 | G06F11/36(2006.01)I | IPC主分类号 | G06F11/36(2006.01)I | 专利有效期 | 一种计算机软件白盒测试的实现方法及系统 至一种计算机软件白盒测试的实现方法及系统 | 法律状态 | 实质审查的生效 | 说明书摘要 | 本发明涉及一种计算机软件白盒测试的实现方法及系统。该实现方法包括：步骤1，求解判定布尔表达式中各个条件的独立对；步骤2，基于各个条件对应的独立对求解判定最小独立对集合，求解判定出的最小独立对集合构成参考用例集合；步骤3，选择参考用例集合中一个最小独立对集合，并生成与该最小独立对集合对应的测试用例集合，该测试用例集合即为最小测试集；步骤4，用最小测试集对源程序进行修正条件/判定覆盖测试。本发明可以减少修正条件/判定覆盖(MC/DC)测试的成本，避免了生成大量的测试用例以及对测试用例进行精简的过程。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障