-
题名嵌入式软件系统测试模型的研究与实现
被引量:5
- 1
-
-
作者
林晓欲
石磊
-
机构
中国空空导弹研究院
-
出处
《科学技术与工程》
2009年第24期7515-7520,共6页
-
文摘
指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题。针对这些不足,通过对嵌入式软件测试技术的研究,以形式化的需求描述、基于数据域的测试用例生成等方法为基础,以系统测试环境为平台,建立了适合嵌入式软件系统测试的模型框架。然后针对模型的各个部分,提出了具体的实现方案。最终将该方案应用于某型号嵌入式软件的系统测试中,保证了测试用例设计的完整性、测试覆盖的全面性、测试度量的准确性,并且大大提高了测试的效率。帮助用户达到软件测试效率提高、成本降低、风险小、所开发的软件产品质量高的目的。
-
关键词
嵌入式软件测试
软件系统测试
形式化的需求描述
实时性
-
Keywords
embedded software testing software system testing formalized requirement description real time
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名弹载软件系统测试平台设计方案
被引量:1
- 2
-
-
作者
林晓欲
宋志刚
-
机构
中国空空导弹研究院
-
出处
《科学技术与工程》
2009年第4期911-918,共8页
-
文摘
软件系统测试在整个弹载软件开发过程中,位于软件设计、编码之后,是不可缺少的验证手段。软件系统测试平台的目的是为快速构造满足功能和性能要求的软、硬件提供环境支撑。根据需求,对软件系统测试平台的建立进行了有效的探索,提出了完整的弹载软件系统测试平台设计方案。系统测试平台设计方案组件化程度高、可扩展能力强,支持仿真模型、故障脚本、试验设计等开发组件,具有高效、可复用性好的特点;采用实时通讯机制和实时脚本等技术的有效结合,合理地利用系统的资源,有效保证了系统良好的实时性和灵活性。
-
关键词
软件测试
虚拟样机
测试用例
-
Keywords
software testing virtual machine test case
-
分类号
TP311.11
[自动化与计算机技术—计算机软件与理论]
-
-
题名弹载软件质量模型的研究
被引量:1
- 3
-
-
作者
林晓欲
雷倩茹
沈欣
-
机构
中国空空导弹研究院
空装驻洛阳地区第一军事代表室
-
出处
《航空兵器》
CSCD
北大核心
2022年第3期114-118,共5页
-
文摘
弹载软件的质量直接关系到武器系统需求指标实现的效率,因此,开展弹载软件质量模型的研究,对弹载软件发展具有重要的意义。本文针对弹载软件的特点、测试需求和软件质量度量标准,建立了适合于弹载软件质量特性、子特性和度量元的模型。并以某弹载飞控软件为例,运用建立的模型将质量子特性和动态测试建立关系,完成软件质量度量评价。该项研究为弹载软件质量评估提供了理论和应用基础。
-
关键词
软件质量
软件测试
质量模型
质量度量
评价技术
-
Keywords
software quality
software test
quality model
quality measurement
evaluation technology
-
分类号
TJ760
[兵器科学与技术—武器系统与运用工程]
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名弹载软件系统测试方法研究
被引量:3
- 4
-
-
作者
张杰
林晓欲
-
机构
中国空空导弹研究院
-
出处
《科学技术与工程》
2008年第13期3559-3562,共4页
-
文摘
系统测试是提高软件质量和可靠性的一种有效方法,以某型号产品飞控组件为对象,描述了测试平台的构成及功能实现方法,探讨了通过VXI平台构建软件测试系统的技术途径。测试结果表明,本测试平台具有较强的实时性,使用效果良好。
-
关键词
软件测试
系统测试
嵌入式软件
测试环境
测试用例
-
Keywords
software test
system test
embeded software
testing environment
test case
-
分类号
V557.5
[航空宇航科学与技术—人机与环境工程]
TJ762.23
[兵器科学与技术—武器系统与运用工程]
-
-
题名KTFlow在嵌入式软件测试过程管理中的应用
被引量:1
- 5
-
-
作者
石磊
林晓欲
-
机构
中国空空导弹研究院
-
出处
《微处理机》
2012年第6期44-47,50,共5页
-
文摘
介绍了KTFlow在嵌入式软件测试过程管理中的具体应用方法,通过5个阶段对测试活动进行全过程管理,实现了协同工作、项目定制、流程裁剪、状态管理和文档自动生成等功能,满足了军方对软件测试的管控要求。
-
关键词
嵌入式软件
测试过程管理
测试活动
-
Keywords
Embedded Software
Testing Process Management
Testing Activity
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名嵌入式软件的可靠性测试及评估
被引量:3
- 6
-
-
作者
王丽芹
林晓欲
-
机构
中国空空导弹研究院
-
出处
《微处理机》
2013年第2期53-56,共4页
-
文摘
软件可靠性是衡量软件质量的重要指标之一,软件可靠性测试和评估是提高软件可靠性的有效手段。针对嵌入式软件,研究了软件可靠性测试关键技术及统计方案,并将软件可靠性测试评估技术首次应用在某产品的嵌入式软件中,通过验证软件是否满足可靠性指标要求,为评价软件可靠性提供依据。
-
关键词
软件可靠性
可靠性测试
可靠性评估
操作剖面
测试统计方案
-
Keywords
Software reliability
Reliability test
Reliability evaluation
Operational profile
Test statistics method
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于中断影响分析的软件集成测试策略
被引量:1
- 7
-
-
作者
卢德中
林晓欲
-
机构
中国空空导弹研究院
-
出处
《计算机测量与控制》
北大核心
2014年第3期659-663,共5页
-
文摘
考虑到嵌入式实时系统较多地使用中断来确保软件实时性,而目前的集成测试策略主要包括基于分解的集成、基于调用图的集成和基于路径的集成,在这3种策略中都很少考虑到中断处理程序的影响,因此导致集成测试不够充分;文章通过对中断处理程序中使用到的变量进行分析,建立变量索引表,探索基于中断影响分析的软件集成测试策略,使得测试过程中既能够充分考核各种中断带来的影响,又不会过多地增加集成测试的工作量,该测试策略巳在多个型号/项目软件测试中进行了应用,有效地保证了集成测试的充分性。
-
关键词
中断
集成测试
策略
-
Keywords
interrupt integration testing
strategy
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件测试技术在人机对话系统中的应用研究
被引量:3
- 8
-
-
作者
林晓欲
Yuan Tommy
雷倩茹
-
机构
洛阳光电技术发展中心
约克大学计算机科学学院
-
出处
《航空兵器》
CSCD
北大核心
2019年第5期87-94,共8页
-
基金
国家留学基金委基金项目(201705270011)
-
文摘
对人工智能领域中人机对话系统的评测方法进行研究,针对不同对话系统的特征,分别提出了测试策略,对应策略开展某人机辩论系统测试验证,通过问题的解决,提高了被测软件的质量,验证了研究结果的可行性和有效性,为后续研究提供了基础。
-
关键词
人机对话系统
软件质量
软件测试
对话管理
场景分析
-
Keywords
human-computer dialogue system
software quality
software testing
dialogue management
scene analysis
-
分类号
TP399
[自动化与计算机技术—计算机应用技术]
-