星载软件可测试性设计方法

作     者：袁利 王磊 Yuan Li;Wang Lei

作者机构：北京控制工程研究所北京100190 

出 版 物：《中国空间科学技术》 (Chinese Space Science and Technology)

年 卷 期：2010年第30卷第4期

页      码：31-37页

摘      要：随着星载软件复杂度的增加,提高软件测试效率对保证软件质量越来越重要,软件的可测试性设计成为提高软件测试效率的关键手段。文中针对星载软件的可测试性设计提出了四种方法:设计可测试的分层体系结构可将软件故障限制在层次范围内;合约式任务模板可规范任务的输入输出,降低任务间的耦合性;状态序列编码可用于动态指示软件的切换与流向;多任务调度记录与堆栈使用记录可用于静态复现一段时间内软件的详细工作过程。可测试性设计方法应用在某项目的软件研制中,软件测试效率有明显提高,证明方法可行有效。

主 题 词：星载软件 可测试性设计 软件体系结构 任务模板 状态序列 航天器 

学科分类：0808[工学-自动化类] 0809[工学-计算机类] 08[工学] 0805[工学-能源动力学] 0802[工学-机械学] 0825[工学-环境科学与工程类] 0702[理学-物理学类] 

核心收录：

馆 藏 号：203302806...