基于舰艇装备软件运行剖面的可靠性测试研究

软件可靠性测试理论近年来虽有较大的突破,但仍没有达到硬件可靠性工程实践广泛的程度,软件可靠性测试实践上受限于软件运行剖面、操作和变量的复杂关联,而开展的不多。基于舰艇装备软件运行剖面,提出了一种工程上易于使用的形式表示方法和可靠性测试数据生成方法,可清晰描述复杂软件系统的变量约束、操作约束,能方便的生成可靠性测试数据,并实现用例的自动人机操作输入,通过对舰艇装备软件可靠性测试的实践,验证了该方法的可行性和有效性。     

国产基础软件可靠性分析及验证

国产基础软件通过常规测试后仍存在诸多质量或可靠性问题,为此,针对国产基础软件的特性及现有可靠性测试技术的不适应之处,结合Musa剖面模型和Markov链模型设计出一种带标记的Markov链运行剖面建模技术来构建操作系统的运行剖面,研究并给出相应的可靠性测试用例生成方法,最后选取典型操作系统进行了分析验证,证明了研究成果的有效性.     

嵌入式软件运行剖面建模及测试用例生成

软件运行剖面定量描述软件的使用方式,可以为软件测试提供一个定量的依据,从运行剖面出发可以自动生成测试用例,对提高软件测试的效率与正确性具有很重要的意义.本文给出了一个工程应用中构造嵌入式软件运行剖面以及从剖面生成测试用例的方法.     

软件可靠性测试及其测试环境

阐述了软件测试,特别是软件可靠性测试的概念,论述了软件运行剖面和测试用例的生成方法。文中给出了一个已经开发成功的嵌入式软件仿真测试环境,包括该测试环境的体系结构与基本功能。     

网络服务可靠性与运行剖面变化率有关吗

与传统软件相比,网络服务的运行环境发生了重大变化.网络服务运行环境不是封闭的而是开放的.开放运行环境下的运行剖面更为复杂和难以预测.其中运行剖面的时变性是开放运行环境下运行剖面的一个重要的特点.因为软件可靠性和运行剖面具有密切的关系,运行剖面模式的这种改变势必对可靠性有所影响.一个自然的假设是:网络服务的可靠性不仅与其当前运行剖面有关,还应与运行剖面的变化率有关.作为研究的第一步,通过一个现实的网站数据初步探讨了网络服务可靠性与运行剖面变化率的关系,并通过独立性假设检验方法得出了网络服务可靠性与运行剖面变化率在统计意义上是显著性相关的结论.     

IOTEST在某型模拟对抗终端嵌入式软件测试中的应用

由于嵌入式系统对功能和性能的高要求,对嵌入式软件进行测试存在一定难度。嵌入式系统通过各种不同类型的接口与外界实现交互,故而对嵌入式系统的接口进行测试,是保证嵌入式软件质量的重要途径。以某型模拟对抗终端嵌入式软件为例,根据该型终端的特点,对基于IOTEST实现嵌入式软件测试的自动化进行研究。依照测试需求分析、测试环境搭建、测试建模、变量配置、测试脚本编写、测试执行的测试步骤和方法,通过测试实现过程详细说明了IOTEST在嵌入式软件测试中的应用。测试结果表明,IOTEST能够对嵌入式系统接口的正确性、实时性和可靠性进行有效地测试,该工具在测试过程中具备良好的实用性和通用性。在嵌入式软件的测试过程中合理使用IOTEST,可以有效提高测试效率,保证软件质量。     

软件运行剖面的三维描述模型

软件运行剖面在软件测试中有着重要的作用。针对被测软件有多种使用时的情况，提出了一个三维的运行剖面描述模型，并将时间变量time(t)作为输入元素描述的一部分，以反映被测实时软件的实际输入情况。     

嵌入式软件测试的数据获取技术

测试数据获取是嵌入式软件测试的关键技术,其准确性.实时性和可靠性对测试质量有决定性影响.嵌入式软件测试需要根据软件特性和测试要求对数据获取方法进行定制设计.针对侵入式的软件插桩测试技术,着重研究了硬件采集、硬件收发、纯软件方式的插桩实现过程.对非侵入式的边界扫描技术和虚拟仿真技术的数据获取原理进行了分析,并提出了嵌入式开发测试一体化集成应用和全生存周期嵌入式软件开发,测试与管理的思想,指出了嵌入式软件测试的新方向.     

星载设备嵌入式软件可靠性仿真测试系统设计

在分析了嵌入式软件可靠性仿真测试环境的功能需求和组成结构的基础上,设计了一种嵌入式软件可靠性仿真测试系统,专用于星载设备嵌入式软件的可靠性测试.阐述了星载嵌入式软件可靠性仿真测试系统的设计实现目标,设计了系统的组成结构,详细介绍了各个部分的具体实现.系统的实现采用了现代微机的高性能、多线程以及USB技术.最后通过一个星载设备嵌入式软件的可靠性仿真测试验证了所设计的仿真测试系统对于嵌入式软件可靠性仿真测试是适用的,并且是完善、灵活并极具实用价值的.     

基于运行剖面的列控系统测试用例生成研究

为了提高列控系统(列车运行控制系统,简称列控,是保证列车安全、快速运行的系统)测试的可靠性,生成合理的测试用例,需要设计相应的运行剖面来仿真实际使用的列控系统的情况,并且基于得到的运行剖面来生成相应的测试用例。因此,通过对列控中心系统的输入输出特点以及功能需求的研究与总结,提出了通过构建任务剖面、系统模式剖面、环境剖面来最终完成列控系统运行剖面构建的方法,并在最终得到的运行剖面基础上,应用优先级度量机制和程序插桩方法对粒子群算法进行合理改进,最终实现了测试用例的自动生成。实验结果证明,通过合理地构建运行剖面,可以保证测试功能的完整性以及测试数据的合理性,改进后的粒子群算法能够进一步提高测试的时间效率。