下载一种计算机软件白盒测试的实现方法及系统的技术资料

文档序号:4270222

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。

本发明涉及一种计算机软件白盒测试的实现方法及系统。该实现方法包括:步骤1,求解判定布尔表达式中各个条件的独立对;步骤2,基于各个条件对应的独立对求解判定最小独立对集合,求解判定出的最小独立对集合构成参考用例集合;步骤3,选择参考用例集合中一...
该专利属于中国科学院计算技术研究所所有,仅供学习研究参考,未经过中国科学院计算技术研究所授权不得商用。

详细技术文档下载地址

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。