一种提高星载软件可靠性的开发方法

星载软件工作环境的特殊性要求其具有高可靠性和容错性。现有软件可靠性低于硬件可靠性,星载软件失效在系统失效中占有很大比例。分析星载软件特点,根据其开发流程,阐述在软件开发各阶段提高其可靠性和容错性的措施。实践结果证明,此类容错技术是必要且有效的。     

软件开发方法与工具

随着软件规模和复杂程度的增加，软件的作用越显重要，选择合适的软件开发方法与工具对保证软件的质量至关重要．本文介绍一些常用的软件开发方法与工具．     

??????????????????????????

星载软件工作环境的特殊性要求其具有高可靠性和容错性.现有软件可靠性低于硬件可靠性,星载软件失效在系统失效中占有很大比例.分析星载软件特点,根据其开发流程,阐述在软件开发各阶段提高其可靠性和容错性的措施.实践结果证明,此类容错技术是必要且有效的.     

多媒体创作工具的现状和发展

一、多媒体创作工具的概述 多媒体创作工具是用于制作多媒体应用程序最终形成多媒体软件,并提供给用户的软件工具。多媒体软件的结构见图1。第一层(最低层)是系统软件和工具。包括图形与界面软件,提供基本的多媒体软件开发环境,在同一层次的还有多媒体软件运行环境以及多媒体软件开发工具。多媒体创     

基于抽象语法树的软件度量工具的设计与实现

为了提高软件质量和控制，改善软件开发过程，文中提出了以抽象语法树为核心的软件度量工具(ASTMT)的体系结构图，介绍了度量工具的功能及特点，详细论述了工具中各个模块的设计与实现方法，着重讨论了抽象语法树的组成及其节点设计。介绍该工具在软件开发中的实际应用，进而验证了工具的实用性与有效性。     

基于CMMI的小型软件过程自评估工具

CMMI-SW是SEI在CMM-SW的基础上开发并在全世界推广实施的一种软件能力成熟度评估标准，主要用于指导软件开发过程的改进和进行软件开发能力的评估。本文基于CMMI和小型过程评估的思想设计了一个小型软件过程评估工具，帮助中小型软件组织根据CMMI进行快速的软件过程自评估。     

面向协作的软件开发环境及其构造方法

针对现有软件开发环境中,工具集成缺乏灵活的过程逻辑,开发者、工具、制品数据之间关系割裂的问题,提出了一种新的面向协作的软件开发环境—软件生产线,以及一种构造软件生产线的方法-软件生产线框架,详细阐述了软件生产线框架的组成部分,并给出了软件生产线的构造和使用方法。应用案例表明,软件生产线框架能够加快软件开发环境的构造,并...     

软件配置管理与ClearCase研究

软件开发管理是使软件开发高效低耗所必需的,而软件配置管理是软件开发管理的关键,因此,软件配置管理成为软件开发过程的必要环节。而自动化的配置管理工具也日渐成为了软件配置的必要条件。此外,该文还初步研究了使用较为广泛的配置管理工具ClearCase。     

中小型MIS系统开发过程的管理

由于中小型企业管理软件开发的能力比较弱，常常导致项目处于混乱。开发过程混乱，使得新技术、新工具的优势难以体现。因此，对软件开发过程加以管理，可以提高软件过程的控制能力，确保软件项目的开发成功是当今研究的主要方向。能力成熟度模型和敏捷软件开发方法是当今流行的软件开发过程管理方法。本文针对这两类软件开发过程管理方法在中小MIS系统开发中的应用进行了分析和比较。     

武器系统一体化仿真/建模开发环境及关键技术

该文首先分析了当前一体化仿真软件的现状和武器系统仿真软件的结构，然后介绍了EISE软件的工具和功能，给出了利用WISE软件开发仿真的过程，最后阐述了WISE软件的关键技术。     

容错并行处理系统结构研究

传统的双冗余、三冗余和四冗余等容错计算机技术和容错计算机软硬结构不灵活并且可靠性／价格比较低，本文提出的五种容错并行处理系统无论可用性、丢失任务数和结构灵活性都显著好于前者，尤者分布式（３．１）和（２．１）概念冗余结构更具魁力，是高可靠并行处理系统的最佳结构选择。     

