基于分层递增验证的可信管理软件构造方法

战德臣，冯锦丹，聂兰顺，徐晓飞

(1.哈尔滨工业大学计算机科学与技术学院，150001哈尔滨;2.北京卫星制造厂，100094北京)

管理软件被广泛应用于工业、商业、服务业以及政府部门，对企业和组织的运行起到关键性的支撑作用，因此软件是否具有可信性至关重要.管理软件可信性问题的典型表现包括:软件系统中复杂的业务逻辑处理是否正确;财务信息、核心商业机密、技术机密等能否保证不会被非授权人员访问和纂改;软件系统的流程是否不会走到非预期的状态;各种路径是否已被完整地覆盖和解释;软件系统的集成和互操作是否如其所声明的工作;所有数据是否被正确的集成和完整的处理;软件系统能否适应其所声明的多样化、多变性需求.可信的管理软件如何快速低成本的开发以支持复用和满足不断变化的业务需求，给管理软件研发人员提出了一个更为艰巨的任务.

为了解决管理软件的快速开发问题，领域内广为使用的是对象管理组织提出的模型驱动的体系结构(Model Driven Architecture，MDA)规范［1］.其核心思想是将软件系统开发这样一个复杂的大问题进行多步求解和逐步求精，以保证软件符合需求.从软件可信性的角度看，借助MDA将软件系统的可信性问题可分解为软件模型的可信性问题和软件代码的可信性问题，即跨越了软件可信性与用户可信需求之间的鸿沟，自动化的模型转换与代码生成有助于保持可信性的自上而下传递.然而……