软件可靠性模型在软件测试管理中的应用研究

本文应用软件可靠性模型技术研究软件测试资源管理的两个基本问题:测试资源的预测与分配问题和测试的最佳释放时间问题。应用文献[1]中得到的一般软件可靠性增长模型,我们讨论了软件测试资源的预估和分配的一般方法和具体计算公式,以及在几种软件释放标准下的最佳释放时间的确定方法。文中所提供的方法与公式对于搞好软件开发工作,合理地使用测试资源,保证软件的可靠性指标与预定功能的完成,降低软件产品的价格性能比有一定的实用价值。     

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

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

软件测试费用及资源优化模型研究

软件测试是保证软件可靠性的主要手段 ,软件测试费用则是软件可靠性工程费用的重要组成部分。为对其进行研究 ,首先对Musa的软件可靠性的增长日历时间模型进行了简化 ,建立了软件测试日历时间模型。在此基础上 ,提出了软件测试费用模型 ,并结合软件开发的实际经验 ,对测试资源进行了优化     

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

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

集成软件工程环境的用户接口和窗口系统

开发集成化的软件工程环境是近几年来国内外软件界的一个热点。用户接口和图形窗口系统更是受到人们的关注,因为它们关系到集成软件工程环境的效率高低、人们是否愿意使用和使用是否方便等关键问题。本文试图从几个方面来说明它的这些课题。     

基于Maxmin公平的风险控制资源比例分摊方法

在项目风险管理实践中,如何将风险控制资源适当地分摊给各风险因素是一个重要议题.在风险控制资源总量有限的情况下,合理地分配风险控制资源将有助于提高风险控制效果,提高资源利用效率.考虑到比例分摊是一种在实践中被广泛采用的分摊方法,其直观的分摊原理更容易被决策者所理解和接受,因此引入比例分摊思想研究该问题.首先推导出项目风险控制资源分摊集的数学表达式,进而定义各定义风险因素的分摊效用函数,在此基础上以分摊效用值满足Maxmin公平为目标,构建风险控制资源分摊模型并给出相应的分摊算法.该模型被应用到软件项目开发实例中,结果表明该方法能够实现对风险控制资源的合理分摊,可以为项目经理提供有效的决策支持.     

软件可靠性关键参数判定的矩估计方法

已有的基于结构的软件可靠性研究中大多假设建模参数为已知常量,导致模型忽略了参数估计的统计特征对于系统可靠性的影响.针对该问题,提出一种基于矩估计的软件可靠性关键参数判定方法,该方法通过分析基于结构软件可靠性模型的特点,建立各建模参数的矩估计量与系统可靠性预测结果之间的关系,量化各参数对于系统可靠性的影响,判定关键参数.为系统可靠性控制、系统结构优化及软件测试资源最优化分配等问题的解决提供了理论支持,通过对两个实际软件系统的分析验证了方法的有效性.     

基于复杂网络的软件稳定性

软件行业的不断发展壮大,使得软件质量问题日益突出,复杂网络给软件系统的深入研究带来了崭新的视角。选取真实软件系统为研究对象,用复杂网络作为工具构建软件系统的复杂网络模型,证实了软件系统的复杂网络特性;同时依据软件测试结果,分析了单元测试阶段的测试代码覆盖率。结合复杂网络参数及测试代码覆盖率定义了测试优先度,提出了测试优先策略,对于提高软件稳定性给出新的见解。实例结果表明:该优先策略对于提高测试覆盖率,对及时查找出软件缺陷类是有效的,有利于软件测试效率的提高。     

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.     

支持软件重用的新方法

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

基于可重用性的软件维护

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

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

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

Analysis on Some of Software Reliability Models

Software reliability & maintainability evaluation tool (SRMET 3.0) is introducted in detail in this paper,which was developed by Software Evaluation and Test Center of China Aerospace Mechanical Corporation. SRMET 3.0is supported by seven soft ware reliability models and four software maintainability models. Numerical characteristicsfor all those models are deeply studied in this paper, and corresponding numerical algorithms for each model are alsogiven in the paper.     

A Lagrangian relaxation-based algorithm for the allocation of yard cranes for yard activities with different priorities

This paper proposes a mixed integer programming model for the allocation of rail mounted gantry cranes for four basic yard activities with different priorities.The model pays special attention to the typical features of this kind of gantry cranes,such as a restricted traveling range and a limited number of adjustments during loading and discharging operations.In contrast to most of the literature dealing with these four yard activities individually,this paper models them into an integrated problem,whose computational complexity is proved to be NP-hard.We are therefore motivated to develop a Lagrangian relaxation-based heuristic to solve the problem.We compare the proposed heuristic with the branch-and-bound method that uses commercial software packages.Extensive computational results show that the proposed heuristic achieves competitive solution qualities for solving the tested problems.     

软件可靠性评估的误差分析

软件可靠性模型是评估软件可靠性的重要工具,由于受一些不为模型所控制的随机因素的制约,软件可靠性评估结果中往往含有大量的误差,给工程应用带来许多困难。在对现代计算机应用系统的故障特征、软件可靠性模型的机理及引起误差的因素进行深入分析的基础上,提出了一种误差分析法,并用之校正软件可靠性模型的评估值。     

MIS开发环境与可重用软件部件

为了提高MIS(信息管理系统)的开发效率,增加其可靠性,作者设计了基于软件可重用的MIS开发环境MIS—IADS,目前该系统已用于一些领域MIS的辅助生成。本文首先给出了MIS—IADS的总体结构,指出了软件可重用的困难,然后提出了一种软件可重用的实施方案。     

用系统工程观点评估软件价格

软件开发工作是一项十分复杂的系统工程,由于在先期问题定义中对工作量难于把握,费用测算困难,使项目在论证与需求谈判过程中就夭折的事多有发生。本文分析了软件产品的特性及价格构成,构造了成本模型,导出了三种情况下的价格计算公式。在引进了一个重要测度——Q(x)质量系数的基础上,结合我国市场情况,提出了一个实用的“预-决算方法”。     

电站仿真建模图形化软件系统——GNET

ＧＮＥＴ是火电厂仿真机图形建模一体化环境。ＧＮＥＴ建模软件完全采用图形化用户接口，使建模人员能够通过友好、方便的图形界面和数据库、模块、模型程序进行联系，完成从建模到调试的全过程，从而大大地方便了仿真建模工作     

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

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

基于MATLAB开发的导弹射击精度鉴定软件包

介绍了在MATLAB5．3版本上开发的基于Bayes理论的导弹射击精度鉴定软件包（V1．0版），诗述了它的基本功能设计及实现。然后将它运用于实际鉴定工作中，并取得了较好的效果。