作战软件模型检验方法研究  

Operational Model Verification and Validation Methods for Operational Software

作　　者：李明 

机构地区：[1]武汉74223信箱,武汉430074

出　　处：《舰船电子工程》2011年第6期128-131,共4页Ship Electronic Engineering

摘　　要：作战模型是作战软件的基础。采用合适的检验方法对作战模型进行检验,对于提高作战软件辅助决策的正确性、实用性,实现预定的功能需求,减少工程研制风险具有重要的意义。在分析作战模型研制过程的基础上,提出了作战模型检验方法的组合应用策略,为正确有效的开展模型检验活动提供了技术支持。Operational model is the foundation of operational software.In order to improve credibility and practicability of decision-making aid for operational software,achieve expected function requirements,reduce risks in engineering development,using suitable verification and validation methods for operational model is very essential.Development process of operational model is analyzed,strategies which combined verification and validation methods of operational model are proposed,these researches provide technology support for effective verification and validation of operational model.

关 键 词：作战软件 作战模型 作战模型检验方法 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]