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