一种层次结构Markov链的火控雷达软件测试剖面构造方法

A Method of Developing Software Operational Profiles Using Hierarchical Structure of Markov Chain for Airborne Radar

操作剖面构造是软件可靠性测试中的一项重要工作内容,针对传统操作剖面构造方法对机载火控雷达软件的适用性差、测试难以实施的情况,分析了传统操作剖面构造方法的特点,提出了一种层次结构Markov链使用模型构建方法,借鉴Musa操作剖面"系统模式剖面-功能剖面-操作剖面"的分解方法,对机载雷达的作战模式进行层次分解和模式封装,利用Markov模型进行工作模式的转换,确定执行序列的执行概率,建立操作剖面,最后通过一个实例对该方法进行了验证。

Developing software operational profiles is an important work of software reliability testing.Aiming at the poor applicability and the difficulty of the traditional operation profile construction method to the software of airborne fire control radar software,by analyzing the characteristics of the traditional construction method of operation profile,a method of constructing the use model of hierarchical Markov chain is proposed.Referring to the decomposition method of"system mode section-function section-operation section"of Musa,the operational mode of airborne radar is decomposed hierachically and encapsulated.The Markov mode is used to transform the operational mode,determine the execution probability of execution sequence,and establish operation profile.Finally,an example is given to verify the effectiveness of the method.