【摘 要】
:
随着模型驱动开发技术在软件开发过程中越来越受到重视,基于扩展有限状态机模型的测试技术近年来也得到了深入的研究。以生成测试数据为目地的测试技术研究开始受到关注,形成了
论文部分内容阅读
随着模型驱动开发技术在软件开发过程中越来越受到重视,基于扩展有限状态机模型的测试技术近年来也得到了深入的研究。以生成测试数据为目地的测试技术研究开始受到关注,形成了一个新的研究领域。测试数据生成是测试序列生成的发展,能够更精确的对扩展有限状态机模型进行测试。
目前,主要是通过启发式搜索算法及符号执行等方式对扩展有限状态机模型进行测试数据生成,相关的研究主要集中在单模型上,不考虑过程调用,限制了其扩展能力,降低了扩展有限状态机模型的适用范围。为解决这一问题,本文提出了一种含过程调用的扩展有限状态机模型的描述,并对其测试数据自动生成方法进行研究、实现。首先,根据扩展有限状态机规范将各子过程表示为扩展有限状态机模型,然后把这些表示子过程的扩展有限状态机模型根据调用关系进行模型合并,生成一个等价的新模型,并采用遗传算法进行测试数据生成。最后,设计了相应的实验方案验证本文方案的可行性,同时讨论了在含过程调用扩展有限状态机模型测试数据自动生成过程中影响测试数据生成效率的主要因素。实验结果表明,该方法能够对扩展有限状态机中的过程调用进行处理,同时完成测试数据生成。
由于该方法是一个初步解决方案,仍然存在一些问题,在本文结论部分,分析了当前处理策略的不足,提出了相应的改进方案。
其他文献
“物联网”被称为继计算机和互联网之后世界信息产业的第三次革命。作为物联网技术的核心组件,RFID系统起着至关重要的作用。随着RFID技术的不断推广应用,RFID系统的信息安全
随着计算机和网络技术快速发展,计算机系统遭受的入侵和攻击也越来越多。现有的入侵检测系统虽然有较高的检测率,但是其缺少自适应性,自学习性,以及容错性等。而人工免疫系统
随着石油行业的发展,石油在运输过程中使用的重要载体一管道,越来越受到工程人员的重视。出于安全需要,对石油管道所进行的管道检测工作也就越来越被工程人员所重视。这也就
随着各个高校科研技术及成果的不断提高与创新,科研水平的高低已经成为了衡量一所高校综合实力的重要标志,现有的科研考核工作多数还在采用人工的管理办法,不仅效率低而且易
无线mesh网是一种在Internet与无线终端之间建立连接的重要技术。随着应用范围的日趋广泛,其用户也越来越多,同时用户对该类型网络的服务质量也有了越来越高的要求。为了解决保
在当今交通情况日趋复杂,管理难度越来越大的环境下,随着计算机技术和图像处理技术的快速发展,利用实时视频图像来对复杂的交通状况进行管理已经成为了智能交通系统(ITS)的重
随着时代的发展以及人民生活水平的提升,传统的生活方式已经很难满足人们对高品质生活的追求。进入21世纪以来,特别是近年现代高科技和信息技术走向智能住宅小区和家庭,人们
无线Ad hoc网络是一种无固定设施的无线网络,是无线通信领域的研究热点之一。无线Ad hoc网络具有信道分配复杂、网络移动强及网络容量动态变化等特征,这就对网络QoS提出了很
多媒体和网络技术的发展使得视频资源变得越来越丰富,伴随而来的问题则是视频数据量的快速增长。因此如何对这些海量视频数据进行有效的处理,从而提高浏览和检索效率就成为了