军用装备软件需求层次分解及其规格描述

不规范的软件需求是造成无法顺利开展装备软件定型测评的重要原因。介绍了软件需求的基本概念,指出了军用装备软件需求的层次划分和各层需求的产生与描述方法,定义了需求文档的若干质量属性,从形式化、半形式化到自然语言的顺序介绍了软件需求的描述方法,并对用自然语言描述软件需求时应注意的问题列举了实例进行说明。利用该方法开展软件需求分析和规格说明定义,可以缓解当前定型测评所面临的困难,使装备软件定型测评在技术实施上得到保证。     

软件思维在武器装备系统建设中的体现和应用

软件在其自身的发展过程中,相对于硬件,有其相对独立的设计思路和开发方法,形成了独特的思考问题角度和新的思维体系。从确立装备软件在武器装备系统的逻辑中心地位出发,形成新的思维角度和新的思维方法,借助其理解和分析信息化条件下的武器装备系统,并将这些思想方法应用于武器装备系统的建设中。     

虚拟化技术研究与探索

近年来虚拟化技术在商业应用上的优势日益体现,不仅降低了IT成本,而且还增强了系统安全性和可靠性。主要针对服务器虚拟化技术的出现、发展,对目前x86平台主流虚拟化技术类别进行了总结,重点阐述了纯软件虚拟化技术的原理及面临的挑战。     

反导作战能力评估软件系统的组件化设计

反导作战能力评估是反导作战能力研究的重要方面之一。从系统工程和软件工程的观点出发,分析了反导作战能力评估软件系统的功能需求,着眼于软件系统体系结构和功能模块设计,将面向对象技术和组件技术相结合,提出了反导导弹作战能力评估软件系统的总体设计方案。     

西船公司抢占科技高地 拉动新兴产业腾飞

西船公司是我国水下装备和舰船动力的科研生产基地,具有雄厚的军工科研生产能力。多年来,公司结合陕西、山西能源大省的具体实际,以市场需求为导向,实行军民结合战略,加快产业结构调整,使民品占经济总量的80%,呈现出增幅大、发展快的特点。     

西安电子科技大学

西安电子科技大学是以信息与电子学科为主,工、理、管、文多学科协调发展的全国重点大学,直属教育部,是国家＂211工程＂立项建设的重点高校之一,是全国55所设有研究生院的高校之一,37所示范性软件学院的高校之一,20所获批设立集成电路人才培养基地的高校之一。     

软件测试质量管理设计分析与思考

本文介绍了软件生存周期的概念和特点,论述了软件测试质量管理设计的目标和主要内容,提出了软件测试质量管理设计的总体方案,并简要地阐述了测试质量管理的7个关键库的主要内容。     

构件技术在指控软件设计中的应用研究

基于构件的指控软件开发是提高指控软件生产率和质量的一种有效途径,它也是解决现存软件危机的必由之路。结合指控软件开发过程,对基于构件技术的软件开发方式应用进行了研究。实践表明本方法有助于提高软件产品质量及维护效率、缩短更新周期、降低开发成本。     

真正提高部队安全发展的实际能力

能否实现安全发展,实际能力是关键。当前,少数单位工作落实不到位,安全警报频响,归根到底是安全发展的实际能力不够。解决这个问题,要坚持硬件软件能力一齐抓。一、加强安全发展的硬件能力建设。要着眼建设信息化部队、打赢信息化战争的要求,把安全发展纳入信息化建设轨道,改善     

美一军事考察团作出评估：台湾抗不住第一波军事打击

2002年2月,一支由美国国防部专业幕僚、军事技术顾问、计划研究人员组成的小型考察团对台湾进行了为期一周的秘密访问,该团此行的目的是对台湾承受军事打击“第一击”的能力进行评估。依照台湾军方安排及考察团的要求,此次考察重点调研了台湾军队的军事软件设施、指管通情系统(C^4ISR)、重要军事设施的防护。