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

Research on Verification Methods for the Architectures of Military Information Systems

作　　者：孔瑞远[1] 肖桃顺 沈艳丽[1] Kong Ruiyuan;Xiao Taoshun;Shen Yanli(China Academy of Electronics and Information Technology, Beijing 100041, China)

机构地区：[1]中国电子科学研究院,北京100041

出　　处：《工程研究（跨学科视野中的工程）》2016年第6期605-613,共9页JOURNAL OF ENGINEERING STUDIES

摘　　要：体系结构验证是指从不同角度对体系结构设计的质量进行检验,以确保体系结构设计满足需求。伴随着新技术的发展以及新形势的变化,军事信息系统的设计日益复杂,如何有效保障体系结构设计质量已成为体系结构开发的关键。因此,体系结构验证也愈发重要。但目前,有关体系结构验证的研究较少且零散,还未形成完整的体系。本文针对体系结构验证的主要内容,提出了体系结构数据完备性、数据一致性、逻辑合理性以及效用评估的层级结构,并按照上述层级结构对各验证方法分别进行综述,体系化地验证体系结构设计的合理性。Verification of the architecture is the process of quality check of design to ensure that the design satisfies the system requirements. With the developments of new technologies and changes of new situations, designof military information systems becomes more complex, and the quality guarantee of their design gets to be acrucial factor. Thus, verification of the architecture has become more and more important. However, the relatedresearches were few and scattered in present, and there’s no integrated system. Based on the contents of the verificationof architecture, a hierarchical structure has been proposed in this paper, including data completeness, dataconsistency, logic rationality and effectiveness evaluation of the architecture, and the relevant summaries are demonstrated according to this structure.

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

分 类 号：E919[军事]