孔瑞远，肖桃顺，沈艳丽



军事信息系统体系结构验证方法综述

孔瑞远，肖桃顺，沈艳丽

(中国电子科学研究院，北京 100041)

体系结构验证是指从不同角度对体系结构设计的质量进行检验，以确保体系结构设计满足需求。伴随着新技术的发展以及新形势的变化，军事信息系统的设计日益复杂，如何有效保障体系结构设计质量已成为体系结构开发的关键。因此，体系结构验证也愈发重要。但目前，有关体系结构验证的研究较少且零散，还未形成完整的体系。本文针对体系结构验证的主要内容，提出了体系结构数据完备性、数据一致性、逻辑合理性以及效用评估的层级结构，并按照上述层级结构对各验证方法分别进行综述，体系化地验证体系结构设计的合理性。

体系结构验证；数据完备性；数据一致性；逻辑合理性；效用评估

引言

伴随着新技术的发展和应用，战争的形态和样式已发生了重大的变化，新形势下的战争已经进入信息对抗的时代，军事信息系统建设水平逐渐成为获取战争主动权的关键。当前军事信息系统呈现出系统组成数量巨大、交互异常复杂的特点，使得其开发过程必须在顶层设计的指导下才能顺利进行。体系结构涵盖系统组成部分的结构、它们之间的关系以及指导设计和随时间演化的原理和指南[1]，因此，体系结构设计是顶层设计的一个重要环节，通过多视图和多产品的形式，促进了不同人员之间的沟通和相互理解；……