软件可靠性度量实例研究

为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并详细阐述了各个度量的目标、方法和过程,最后对度量结果进行了综合分析以及给出了对软件的改进建议。     

航天型号软件代码质量度量评估实现

结合和完善Logiscope和McCabe两种软件度量体系,根据航天型号软件的具体特点,选取出依据软件程序代码的可量化测量度量元,同时修改并增加了3个新定义的度量元,并通过测试不同型号的软件确定出模型参数,建立质量度量评估模型。本研究成果有助于航天型号软件的量化评价,为质量管理人员了解软件质量水平、软件设计师改进软件程序质量,提供量化的客观依据。     

航天型号软件项目开发成本估计

基于COCOMO模型并结合中国航天系统型号项目软件开发的特点和现状,讨论了航天型号软件项目开发的成本估计方法。同时指出了成本估计模型是开放的,使用者可以根据具体的环境和人员以及项目的具体特性对它进行剪裁,以使成本的估计更加理想。     

Intel8086软件仿真器的设计与实现

本文以软件仿真系统在航天、航空及其它领域的实际需求为背景，介绍了嵌入式软件仿真系统的工作原理，对其中一种层次化的软件仿真器模型进行了描述，并讨论了该模型在实现过程中遇到的一些关键性技术问题     

运用马尔柯夫信源熵量化航天型号研制经验不确定性的研究

分析了国内外航天费用估算不确定性分析方法和研制经验不确定性的特性 ,通过运用马尔柯夫信源熵在刻划随机过程方面的优势 ,实现了航天型号研制经验不确定性的量化.     

航天企业基于知识流的知识管理体系框架

针对航天企业实施知识管理的薄弱环节,从系统工程角度出发,在简述企业知识管理体系基本功能的基础上,提出了基于知识流的知识管理体系框架和主要设计原则。重点阐述了基于知识流的航天企业知识管理框架模型和知识管理体系框架,并针对航天企业科研生产一体化的特点,分析了航天型号全寿命过程中从预研到研制过程的知识管理流程,以及研制过程与批生产过程的知识集成模式。对知识管理体系框架下科研生产一体化的发展趋势进行了初步探讨。     

基于Agent的航天测控资源调度问题建模分析

为了研究航天测控资源调度与优化问题,需要建立问题的标准化描述模型.通过对航天测控工程需求的分析,明确了与航天测控资源调度有关的各仿真对象定义及测控调度过程,并指出了需要考虑的规刖和约束.采用基于Agent技术的对象属性、交互、规则、状态的描述方法,建立了可扩展的航天测控资源调度问题中各时象描述模型和资源分配过程模型.通过一个实例验证了该建模分析方法的可行性.     

实施小组软件过程提高成熟度等级

软件能力成熟度模型(CMM)已经成为众多软件企业改进软件过程的框架,但是它只给出了过程改进的方面和要达到的目标,而没有具体说明如何进行软件过程改进。小组软件过程是一个具体的、完善的、可以使用的软件过程,它支持基于CMM模型的软件过程改进。通过分析小组软件过程与CMM之间的关系以及实施小组软件过程对提高软件过程成熟度的作用。指出了实施小组软件过程对我国软件企业过程改进的意义。     

基于Petri网的软件项目管理建模方法

一种新的对于Petri网的拓展方法—库所拓展提出,并在以软件项目管理过程为例分析建模对象的动态特性的基础上,说明了库所拓展Petri网在描述过程管理方面的特点和优势。同时分析了库所拓展Petri网如何迎合建模对象动态性特点及解决由此带来的设计管理工具难等问题,以尽量达到最优的设计目的。     

基于载人航天功能模型的系统安全性模糊评价方法研究

对载人航天安全性评价时，需要处理两类不同的数据，即随机性数据和可能性数据。本文根据载人航天过程，初步建立了功能的对象模型，在此基础上，基于模糊规划方法，将两类安全性数据进行了统一处理，并提出了载人航天系统安全性模糊评价的求解方法。     

A Critical Heuristic Approach to the Establishment of a Software Development Process

