基于条件值的C/C++预处理测试算法

传统C/C++代码的预处理分析利用符号执行推断预处理中自由变量条件表达式的值,但是该算法的时间复杂度是指数型的.为降低时间复杂度,提出一种快速符号执行算法.源代码通过词法分析器得到顶处理变量和路径条件,为预处理变量建立节点,把路径条件转化为条件表达式,通过符号执行算法将两者整合为条件值c-value的形式,最终显示预处...     

有色Petri网在并行测试建模中的应用

并行测试技术对推动科学的发展起着重要作用,如今科学技术的发展和工程问题的解决都离不开并行处理技术.传统的串行测试方法和串行任务调度方法日益体现出了它的局限性.文中将并行测试调度与建模方法作为主要研究内容,以并行任务调度算法为基础,依据有色petfi网的建模理论与方法,建立了基于实例的并行测试系统有色Petri网模型,用...     

基于多Agent的软件测试系统设计

随着软件系统变得越来越复杂和庞大,如何对它进行快速有效的测试已经成为现在的一大热点.通过将Agent技术引入软件测试过程,设计了一种基于多Agent的软件测试系统.该系统由界面Agent模块、预处理Agent模块、程序插桩Agent模块和动态测试信息分析Agent模块组成.实现了软件语句和分支覆盖率的测试及查询覆盖率不满足要求时未覆盖目标的情况.有效地解决了传统手工测试程序运行效率低、繁琐等一些问题,保证了软件系统高效稳定的运行.