计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (17): 57-60.DOI: 10.3778/j.issn.1002-8331.2009.17.018
林红昌,胡觉亮,丁佐华
LIN Hong-chang,HU Jue-liang,DING Zuo-hua
摘要: 软件测试不仅要考虑到功能的正确性、覆盖的完整性,也应该考虑到测试用例的可行性。一种常用的产生测试用例的方法是路径覆盖,它是通过分析控制流来产生的,但是这样很可能产生不可行路径。论文运用Petri网来描述程序,并且按照一定的数学规则将此Petri网进行分解,得到独立的段组(Independent Segment Group,ISG)并产生测试用例,最后设计一个算法找到满足覆盖准则的最少测试用例。