检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:黄茂生[1] 陈世航 敬敏 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)
机构地区:[1]工业和信息化部电子第五研究所,广州511300 [2]空军装备部驻南京地区第一军事代表室,南京210013
出 处:《现代雷达》2021年第3期14-19,共6页Modern 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.
关 键 词:火控雷达 软件可靠性 操作剖面 MARKOV链 构造 测试
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论] V240.2[自动化与计算机技术—计算机科学与技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.220.192.109