基于构图覆盖的软件需求检测方法

以需求描述模型 RTRSM为基础 ,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型 ,提出了构图覆盖的动态检测方法 ,并给出了其具体算法 .该方法能检测嵌入式实时软件系统动态执行步中各并行成分及其相互间的执行情况 ,而且也可为分析员提供一些有用的检测信息以提高分析和检测软件需求的效率 .

新型武器装备作战需求论证方法与实践

新型武器装备作战需求论证需要在构建的动态论证环境下,结合可视化手段展现作战概念、作战样式和基本流程等,使该领域专家和高层决策者更好的进行思维碰撞,得出更为准确的决策方案。本文结合软件的应用背景,分析了UPDM在作战需求论证中具备的独特优势,总结了基于UPDM仿真平台开展新型武器装备作战需求论证的总体思路,提出了可执行模型和开展动态验证的具体方法,并进行了相应的实践演示。研究结论可以为丰富新型武器装备作战需求论证方法提供理论依据。