Codecomb:基于符号执行的嵌入式软件测试案例自动生成与缺陷检测 被引量：10

1

作者 郭文生 汪勇 +1 位作者 杨霞 高敏 《小型微型计算机系统》 CSCD 北大核心 2017年第6期1250-1255,共6页

嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠性的提高具有极其重要的意义.设计的工具Codecomb通过采用客户... 嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠性的提高具有极其重要的意义.设计的工具Codecomb通过采用客户端和服务器端架构实现被测软件与测试工具的分离,将复杂的测试计算转移到服务器上,同时分离的测试架构可以更好的适用于不同嵌入式平台软件的测试.采用动态符号执行技术生成测试案例可以实现较高的分支覆盖度,进而针对程序的缺陷检查也会更加全面和深入,能够发现程序中隐藏较深的错误.实验结果表明,本文所设计的工具能够实现软件缺陷的自动化判定,并对程序运行过程中的缓冲区溢出、内存泄漏等错误准确地进行定位. 展开更多

关键词 嵌入式软件测试 插桩 动态符号执行 测试案例生成 缺陷检测

在线阅读 下载PDF 职称材料

基于需求的航空嵌入式软件测试技术研究 被引量：11

2

作者 张义德 王国庆 +1 位作者 杨平 张臻鉴 《计算机工程与设计》 CSCD 2002年第10期4-7,共4页

针对航空机载软件的特点,提出了一个基于需求的航空嵌入式软件测试模型,并对该模型中主要部分的功能及其相互关系进行了阐述,最后,介绍了该模型在实际工程项目中的应用情况。

关键词 航空 嵌入式软件测试 电子系统 软件工程

在线阅读 下载PDF 职称材料

面向安全性分析的嵌入式软件测试方法研究 被引量：28

3

作者 林永峰 陈亮 《现代电子技术》 北大核心 2016年第13期80-83,共4页

在软件开发的整个周期内,软件测试对项目的正常运行起着关键作用,计算机软件安全性测试是软件测试的一部分,但又有其特别的测试技术和测试方法。嵌入式软件的安全性测试可以分为功能性安全测试和漏洞性安全测试,功能性安全测试通常与普... 在软件开发的整个周期内,软件测试对项目的正常运行起着关键作用,计算机软件安全性测试是软件测试的一部分,但又有其特别的测试技术和测试方法。嵌入式软件的安全性测试可以分为功能性安全测试和漏洞性安全测试,功能性安全测试通常与普通的功能性测试一起进行,其测试技术和测试方法也基本相同。在此重点挖掘一些嵌入式软件安全测试的共性部分,主要研究安全测试在软件开发周期中的各种方法策略和技术。并借鉴一般应用软件安全测试的管理规范,结合嵌入式软件的具体特点分析改进,试图形成针对嵌入式软件较为通用的、工程化的安全测试解决方案。 展开更多

关键词 嵌入式软件测试 漏洞挖掘 安全性测试 测试策略

在线阅读 下载PDF 职称材料

基于虚拟机的嵌入式软件测试环境 被引量：5

4

作者 王轶辰 刘斌 钟德明 《计算机应用》 CSCD 北大核心 2005年第B12期364-365,368,共3页

嵌入式软件的系统测试需要系统测试环境的支持,而当前使用最多的专用测试环境,因为可移植性较差,极大的限制了测试用例的可重用性。文中提出了一种全新的基于测试虚拟机的软件测试环境,并且详细介绍了测试虚拟机的原理以及利用微内核模... 嵌入式软件的系统测试需要系统测试环境的支持,而当前使用最多的专用测试环境,因为可移植性较差,极大的限制了测试用例的可重用性。文中提出了一种全新的基于测试虚拟机的软件测试环境,并且详细介绍了测试虚拟机的原理以及利用微内核模式对测试虚拟机的体系结构进行设计。 展开更多

关键词 嵌入式软件测试环境 可重用性 可移植性 测试运行时系统 测试虚拟机 微内核

在线阅读 下载PDF 职称材料

一种基于仿真器的嵌入式软件测试方法 被引量：1

5

作者 陈琦 钱红兵 +1 位作者 金茂忠 刘辉 《计算机工程与科学》 CSCD 2006年第z2期129-131,147,共4页

