ISTREM软件测试可靠性评估方法研究

在航空电子系统软件测试的背景上,对ARINC653平台燃油模块在Testbed测试平台上的测试用例进行统计,得出实际测试案例分布服从特殊泊松的数学特征。根据软件测试的时间依赖性提出一种新的可靠性评估模型ISTREM,并且求得软件测试用例的失效率,从而对软件进行可靠性评估,解决了软件测试可靠性评估过程复杂且计算量较大并且忽略时间依赖性的问题。在Matlab平台上对软件系统(燃油模块)的测试可靠性进行评估,得出实验结果,并且提出不足。     

一种基于UML用例模型的软件可靠性分配方法

基于统一建模语言(UML)用例模型描述软件系统需求方面的特点;提出了以UML用例图中所包含的各个用例的使用频率作为衡量该用例的重要程度的依据,从而确定每个用例的重要度的权重因子。根据每个用例的权重因子来确定每个用例该承担的可靠性指标任务,实现软件可靠性指标在各个用例之间进行合理的分配。这种分配方案对保证软件系统的可靠性目标具有重大的现实意义,为软件后续开发、测试、维护提供可以参考的依据。     

面向多用户的模块化软件系统的可靠性分配

模块化的软件系统的质量不仅与各模块的可靠性有关,而且与软件的操作概图有关,当模块化的软件系统是面向多用户时,使会有多个不同的操作概图,因此不同的用户对软件质量的评价也会不同。本文提出并解决了两个关于面向多用户的软件系统的可靠性分配问题。具体的计算说明了软件系统的可靠性分配与用户及它们的操作概图有关。     

基于子系统综合因子的软件可靠性分配方法

针对拥有多个分配在不同配置硬件环境上的软件子系统的综合软件系统,介绍了一种基于各子系统综合因子的软件可靠性分配方法。综合因子的确定涉及到子系统利用率等诸多因素,它的数值可以是软件详细规划时计算给出,从而对整个系统进行可靠性预分配,也可以在实际开发扣测试进程中动态地确定,从而不断地重新修正分配数值。给出详细的实例运算过程,并与传统方法进行了比较。     

网络结构的软件系统可靠性分配方法

针对网络结构的软件系统,通过构造软件系统的ANP结构,结合用户和程序员的观点,对超矩阵的构造进行了改进,提出基于改进型ANP的模块重要度评估方法。以软件实用性最大化为目标函数、以可靠性下限和开发费用为约束条件,建立了可靠性分配模型。并以某工厂实力信息管理系统为例,对算法进行了验证。     

基于差分进化的复杂软件系统动态可靠性分配

现有关于复杂软件系统可靠性分配的研究均基于结构固定的软件系统,而实际情况中软件系统结构往往不固定。针对这一矛盾,构建复杂软件系统动态可靠性分配优化模型,并基于差分进化设计复杂软件系统动态可靠性分配算法。在系统结构发生变化时,首先基于D-S证据理论对系统中各模块的全局权重重新进行评估,并考虑变化前后系统的关联性,在差分进化生成初始种群时保留了部分历史解。最后,通过仿真实验分析验证了所提方法的有效性。     

Markov控制转换多模块软件可靠性测试资源动态分配方法

考虑到软件任务模块执行的不均衡性以及模块级软件可靠性增长测试的具体情况,针对Markov控制转换多模块软件,提出了一种模块级的可靠性测试资源动态优化分配方法,以减少测试代价.与静态资源分配方法相比,本方法更加优化利用测试资源,在确保可靠性指标的前提下可降低总的测试代价.     

基于软件架构的可靠性分配算法

研究软件可靠性分配中的软件开发成本最小化问题.将软件系统的成本最小化问题表达为一类带约束条件的组合优化问题,并且提出了基于架构的软件可靠性与开发成本评估及分配思想,建立了基于软件架构的可靠性-成本模型,提出了基于该模型的可靠性最优分配算法.该算法可以求解在给定可靠性目标前提下的可靠性分配问题,使得软件系统预期开发成本最小.     

单片机电子密码锁加密模块的研究与设计

为降低密码锁的成本,研究与设计了一种基于8051单片机的密码锁加密模块。该模块运用随机矩阵进行加密,并结合高性能单片机,辅以四输入与非门模块,不涉及外围接口芯片,从而减小了PCB面积。分别分析了模块的功能设计和模块的结构设计,并对硬件电路、代码部分进行了仿真测试。软件仿真测试结果表明,与传统方法相比,该方法加密更快速、可靠性更高、成本更低。     

软件系统可靠性的估算

本文给出了估算软件系统可靠性的一个递归算法,并揭示了软件系统的可靠性与软件模块间的耦合性二者内在的联系。     

