摘要：ATSG(automatic test suite generation)是自动测试生成工具,它能够从协议的Petri网模型自动生成符合ISO/IEC 9646-3标准的TTCN测试套,由于它所生成的TTCN.mp格式测试套可以直接用于测试.与以往的只能生成抽象测试例或自定义中间格式的自动测试生成工具相比,ATSG的通用性更强,由于ATSG采用了数据流控制流相结合的测试生成方法,因此所生成的测试套能达到较高的差错覆盖,在工具ATSG中,自动测试生成分三个步骤;首先,使用数据流控制流相结合的方法,从协议的Petri网模型中自动生成测试序列集合;然后,根据测试目的,将测试序列集合中的测试序列依次构造为抽象测试例;最后,利用得到的抽象测试例以及协议Petri网模型中的其他信息.生成完整的TTCN测试套,本文的最后,以路由协议BGP4的一致性测试套为例,给出了使用ATSG自动生成的致性测试套.
