并发测试论文

基于STGA的并发程序测试
唐江峻[1]2004年在《基于STGA的并发程序测试》文中进行了进一步梳理本文提出一种基于带赋值符号迁移系统STGA选取测试同步序列的方法。与传统的基于标号：迁移系统LTS的方法相比，STGA中保留了对测试同步序列的选取有重要影响的结构信息，因此有利于高效率同步序列的选取。实例研究证实了这一优越性。...
IPv6路由器的测试控制数据的规划与描述技术研究
刘霞[1]2004年在《IPv6路由器的测试控制数据的规划与描述技术研究》文中认为从IPv4向以IPv6为代表的下一代Internet的过渡，涉及网络硬软件产品的全面升级换代，因此，对基于IPv6的新一代网络产品研制和开发就成为整个过渡期的重要任务。相应地，对以IPv6为基础的网络产品进行测试的工作...
TTCN-3编译技术研究与实现
钱向红[1]2004年在《TTCN-3编译技术研究与实现》文中提出本论文的研究背景是：①IPv6协议集的测试，特别是对IPv6路由器设备的测试技术已经成为从现有Internet向基于IPv6的NGI(NextGenerationInternet)过渡的关键技术之一；②现代路由器以多端口和高速化为特征...