某通讯监控系统可靠性分配与验证

本文在探讨各种软件可靠性分析方法的基础上,利用基于软件复杂性因子的分配方法对某通讯监控系统进行了可靠性指标分配与验证,详细介绍了特定系统可靠性分配的一般分析方法与其实现过程,其它类似系统亦可参照使用。     

Optimization models for reliability of modular software systems

The authors present optimization models for software systems that are developed using a modular design technique. Four different software structures are considered: one program, no redundancy; one program, with redundancy; multiple programs, no redundancy; and multiple programs, with redundancy. The optimization problems are solved by using the authors' version of established optimization methods. The practical usefulness of this study is to draw the attention of software practitioners to an existing methodology that may be used to make an optimal selection out of an available pool of modules with known reliability and cost. All four models maximize software reliability while ensuring that expenditures remain within available resources. The software manager is allowed to select the appropriate model for a given situation     

Multivariate Analysis and Rough Sets: Two Approaches for Software-quality Analysis

Computer programs are becoming more and more complex and voluminous in most firms. This raises the cost of maintenance. To minimize this cost, qualities must be given to computer programs that assure them good evolution, i.e., reliability, efficiency, flexibility, conformity, etc. This cost minimization must be preceded by a diagnosis that recommend a set of renovation actions to be undertaken in order to improve the software quality. The objective of this study is to associate a set of renovation action to each profile's program expressed in terms of metrics. To do this, two approaches are taken. First, a multivariate analysis is used to allocate each program to a predefined category reflecting the diagnosis of the program's health. Second, we try to work out a diagnosis of the health of these programs by developing a quality model composed of a set of decision rules supporting software quality improvement decisions. We have finally implemented this set of rules in the form of an expert system tool to allow the classification of new programs by the decision-maker.     

Markov控制转换多模块软件可靠性测评方法

针对软件多模块化发展的趋势以及当前软件可靠性测评把软件当成一个整块进行处理的缺点,本文提供了一种Markov控制转换多模块软件的可靠性测评方法.方法的主要思想包括建立基于软件体系结构的可靠性模型,并依据该模型把系统级的可靠性指标优化分配到模块级,实现在模块级对整个软件系统可靠性的监控,并在系统级的测评中进行确认.文中针对系统级测评缺少失效数据的情况,重点阐述了如何基于最大熵原理求解系统可靠性参数分布函数,以实现对系统可靠性指标的验证.     

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

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

基于模块化的容错技术在测控系统软件开发中的应用研究

软件开发中可以通过模块化的方法提高代码的重用率,但不同系统调用相同的模块,将使得各系统发生共同故障的可能性大大增加.为提高软件的可靠性,将容错技术引入到模块化方法开发的测控系统软件中,根据测控系统自身的特点,从数据、操作、硬件及软件四个方面讨论了软件开发中的避错、容错方法.在我们所研制开发的驱动桥综合性能实验台软件系统开发中的应用表明,该方法在提高代码重用率,降低开发周期的同时,也显著提高软件系统的可靠性.     

一种模块化的实时软件可靠性测评方法

根据实时软件的可靠性评估需要,在分析传统软件可靠性增长模型局限性的基础上,提出了一种模块化的实时软件可靠性测评方法。该方法将系统的可靠性指标分配到各任务模块,并将贝叶斯理论用于单个模块的可靠性测评。相比基于可靠性增长模型的传统测试方法,该方法可降低系统测试的复杂程度,提高评估精度,特别适合对高可靠性软件的测评。     

面向分布式流体系结构的多副本积极容错技术

随着互联网环境下计算系统规模的不断扩大,分布式流体系结构的可靠性问题面临着严峻的挑战。以多模冗余容错技术为基础,针对软错误提出了一种面向分布式流体系结构的多副本积极容错技术TREFT,利用三个程序副本进行高效的检错与纠错。在分布式流体系结构原型系统上的实验结果表明,该技术能有效提高系统的可靠性,具有较低的容错成本,平均增加10.77%的容错开销。     

基于可信性的模块化软件开发费用分配算法

模块化开发是软件开发的一种重要方法。开发模块需要一定的费用,而要保证软件的可信性达到一定的指标,用户需要追加费用。在用户给定的开发费用内如何合理分配各模块的开发费用使得软件系统可信性达到最优是一个重要的研究课题。首先,根据模块可信性与费用之间的关系建立模块的可信性费用预估模型。其次,基于模块间的不同连接方式,建立不同结构下的软件可信性与费用分配模型并进一步利用动态规划的思想设计相应的软件可信性与费用分配算法。该分配算法可以在用户给定的开发费用内使得软件系统的可信性最优。最后,以自动售票系统为案例说明软件可信性与费用分配算法的应用。