Optimal stopping in software testing

In this paper we address the problem of how to decide when to terminate the testing/modification process and to release the software during the development phase. We present a Bayesian decision theoretic approach by formulating the optimal release problem as a sequential decision problem. By using a non‐Gaussian Kalman filter type model, proposed by Chen and Singpurwalla (1994), to track software reliability, we are able to obtain tractable expressions for inference and determine a one‐stage look ahead stopping rule under reasonable conditions and a class of loss functions. © 2002 Wiley Periodicals, Inc. Naval Research Logistics, 2003     

基于Petri网的某引信安全系统软件安全性分析

介绍了软件安全性和基于Petri网软件安全性分析技术。结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施。总结了基于Petri网的系统软件安全性分析的特点。     

软件测试方法综述

论述了软件测试技术近几年来研究的最新成果。包括软件的故障模型、白盒测试技术、黑盒测试技术、人工测试技术、可靠性测试技术和测试性设计技术等。以作为对近十几年来软件测试技术发展的总结,还初步的探讨了软件测试技术今后的发展。     

基于遗传算法的嵌入式软件测试用例生成系统研究

综合考虑了嵌入式软件的特点,将遗传算法应用于搜索全面覆盖软件特殊路径的测试用例生成的问题,合理构建了嵌入式软件测试用例自动生成系统,给出了系统流程图,改进了部分算子,使搜索效果得以加强,并分析了交叉率、变异率等参数的取值范围,通过改变不同的参数值得到对比图,以确定适合该系统的最佳参数值,并针对实际汇编语言编写的嵌入式软件指定路径进行仿真测试,从理论和实践上证明了该思路的正确性和可行性。     

软件保障费用估算模型研究

分析了软件保障费用的基本构成和一般表达式,构建了软件错误更改费用估算模型、新功能保障费用估算模型和有时间限制的保障费用估算模型,并结合实例进行了分析。软件保障模型估算的研究对提高软件保障费用估算的精度和效率有重要意义。     

一种光电瞄准系统的建模仿真方法

基于某型飞机的光电瞄准系统,给出了光电瞄准系统的工作原理,建立了光电瞄准系统接受到的热辐射强度和热辐射检测门限的算法模型.然后根据所建立的模型, 编写软件进行了仿真测试,验证了模型的合理性,形成了一个完整的光电瞄准系统的仿真软件.     

基于超导软件无线电的抗同址干扰技术

适应现代战争发展要求,军事通信装备集成度不断提高,通信系统同址干扰日益成为一个迫切需要解决的问题.详细分析了同址干扰的原理,对常用抗干扰技术进行深入讨论.研究超导软件无线电的最新发展,针对同址干扰的特点和软件无线电在抗干扰中的优势.重点介绍和分析超导软件无线电在抗同址干扰的应用原理,最后探讨其关键技术.     

基于遗传算法的结构测试数据自动生成

生成测试数据是软件测试的主要过程,将遗传算法引入到测试数据的自动生成中,重点介绍其生成过程,并对遗传操作进行改进,在一定程度上降低算法的过早收敛性.最后构建出基于遗传算法的测试数据生成模型.并用实例证明算法的高效性.     

基于数据库和构件技术的通用ATS软件框架

针对当前测试软件中存在的通用性、扩展性和升级性差的问题,提出了通用ATS软件框架的设计准则,设计了基于数据库与构件技术的通用ATS软件框架,即＂框架＋数据库＋构件＂的软件体系结构,该结构降低了系统的复杂性,解决了ATS软件的通用性、灵活性、可靠性、扩展性差的问题。     

基于改进Markov模型软件测试策略

针对已有软件测试Markov模型与工程实践不符的情况,通过引入软件需求覆盖率改进Markov模型。在改进的Markov模型基础上,本文以软件测试过程中测试总代价最小为控制目标,采用交叉熵方法修正测试剖面,由优化测试剖面生成测试用例序列。仿真结果表明这种方法能够有效地降低软件测试总代价,是一种有效的软件测试方法。