基于检查点和Rejuvenation的软件运行模型分析

近来的研究表明，长时间运行的通信软件往往存在老化现象。为防止软件老化引起的突发性系统停机，提高系统的可靠性，人们提出了一种预防性的软件容错策略，称为rejuvenation。由于它的过程复杂，总的停机成本仍然是可观的。检查点是一种轻量级的软件容错策略，其成本远小于rejuvenation的成本。该文通过合理结合rejuvenation和检查点技术，实现了降低总的系统停机成本的目的。文中给出了系统的Petri网模型，并结合实例进行了分析。     

基于软件体系结构的构件组装工具ABC-Tool

软件朝着越来越复杂和庞大的趋势发展,因此对更有效的软件开发技术的需求十分迫切,近年来,软件体系结构、构件技术和软件复用技术等开始在软件开发中发挥重要作用,成为软件工程领域研究的热点,在基于构件复用的开发方法中,构件组装技术是关键,而且一直以来也是难点所在,ABC(architecture-based component composition)是一种基于软件体系结构、面向构件的软件开发方法,介绍了为ABC方法提供有效支持的工具ABC-Tool,ABC-Tool以软件体系结构为设计蓝图,以构件为基本开发单元,在不修改构件源代码的前提下,通过可视化的图形建模方式,从体系结构的高层设计逐层映射到底层实现,将可运行或可部署的构件组装为最终的可正确运行的系统。     

基于问题框架的计算机辅助需求工程工具的研发

问题框架(Problem Frames,PF)已经得到需求工程界的广泛重视和研究。目前,问题框架在理论基础和开发方法等方面已经有很多研究成果,但如何把它们应用到实际的软件开发项目中仍是一个有待解决的问题。本工具可帮助系统分析员实现从用户需求到软件规约的平滑和可推理的变换,从而为软件开发项目中需求的沟通、建模及分析等提供技术支持。此外,该工具产生的结果也为下一步的软件设计提供帮助。它对促进问题框架方法的进一步发展和成熟,如从研究走向实用,具有重要的推动作用。     

面向计算流体力学应用开发框架的容错周期优化方法

针对计算流体力学应用开发框架容错支持能力的不足,提出了一种新的容错周期优化方法。该方法基于系统故障的概率建模,计算得到理想最优容错周期;并结合计算流体力学应用场数据输出的特点,在线确定实际检查点备份时机。三个典型应用的实验结果表明,在不同平均无故障时间的系统上,与固定时间步进行容错的方法相比,该方法总能够得到最优的容错开销。用户可以基于该方法通过框架接口便捷地设置容错周期,并有效降低容错所引起的开销。     

高可用双机容错服务器的研究与设计

为了保证服务器对外服务的持续性,提高服务器的可靠性,双机容错服务器是一种较好的解决方案.通过引入集群技术设计了高可用双机容错服务器的硬件容错体系,使用自检和心跳等多种软件容错技术实现了运行于该容错服务器之上的容错管理系统,最后对该容错系统给出了可用性分析.     

Industrial Requirements for Distributed SCM Tool

As software development comes to be viewed more and more as an engineering discipline, Software Configuration Management is increasingly recognised as a key technology in the development of software. The Esprit VISCOUNT project¹ aim is to implement an innovative Software Configuration Management (SCM) tool to use in a geographically distributed software development environment, a Virtual Software Corporation (VSC). The features implemented by the tool will be the following: ·Configurable process modelling ·Inter-working capabilities with COTS SCM tools ·Selective replication of archives ·Open to include plug-in applications (security mechanism, encryption, etc) This paper is based on the work undertaken as part of the VISCOUNT project, partially funded by European Union's Esprit Programme, and it describes the SIA (Societa' Italiana Avionica) requirements defined in the framework of VISCOUNT. This revised version was published online in August 2006 with corrections to the Cover Date.     

嵌入式系统集成开发平台的设计与实现

针对目前嵌入式软件开发工具的不足,提出利用面向对象的技术设计嵌入式软件IDE,使设计人员利用可重用的组件模块,搭建符合硬件要求的操作系统和软件系统,同时自动初始化编程嵌入式微处理器内部各种资源的使用,大大提高开发效率和软件质量。