军用装备软件需求层次分解及其规格描述

不规范的软件需求是造成无法顺利开展装备软件定型测评的重要原因。介绍了软件需求的基本概念,指出了军用装备软件需求的层次划分和各层需求的产生与描述方法,定义了需求文档的若干质量属性,从形式化、半形式化到自然语言的顺序介绍了软件需求的描述方法,并对用自然语言描述软件需求时应注意的问题列举了实例进行说明。利用该方法开展软件需求分析和规格说明定义,可以缓解当前定型测评所面临的困难,使装备软件定型测评在技术实施上得到保证。     

J-M模型改进与可靠性预测研究

软件可靠性J-M预计模型对可靠性测试数据的假设要求比较严格,与实际情况不太符合。针对可靠性测试中各种因素的影响,适当修改了排除错误的条件假设,使得模型的适用性更强。对J-M模型用迭代法确定了参数的估计值,结合1组可靠性测试数据,得到可靠性预测结果。