本文给出了一种基于仿真器的嵌入式软件测试方法,首先通过对源程序编译生成的目标文件进行分析和链接,得到符号表、内存映像和行号信息;然后将内存映像加载到仿真器上运行,结合符号表和行号信息实现嵌入式软件动态测试.该方法具有结果... 本文给出了一种基于仿真器的嵌入式软件测试方法,首先通过对源程序编译生成的目标文件进行分析和链接,得到符号表、内存映像和行号信息;然后将内存映像加载到仿真器上运行,结合符号表和行号信息实现嵌入式软件动态测试.该方法具有结果准确、支持单元测试等优点.文中着重介绍了链接目标文件、生成和加载内存映像的过程,并简要介绍了使用该方法开发的AD2106X DSP处理器嵌入式软件仿真测试工具Sim2106xTest的主要功能. 展开更多

关键词 嵌入式软件测试 仿真器 链接 目标文件

在线阅读 下载PDF 职称材料

嵌入式软件测试工具中间结构的设计与实现

6

作者 李晓龙 陆建华 +2 位作者 沈雷 罗西 严少清 《计算机工程》 CAS CSCD 北大核心 2010年第18期46-48,51,共4页

实现一种实时嵌入式软件测试工具的中间结构,描述中间结构的生成、存储、转换过程,给出生成类继承图、生成控制流图的实现代码。设计一个针对C/C++的解析器,对源码进行预处理,以实现由源码生成中间结构,并利用XSLT技术实现中间结构为后... 实现一种实时嵌入式软件测试工具的中间结构,描述中间结构的生成、存储、转换过程,给出生成类继承图、生成控制流图的实现代码。设计一个针对C/C++的解析器,对源码进行预处理,以实现由源码生成中间结构,并利用XSLT技术实现中间结构为后端应用提供的接口。 展开更多

关键词 嵌入式软件测试 中间结构 XSLT 技术

在线阅读 下载PDF 职称材料

面向嵌入式软件测试的脚本语言CATScript

7

作者 徐思刚 桑楠 《计算机工程》 CAS CSCD 北大核心 2005年第11期82-84,共3页

提出了一种基于仿真构件、面向嵌入式软件测试的脚本语言CATScript,介绍了脚本解释器体系结构,并将它们应用到计算机辅助测试系统中,取得了显著的效果,达到了预期的目标。

关键词 嵌入式软件测试 仿真构件 脚本语言 脚本语言解释器

在线阅读 下载PDF 职称材料

嵌入式软件虚拟化测试技术标准框架研究 被引量：12

8

作者 曲明成 崔乃刚 +1 位作者 吴翔虎 陶永超 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2017年第5期49-55,121,共8页

针对嵌入式系统硬件平台采用纯软件仿真并对嵌入式软件进行功能级测试的相关研究存在较多不足,缺乏整体、统一、灵活、标准的仿真部件间接口,致使不同体系、类型的处理器仿真核与各类外设间较难进行快速、直接的整合与交互、导致缺乏系... 针对嵌入式系统硬件平台采用纯软件仿真并对嵌入式软件进行功能级测试的相关研究存在较多不足,缺乏整体、统一、灵活、标准的仿真部件间接口,致使不同体系、类型的处理器仿真核与各类外设间较难进行快速、直接的整合与交互、导致缺乏系统级可配置能力、各类仿真核与调试器(GDB)间不能进行直接、有效地互联和交互,从而无法达到可定制、组件化的系统级仿真及虚拟测试环境快速搭建目标.基于组件化思想,提出一套处理器仿真、外设仿真和调试器(GDB)三者间可进行直接、快速交互的标准结构、标准接口和基本处理逻辑,优化和删减了GDB层次,扩充了新功能,使之在运行时可动态加载、支持多种仿真处理器体系.研发了虚拟测试系统,验证了所提方法、结构、接口的有效性和正确性,与其他同类技术、项目进行了综合能力比较.结果表明本文所提方法、技术具有较多优势. 展开更多

关键词 嵌入式软件测试 虚拟目标机 虚拟测试系统

在线阅读 下载PDF 职称材料

基于TestQuest的嵌入式软件可靠性测试环境框架研究 被引量：4

9

作者 王乾宇 朱小冬 +1 位作者 王毅刚 李想 《中国测试》 CAS 北大核心 2012年第1期106-109,共4页

