基于Z语言的装备管理业务基础软件平台研究.docVIP

基于Z语言的装备管理业务基础软件平台研究 　　摘要：为提高装备管理软件开发效能，本文将形式化方法与软件工程化思想有机结合，给出了基于Z语言的装备管理业务基础软件平台的体系结构和设计，并基于Z-EMP平台开发了AA-MIS原型系统，验证了Z-EMP平台的研究方向和设计思想是正确可行的，为解决装备管理信息系统软件开发问题提供了一种思路和方法。 　　关键词：形式化方法；Z语言；业务基础软件平台；软件工程；装备管理 　　中图分类号：TP301.2 文献标识码：A 　　1 绪论 　　伴随武器装备建设的快速发展，装备管理流程化、规范化的迫切需要，装备管理信息系统在现代装备保障中的作用日益突出。为适应装备管理模式持续改革、装备管理业务不断升级的需要，装备管理信息系统软件必须持续升级快速更新。但由于软件规模增大、复杂度增加，开发进度严重滞后、经费失控、质量糟糕等问题十分突出，传统的开发方法已不能适应业务需求加速变化的形势需要。 　　解决和处理软件开发问题有两大方法。软件工程方法建立了多种软件开发过程模型，从不同角度解决软件开发问题，试图控制进度、成本，提高软件质量。但由于需求描述不清、理解有误而导致的改正成本成指数增加，开发问题积重难返。形式化方法[1]为准确描述需求提供了一种全新而有效的技术途径，但该方面的研究限于理论研究层面多，在实际工业项目的应用相对较少。 　　本文将形式化方法与软件工程化思想有机结合，以工作流引擎和规则引擎技术为支撑，基于Z语言构建了装备管理业务基础软件平台，通过形式化方法精确描述业务需求、业务基础平台加速软件开发进程、自动化测试提升软件质量，探索解决装备管理软件开发问题的途径。 　　2 研究现状及存在问题 　　软件开发问题主要分为理论方法和技术方法两大基本研究方向。技术方法以软件工程化研究为主，按照“软件工厂”模式提高软件生产效率，实用性很强，得到了产业界的广泛支持。随着软件的规模越来越大，复杂度越来越高，很难保证软件的可靠性和软件的开发效率。理论方法以形式化方法研究为主，目标是使系统具有较高的可信度和正确性，但实用性较差，难以投入实际应用。 　　2.1软件工程方法 　　1968年NATO提出“运用系统的、规范的和可定量的方法来开发、运行和维护软件”的工程化思想，主要包括方法、工具和过程三大要素。四十多年来，软件工程虽然取得丰硕成果，但进度安排和成本估算不准，需求不清、变动大，质量低、难维护等问题依然日益严重，软件需求、开发进度管理和软件质量已成为软件工程化面临的三个主要难题。 　　上世纪八十年代中期软件需求工程[2]被提出，Herb Krasner给出了需求工程五阶段生命周期的定义，Matthias Jarke和Klaus Pohl给出了需求工程包括获取、表示和验证三阶段的生命周期定义。需求工程逐渐成为研究热点问题之一。“基于知识的需求工程”[3]把AI （Artificial Intelligence，人工智能）技术应用到需求工程领域，具有一个知识库和推理机制，在此基础上进行需求分析，检测其活动。美国南加州大学开发的一个基于知识的需求检测工具QARCC。“形式化需求分析方法”[4]是使用一种形式化语言进行语言公式的形式推理，用于检查语法的良构性并证明某些属性，其主要优势在于可以减少二义性、提高准确性、为验证打好基础、允许对需求进行推理等。 　　为解决开发进度问题，软件设计方法方面的研究成果众多，可分为重量级方法和轻量级方法。重量级方法产生大量的正式文档，强调以开发过程为中心，主要包括ISO9000、CMM和统一软体开发过程（RUP）等。轻量级方法没有对大量正式文档的要求，主要包括“极限编程”和“敏捷流程”等。面向方面的程序设计（AOP）被认为是近年来另外一个重要发展方向。 　　为解决软件质量问题，以软件测试为主要研究方向取得飞速发展。统计表明：在典型的软件开发项目中，测试工作量往往占软件开发总工作量的40%以上[5]。软件测试阶段在整个软件开发周期中所占的比重日益增大。软件测试环境复杂、分析工作量大，手工测试效率低，自动化测试逐渐取代手工方式成为主流测试方法。自动化测试具有效率高、成本低、效果好、可以复用等优点。自动化测试工具主要有Robot、Winrunner和QACenter等。此外，采用形式化方法描述并证明软件需求形式化规格说明，通过程序正确性证明、形式化推理分析、模型检验等方法证明软件正确并提高软件的质量，但这些方法处于研究阶段较多，存在一定的局限性，还没有达到工程化应用要求，软件测试仍将是提高软件质量的重要方法。 　　2.2形式化方法 　　形式化方法（Formal Method）是建立在严格数学基础上的软件开发方法，以精确的语义描述软件系统，在此基础上进行自动生成、转化及验