排序方式: 共有32条查询结果,搜索用时 46 毫秒
1.
2.
3.
基于回溯与引导的关键代码区域覆盖的二进制程序测试技术研究 总被引:1,自引:0,他引:1
基于路径覆盖的测试方法是软件测试中比较重要的一种测试方法,但程序的路径数量往往呈指数增长,对程序的每一条路径都进行测试覆盖基本上是不可能的。从软件安全测试的观点看,更关心程序中的关键代码区域(调用危险函数的语句、圈复杂度高的函数、循环写内存的代码片断)的执行情况。该文提出了覆盖关键代码区域的测试数据自动生成方法,该方法基于二进制程序,不依赖于源码。通过回溯路径获取所有可达关键代码区域的程序路径,并通过路径引导自动为获得的路径生成相应的测试数据。路径引导策略基于程序的符号执行与实际执行,逐步调整输入,使用约束求解器生成相应的测试用例。理论分析与实验结果显示该文给出的方法可以降低生成测试数据所需要的运行次数,与传统的覆盖路径测试数据生成方法相比,所需要的运行次数显著降低,提高了生成测试数据的效率。 相似文献
4.
5.
6.
7.
针对变电站自动化发展中存在的检测难点,提出了基于变电站自动化设备网络功能模块化思想设计的实时仿真装置,介绍了装置的测试原理、系统结构及功能.装置采用工业微机内嵌Windows2000操作系统,可实现海量数据测试、网络分层测试和设备性能测试、保护事件模拟重演、规约测试以及报文解析等功能.实际应用效果表明:装置能正确完成系统仿真和各类型设备的实时闭环仿真测试,为实现变电站自动化系统的全面测试提供了一个有效的新途径. 相似文献
8.
软件二进制插桩是软件性能分析、漏洞挖掘、质量评价领域的关键技术。在嵌入式环境下,传统动态插桩算法受到无操作系统、CPU架构复杂、内存资源紧张等局限,难以展开工作。文章以软件动态二进制插桩算法为研究目的,通过静态特征分析和动态跟踪算法,引入图论算法对固件中的二进制进行分析,提出了嵌入式设备远程调试协议,实现了对软件运行时信息的获取。与传统方案相比,文章所想方案解决了现有工具对源码、操作系统或CPU架构的依赖,同时显著降低了内存和运算资源的占用率,可以有效解决嵌入式设备的动态插桩问题。 相似文献
9.
10.