东南大学学报（自然科学版）2010，Vol.40Issue(2)：291-295,5.DOI:10.3969/j.issn.1001-0505.2010.02.014
一种新的布尔规格测试用例生成算法
A novel approach of test case generation for Boolean specification
摘要
关键词
软件测试/布尔规格测试/测试用例生成Key words
software testing/Boolean specification testing/test case generation分类
信息技术与安全科学引用本文复制引用
李磊芳,徐宝文,陈振宇,章晓芳,董国伟..一种新的布尔规格测试用例生成算法[J].东南大学学报（自然科学版）,2010,40(2):291-295,5.基金项目
国家自然科学基金资助项目(60803007,60633010,90818027)、国家高技术研究发展计划(863计划)资助项目(2009AA01Z147)、国家重点基础研究发展计划(973计划)资助项目(2009CB320703). （60803007,60633010,90818027）
