摘要
操作剖面构造是软件可靠性测试中的一项重要工作内容,针对传统操作剖面构造方法对机载火控雷达软件的适用性差、测试难以实施的情况,分析了传统操作剖面构造方法的特点,提出了一种层次结构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.
作者
黄茂生
陈世航
敬敏
HUANG Maosheng;CHEN Shihang;JING Min(The 5th Electronics Research Institute of Mil,Guangzhou 511300,China;The First Army Delegate Office of PLA Air Force Equipment Department in Nanjing,Nanjing 210013,China)
出处
《现代雷达》
CSCD
北大核心
2021年第3期14-19,共6页
Modern Radar
关键词
火控雷达
软件可靠性
操作剖面
MARKOV链
构造
测试
fire control radar
software reliability
operational profiles
Markov chain
structure
testing