基于系统状态分析的软件可靠性测试方法  

The Practice of Software Reliability Testing Based on System State Analysis

作　　者：岳海[1] 周新蕾 王晓玲[1] 原坤[1] 杨扬[1] 

机构地区：[1]北京航天自动控制研究所,北京100854

出　　处：《航天控制》2010年第5期76-79,共4页Aerospace Control

摘　　要：航天工程类软件由于其应用环境的特殊性,对软件的可靠性和安全性非常重视。但是在航天型号中应用常规软件可靠性测试方法对工程软件进行可靠性评估却存在许多实际困难,本文介绍了一种基于系统状态分析的软件可靠性测试方法,为在航天型号工程类软件中开展可靠性测试提供了一条可实现途径。The software reliability and security in aerospace engineering are significant due to the particular environments of applying.However,the conventional methods of software reliability testing can not deal with practical problems in the aerospace reliability testing.The context presents a software reliability testing method based on the system state analysis,which is applied to flight-control software.The practice shows that this method brought a realizable path for deploying software reliability testing in aerospace software.

关 键 词：软件 系统状态 可靠性测试 工程实践 

分 类 号：TP363[自动化与计算机技术—计算机系统结构]