摘要：非法计算是C/C++程序中的常见故障,该类故障极易导致系统崩溃。针对C/C++语言中常见非法计算故障进行了分析,并从面向具体故障的测试思想出发,建立了C/C++语言中非法计算的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。此方法已实现,并已应用于面向故障的软件测试系统中。

摘要：本文分析了目前军队构件化软件开发的实际情况,在已有的工作基础上,提出了一个对构件可测试性进行度量的五边形法则,该方法能够直观地体现被测构件的可测试性指标数值,能够让构件开发者清楚地了解构件存在的缺陷,指导开发人员设计出高可测试性的构件。针对笔者的实际测试项目,通过先后几次的实验数据表明五边形法则可以有效地提高构件可测试性,并得到了开发方及测试人员的认可。

摘要：本文分析了固定故障所反映出的状态变换特征，提出状态变换故障模型。基于无复位时序电路，详细研究了有复位状态的同步电路测试生成问题及在无复位电路中的应用。

摘要：采用二元判定图(BDD)作为工具来描述时序电路是非常有意义和有效的.本文通过对BDD的简化达到对状态变换图(STG)输入、路径和状态的压缩,从而提高状态遍历的效率,另外根据电路的特点,提出状态冲突和不相交分解的启发技术以有效地完成验证.

摘要：为了确保软件产品能够按照设计预期正常工作,需要对其进行一系列测试。由于不同模块的重要性不尽相同,测试者对测试工程也有可能存在特殊的要求,如何帮助测试者提高效率是测试序列生成的主要问题。针对这些问题,设计并实现了:(1)结合自动化代码分析及软件度量等技术实现了函数模块重要性权值的自动计算;(2)在已有测试序列生成策略基础上进行优化,设计并实现了降低故障影响的动态测试序列优化技术及回归测试序列生成技术。通过对函数模块的细粒度建模以及多种测试序列自动生成策略相结合的方法,降低故障对测试进程影响,同时,提高了集成测试中回归测试的效率。

摘要：研究了如何实现基于脚本语言的可视化业务生成。介绍了业务脚本可视化生成的相关技术,证明了将基于XMLschema的建模应用于业务脚本生成的可行性,在此基础上采用EMF、GEF技术,设计并实现一个基于CPL脚本的可视化编辑器。由于其业务开发步骤较简单、业务运行安全、部署快捷,该编辑器简化了业务脚本的生成,提高了业务开发效率,为在下一代网络背景下开发电信增值业务提供了一个有效方式。

摘要：低功耗设计呼唤低功耗的测试策略。文章提出了一种在不损失固定型故障覆盖率的前提下降低测试功耗的内建自测试测试产生器方案,该方案在原始线性反馈移位寄存器的基础上添加简单的控制逻辑,对LFSR的输出和时钟进行调整,从而得到了准单输入跳变的测试向量集,使得待测电路的平均功耗大大降低。给出了以ISCAS’85/89部分基准电路为对象的实验结果,电路的平均测试功耗降幅在54.4%～98.0%之间,证明了该方案的有效性。

摘要：软件的故障暴露率是软件测试和软件可靠性测试的一个重要参数 ,对高可靠性软件特别是军用软件的可靠性评估有关键的作用 根据PIE分析技术 ,给出软件单个故障或多个故障随机测试的效率分析 ,并以此为基础 ,给出软件故障暴露率的计算方法 。

摘要：最近,波音737MAX 8因智能软件存在设计缺陷,先后两次坠机,教训惨痛。在信息技术高速发展的当下,谁来保证软件质量?软件测试行业任重道远。可靠性制约软件工业化随着信息技术的快速发展,物联网、大数据、云计算、人工智能、区块链、5G等新一代IT技术正在悄然改变我们的社会。软件作为信息技术的灵魂,已经渗透到社会生活的各个领域。软件的规模在不断增大,软件可靠性的矛盾日趋突出。

摘要：软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C++语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果.