王伟
- 作品数：3 被引量：9H指数：2
- 供职机构：南京航空航天大学自动化学院更多>>
- 发文基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于多Agent的软件测试系统设计被引量：3
- 2011年
- 随着软件系统变得越来越复杂和庞大,如何对它进行快速有效的测试已经成为现在的一大热点。通过将Agent技术引入软件测试过程,设计了一种基于多Agent的软件测试系统。该系统由界面Agent模块、预处理Agent模块、程序插桩Agent模块和动态测试信息分析Agent模块组成,实现了软件语句和分支覆盖率的测试及查询覆盖率不满足要求时未覆盖目标的情况。有效地解决了传统手工测试程序运行效率低、繁琐等一些问题,保证了软件系统高效稳定的运行。
- 王伟刘久富娄坚波李金奎
- 关键词：软件测试程序插桩
- 基于条件值的C/C++预处理测试算法被引量：1
- 2011年
- 传统C/C++代码的预处理分析利用符号执行推断预处理中自由变量条件表达式的值,但是该算法的时间复杂度是指数型的。为降低时间复杂度,提出一种快速符号执行算法。源代码通过词法分析器得到预处理变量和路径条件,为预处理变量建立节点,把路径条件转化为条件表达式,通过符号执行算法将两者整合为条件值c-value的形式,最终显示预处理结束后每一个预处理变量的条件值。实例结果表明,该算法能免去传统符号执行中对于路径可行性的分析,从而降低时间复杂度。
- 娄坚波刘久富李金奎王伟
- 有色petri网在并行测试建模中的应用被引量：6
- 2011年
- 并行测试技术对推动科学的发展起着重要作用,如今科学技术的发展和工程问题的解决都离不开并行处理技术。传统的串行测试方法和串行任务调度方法日益体现出了它的局限性。文中将并行测试调度与建模方法作为主要研究内容,以并行任务调度算法为基础,依据有色petri网的建模理论与方法,建立了基于实例的并行测试系统有色Petri网模型,用有色Petri网的可达树方法分析验证所建立模型的有界性、活性、公平性。验证结果证明了所建模型的正确性,解决了并行测试建模难的问题,提出了一种新的对复杂系统的建模方法。
- 李金奎刘久富娄坚波王伟
- 关键词：有色PETRI网并行测试可达树
