逻辑覆盖相关论文
列车运行控制系统保证列车安全、高效的运行,是现代铁路信号系统中的核心组成部分。研究列控系统的测试方法,对列控系统可靠安全性......
针对GSM网络中日益增加的覆盖类问题投诉，在剖析无线网络覆盖原理的基础上，结合具体的优化案例，从物理覆盖和逻辑覆盖两个角度，对G......
众所周知,在软件测试过程中,要想做到全覆盖是不可实现的.既如此在软件测试用例设计过程中,如何判断测试用例数量是否足够呢?又如......
软件测试作为软件质量保证的重要手段备受关注.逻辑覆盖测试技术成为了白盒测试的主要方法,本文详细阐述了各种逻辑覆盖方法,通过......
软件测试的核心是测试用例的编写,所以测试用例的编写对于软件测试的过程来说十分重要,也是每个测试人员必须掌握的技能。在软件测......
测试用例的生成是软件测试领域的关键技术问题。近年来，受生物进化思想启发得出的一种全局优化算法的遗传算法用于测试用例的自动生......
针对嵌入式软件测试覆盖率低的问题,提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计......
本文描述了逻辑覆盖测试的基本原理,分析了嵌入式实时软件逻辑覆盖测试的难点,详细介绍了一种可行的基于VxWorks的逻辑覆盖测试方......
本文提出了一种属于白箱测试的基本路径的测试方法。该方法以图论为基础,引进园卷复杂度概念,利用这个度量导出程序过程的所有可能......
基本路径测试和逻辑覆盖测试是白盒测试的两种基本测试方法,在具体的测试案例中,存在多种覆盖准则以及基本路径难以选择的问题。本......
针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算......
测试用例优先级技术对现有测试用例重新排序,使得高优先级的测试用例能够优先执行从而提高测试效率。测试用例优先级通常需要提供......
逻辑覆盖是设计白盒测试方案的一种技术,白盒测试是软件测试技术的一种动态方法,是针对被测单元内部是如何进行工作的测试,是以覆......
针对高度综合化与模块化验收手段缺乏,本文分析这类系统的特点,基于目前现有测试方法,结合项目工程经验,探索其测试充分性,提出"分......
软件测试是软件开发的一个重要环节,也是《软件工程》课程教学的一个重要内容。本文主要介绍了一类白盒法——逻辑覆盖测试方法,并......
针对基于模型的抽象测试用例在列控安全关键软件测试中的可执行问题,从软件DFSM模型抽象测试用例实例化为可执行测试用例的过程入......
