软件可靠性新模型研究(英文)

在讨论当前使用的软件可靠性模型存在的主要缺陷的基础上,提出了一个新的软件可靠性模型.当今应用模型中的可靠性假设条件并不考虑软件本身的复杂性、软件测试的有效性以及软件应用环境的完全性等要素,因此在评估软件可靠性时往往产生不精确的结果.为此将尽可能多的与被测软件可靠性评估有关的因素,结合到软件可靠性模型中去,使得对被测软件的可靠性模型更切合实际,因此使它更为精确.以一个实际的软件测试实验及对该软件进行的可靠性评估为实例,说明所提出观点和方法的合理性和可行性.     

A New Method for Measurement and Reduction of Software Complexity

This paper develops an improved structural software complexity metrics named information flow complexity which is closely related to the reliability of software. Together with the three software complexity metrics, the total software complexity is measured and some rules to reduce the complexity are presented in the paper. To illustrate and explain the process of measurement and reduction of software complexity, several examples and experiments are given. It is proposed that software complexity metrics can be measured earlier in software development and can provide substantial information of software systems whose reliabil- ity can be modeled and used in the determination of initial parameter estimation.     

Reduction of Faults in Software Testing by Fault Domination

Although mutation testing is one of the practical ways of enhancing test effectiveness in software testing, it could be sometimes infeasible in practical work for a large scale software so that the mutation testing becomes time-consuming and even in prohibited time. Therefore, the number of faults assumed to exist in the software under test should be reduced so as to be able to confine the time complexity of test within a reasonable period of time. This paper utilizes the concept of fault dominance and equivalence, which has long been employed in hardware testing, for revealing a novel way of reducing the number of faults assumed to hide in software systems. Once the number of faults assumed in software is decreased sharply, the effectiveness of mutation testing will be greatly enhanced and become a feasible way of software testing. Examples and experimental results are presented to illustrate the effectiveness and the helpfulness of the technology proposed in the paper.     

基于体系结构的软件可靠性测评研究

针对传统高可靠性软件测评方法存在的问题,在分析基于体系结构测评重要性的基础上提出了基于软件体系结构的可靠性测评方法.将软件可靠性增长测试和软件可靠性验证测试有机统一起来,从模块级对可靠性进行控制,并提供可靠性先验信息.该方法有利于实现软件可靠性快速增长,有效减少测试用例量.     

实时控制软件系统的可靠性分析

实时控制软件目前广泛地应用于各种系统中,不同于普通软件,影响它的可靠性的原因是多方面的,这里我们具体分析了影响实时控制软件可靠性的各种因素,并提了它们的表达形式,最后讨论了如何针对这些因素提高其可靠性的方案。     

微处理机系统可靠性与软件容错技术

本文分析了微处理机系统的可靠性问题,给出了系统可靠性的评价方法和提高可靠性的有效途径,讨论了软件容错技术并结合实例介绍了软件容错的设计方法。实验表明,系统增加了软件容错技术后能大大提高抗干扰能力,降低系统的故障率。     

软件系统的可靠性分配模型及优化研究

本文着重研究基于架构的软件系统的可靠性分配模型以及相应的优化算法,以最少的成本创建具有最优可靠性的系统,不仅考虑了开发成本的最小化,而且优化了软件系统的可靠性。本文所提出的模型和算法对于降低软件系统开发成本、提高软件系统可靠性具有一定的理论参考价值,并且能够在软件开发之前对已经设计出的软件架构进行预评估,从而预测软件系统的开发成本并对软件可靠性进行优化分配,具有较高的实际应用价值。     

Web Services-Based Test Report Generation

Tests involving a large number of test cases and test scenarios are always time- and effortintensive, and use ad hoc approaches. Test management is needed to control the complexity and the quality of the testing of large software systems. The reporting mechanism is critical for monitoring the testing progress, analyzing test results, and evaluating the test effectiveness for a disciplined testing processthroughout the testing lifecycle. This paper presents an XML-based report generation method for large system testing. The service-oriented architecture enables flexible test report generation, presentation, and exchange to facilitate collaboration in a distributed environment. The results show that proper reporting can effectively improve the visibility of the testing process and that this web-based approach is critical to enhance communication among multiple testing groups.     

软件测试与软件可靠性之间的关系

根据软件可靠性理论，论述了软件测试和软件可靠性之间的关系，即根据给定的测试方法和测试时间来计算软件的可靠性，首先分析了随机测试和软件可靠性之间的关系，然后根据软件可靠性的性质，研究了软件代码覆盖测试方法和软件可靠性之间的关系。     

软件开发中的测试技术

