计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (30): 93-95.DOI: 10.3778/j.issn.1002-8331.2008.30.028
毛红梅,舒远仲
MAO Hong-mei,SHU Yuan-zhong
摘要: 软件测试是当前软件生成重要的研究课题。文中从源程序开始,引入基本块的方法将源程序转换为相应的控制流程图。并采用图形的方法将路径构造相应的自动机,通过对自动机中回边的处理,生成简化的并与之等价的自动机。经过若干变换后,可在自动机上直观地求出路径覆盖的条数和相应的信息。此方法实现路径覆盖的目标,简化路径覆盖生成过程,步骤直观,且减少路径生成数。