娄坚波
- 作品数：13 被引量：10H指数：2
- 供职机构：南京航空航天大学更多>>
- 发文基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于多Agent的软件测试系统设计被引量：3
- 2011年
- 随着软件系统变得越来越复杂和庞大,如何对它进行快速有效的测试已经成为现在的一大热点。通过将Agent技术引入软件测试过程,设计了一种基于多Agent的软件测试系统。该系统由界面Agent模块、预处理Agent模块、程序插桩Agent模块和动态测试信息分析Agent模块组成,实现了软件语句和分支覆盖率的测试及查询覆盖率不满足要求时未覆盖目标的情况。有效地解决了传统手工测试程序运行效率低、繁琐等一些问题,保证了软件系统高效稳定的运行。
- 王伟刘久富娄坚波李金奎
- 关键词：软件测试程序插桩
- 一种改进的基于符号执行的软件静态测试方法及工具
- 本发明公布了一种改进的基于符号执行的软件静态测试方法及工具，有如下步骤：1、第一阶段分析。其中包括：1.1)将被测代码输入测试工具中；1.2)根据C语言文法自定义一个关键词列表进行词法分析；1.3)根据C语言文法自定义函...
- 刘久富娄坚波李金奎王伟苏青琴陈魁
- 文献传递
- 一种基于Agent的码垛机器人控制软件测试方法
- 本发明涉及一种基于Agent的码垛机器人控制软件测试方法，是一种改进的针对码垛机器人控制系统软件进行黑盒与白盒测试的方法，属于嵌入式软件测试领域。本发明主要包括四个步骤：第一步，建立基于Agent的BDI模型TC_Age...
- 刘久富王伟陈魁苏青琴娄坚波朱丹丹梁娟娟
- 文献传递
- 一种基于Agent的嵌入式软件智能测试方法
- 本发明涉及一种基于Agent的嵌入式软件智能测试方法，是一种改进的以Linux系统作为嵌入式操作系统内核的软件测试方法，主要包括三个Agent模块：首先为预处理Agent模块，包括词法分析Agent和语法分析Agent，...
- 刘久富王伟娄坚波杨振兴孙琳李金奎
- 文献传递
- 基于条件值的C/C++预处理测试算法被引量：1
- 2011年
- 传统C/C++代码的预处理分析利用符号执行推断预处理中自由变量条件表达式的值,但是该算法的时间复杂度是指数型的。为降低时间复杂度,提出一种快速符号执行算法。源代码通过词法分析器得到预处理变量和路径条件,为预处理变量建立节点,把路径条件转化为条件表达式,通过符号执行算法将两者整合为条件值c-value的形式,最终显示预处理结束后每一个预处理变量的条件值。实例结果表明,该算法能免去传统符号执行中对于路径可行性的分析,从而降低时间复杂度。
- 娄坚波刘久富李金奎王伟
- 一种改进的面向宿主的嵌入式软件白盒测试方法
- 本发明公布了一种改进的面向宿主的嵌入式软件白盒测试方法，属于嵌入式软件测试的技术领域。本发明所述方法包括如下步骤：1.第一阶段测试(粗预测)，包括程序不变量的提取、基于支持向量机的机器学习与机器预测等，初步揭示隐含错误；...
- 刘久富杨振兴孙琳娄坚波李金奎王伟
- 文献传递
- 面向宿主的嵌入式软件符号执行技术研究与实现
- 软件测试技术保证了软件质量、提高了软件可靠性、降低了软件生产成本,静态测试作为其重要构成部分,侧重于程序的结构分析与规范性检测,其不具有时间依赖性,可以在不运行程序的情况下,尽早发现软件中的错误和缺陷,避免了动态测试中较...
- 娄坚波
- 关键词：嵌入式软件测试
- 文献传递
- 有色petri网在并行测试建模中的应用被引量：6
- 2011年
- 并行测试技术对推动科学的发展起着重要作用,如今科学技术的发展和工程问题的解决都离不开并行处理技术。传统的串行测试方法和串行任务调度方法日益体现出了它的局限性。文中将并行测试调度与建模方法作为主要研究内容,以并行任务调度算法为基础,依据有色petri网的建模理论与方法,建立了基于实例的并行测试系统有色Petri网模型,用有色Petri网的可达树方法分析验证所建立模型的有界性、活性、公平性。验证结果证明了所建模型的正确性,解决了并行测试建模难的问题,提出了一种新的对复杂系统的建模方法。
- 李金奎刘久富娄坚波王伟
- 关键词：有色PETRI网并行测试可达树
- 一种基于条件值的软件静态预测方法及工具
- 本发明公布了一种基于条件值的软件静态预测方法及工具，有如下步骤：1、第一阶段分析。其中包括：1.1)将预处理代码输入测试工具中；1.2)利用基于C语言文法的词法分析器对代码进行词法分析；2、第二阶段分析。其中包括：2.1...
- 刘久富娄坚波陈魁苏青琴王伟朱丹丹梁娟娟
- 文献传递
- 一种软件测试用例自动生成方法
- 本发明公布了一种软件测试用例自动生成方法，属于软件测试自动化的技术领域。本发明所述方法包括如下步骤：1.第一阶段基于被测对象(这里考虑三类对象：结构化语言程序，基于需求或场景描述，面向对象程序)建立组件化Petri网模型...
- 刘久富孙琳杨振兴李金奎娄坚波王伟
- 文献传递
