基于输入域分类的实时软件可靠性模型

航天测控软件是航天测控系统的重要组成部分,作为任务的关键性实时软件,其可靠性直接影响着整个测控系统的可靠性.长期以来,测控系统软件相对缺乏系统的可靠性测试研究.文中针对航天工程地面测控软件的特点及可靠性测试要求,综合考虑缺陷等级、输入域等因素,按照数学算法建立了基于输入域分类的实时软件的可靠性混合模型,并对该模型的实际应用进行了介绍.文中模型和测试算法对航天测控工程领域典型功能软件进行了可靠性测试,实验结果表明了该方法的可行性、有效性和易用性.     

基于输入域分类的实时软件可靠性模型

航天测控软件是航天测控系统的重要组成部分,作为任务的关键性实时软件,其可靠性直接影响着整个测控系统的可靠性。长期以来,测控系统软件相对缺乏系统的可靠性测试研究。文中针对航天工程地面测控软件的特点及可靠性测试要求,综合考虑缺陷等级、输入域等因素,按照数学算法建立了基于输入域分类的实时软件的可靠性混合模型,并对该模型的实际应用进行了介绍。文中模型和测试算法对航天测控工程领域典型功能软件进行了可靠性测试,实验结果表明了该方法的可行性、有效性和易用性。     

基于经验数据的软件可靠性模型研究

软件的可靠性同其正确性和性能同样的重要,软件可靠性模型是软件可靠性定量分析的技术基础.对基于经验数据的软件可靠性模型进行了研究,并进行工程化实现,已应用于多个测试项目的测试评估,对软件的可靠性和测试的充分性进行了定量分析.     

基于覆盖与故障注入的飞控软件测试技术研究

无人机飞控软件是典型的实时嵌入式软件系统,其可靠性、安全性测试与评估是军用软件保障工作与无人机技术发展中的重点与难点。针对飞控软件的特点,介绍基于覆盖与故障注入的测试方法．分析其测试与可靠性评估中的关键技术,并简要介绍应用于测试数据分析过程的软件可靠性建模工具MEADEP的构成与建模方法。实践证明对安全关键软件严格的测试与评估可大大降低错误隐藏数,减少不必要的经济损失与灾难性事件发生。     

基于Markov链使用模型的软件可靠性测评方法研究

基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法.论述了该方法中使用链与测试链的构建技术,基于使用模型的统计分析计算,基于测试链的软件可靠性评估,操作可靠性和使用可靠性评估,以及它们在实际应用中需要注意的若干问题.     

电子政务软件可靠性评测方法初探

电子政务已经成为政府工作自动化和智能化的重要手段。近年来,中国电子政务软件市场获得了前所未有的发展机遇。随着电子政务软件的飞速发展,软件可靠性成为了建设电子政务的重要指标。软件可靠性测试是保证软件可靠性的有效方法。目前,国内对于电子政务的可靠性研究才刚刚起步,其可靠性测试一般都交给第三方机构。分析当前电子政务软件的可靠性测试特点,基于Musa和Nelson两种可靠性模型提出了一种电子政务软件的可靠性评测方法,从可靠性的评估测试和验证测试两方面具体分析阐述了方法的流程,并使用工具实现。最后用具体案例对方法进行了分析说明。     

基于可靠性增长模型的软件可靠性增长测试充分性准则

结合软件可靠性增长模型,扩充了基于可信度度量的软件可靠性增长测试充分性问题度量准则,提出了关于可靠性增长测试充分性问题新的度量准则：可靠性测试只有同时满足可靠性增量指标要求、可信度要求和每单位测试资源发现的故障数要求方可终止。然后,以一个真实数据集为例,应用所提出度量准则求出了测试应该停止的时间。实验证明,这样的度量准则,使得终止条件更加严格,可靠性测试更加充分,为可靠性测试充分性问题的解决提供了新的思路。     

小型无人机飞控系统软件可靠性设计与建模研究

小型无人机硬件受系统造价及其他因素的影响,不能很好地保证小型无人机系统的整体可靠性,而必须通过软件来补充并提高小型无人机系统的整体可靠性;飞行控制系统作为无人机的核心子系统,它的软件可靠性成为了可靠性保证的重中之重。文中首先论述了某小型无人机飞行控制软件的系统结构以及软件可靠性设计的方法和过程,然后利用白盒测试方法结合修正条件/判定覆盖标准对该软件的可靠性进行了测试;测试过程中,通过设计4组不同的测试用例,检验这些用例所对应的测试路径是否与实际情况相同;实验结果表明,所设计的方法满足软件可靠性测试的需要。     

基于使用剖面的软件可靠性测试用例生成方法

为了获得软件的可靠性指标,需要设计操作剖面来仿真用户实际使用软件的情况,并基于操作剖面来进行可靠性测试.传统的基于操作剖面的可靠性测试方法难以适用于航天软件,为了解决此问题,描述了一种具有层次化网络体系结构特征的使用剖面的形式化定义,阐述了构造这种使用剖面的系统化方法,给出了根据使用剖面生成用于软件可靠性测试操作序列的算法,以及基于操作序列生成可靠性测试用例的方法.提出的方法经过实验验证表明是可行的.     

基于UML的软件Markov链使用模型的构建

构建软件的使用模型是进行软件可靠性测试及软件可靠性评估的基础.近年来,如何由软件的UML模型构造软件的使用模型成为研究热点.对于大型的软件系统来说,应用现有方法构建的软件Markov链使用模型的状态空间过于庞大,模型描述困难,不利于测试用例的自动生成及软件可靠性评估.针对以上问题,提出了一种由UML模型构建Markov链使用模型的方法.该方法将场景的前置条件和后置条件作为Markov链使用模型的状态,将场景的执行及执行概率作为状态之间的转移及转移概率.与现有方法相比,新方法构建的Markov链使用模型的状态空间小且无需人为干预,而且可以很方便地生成测试输入从而进行可靠性测试.针对UML模型的有效性,提出了经过可靠性评估扩展的UML模型生成Markov链使用模型的验证算法.最后通过一个卫星控制系统的实例对新方法的性能进行了验证.     

