分析基于z语言的装备管理业务基础软件平台

《分析基于z语言的装备管理业务基础软件平台》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、分析基于Z语言的装备管理业务基础软件平台基于Z语言的装备管理业务基础软件平台论文导读：本论文是一篇关于基于Z语言的装备管理业务基础软件平台的优秀论文范文,对正在写有关于策略论文的写有一定的参考和指导作用,摘要：为提高装备管理软件开发效能，本文将形式化策略与软件工程化思想有机结合，给出了基于Z语言的装备管理业务基础软件平台的体系结构和设计，并基于Z-EMP平台开发了AA-MIS原型系统，验证了Z-EMP平台的研究方向和设计思想是正确可行的，为解决装备管理信息系统软件开发理由提供了一种思路和策略。　　

2、关键词：形式化策略；Z语言；业务基础软件平台；软件工程；装备管理　　：A　　1绪论　　伴随武器装备建设的快速发展，装备管理流程化、规范化的迫切需要，装备管理信息系统在现代装备保障中的作用日益突出。为适应装备管理模式持续改革、装备管理业务不断升级的需要，装备管理信息系统软件必须持续升级快速更新。但由于软件规模增大、复杂度增加，开发进度严重滞后、经费失控、质量糟糕等理由十分突出，传统的开发策略已不能适应业务需求加速变化的形势需要。　　解决和处理软件开发理由有两大策略。软件工程策略建立了多种软件开发过程

3、模型，从不同角度解决软件开发理由，试图制约进度、成本，提高软件质量。但由于需求描述不清、理解有误而导致的改正成本成指数增加，开发理由积重难返。形式化策略[1]为准确描述需求提供了一种全新而有效的技术途径，但该方面的研究限于理论研究层面多，在实际工业项目的应用相对较少。　　本文将形式化策略与软件工程化思想有机结合，以工作流引擎和规则引擎技术为支撑，基于Z语言构建了装备管理业务基础软件平台，通过形式化策略精确描述业务需求、业务基础平台加速软件开发进程、自动化测试提升软件质量，探索解决装备管理软件开发理

4、由的途径。　　2研究目前状况及存在理由　　软件开发理由主要分为理论策略和技术策略两大基本研究方向。技术策略以软件工程化研究为主，按照“软件工厂”模式提高软件生产效率，实用性很强，得到了产业界的广泛支持。随着软件的规模越来越大，复杂度越来越高，很难保证软件的可靠性和软件的开发效率。理论策略以形式化策略研究为主，目标是使系统具有较高的可信度和正确性，但实用性较差，难以投入实际应用。　　2.1软件工程策略　　1968年NATO提出“运用系统的、规范的和可定量的策略来开发、运转和维护软件”的工程化思想，主

5、要包括策略、工具和过程三大要素。四十多年来，软件工程虽然取得丰硕成果，但进度安排和成本估算不准，需求不清、变动大，质量低、难维护等理由依然日益严重，软件需求、开发进度管理和软件质量已成为软件工程化面对的三个主要难题。　　上世纪八十年代中期软件需求工程[2]被提出，HerbKrasner给出了需求工程五阶段生命周期的定义，MatthiasJarke和KlausPohl给出了需求工程包括获取、表示和验证三阶段的生命周期定义。需求工程逐渐成为研究热点理由之一。“基于知识的需求工程”[3]把AI（Arti

6、ficialIntelligence，人工智能）技术应用到需求工程领域，具有一个知识库和推理机制，在此基础上进行需求分析，检测其活动。美国南加州大学开发的一个基于知识的需求检测工具QARCC。“形式化需求分析策略”[4]是使用一种形式化语言进行语言公式的形式推理，用于检查语法的良构性并证明某些属性，其主要优势在于可以减少二义性、提高准确性、为验证打好基础、允许对需求进行推理等。　　为解决开发进度理由，软件设计策略方面的研究成果众多，可分为重量级策略和轻量级策略。重量级策略产生大量的正式文档，强调以

7、开发过程为中心，主要包括ISO9000、CMM和统一软体开发过程（RUP）等。轻量级策略没有对大量正式文档的要求，主要包括“极限编程”和“敏捷流程”等。面向方面的程序设计（AOP）被认为是近年来另外一个重要发展方向。　　为解决软件质量理由，以软件测试为主要研究方向取得飞速发展。统计表明：在典型的软件开发项目中，测试工作量往往占软件开发总工作量的40%以上[5]。软件测试阶段在整个软件开发周期中所占的比重日益增大。软件测试环境复杂、分析工作量大，手工测试效率低，自动化测试逐渐取代手工方式成为主流测试

8、策略。自动化测试具有效率高、成本低、效果好、可以复用等优点。自动化测试工具主要有Robot、ethod）是建立在严格数学基础上的软件开发策略，以精确的语义描述软件系统，在此基础上进行自动生成、转化及验证。20世纪60年代“软件危机”以来，在推动软件工程化以外，形式化策略的研究及应用也取得了长足发展。　　形式化策略通常可分为五类[6]：（1）基于模型的策略，如：Z、Object-Z、VDM、B等。（2）代基于Z语言的装备管理业务基础软件平台由优秀站.zbjy.提供,助您写好论文.数策