孙琳
- 作品数：10 被引量：4H指数：1
- 供职机构：南京航空航天大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于仿真的嵌入式软件白盒覆盖测试系统设计
- 2010年
- 随着软件系统变得越来越复杂和庞大,如何对它进行快速有效的测试已经成为一大热点。该系统实现了基于仿真的嵌入式软件覆盖测试系统。系统通过对源程序进行词法语法分析、自动插装、测试用例的生成和加入、动态仿真运行及覆盖率报告分析等得到测试结果,有效地解决了传统的基于目标测试带来的一些问题,基本满足了国内用户对嵌入式软件测试的需求。
- 杨振兴刘久富孙琳
- 关键词：嵌入式系统软件仿真
- 一种基于Agent的嵌入式软件智能测试方法
- 本发明涉及一种基于Agent的嵌入式软件智能测试方法，是一种改进的以Linux系统作为嵌入式操作系统内核的软件测试方法，主要包括三个Agent模块：首先为预处理Agent模块，包括词法分析Agent和语法分析Agent，...
- 刘久富王伟娄坚波杨振兴孙琳李金奎
- 文献传递
- 不变量的程序潜在错误预测被引量：1
- 2010年
- 随着软件系统变得越来越复杂和庞大,软件中的安全缺陷也急剧增加,系统中的隐含错误也在逐渐增多.提出一种基于不变量的程序潜在错误预测方法,首先采用支持向量机对程序属性所产生的非函数依赖程序不变量进行学习并产生机器学习模式,然后运用该机器学习模式对需预测的程序进行属性分类,并揭示出代码可能存在的潜在错误,最后通过实验验证该方法是有效的.
- 杨振兴刘久富孙琳
- 关键词：不变量软件测试支持向量机
- 一种软件测试用例自动生成方法
- 本发明公布了一种软件测试用例自动生成方法，属于软件测试自动化的技术领域。本发明所述方法包括如下步骤：1.第一阶段基于被测对象(这里考虑三类对象：结构化语言程序，基于需求或场景描述，面向对象程序)建立组件化Petri网模型...
- 刘久富孙琳杨振兴李金奎娄坚波王伟
- 文献传递
- 一种改进的面向宿主的嵌入式软件白盒测试方法
- 本发明公布了一种改进的面向宿主的嵌入式软件白盒测试方法，属于嵌入式软件测试的技术领域。本发明所述方法包括如下步骤：1.第一阶段测试(粗预测)，包括程序不变量的提取、基于支持向量机的机器学习与机器预测等，初步揭示隐含错误；...
- 刘久富杨振兴孙琳娄坚波李金奎王伟
- 文献传递
- 基于Petri网的软件测试用例生成方法被引量：2
- 2010年
- 软件测试数据的生成目前主要采用的人工、半人工的方法,工作量大、测试周期长且容易遗漏;基于Petri网的测试用例生成方法主要应用于场景类测试,通过Petri网理论对测试模型建模,再对模型分析验证,最后生成测试用例集;该方法支持回归生成测试用例集,弥补了对测试用例集需求变化的情况;同时,支持测试用例的自动生成;该方法可以有效地描述系统的状态行为,并且保证了较高的覆盖率指标,有助于提高测试的效率和质量。
- 孙琳刘久富杨振兴
- 关键词：测试用例PETRI网
- 基于宿主嵌入式软件白盒覆盖测试系统的设计被引量：1
- 2010年
- 随着软件系统变得越来越复杂和庞大,软件中的安全缺陷也急剧增加,系统中的错误也在逐渐增多。本文实现了基于宿主的嵌入式软件覆盖测试系统,该系统通过对源程序进行词法语法分析、自动插装、测试用例的生成和加入、动态仿真运行及覆盖率报告分析等得到测试结果,有效的解决了传统的基于目标带来的软件测试依赖硬件等问题,基本满足了用户对嵌入式软件测试的需求。
- 杨振兴刘久富孙琳
- 关键词：嵌入式系统软件仿真
- 一种改进的面向宿主的嵌入式软件白盒测试方法
- 本发明公布了一种改进的面向宿主的嵌入式软件白盒测试方法，属于嵌入式软件测试的技术领域。本发明所述方法包括如下步骤：1.第一阶段测试(粗预测)，包括程序不变量的提取、基于支持向量机的机器学习与机器预测等，初步揭示隐含错误；...
- 刘久富杨振兴孙琳娄坚波李金奎王伟
- 文献传递
- 基于Petri网的嵌入式软件测试用例自动生成方法研究
- 软件测试技术保证了软件质量、提高了软件可靠性、降低了软件生产成本,而其中的一个关键环节是测试用例的生成。软件测试用例的生成目前主要采用的人工、半人工的方法,而测试用例的自动生成能在一定程度上弥补人工操作中工作量大、测试周...
- 孙琳
- 文献传递
- 一种基于可达树的软件测试验证方法
- 本发明公布了一种基于可达树的软件测试验证方法，属于软件测试自动化的技术领域。本发明所述方法包括如下步骤：1.第一步，提交被测对象、用户需求文档、测试环境文档；并按照规定格式录入；2.第二步，对被测对象关键点插桩；依照Pe...
- 刘久富孙琳王伟娄坚波苏青琴陈魁
- 文献传递