FADEC可靠性试验HIL仿真自动化技术研究

针对航空发动机全权限数字电子控制(FADEC)系统电子控制器可靠性试验中硬件在环(HIL)仿真测试的执行过程,开展了测试自动化技术研究,提出按名义执行时间设计脚本的分层封装方法,实现脚本模块执行时间误差受控,提高了脚本的模块化程度,有利于各层脚本执行时间的精确调试和顶层测试任务脚本的开发。设计了外部辅助脚本的自动流程整合方式,实现非自动化软件工具的快速整合,提高了自动运行流程的构建效率。经过某型电子控制器1000 h可靠性摸底试验验证,测试流程自动化运行流畅,报表输出完整,任务脚本执行时间误差稳定受控,满足试验过程的自动化需求。     

Estimation of software reliability with execution time model using the pattern mapping technique of artificial neural network

In this present paper, the estimation of software reliability can be determined using the basic execution time model. This basic execution time model estimated the reliability after predicting the number of faults that are likely to be encountered in the future. For the efficient prediction of the number of faults we are using the pattern mapping technique of artificial neural network.     

Effect of fault distribution and execution patterns on fault exposure in software: a simulation study

Execution patterns and fault distribution characteristics of a program will affect the failure process and thus reliability estimates. The failure process of a software system is influenced by many factors, and traditional software reliability engineering has found it difficult to isolate the effect of each individual factor. A simulation approach is used to investigate the effects of fault distribution, execution pattern and program structure on software reliability estimates. A reliability simulation environment (RSIM) is extended by introducing variable fault distribution patterns in its code generation phase. Flow control points allow varying the execution frequency of different parts of a program. The simulation results show that fault distribution patterns and execution patterns have dramatic effects on fault exposure rate. If the fault distribution is non‐uniform, a non‐uniform code execution exposes faults more efficiently and effectively than uniform execution. Results also show that the structure of a program affects fault exposure rate and testing time required. Copyright © 2000 John Wiley & Sons, Ltd.     

基于Peach Fuzz的媒体网关安全测试

随着互联网技术和计算机技术的发展,软件在各行各业的应用越来越广泛。随之而来的软件安全问题也越来越突出。在常见的软件安全测试工具中,Peach Fuzz是一款优秀的安全测试工具,能在多种操作系统上运行,支持多种协议的模糊测试。结合媒体网关安全测试工作实践,介绍了Peach Fuzz测试的基本结构和特点;介绍了H.248协议和SCTP协议;叙述了媒体网关的测试模型;详细叙述了基于Peach Fuzz的媒体网关安全测试过程,其主要内容包括搭建和部署Peach Fuzz测试执行机、测试执行机对接测试环境、Peach Fuzz测试套的调试和连跑、Peach Fuzz测试的观测方法、测试结果分析。最后介绍了一个测试案例。工作实践表明采用Peach Fuzz工具进行媒体网关安全测试,有助于提高媒体网关产品的安全可靠性,提升产品质量。     

基于组合设计的软件可靠性测试用例设计方法

本文提出了将实验设计中的组合设计方法应用于软件可靠性测试用例设计。分析了组合设计方法在软件可靠性测试用例设计中应用的理论基础和基于组合设计的软件可靠性测试用例方法的基本思想。同时结合实例对这种方法的两个关键过程域操作剖面的开发和测试用例集的生成过程进行了描述。     

一种数据模型驱动的软件自动化测试框架

针对当前GUI程序自动化测试过程中存在的问题,设计实现一种基于RFT工具、由数据模型驱动并且支持分布式多平台网络环境的可复用软件自动化测试框架。该框架分离了测试对象、用例数据、用例逻辑和执行控制,实施该框架能够增强测试用例的可复用性,降低测试用例的维护成本,提高测试执行的自动化程度,改善软件回归测试的过程。     

基于Markov链路径使用模型的软件统计测试

探讨了建立基于路径使用的Markov链模型来分析模块内部代码结构的统计测试方法的可能性。提出将统计理论用于软件的结构测试，从理论上得出软件的结构可靠性结论。提出具有有限状态、离散时间序列的Markov链作为程序的使用模型和测试模型，使用Kullback判别式作为测试链收敛到使用链的判断准则，从理论上证明了测试链到使用链收敛的必然性。理论分析和初步的实验证明该方法是可行和有前途的。     

基于使用模型的嵌入式软件测试用例生成研究

基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法。介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。提出Markov链使用模型用于嵌入式软件的测试,从理论上得到嵌入式软件的可靠性。具体阐述了嵌入式软件的Markov链使用模,型自动生成测试模型的方法。同时使用改进的Kullback判别式探讨测试的可靠性问题,从理论上证明了测试链到使用链收敛的必然性。理论分析和初步的实例证明该方法是可行的和有前途的。     

Determining the cost of a stop-test decision [software reliability]

An approach to determining the consequences of a stop-test decision that combines software reliability engineering and economic analysis is described. The approach develops a model to quantify the economic consequences associated with terminating testing at a reliability achieved with a specified number of units of test-program execution, collects data on failures and program-execution time during system test, analyzes reliability data by selecting a reliability-growth model and fitting the model to these data at several points during system test, and applies the reliability model's estimated values to the economic model to determine the optimal system-release time. The benefits-to-cost ratio of the approach is shown to be very favorable