软件的开发方法与步骤

本文从软件工程的角度出发，简略地介绍软件开发的步骤，每个阶段应完成的工作内容和达到的目标，提出了软件开发过程应采用的一些方法和注意事项。     

一种基于UML活动图的测试用例生成方法

软件测试作为软件开发过程的核心环节,是保证软件质量的重要手段.近年来基于可视化面向对象建模技术的软件测试方法逐渐成为学术界的研究热点.文中基于UML活动图模型,给出活动图的形式化定义及测试覆盖准则;结合基本路径思想,采用改进的压缩实例化方法处理并发模块,有效避免了路径爆炸问题,减少无效测试场景的输出.案例分析表明:文中方法具有较高的准确性和用例生成效率,增强了测试用例自动化生成的可行性和完备性.     

抓软件开发工程化,提高武器系统软件可靠性与维修性

本文分析了我国武器系统软件及其人开发的现状，介绍了软件工程方法和工具，以及软件开发中的配置管理的方法和工具，指出了软件开发工程化是提高武器系统乃至其它军用系统软件可行性和维修性的基本保证，并提出一些推进软件工程化的建议。     

项目管理在软件开发中的应用

随着IT产业的飞速发展，项目管理对于以应用开发为主的软件企业是一个行之有效的管理方法，项目管理在软件开发中的应用日益受到重视。本文着重介绍项目管理在软件开发过程中的应用。     

软件测试技术在舰船使用维修管理系统开发中的运用

针对软件开发的要求，在舰船使用维修管理系统开发过程中，运用软件测试技术，提高软件开发的效率和软件的可靠性。本文详细介绍舰船使用维修管理系统软件测试的过程、方法以及测试经验，以供参考。     

基于COM组件中间件的实现研究

根据软件复用的思想，介绍了基于GOM组件开发中间件的实现方法，简化了应用的开发，提高了软件开发的效率和软件系统的可靠性。     

二维液压管道布置CAD的研究与开发

本文从开发二维管道布置软件的工程意义出发，介绍了液压系统二维管道布置的方法及其简化、软件开发及软件的功能。     

海上编队作战方案形式化描述研究

作战方案的形式化描述是实现海上编队指挥自动化的关键，是提高编队协同作战能力的前提。通过对方案形式化描述问题研究现状的分析，概括了作战方案形式化描述的主要研究内容、方案形式化的主要方法、存在问题以及发展方向，对后续的研究工作具有一定参考意义。     

企业需求模型的形式化验证

企业信息化建设和改造中对建立全面、正确、一致的企业模型存在巨大需求.在企业信息系统开发的生命周期中,系统分析阶段内需求的正确获取与表达是保证软件质量、降低软件开发成本和风险的关键.文中提出对需求建模时引入本体方法进行形式化描述,进而设计模型能力问题验证,发现需求和设计的缺陷,确保软件需求的正确、有效和完备.基于此选择企业经营销售管理领域,并采用逻辑程序设计语言Visual Prolog给出了针对需求模型进行验证的应用实例.     

软件工程在武器装备软件开发质量控制中的应用

本文系统地论述了软件工程在武器装备软件开发质量控制中的应用,详细介绍了其八个主要环节的具体内容和控制要求,同时还提出了在武器装备软件开发过程应执行的国家标准和国家军用标准.