星载软件可测试性设计方法
随着星载软件复杂度的增加,提高软件测试效率对保证软件质量越来越重要,软件的可测试性设计成为提高软件测试效率的关键手段.文中针对星载软件的可测试性设计提出了四种方法:设计可测试的分层体系结构可将软件故障限制在层次范围内;合约式任务模板可规范任务的输入输出,降低任务间的耦合性;状态序列编码可用于动态指示软件的切换与流向;多任务调度记录与堆栈使用记录可用于静态复现一段时间内软件的详细工作过程.可测试性设计方法应用在某项目的软件研制中,软件测试效率有明显提高,证明方法可行有效.
星载软件、可测试性设计、软件体系结构、任务模板、状态序列、航天器
30
TP3;V47
2010-11-24（万方平台首次上网日期，不代表论文的发表时间）
共7页
31-37