嵌入式软件是软件中最难测试的一种软件,该文提出了一种嵌入式软件可靠性测试环境框架,分析了嵌入式软件测试与普通软件测试的异同。针对嵌入式软件难于测试的问题,运用仿真测试和自动化测试方法,并利用TestQuest工具辅助构建环境,重点... 嵌入式软件是软件中最难测试的一种软件,该文提出了一种嵌入式软件可靠性测试环境框架,分析了嵌入式软件测试与普通软件测试的异同。针对嵌入式软件难于测试的问题,运用仿真测试和自动化测试方法,并利用TestQuest工具辅助构建环境,重点介绍了框架中各个模块的功能、实时控制器的分层结构实现、上位机与实时控制器的通信协议编写方法,最后通过实例验证该平台有良好的适应性和易操作性。 展开更多

关键词 嵌入式软件测试 可靠性测试环境 软件分层结构 TestQuest自动测试工具

在线阅读 下载PDF 职称材料

基于模拟器的嵌入式软件动态测试技术 被引量：2

10

作者 许福 金茂忠 +2 位作者 晏海华 刘辉 赫建营 《计算机工程》 CAS CSCD 北大核心 2008年第4期98-100,共3页

提出一种嵌入式软件动态测试框架,该框架以模拟器为运行核心,准确模拟嵌入式硬件的运行状态,给出语句覆盖率、分支覆盖率、函数及模块的执行频度、程序执行时间等测试信息,有效地支持了嵌入式软件的动态测试和单元测试。实验证明了该方... 提出一种嵌入式软件动态测试框架,该框架以模拟器为运行核心,准确模拟嵌入式硬件的运行状态,给出语句覆盖率、分支覆盖率、函数及模块的执行频度、程序执行时间等测试信息,有效地支持了嵌入式软件的动态测试和单元测试。实验证明了该方法的有效性。 展开更多

关键词 模拟器 嵌入式软件测试 动态测试 单元测试

在线阅读 下载PDF 职称材料

嵌入式软件系统测试模型的研究与实现 被引量：5

11

作者 林晓欲 石磊 《科学技术与工程》 2009年第24期7515-7520,共6页

指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题。针对这些不足,通过对嵌入式软件测试技术的研究,以形式化的需求描述、基于数据域的测试用例生成等方法为基础,以系统测试环境为平台,... 指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题。针对这些不足,通过对嵌入式软件测试技术的研究,以形式化的需求描述、基于数据域的测试用例生成等方法为基础,以系统测试环境为平台,建立了适合嵌入式软件系统测试的模型框架。然后针对模型的各个部分,提出了具体的实现方案。最终将该方案应用于某型号嵌入式软件的系统测试中,保证了测试用例设计的完整性、测试覆盖的全面性、测试度量的准确性,并且大大提高了测试的效率。帮助用户达到软件测试效率提高、成本降低、风险小、所开发的软件产品质量高的目的。 展开更多

关键词 嵌入式软件测试 软件系统测试 形式化的需求描述 实时性

在线阅读 下载PDF 职称材料

嵌入式软件结构化测试方法及其相关案例研究 被引量：3

12

作者 冯静 《计算机工程与应用》 CSCD 北大核心 2005年第22期73-75,共3页

嵌入式软件的测试是当今计算机软件测试领域的一个热点。该文首先分析了在嵌入式系统中进行软件测试的重要性以及目前进行嵌入式软件测试所面临的困难,接着介绍嵌入式软件的一种结构化测试方法——TEmb方法,并在此基础上根据一个实例—... 嵌入式软件的测试是当今计算机软件测试领域的一个热点。该文首先分析了在嵌入式系统中进行软件测试的重要性以及目前进行嵌入式软件测试所面临的困难,接着介绍嵌入式软件的一种结构化测试方法——TEmb方法,并在此基础上根据一个实例——火控系统测试来具体应用嵌入式软件结构化测试方法。 展开更多

关键词 嵌入式软件测试 TEmb方法 火控系统

在线阅读 下载PDF 职称材料

基于函数切片的嵌入式软件回归测试研究 被引量：5

13

作者 程晓菊 李仁发 《计算机工程》 CAS CSCD 2012年第2期54-56,共3页

