期刊文献+
共找到133篇文章
< 1 2 7 >
每页显示 20 50 100
On modeling approach for embedded real-time software simulation testing 被引量:6
1
作者 Yin Yongfeng Liu Bin Zhong Deming Jiang Tongmin 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2009年第2期420-426,共7页
Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and emb... Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing (SUT), test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software. 展开更多
关键词 embedded real-time software software testing testing modeling simulation
在线阅读 下载PDF
嵌入式软件模糊测试研究综述
2
作者 孙琪明 侯刚 +2 位作者 靳文杰 黄晨 孔维强 《计算机科学》 北大核心 2025年第7期13-25,共13页
嵌入式软件目前已广泛应用于国防军工、航空航天、物联网通信等各类安全攸关系统,面临着日益严峻的安全挑战,因此,如何快速发现并修复嵌入式软件安全漏洞变得至关重要。模糊测试作为一种高效的软件测试技术,能够通过自动生成大量随机数... 嵌入式软件目前已广泛应用于国防军工、航空航天、物联网通信等各类安全攸关系统,面临着日益严峻的安全挑战,因此,如何快速发现并修复嵌入式软件安全漏洞变得至关重要。模糊测试作为一种高效的软件测试技术,能够通过自动生成大量随机数据测试软件系统的可靠性,目前已逐步应用于各类嵌入式软件的漏洞发现。文中首先介绍了模糊测试技术、嵌入式系统及其固件设备;其次,概述了嵌入式软件模糊测试的流程,分析了其与传统软件模糊测试的区别和面临的挑战;然后,系统地介绍了嵌入式软件模糊测试的研究现状和主要方法,包括直接模糊测试和基于仿真的模糊测试;最后,分析了嵌入式软件模糊测试效果提升可采用的优化方法并展望了未来可能的技术方向。 展开更多
关键词 嵌入式软件 固件设备 安全漏洞 直接模糊测试 基于仿真的模糊测试
在线阅读 下载PDF
电力系统智能装置自动化测试系统的设计 被引量:62
3
作者 李忠安 沈全荣 +1 位作者 王言国 李兴建 《电力系统自动化》 EI CSCD 北大核心 2009年第8期77-80,共4页
微机保护、测控等智能装置是电力系统的重要组成部分。介绍了自动化测试及仿真测试环境的概念和基于此基础上的智能装置通用自动化测试系统。该系统采用分布式体系结构,模拟装置运行环境;采用脚本技术,可实现自动化的回归测试;采用开放... 微机保护、测控等智能装置是电力系统的重要组成部分。介绍了自动化测试及仿真测试环境的概念和基于此基础上的智能装置通用自动化测试系统。该系统采用分布式体系结构,模拟装置运行环境;采用脚本技术,可实现自动化的回归测试;采用开放式结构,方便系统扩展。实际应用表明,该系统可提高电力系统智能装置的测试质量及效率。 展开更多
关键词 智能装置 自动化测试 仿真测试环境 测试脚本 分布式系统
在线阅读 下载PDF
基于Python的实时嵌入式软件测试脚本 被引量:20
4
作者 蒋崇武 刘斌 +1 位作者 王轶辰 胡璇 《计算机工程》 CAS CSCD 北大核心 2009年第15期64-66,73,共4页
基于Python语言设计一种实时测试脚本,开发扩展模块,实现测试脚本与嵌入式软件仿真测试环境(ESSTE)的接口。该测试脚本使用简便,实时性高、描述能力强、具有良好的可复用性,目前已成功应用到ESSTE中。对多个实时嵌入式软件进行测试,结... 基于Python语言设计一种实时测试脚本,开发扩展模块,实现测试脚本与嵌入式软件仿真测试环境(ESSTE)的接口。该测试脚本使用简便,实时性高、描述能力强、具有良好的可复用性,目前已成功应用到ESSTE中。对多个实时嵌入式软件进行测试,结果验证了该测试脚本的正确性和实时性。 展开更多
关键词 自动化软件测试 测试脚本 实时嵌入式软件 仿真测试环境 Python脚本
在线阅读 下载PDF
雷达软件测试环境仿真平台技术研究与实践 被引量:11
5
作者 林洁 吴慈伶 +1 位作者 孙俊若 叶波 《现代雷达》 CSCD 北大核心 2010年第6期92-95,共4页
软件测试是保证软件质量和可靠性的重要手段,完整的软件质量保障活动贯穿整个软件生存周期。文中在探讨传统软件测试方法遇到的困境及其局限性基础上,有针对性地研究软件测试环境仿真技术,运用此技术能有效提高软件测试覆盖度,实现尽早... 软件测试是保证软件质量和可靠性的重要手段,完整的软件质量保障活动贯穿整个软件生存周期。文中在探讨传统软件测试方法遇到的困境及其局限性基础上,有针对性地研究软件测试环境仿真技术,运用此技术能有效提高软件测试覆盖度,实现尽早测试,同时可以缓解测试资源的紧张与不足,实现软件质量持续改进与提高,并结合某工程实际开展试点工作,结果表明,软件测试环境仿真平台功能完善,性能稳定可靠,取得了较好的效果。 展开更多
关键词 软件测试 测试环境仿真 雷达软件
在线阅读 下载PDF
嵌入式软件目标码仿真测试平台的研究与设计 被引量:9
6
作者 杨芳 贺红卫 +1 位作者 谢鹏 饶京宏 《计算机工程与设计》 CSCD 北大核心 2009年第19期4364-4367,共4页
为了满足当前提出的对安全关键软件进行目标码测试的要求,改变目标码测试工具缺乏的现状,提出了一种目标码仿真测试平台的设计方案。分析了目标码测试的特点,在此基础上提出了一种基于虚拟软件测试环境的支持嵌入式软件目标码测试的仿... 为了满足当前提出的对安全关键软件进行目标码测试的要求,改变目标码测试工具缺乏的现状,提出了一种目标码仿真测试平台的设计方案。分析了目标码测试的特点,在此基础上提出了一种基于虚拟软件测试环境的支持嵌入式软件目标码测试的仿真测试平台的设计结构,给出了虚拟运行平台构建、目标文件静态分析、测试用例加载、测试信息采集记录和目标码覆盖率统计的解决方法。通过设计TMS320C67x目标码仿真测试平台,验证了该设计的有效性。 展开更多
关键词 目标码 嵌入式软件 软件测试 仿真测试平台 语句覆盖率 分支覆盖率
在线阅读 下载PDF
基于仿真器的嵌入式软件单元测试方法 被引量:4
7
作者 许福 金茂忠 +1 位作者 刘辉 陈琦 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2012年第12期1686-1690,共5页
介绍了一种基于仿真器的嵌入式软件测试方法,通过构造链接器分析目标文件,生成内存映像,加载到仿真器执行测试.该方法特别适合嵌入式软件的单元测试,支持对不完整的代码进行测试,同时引入了交互式脚本执行机制,支持采用高级脚本语言而... 介绍了一种基于仿真器的嵌入式软件测试方法,通过构造链接器分析目标文件,生成内存映像,加载到仿真器执行测试.该方法特别适合嵌入式软件的单元测试,支持对不完整的代码进行测试,同时引入了交互式脚本执行机制,支持采用高级脚本语言而不是嵌入式专用汇编语言设计桩函数和测试用例,降低了测试人员的培训代价.航天某院等单位的应用结果显示,该方法能有效提升嵌入式软件的单元测试效率,有较高的实际推广价值. 展开更多
关键词 嵌入式软件 软件测试 仿真器 链接器 单元测试
在线阅读 下载PDF
综合模块化航空电子软件测试环境 被引量:5
8
作者 郑军 刘畅 任占勇 《计算机工程与设计》 CSCD 北大核心 2011年第8期2737-2740,共4页
分析了综合航电软件特性和体系结构,总结了软件测试需求。对综合航电软件测试环境进行了初步研究,提出了具有三层软件体系结构的仿真测试环境,能够满足综合航电软件的测试需求。通过基于任务的测试仿真模型与测试配置蓝图,能够解决实时... 分析了综合航电软件特性和体系结构,总结了软件测试需求。对综合航电软件测试环境进行了初步研究,提出了具有三层软件体系结构的仿真测试环境,能够满足综合航电软件的测试需求。通过基于任务的测试仿真模型与测试配置蓝图,能够解决实时测试数据激励与收集和动态测试配置的关键技术。通过原型系统的测试,验证了测试环境软件体系结构的应用性和正确性。 展开更多
关键词 软件测试 测试环境 测试仿真模型 测试蓝图 综合航电软件 软件体系结构
在线阅读 下载PDF
软件可靠性增长模型研究综述 被引量:29
9
作者 张策 孟凡超 +6 位作者 考永贵 吕为工 刘宏伟 万锟 蒋家楠 崔刚 刘子和 《软件学报》 EI CSCD 北大核心 2017年第9期2402-2430,共29页
软件可靠性增长模型SRGM(software reliability and growth model)是目前建模可靠性及其过程提高的重要数学工具,对可靠性的评测、保证以及测试资源管控和最优发布研究具有重要作用.对SRGM的核心研究内容与建模流程进行分析,给出了SRGM... 软件可靠性增长模型SRGM(software reliability and growth model)是目前建模可靠性及其过程提高的重要数学工具,对可靠性的评测、保证以及测试资源管控和最优发布研究具有重要作用.对SRGM的核心研究内容与建模流程进行分析,给出了SRGM基本功用.同时,梳理了SRGM的发展演变历程,进而对当前研究现状进行深入剖析,给出当前研究特征.从软件中总的故障个数、故障检测率FDR(fault detection rate)和测试工作量TE(testing-effort)这3个方面对影响SRGM的因素进行了分析.基于作者前期研究中提出的统一性框架模型,对当前典型的解析模型进行了分类比较和分析;对基于有限与无限服务队列模型的SRGM进行分析与讨论;对以率驱动事件过程RDEP(rate-driven event processes)为重点的仿真方法进行剖析.进一步地,为了验证与分析不同模型的差异,对26个典型的模型在公开发表的16个数据集上进行了实验.结果表明,SRGM的性能差异取决于失效数据集的客观性以及研究人员对测试过程进行不同假设下所建立的数学模型的主观性.最后,指出了SRGM面临的挑战、发展趋势和亟待解决的问题. 展开更多
关键词 软件可靠性增长模型 不完美排错 测试工作量 框架模型 排队论 仿真
在线阅读 下载PDF
基于颗粒聚合体的玉米果穗建模方法 被引量:32
10
作者 于亚军 周海玲 +2 位作者 付宏 吴玄辰 于建群 《农业工程学报》 EI CAS CSCD 北大核心 2012年第8期167-174,共8页
在采用离散元法分析玉米脱粒过程时,需要建立玉米果穗的分析模型。该文根据玉米果穗的结构和形态,提出基于颗粒聚合体的玉米果穗分析模型建模方法,并研制了玉米果穗的建模软件,同时添加到自主研制的玉米脱粒过程分析软件中。通过实际玉... 在采用离散元法分析玉米脱粒过程时,需要建立玉米果穗的分析模型。该文根据玉米果穗的结构和形态,提出基于颗粒聚合体的玉米果穗分析模型建模方法,并研制了玉米果穗的建模软件,同时添加到自主研制的玉米脱粒过程分析软件中。通过实际玉米果穗与其分析模型的对比和玉米脱粒过程的初步仿真分析,证明了该玉米果穗建模方法的可行性,为采用离散元法分析玉米的脱粒过程奠定了基础。 展开更多
关键词 仿真分析 建模 软件 玉米 脱粒 颗粒聚合体 离散元法
在线阅读 下载PDF
SCADA主站系统集成测试技术研究 被引量:15
11
作者 刘东 闫红漫 +2 位作者 丁振华 袁智强 王勇 《电网技术》 EI CSCD 北大核心 2005年第2期62-67,共6页
在SCADA系统出厂试验(FactoryAcceptanceTest,FAT)与现场试验(SiteAcceptanceTest,SAT)中都需要进行系统的集成测试,针对出厂试验和现场试验的要求,作者分析了SCADA主站系统集成测试的方法与测试环境,具体探讨了SCADA主站系统的性能指... 在SCADA系统出厂试验(FactoryAcceptanceTest,FAT)与现场试验(SiteAcceptanceTest,SAT)中都需要进行系统的集成测试,针对出厂试验和现场试验的要求,作者分析了SCADA主站系统集成测试的方法与测试环境,具体探讨了SCADA主站系统的性能指标测试、雪崩测试、稳定性测试、可靠性测试、安全性测试和可维护性测试。在集成测试中提出了采用主站系统专用测试工具和通用软件性能测试工具两种方法,并通过远动终端仿真环境来模拟大量的测量数据对系统进行测试。对SCADA主站性能指标,不仅要测试各项性能指标在正常情况下,还要测试其在满负荷下系统的工作情况。有效的集成测试将显著提高SCADA主站系统的产品质量和运行可靠性。 展开更多
关键词 主站系统 SCADA系统 性能指标 运行可靠性 出厂试验 现场试验 标测 集成测试 FAT 性能测试工具
在线阅读 下载PDF
VIP并行油藏数值模拟软件在油田开发中的应用 被引量:6
12
作者 郑强 牛津庐 +2 位作者 杨新平 丁艺 潘前樱 《新疆石油地质》 CAS CSCD 2001年第6期520-523,共4页
并行油藏数值模拟是近年发展起来的新技术,既能处理大规模油藏数值模拟和超大规模油藏数值模拟,同时又能加快小规模油藏数值模拟的运算速度,使模拟更大、更快、更准确,缩短研究周期。1999年引进的兰德马克公司VIP5.0版并行模拟软件,包括... 并行油藏数值模拟是近年发展起来的新技术,既能处理大规模油藏数值模拟和超大规模油藏数值模拟,同时又能加快小规模油藏数值模拟的运算速度,使模拟更大、更快、更准确,缩短研究周期。1999年引进的兰德马克公司VIP5.0版并行模拟软件,包括8个CPU的黑油组分(包括裂缝)软件包及其配套软件,可运行百万级节点的大型黑油组分模型。应用新疆某油田复杂断块油气藏、海外某油田碳酸盐岩凝析油气藏、新疆某油田石炭系弱挥发性油藏对并行油藏数值模拟软件的解法稳定性、并行效率等进行了全面的测试。测试结果表明该软件解法稳定、加速效率均在75%以上。在新疆油田分公司承接的海外某油田碳酸盐岩凝析油气田调整方案和新疆油田分公司近期重点调整区块某油田西山窑组油藏加密调整方案中的应用使模型的规模和运算速度与以往相比均有较大幅度的提高,为开发调整方案的及时制定提供了便利,赢得了时间。用VIP软件预测的推荐方案指标,在第一年实施中符合率较高。 展开更多
关键词 并行 数值模拟 测试 调整方案 VIP 油藏 油田开发 软件
在线阅读 下载PDF
仿真软件的被动测试与主动测试互补的研究 被引量:5
13
作者 赵一丁 刘凤华 +2 位作者 郑秋生 楚纪正 李志民 《计算机科学》 CSCD 北大核心 2012年第12期121-124,152,共5页
仿真软件的被动测试和主动测试在实践中都有一些缺点,针对这些缺点提出了被动测试与主动测试互补的具体方法。通过一定的被动机制提前获取实际生产的历史数据,运用技巧提高历史数据测试的有效性。提出的"正推法"、"逆推... 仿真软件的被动测试和主动测试在实践中都有一些缺点,针对这些缺点提出了被动测试与主动测试互补的具体方法。通过一定的被动机制提前获取实际生产的历史数据,运用技巧提高历史数据测试的有效性。提出的"正推法"、"逆推法"均有效地克服了单纯主动测试和单纯被动测试的缺点,正推法与逆推法的混合在实践中更具灵活性。被动与主动测试的互补混合测试的BUG结果数据对于被测仿真软件数学模型参数的修正等方面有较大作用。互补混合的具体过程细节应与整个仿真软件开发过程互相协调。 展开更多
关键词 软件测试 被动测试 有效数据 仿真 催化裂化
在线阅读 下载PDF
一种用于AUV导航控制软件开发与系统测试的半实物仿真系统 被引量:5
14
作者 高剑 严卫生 +2 位作者 杨立 张福斌 徐德民 《西北工业大学学报》 EI CAS CSCD 北大核心 2007年第1期87-91,共5页
设计并完成了用于自主水下航行器(AUV)导航控制软件的开发与系统测试的半实物仿真系统。该半实物仿真系统由实时仿真计算机和真实的导航控制计算机构成,实时仿真计算机完成AUV空间运动的实时积分解算,并利用多功能数据采集卡和串行通讯... 设计并完成了用于自主水下航行器(AUV)导航控制软件的开发与系统测试的半实物仿真系统。该半实物仿真系统由实时仿真计算机和真实的导航控制计算机构成,实时仿真计算机完成AUV空间运动的实时积分解算,并利用多功能数据采集卡和串行通讯端口模拟AUV导航控制系统中的传感器和操舵机构的工作,为导航控制计算机提供全真的软硬件工作环境,使开发人员在此基础上能够完成导航控制软件全部功能的开发,并进行全面、有效的系统级软件测试,具有非常高的工程实用价值。尤其在实航试验中,可以立即在现场对修改后的导航控制软件进行测试,极大地降低了由软件修改带来的试验风险。 展开更多
关键词 自主水下航行器 导航控制软件 软件测试 丰实物仿真
在线阅读 下载PDF
“创新一号”软件开发及仿真测试平台研究 被引量:3
15
作者 李华旺 孙宁 +1 位作者 赵宏坤 杨根庆 《量子电子学报》 CAS CSCD 北大核心 2002年第3期278-281,共4页
本文介绍了“创新一号”卫星软件开发及仿真测试平台的体系结构和硬件实现.该系统在“创新一号”小卫星星载软件的开发及调试过程中发挥了重要的作用.
关键词 软件开发 仿真 软件测试 嵌入式软件
在线阅读 下载PDF
海上地震勘探主要采集参数的选取与验证——以南海北部某调查区为例 被引量:22
16
作者 罗文造 韦成龙 +1 位作者 王立明 杨蜀冀 《热带海洋学报》 CAS CSCD 北大核心 2009年第4期93-101,共9页
采集参数选取的优劣直接关系到野外地震资料质量的高低。作者经过多年海上地震调查实践,总结了一套实用的采集参数选取原则与验证流程。首先结合南海北部某调查区以往的地震和地质资料分析,建立了典型的地震地质结构模型;根据现有调查... 采集参数选取的优劣直接关系到野外地震资料质量的高低。作者经过多年海上地震调查实践,总结了一套实用的采集参数选取原则与验证流程。首先结合南海北部某调查区以往的地震和地质资料分析,建立了典型的地震地质结构模型;根据现有调查设备的性能,利用专业软件Nucleus6.2模拟对采集参数选取的理论计算,比较不同采集参数组合的模拟结果,选择有利于调查任务的参数组合。对海上生产前模拟选用的采集参数组合做试验和验证,确定了最适合的参数作业。运用该套原则和流程精心设计,实验获得了高质量野外资料。 展开更多
关键词 海上地震勘探 采集参数 地球物理模型 软件模拟 野外参数试验 验证
在线阅读 下载PDF
嵌入式软件仿真测试环境的软件体系结构设计 被引量:12
17
作者 王轶辰 刘斌 《计算机工程与应用》 CSCD 北大核心 2005年第16期97-99,共3页
仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,仿真测试测试环境是支持仿真测试方法的一种自动化测试平台,针对仿真测试环境的功能需求,提出了一种基于主从结构的仿真测试环境的体系结构设计,之后重点介绍了实时处理机软件的体... 仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,仿真测试测试环境是支持仿真测试方法的一种自动化测试平台,针对仿真测试环境的功能需求,提出了一种基于主从结构的仿真测试环境的体系结构设计,之后重点介绍了实时处理机软件的体系结构设计,并对其中的任务管理与调度和通讯协议两个模块的软件体系结构设计进行了详细的描述,最后对全文进行了总结。 展开更多
关键词 嵌入式软件 软件系统测试 仿真测试环境 软件体系结构 分层系统 黑板模式
在线阅读 下载PDF
通用嵌入式系统软件测试平台的设计 被引量:10
18
作者 沈永清 徐中伟 《计算机工程与应用》 CSCD 北大核心 2007年第15期83-85,共3页
仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,探讨了通过在PC机上仿真模拟ARM嵌入式系统,对嵌入式系统软件进行仿真测试的通用测试平台的设计。该平台可以在不做大幅度修改的情况下对不同的嵌入式系统软件进行各种测试。重点... 仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,探讨了通过在PC机上仿真模拟ARM嵌入式系统,对嵌入式系统软件进行仿真测试的通用测试平台的设计。该平台可以在不做大幅度修改的情况下对不同的嵌入式系统软件进行各种测试。重点介绍了仿真模拟器、测试管理器和测试平台专用工具链的设计,提出了一种测试管理器的实现模型,并进行了详细的描述。 展开更多
关键词 嵌入式软件 软件测试 嵌入式系统仿真 测试环境 测试管理
在线阅读 下载PDF
基于模拟器的嵌入式软件动态测试技术 被引量:2
19
作者 许福 金茂忠 +2 位作者 晏海华 刘辉 赫建营 《计算机工程》 CAS CSCD 北大核心 2008年第4期98-100,共3页
提出一种嵌入式软件动态测试框架,该框架以模拟器为运行核心,准确模拟嵌入式硬件的运行状态,给出语句覆盖率、分支覆盖率、函数及模块的执行频度、程序执行时间等测试信息,有效地支持了嵌入式软件的动态测试和单元测试。实验证明了该方... 提出一种嵌入式软件动态测试框架,该框架以模拟器为运行核心,准确模拟嵌入式硬件的运行状态,给出语句覆盖率、分支覆盖率、函数及模块的执行频度、程序执行时间等测试信息,有效地支持了嵌入式软件的动态测试和单元测试。实验证明了该方法的有效性。 展开更多
关键词 模拟器 嵌入式软件测试 动态测试 单元测试
在线阅读 下载PDF
高压共轨柴油机故障诊断系统控制策略研究 被引量:12
20
作者 路琼琼 申立中 +2 位作者 徐劲松 王贵勇 李智 《内燃机工程》 EI CAS CSCD 北大核心 2011年第3期37-42,共6页
基于高压共轨电控柴油机分析了柴油机电控单元故障诊断系统的工作原理,结合车载故障诊断系统的国际标准和电控系统模块化的设计思路,提出了针对各子模块的故障诊断控制策略,并完成了故障诊断模块的设计。通过对主要应用参数的标定,利用E... 基于高压共轨电控柴油机分析了柴油机电控单元故障诊断系统的工作原理,结合车载故障诊断系统的国际标准和电控系统模块化的设计思路,提出了针对各子模块的故障诊断控制策略,并完成了故障诊断模块的设计。通过对主要应用参数的标定,利用ETAS公司的ASCET软件实现控制策略的模拟仿真并在某型号高压共轨柴油机上进行台架试验。试验结果表明:采用控制策略可有效地实现柴油机的故障诊断。 展开更多
关键词 内燃机 高压共轨柴油机 故障诊断 ASCET软件 模拟仿真 试验
在线阅读 下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部