在分析了软件测试重要性的基础上,提出了软件测试的五大原则,指出软件测试的内容和步骤应基于软件生命周期的全过程,并就测试方法、测试策略的合理选择进行了阐述。通过对测试时间、测试成本和可靠度的关系的分析,给出了软件最佳测试时间的确定方法,并对测试工作的可靠性评价进行了探讨。     

基于UML的软件可靠性测试用例生成的混合模型

为了解决实时控制系统软件可靠性测试用例生成的问题，在分析操作剖面模型和Markov链模型的基础上，提出了一种基于UML的混合模型．该模型用操作剖面模型来定义使用用例，并将状态图嵌入其中以表述该用例的动态特性．通过平展状态图获得使用图，使用图按一定的概率迁移，从而获得用Markov链表示的使用模型，而操作剖面模型定义的使用用例集与Markov链表述的状态迁移模型可结合生成可靠性测试用例．通过雷达波束调度软件可靠性测试表明，按所提模型在各测试周期生成的测试用例集的框架稳定性比较好，测试用例极少出现重复现象，它综合了操作剖面模型和Markov链模型的优点，可用于开发实时控制系统的软件可靠性测试用例．     

基于航空领域嵌入式软件的测试模型探讨

测试模型是指导软件测试工作的流程和框架。针对航空领域嵌入式软件项目开发周期短、需求变更频繁的特点,在探讨传统软件测试过程模型的基础上,提出了领域基准模块复用的方法,目的是加快航空嵌入式软件测试效率和提高软件测试质量,从而提高航空软件的安全性和可靠性。     

提高控制系统软件可靠性的措施

控制系统的可靠性是涉及到它是否能在工业市场上广泛应用的关键。文中比较了软件可靠性与硬件可靠性的异同 ,提出了提高控制系统软件可靠性的具体对策     

基于复杂因子的软件可靠性指标分配方法研究

给出了软件可靠性指标分配的系统模型．基于复杂因子的分配方法，在保证系统可靠性的前提下，给出了求解各子系统软件可靠度的工程实现方法．结合实际系统，对获得的各子系统软件可靠度进行了实例验证．该方法可直接用于军事或非军事系统的软件可靠性指标分配。     

引信软件可靠性设计技术研究

该文提出基于引信软件特点的“严格控制时序、硬件合理布局、软件程序经济高效、高可靠度”的综合可靠性设计方法;运用冗余技术、查错设计、避错设计等技术进行引信软件可靠性设计,旨在进行引信软件可靠性设计的探索性研究。     

基于软件模块结构的数字保护软件可靠性分析

本文首次对数字保护软件可靠性评估方法进行研究,以软件模块结构为基础,利用半马尔科夫链,提出一种新的实用性较强的可靠性分析方法。该方法属于＂灰箱＂分析法,不但能对现有数字保护的软件可靠度、性能以及灵敏性做出定量预测和评价,而且能对软件的开发（特别是开发早期）起到一定指导,为开发高质量的数字保护软件提供一个依据。     

开源软件Linux内核的进化分析

开源软件各种版本的源代码和相关开发信息是软件工程研究者研究软件进化的重要数据源.文中研究了Linux的进化规律,归纳了开源软件项目的数据源及数据收集方法,并给出了Linux内核的软件进化的分析方法和相关分析结果.得出了Linux目前以超线性方式进化,而进化的主要推动力是适应系统硬件资源的进化的结论,并提出了快速测算大型开源软件复杂性的方法.     

软件可靠性工程研究

从软件失效的不可避免性出发,提出了软件可靠性工程的概念。介绍了软件可靠性分析的方法、保证软件可靠性的工程方法和两种常用的可靠性设计技术。     

嵌入式软件测试策略研究

嵌入式实时系统的应用越来越广泛，其可靠性更加依赖于嵌入式软件的质量。对嵌入式软件进行测试是提高其质量的重要手段之一。本文主要研究了嵌入式软件的测试策略，分别讨论了基于主机的仿真环境下和基于目标机平台下如何测试嵌入式软件。     

儿童注意力品质训练技术的研究与开发

传统注意力测验是以纸笔的形式进行测试。本研究依据陈国鹏等人编制的《中小学生注意力测验》所得五个因子：注意的稳定性、注意的广度、注意的转移、注意的持续性、注意的集中性开发了“儿童注意力品质游戏测验软件”。经检验，该软件有较好的信度和效度。它不仅可用于普通学生及注意缺陷儿童的注意测评，同时也可用该技术对学生进行注意力训练，从而提高注意缺陷儿童及普通学生的注意力品质。