测试序列生成相关论文
随着互联网的不断发展,移动应用的需求快速增长。移动应用的质量保证是决定其成功的主要因素。测试自动化可能是提高移动应用程序......
最优测试序列的产生是一个NP完全问题。因此，在最优解和计算复杂度之间寻求一种平衡的近优测试序列算法受到普遍关注。本文中，我们提......
随着互联网的迅速发展,无线传感器网络(Wireless Sensor Networks,WSNs)在军事、环境、医疗等领域具有非常广阔的应用前景,被工业......
文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基......
IETF在移动IPv6(MIPv6)的基础上针对移动节点在小范围内快速移动提出了一种改进技术,即层次化移动IPv6(HMIPv6)技术。它通过引入移......
近年来,为满足客运专线及高速铁路快速发展的需求,我国借鉴了欧洲的ETCS标准,提出了立足我国国情的中国列车运行控制系统(CTCS),提......
摘要：安全计算机平台是轨道交通信号控制系统的核心基础安全设备,通过测试来检验安全计算机平台是否能实现设计的安全功能是至关重......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
基于严格数学理论的软件形式化规格说明,经过逐层精化,不仅可以让软件开发过程更加有效精准,而且为测试用例测试序列的自动生成提......
针对EFSM中状态迁移不确定导致的协议一致性测试序列生成困难的问题,提出了一种协议一致性测试序列生成算法。该算法基于互异代表......
协议的一致性测试是用来检验协议实现是否符合协议规范,其关键技术就是测试序列的生成。本文提出了一种基于扩展的有限状态自动机E......
在对无线传感器网络数据收集协议进行一致性测试时,生成的测试序列往往不够简捷高效。因此,提出了基于FSM模型的无线传感器网络数......
首先对基本并发行为进行CPN建模及状态空间生成,逐渐增大模型的复杂性,展示了CPN建模并发行为可能存在的状态空间快速增大问题。在......
在协议工程领域，协议测试是非常重要的工作；对于分布式协议的测试多采用多端口有限状态机模型进行描述；由于分布式协议测试存在控制观......
时延故障的内建自测试通常需要施加测试向量对，包括多跳变向量与单跳变向量。理论与实践表明，单跳变向量比多跳变向量具有更高的强健......
考虑到协议一致性测试中基于扩展有限状态自动机（EFSM）模型的测试序列生成仍然是一个尚无理想方法解决的开放性问题，提出了一种面向协......
鉴于测试序列生成专家系统知识获取困难以及知识库维护不易等问题,本文提出从案例推理技术的新角度研究CTCS-3级列控系统测试序列......
随着电路规模的不断扩大,将测试技术向高层次推进,提高测试的效率成为数字系统测试的必然要求。本文研究了基于ASM图的时序电路测......
为高效生成满足测试案例全覆盖的最优测试序列集,首先,根据《CTCS-3级列控系统系统需求规范》和有色Petri网(CPN)建模规则构建列控......
介绍了一种基于FSM(finite state machine)的生成一致性测试序列的改进算法,该方法混合了UIO(unique input/output)方法和T方法,UI......
有限状态机是协议测试序列生成中常用到的数学模型，本文在介绍ＦＳＭ的基础上，总结了国外几种常见的基于ＦＳＭ的测试序列生成技术，并对我们研究中......
测试序列生成是协议一致性测试的一个重要方面,好的测试序列应该有较大的错误覆盖率且长度越短越好。测试序列构成中的第三部分通......
