测试覆盖准则相关论文
深度学习软件的结构特征与传统软件存在明显差异,因此即使展开了大量测试,依然无法有效衡量测试数据对深度学习软件的覆盖情况和测......
软件体系结构(SA)通过对系统构件及其交互的抽象,提供了一个描述大型、复杂系统的高层次模型,SA的动态描述常被用来指导分析和测试......
本文提出了基于用户页面会话的Web应用测试覆盖准则,并用Z语言进行了严格的定义,避免了自然语言描述的不确定性。......
随着软件规模的不断扩大，软件质量问题成为制约计算机发展的主要因素之一，因此在近十多年来，以软件测试为中心的软件质量保障技术成为......
软件测试是保证和提高软件质量的一种重要手段。在进行软件测试时，经常会碰到oracle问题，即程序的预期输出难以确定。蜕变测试通过检......
软件产品已经应用到社会生活中的各个领域,人们对于软件产品的质量也越来越重视。软件测试作为保障软件产品质量的主要手段,在整个......
软件测试对于检测软件开发和维护过程中的软件故障至关重要。软件测试的有效性主要由测试用例集的质量决定,高质量的测试用例集可......
为满足客运专线和高速铁路快速发展的需求,我国开展了对CTCS-3级列控系统的技术攻关,以实现CTCS-3级列控系统关键技术的国产化和系......
化学抽象机形式化语言（CHAM）通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构......
在回归测试过程中，测试集的规模不断的变大增加了测试的成本。结合某种测试准则利用测试简化法对测试集中冗余的测试用例进行删除是......
在软件体系结构描述语言Wright的基础上，提出了基于软件体系结构的测试覆盖准则及BG动态行为图，根据BG图构造基于覆盖准则的测试路径......
文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则......
设计了一种EDPN测试图，提出了基于EDPN测试图的测试树构造算法．在给出基于EDPN测试树覆盖准则的基础上，得出了测试用例生成方法．实践表......
针对具有图形用户界面(GUI)且进行事务处理软件系统的功能测试,从界面构件间关联特征出发,提出了界面构件关联图,描述界面中各个构......
软件体系结构用来描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述。在软件体系结构描述语......
基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题.SA层的测试是软件测试领域的热点和难点......
软件体系结构描述系统的高层结构和行为特征,其动态描述常被用来指导软件的分析和测试。基于此,提出一种软件体系结构级的测试路径......
软件测试是软件质量保障的重要途径,在工业界得到广泛应用。但是由于穷尽测试的成本极高,因此现实中度量测试的充分程度成为软件测......
为解决图形用户界面（graphic user interface,GUI）元素状态空间庞大以及用户操作组合空间复杂等问题,针对特定类型的GUI软件,提出一......
为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种......
测试用例集扩充问题（Test Suite Augmentation）是回归测试研究的一个最新研究热点。在完成代码修改影响分析后,对已有测试用例集的充......
事件处理函数响应用户GUI(graphic user interface)操作并完成软件预定义功能,事件处理函数以及事件处理函数之间的关系实现是否与......