为提高中大型嵌入式软件回归测试的效率,克服因程序微小变动而导致对整个嵌入式软件系统重新测试的弊端,提出一种函数切片算法Function Slice。给出代码影响域的概念,采用函数切片思想对待回归测试用例集进行约简,选取和源代码变化相关... 为提高中大型嵌入式软件回归测试的效率,克服因程序微小变动而导致对整个嵌入式软件系统重新测试的弊端,提出一种函数切片算法Function Slice。给出代码影响域的概念,采用函数切片思想对待回归测试用例集进行约简,选取和源代码变化相关的测试用例进行回归测试。实验结果表明,该算法能约简嵌入式软件中的待回归测试用例集,提高回归测试效率,且适用于较复杂的嵌入式系统回归测试过程。 展开更多

关键词 源代码变化 测试用例集约简 函数切片 嵌入式软件测试 大型嵌入式系统 回归测试

在线阅读 下载PDF 职称材料

航天嵌入式软件动力学仿真环境的通用软件架构 被引量：3

14

作者 蔡雨辰 奚坤 +1 位作者 黎藜 王振华 《空间控制技术与应用》 CSCD 北大核心 2017年第3期66-70,共5页

针对航天嵌入式软件测试环境通用化需求,提出动力学软件的通用化设计方法.基于航天动力学仿真的特点,设计灵活、通用和易于扩展的软件框架、接口数据结构和接口函数,适用于在研型号的所有接口处理方式.该方法在实际型号工作中完成应用,... 针对航天嵌入式软件测试环境通用化需求,提出动力学软件的通用化设计方法.基于航天动力学仿真的特点,设计灵活、通用和易于扩展的软件框架、接口数据结构和接口函数,适用于在研型号的所有接口处理方式.该方法在实际型号工作中完成应用,显著提高了动力学软件的研制速度,动力学软件运行稳定,精度满足测试要求. 展开更多

关键词 航天嵌入式软件测试 通用测试环境 动力学软件

在线阅读 下载PDF 职称材料

探索性软件测试方法及其在嵌入式系统中的应用 被引量：4

15

作者 柳溪 《现代电子技术》 2014年第20期74-79,共6页

探索性软件测试发挥测试人员经验和创造性,强调软件测试各阶段的同时性,并利用测试学习被测系统,已形成应用体系并在工业界成功运用。将探索性测试技术应用于嵌入式系统软件测试,是解决测试时间紧、任务重、软件文档不完备等现实问题的... 探索性软件测试发挥测试人员经验和创造性,强调软件测试各阶段的同时性,并利用测试学习被测系统,已形成应用体系并在工业界成功运用。将探索性测试技术应用于嵌入式系统软件测试,是解决测试时间紧、任务重、软件文档不完备等现实问题的有吸引力的方法。然而,嵌入式系统测试要求严格的软件测试管理流程和文档,并需对测试执行进行有效评价,这些要求在探索性测试中被弱化。调研和综述探索性测试技术,分析探索性测试技术与嵌入式系统软件测试体系的关联和冲突,是将探索性测试在嵌入式软件测试中的恰当运用的关键。以此为基础,对探索性测试在嵌入式系统软件测试中的应用模型提出了建议,并对应用中的问题和后续研究进行了讨论和展望。 展开更多

关键词 探索性软件测试 嵌入式系统软件测试 基于会话的测试管理 敏捷测试

在线阅读 下载PDF 职称材料

静电放电引发嵌入式软件故障的等效实验预测方法 被引量：1

16

作者 秦海潮 《西北工业大学学报》 EI CAS CSCD 北大核心 2018年第1期195-202,共8页

对于电子设备的正常运行,静电放电有时是一种严重威胁。目前,由静电放电造成的大多数硬件故障问题可以在产品设计阶段进行规避。但静电放电引发的嵌入式软件故障,因其偶发性、突发性、隐蔽性等特点,依然是一项业界难题。将目前发现的嵌... 对于电子设备的正常运行,静电放电有时是一种严重威胁。目前,由静电放电造成的大多数硬件故障问题可以在产品设计阶段进行规避。但静电放电引发的嵌入式软件故障,因其偶发性、突发性、隐蔽性等特点,依然是一项业界难题。将目前发现的嵌入式软件故障进行分类,并提出了一系列软件故障的等效实验监测方法。通过方法探究和大量实验佐证,力图从这些监测方法中寻求静电放电引发嵌入式软件故障的等效实验预测方法。 展开更多

关键词 嵌入式软件测试 静电放电 实验设计 WIFI

在线阅读 下载PDF 职称材料

某火炮武器系统电气控制软件测试实践

17

