通过分析陆军指挥控制软件架构的相似性,提出了一种专用的自动检查分析方法。它提供专用的分类别、分层次检查办法,可灵活有效地对模块化软件进行检查。软件自动检查系统是一种新的思路,与传统人工手动检查方法相比较,优势在于:资源整合率高、速度快、结果完整清晰,能有效支持各种模块化架构软件的检查。