|
LDRA
Testbed软件测试工具成功用于载人航天工程软件测试。由于载人航天工程中各主要系统采用了大量的计算机技术,因此软件质量已成为整个系统质量的关键,整个项目开发过程中采用严格的软件工程管理,从需求分析、设计到软件测试。
为了保证实时性与可靠性,大多数系统采用汇编语言与C语言混合方式编程。而为了保证软件质量,要求按高指标软件测试标准进行。经过深入的工具评估,航天科技集团订购了超过50个使用许可的LDRA
Testbed/TBrun/TBsafe软件测试工具包。同时为了满足嵌入式系统测试的需要,定制了RTMonitor实时监控器,配合LDRA
Testbed进行系统级软件测试。目前这个工具包在整个项目各个开发部门与软件测试部门得到广泛使用,为载人飞船开发提供关键的静态分析、动态和单元测试功能。
关于中国载人航天工程
中国的载人航天工程于1992年1月被正式批准,并命名为“921工程”载人飞船工程由航天员、飞船应用、载人飞船、运载火箭、发射场、着陆场和航天测控与通信等七大系统构成。飞船从论证到发射,共要进行四次无人实验,两次载人飞行,要想发射载人飞船,最起码要有三个条件:一、性能可靠的大推力火箭;二、完备的维持生命系统;三、万无一失的卫星回收技术。在这些复杂的电子系统中,系统的可靠性是关键,而构成这些系统的系统软件又是该系统关键之关键,在这之初,欧洲阿丽亚那5的失败就是软件导致的沉痛教训。我国的载人航天工程从项目成立开始就按照软件工程化思路来进行管理和设计,严格对软件进行质量过程控制。为此,航天集团专门成立了软件专家小组,设立了七个航天软件评测机构,对不同的关键性软件进行测试和评估。
关于LDRA软件测试工具
LDRA公司是专业性软件测试工具与测试技术、咨询服务提供者,成立于1975年,具有丰富的软件测试经验,其总部位于英国利物浦,中国设有总代理上海创景计算机系统有限公司。其旗舰产品Testbed/TBrun功能强大、功能全面、易于使用,
Testbed/TBrun是市面上唯一可同时支持编码规则检查、软件度量分析、数据流分析、覆盖率分析及单元测试的工具,不仅适合于主机平台软件测试,同时适合于嵌入式软件测试,已成功地应用于国内各大研究机构、软件测试部门。
了解更多相关产品 |