The software development process for large software systems can be very complex, mainly in the case of development of innovation. There is no ready-made solution for this process. Rarely, if ever, can a solution be applied in a straightforward manner. Those involved in such software development need to make choices that will determine the features of the development process with consequences for its clients, who were not involved in the development but are affected by its results. The choices are inevitably influenced by the beliefs and values of the developers. Their judgments need to be made explicit so that people who are affected can eventually question these judgments.The Critical Systems Heuristics (CSH) is a systems methodology that makes it possible to examine the judgments made by those involved in the software development process. It offers tools to question such judgments.The application of the CSH to the software development process helps to illustrate the heuristic ability of the methodology to make evident the potential sources of misconception and its critical ability to identify imperfections in the conception of the software process.     

一种基于虚拟对象的进程检查点实现方法

检查点回卷恢复策略是实现软件容错的一种重要方法。基于虚拟对象策略的进程检查点实现方法把应用层与系统层的直接交互被重定向为应用层与虚拟对象层的交互以及虚拟对象层与系统层的交互。故障恢复时,虚拟对象层重新和系统层捆绑结合,使得进程环境故障前后的差异性对应用层透明。另外,基于虚拟对象的检查点策略不须要进行对象句柄转换,避免了对象句柄转换所带来的开销。该方法具有开销小的特点,并且支持多线程及线程间的同步。     

类比学习及其在软件生成中的应用

类比是一种运用已有经验求解问题的有力方法,类比在问题求解过程中学习知识,积累经验。本文论述将类比学习用于问题求解的基本观点和方法,并根据软件开发这个复杂问题求解的特点,针对目前软件生成中存在的问题,提出了软件生成的启动式类比模型,为改善现有的开发方法与生成技术,提高开发效率提供了一条新的途径。     

基于可重用性的软件维护

软件维护工具的短缺造成了软件维护费用不断上升,软件维护工具的开发又是一个很难的课题。本文提出软件重用将有助于软件维护费用的降低,软件重用技术不仅可提高软件开发生产率,还可提高软件维护生产率。本文还介绍了一个基于可重用性的软件维护方法和工具。     

Optimal Budget Spending for Software Testing under the Condition of Nonlinear Constraint

Software testing is a very important phase of the software development process. It is a very difficult job for a software manager to allocate optimally the financial budget to a software project during testing. In this paper the problem of optimal allocation of the software testing cost is studied. There exist several models focused on the development of software costs measuring the number of software errors remaining in the software during testing. The purpose of this paper is     

90年代计算机软件的发展趋势及技术热点

本文提出90年代计算机软件的发展总趋势是缩短最终用户与计算机之间的距离,提高最终用户的计算能力。这一趋势在计算机软件技术的发展方面将形成五项技术热点:面向对象的软件技术;分布处理及网络软件技术;并行处理软件技术;多介质信息处理软件技术;智能化软件技术。     

适用于成组数据的Jelinski-Moranda模型研究

针对软件可靠性测试的成组测试数据，建立了适用于成组测试数据的软件可靠性Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ增长模型，并对其参数解特性进行了分析。通过分析得知，适用于成组测试数据的Ｊｅｌｉｎｓｋｉ－Ｍｏｒａｎｄａ模型的参数估计方程存在多个解，且只有在一定条件下才有合理解。最后给出了其参数解估计的有效数值算法。     

软件可靠性与费用权衡

软件可靠性与费用的关系是辩证的 :一方面增加可靠性可以减少软件的维修费用 ,避免软件因可靠性低不能使用所造成的开发费用的浪费 ;另一方面增加软件可靠性 ,大都以增加软件开发费用为代价 ,而软件成本的提高又制约了软件的销售和推广。对软件可靠性分配和软件测试终止时间的确定进行了深入分析 ,通过这两条途径实现了软件可靠性和费用的权衡。在此基础上 ,给出了在软件工程中权衡软件可靠性与费用的其它方法。     

支持软件重用的新方法

本文提出一个支持软件重用的软件开发新方法。新方法既可降低软件开发成本又可减少软件维护费用。本文还简要讨论了支持新方法的软件开发环境,本环境主要由软件重用工具、系统设计描述工具、模型建立工具和可重用软件管理工具等组成。