简介:详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。
简介:2006年12月,天津某预备役高炮团再传喜讯,该团在北京军区召开的2006年度工作总结表彰大会上,又一次荣立集体二等功,被总参谋部表彰为“全军预备役部队军事训练先进单位”。这是该团组建8年来第3次荣立集体二等功。面对“全军预备役部队军事训练先进单位”、“全军预备役部队政治工作先进单位”、“基层全面建设先进单位”诸多
简介:给出了一种IMGS方法,在理论上证明了当系数矩阵为不可约的M-矩阵时IMGS方法收敛,且其收敛速度快于基本的TOR迭代法。最后用数值例子验证了所得到的主要结论。
简介:基于软件维护性尽早、全过程迭代验证的思想,提出了贯穿软件生命周期的维护性迭代验证策略及过程,建立了基于功能块平均维护时间的维护性迭代验证模型。通过阶段性地开展软件维护性验证,可及时发现软件维护性设计缺陷并及早更改,避免造成严重的维护性质量问题,大大降低软件使用阶段的维护费用,提高软件系统的完好率。通过制定规范的软件维护性验证策略和方案,规范了软件维护性验证实施过程,为软件维护性验证人员提供了可行的操作指南,也为软件维护性验证平台开发人员明确平台需要提供参考。实例验证结果表明:所提出的软件维护性迭代验证方法是有效、可行的,可为软件研制人员提供理论指导,也为软件使用和维护人员制订软件维护计划、配置软件维护资源提供决策依据。