作者 周云卿 李锋 +1 位作者 顾涛 马斌 《火炮发射与控制学报》 北大核心 2010年第4期28-31,共4页

针对火炮武器系统软件的特点,利用Testbed和RTInsight搭建了嵌入式实时系统的软件测试平台,通过将Testbed软件测试工具的静态分析与代码插装技术和RTinsight实时数据采集分析设备相结合的方式,以某火炮电气控制软件为测试实例,对其进行... 针对火炮武器系统软件的特点,利用Testbed和RTInsight搭建了嵌入式实时系统的软件测试平台,通过将Testbed软件测试工具的静态分析与代码插装技术和RTinsight实时数据采集分析设备相结合的方式,以某火炮电气控制软件为测试实例,对其进行了静态分析、文档审查与动态测试。为提高火炮武器系统软件的测试效率和有效性提供了借鉴方法。实践表明,此方法对提高火炮武器系统软件的质量及可靠性具有实际的应用价值。 展开更多

关键词 计算机应用 火炮 嵌入式软件测试 静态分析

在线阅读 下载PDF 职称材料

AMT控制软件测试平台开发 被引量：2

18

作者 孙名扬 赵彬 +1 位作者 陈志新 曹珊 《汽车技术》 北大核心 2016年第7期40-43,共4页

为提高AMT C程序离线测试的效率,利用MATLAB S-Function对C程序进行集成,使用Excel进行自动化测试用例脚本编制。通过Simulink平台对嵌入式C程序进行模型在环搭建,在项目开发前期对某款AMT控制软件进行测试及调试。所设计开发的测试平... 为提高AMT C程序离线测试的效率,利用MATLAB S-Function对C程序进行集成,使用Excel进行自动化测试用例脚本编制。通过Simulink平台对嵌入式C程序进行模型在环搭建,在项目开发前期对某款AMT控制软件进行测试及调试。所设计开发的测试平台通过了实际项目验证。在一汽自主开发的多款AMT控制软件测试中应用,形成AMT软件测试开发平台,有效提高了离线测试的效率和准确度。 展开更多

关键词 AMT 嵌入式软件测试 MATLAB

在线阅读 下载PDF 职称材料

NI推出HIL软件,满足无人驾驶汽车测试需求

19

《电子测量与仪器学报》 CSCD 北大核心 2016年第10期1581-1581,共1页

NI（美国国家仪器，National Instruments，简称NI）近日宣布推出VeriStand最新版VeriStand2016，该软件旨在帮助嵌入式软件测试工程师构建和运行硬件在环（HIL）验证系统。由于互联网汽车和无人驾驶车辆的出现，当今的工程师面临着日... NI（美国国家仪器，National Instruments，简称NI）近日宣布推出VeriStand最新版VeriStand2016，该软件旨在帮助嵌入式软件测试工程师构建和运行硬件在环（HIL）验证系统。由于互联网汽车和无人驾驶车辆的出现，当今的工程师面临着日益缩短且不断变更的时间截点以及持续变化的需求。 展开更多

关键词 嵌入式软件测试 无人驾驶汽车 测试需求 INSTRUMENTS NI HIL 无人驾驶车辆 验证系统

在线阅读 下载PDF 职称材料

空间监视雷达测试数据的自动生成方法研究 被引量：4

20

作者 王浩宇 路强 《合肥工业大学学报（自然科学版）》 CAS 北大核心 2020年第5期620-623,共4页

目前空间监视雷达嵌入式软件测试主要采用人工手动测试的方法,该方法受环境的约束大,且软件产品质量难以获得有效确认。因此,文章结合雷达嵌入式软件测试工作,基于测试自动化理论,提出了一种空间监视雷达测试过程中的测试数据自动化生... 目前空间监视雷达嵌入式软件测试主要采用人工手动测试的方法,该方法受环境的约束大,且软件产品质量难以获得有效确认。因此,文章结合雷达嵌入式软件测试工作,基于测试自动化理论,提出了一种空间监视雷达测试过程中的测试数据自动化生成方法。该方法主要是通过对空间目标运动轨迹的仿真建模,进而依据模型自动化生成测试数据。此外,该方法也可推广至软件自动化测试的其他领域。 展开更多

关键词 空间监视雷达 嵌入式软件测试 测试数据 运动轨迹仿真建模 测试自动化

在线阅读 下载PDF 职称材料