-
题名星载平台化软件测试脚本自动生成技术研究
- 1
-
-
作者
刘彤
程莉
袁军
董晓刚
李晓锋
张庆君
-
机构
北京控制工程研究所
中国空间技术研究院遥感卫星总体部
-
出处
《航天器工程》
北大核心
2025年第2期143-149,共7页
-
基金
国家自然科学基金重点项目(U21B2015)。
-
文摘
结合星载通用平台化软件研制需求,以覆盖空间探测和遥感等领域功能最为复杂的中低轨道姿轨控通用平台化软件为对象,开展面向多领域任务的通用平台化软件测试脚本自动生成技术研究,针对现有航天软件测试脚本通用性差和不易移植的难题,提出了基于参数配置的测试脚本自动生成技术设计方案,实现了星载平台化软件测试脚本的快速自动生成,经多领域不同航天器应用验证,表明提出的基于参数配置的测试脚本自动生成设计方案有效可行,具有良好的工程应用价值。
-
关键词
星载软件化平台
确认测试
测试脚本
自动生成
-
Keywords
spaceborne platformization software
confirmation test
test scripts
automatic generation
-
分类号
V416
[航空宇航科学与技术—航空宇航推进理论与工程]
-
-
题名GIS软件测试方法
被引量：3
- 2
-
-
作者
邓红艳
武芳
赵敬东
李永红
赵剑峰
-
机构
信息工程大学测绘学院
解放军炮兵学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2005年第7期1827-1829,共3页
-
文摘
GIS(GeographicInformationSystem)软件的发展趋势使软件系统和操作平台越来越趋向于大型、复杂化、图形用户界面(GUI)、多层体系结构以及依赖于超大型关系数据库等,这使得GIS软件的开发更加复杂,对软件人员的要求也越来越高。为了确保GIS软件项目的质量,降低开发费用,提高系统开发的成功率,必须把正规的、科学的、独立的软件测试工作纳入GIS软件开发的全过程。详细介绍了GIS软件测试的理念、方法、过程和要点。
-
关键词
GIS软件
软件测试
验证测试
确认测试
-
Keywords
GIS software
software testing
validate testing
conform testing
-
分类号
TP306.2
[自动化与计算机技术—计算机系统结构]
K90
[历史地理—人文地理学]
-
-
题名非干涉测试方法适应异质目标系统的研究
- 3
-
-
作者
张炯
金惠华
-
机构
北京航空航天大学计算机学院
-
出处
《计算机应用研究》
CSCD
北大核心
2007年第12期80-82,共3页
-
基金
总装备部装备预研基金资助项目(51404020403HK0149)
-
文摘
传统的嵌入式系统软件测试方法对被测试系统有一定的干涉效应,影响了测试结果的精确性。采用NIT(non-interference test,非干涉测试)方法可以将这种影响消除,从而得到精确的测试结果。与传统的测试方法不同,该方法的特点在于对目标系统完全是非干涉的,也就是不需要在目标软件中驻留任何仅用于测试的可执行代码。因为NIT是对目标系统硬件和软件定制性很强的测试方法,而嵌入式系统的硬件、软件组合是非常灵活而复杂的,所以将NIT应用于实际的测试工程必须解决如何适应不同体系结构目标机器的问题。具体来说,如何适应异质的硬件,如何面对不同目标系统都能在数据采集的同时高效率地分流过滤以便减小数据分析的压力,如何在数据分析阶段适应不同的高级编程语言的测试?针对这些问题进行了相关分析。
-
关键词
嵌入式系统
软件测试
白盒测试
确认测试
体系结构
-
Keywords
embedded system
software test
white box test
validation test
architecture
-
分类号
N311.5
[自然科学总论]
-
-
题名星载计算机嵌入式软件的自动化测试技术
- 4
-
-
作者
尚智
-
机构
北京控制工程研究所
-
出处
《控制工程（北京）》
2005年第5期108-111,共4页
-
文摘
星载计算机嵌入式软件具有特殊的应用领域和运行环境，要求极高的可靠性和安全性，因此系统软件在设计和实现中同计算机硬件一道大量的采用了一系列的客错机制，如看门狗、三取二等措施。特别是在错误处理和应用一级的客错特性主要是由软件来实现的。星载计算机软件既是嵌入式软件，又是容错软件，这使得软件的测试难度加大，一些隐蔽的缺陷难以发现。针对星栽嵌入式软件的以上特点，本文讨论了在确认测试阶段如何采用自动化测试技术来降低测试难度，节省回归测试时间，缩短产品发布周期，从而达到提高产品质量的目的。
-
关键词
嵌入式软件
自动化测试
确认测试
-
分类号
TP274.5
[自动化与计算机技术—检测技术与自动化装置]
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于黑盒测试的航天嵌入式软件用例设计方法
被引量：5
- 5
-
-
作者
林琳
-
机构
北京控制工程研究所
-
出处
《计算机工程与设计》
CSCD
北大核心
2012年第6期2272-2276,共5页
-
文摘
为了提高测试用例设计的效率,简化测试用例数量,提出了基于黑盒测试的航天嵌入式软件用例设计方法。阐述了确认测试过程中实用的测试用例设计流程,提出了在设计测试输入数据的基础上加强测试逻辑设计的用例设计方法,并结合实际工程经验,给出了测试用例的总体设计思路。最后,对测试遗漏问题及其原因进行了分析,为今后进行更有效的星载软件测试提供了参考。
-
关键词
嵌入式软件
确认测试
测试用例
用例设计
测试逻辑
-
Keywords
embedded software
validation test
test case
test case design
testing logic
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于测试的应答器车载设备安全分析方法研究
被引量：6
- 6
-
-
作者
徐征捷
-
机构
中车株洲电力机车研究所有限公司
-
出处
《铁道标准设计》
北大核心
2017年第10期162-166,共5页
-
文摘
为了能够使自主研发的应答器车载设备系统达到欧洲铁路标准产品的要求。在应答器车载设备系统的研发过程中,需要严格依据欧洲铁路标准SUBSET-036的要求来进行研发,同时,为了保证产品在全生命周期内能够达到较高的安全完整性等级,在产品研发过程中,需要全面贯彻IEC62278和IEC62425中的安全需求,即基于风险的安全设计理念。采用HAZOP和FMECA识别风险并制定相应的风险减轻措施,在应答器设计时,将风险减轻措施作为应考虑的安全输入条件贯彻在设计中,以确保产品风险被控制在一个可接受的水平。最后选取4个安全需求功能的测试用例,经过反复多次的确认测试,其测试通过率均达到100%,证明其安全需求均在应答器车载设备系统设计中给以满足。最终的测试用例结果表明,该自主研发的应答器车载设备系统满足列车运行控制系统的安全完整性等级的运用要求。
-
关键词
应答器车载设备系统
HAZOP
FMECA
安全确认测试
-
Keywords
On-board balise equipment system
HAZOP
FMECA
Security verification test
-
分类号
U284.4
[交通运输工程—交通信息工程及控制]
-
-
题名联想两款软件产品通过中国软件评测中心鉴定
- 7
-
-
-
机构
联想公司
-
出处
《中国电化教育》
CSSCI
北大核心
2004年第2期18-18,共1页
-
-
关键词
联想公司
中国软件评测中心
常规确认测试
质量控制体系
多媒体教学
教学资源
教育软件
-
分类号
F426.67
[经济管理—产业经济]
-
-
题名柬埔寨首批甜叶菊种植工作完成
- 8
-
-
-
出处
《世界热带农业信息》
2013年第4期16-16,共1页
-
文摘
2013年3月29日，加拿大农业公司SteviaNutraCorporation在金边发表声明，宣告该公司在柬埔寨首季甜叶菊种植工作已经完成。声明表示，首批成功种植的高质量甜叶菊将作为样本进行甜度测试，因为该阶段是甜叶菊商业化可行性的关键因素。此外，一旦确认测试通过，
-
关键词
甜叶菊
柬埔寨
种植
确认测试
大农业
商业化
甜度
-
分类号
S566.904
[农业科学—作物学]
-
