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