Mar, 2022

有限状态机模型作为有向图进行测试用例生成的测试覆盖准则概述

PDF
TL;DR本研究总结了 14 个最常用的有向图定义的有限状态机测试覆盖标准及其同义词，并对其进行了比较，以帮助测试工程师建立软件或物联网系统测试策略。
test coverage criteriasystem under testfinite state machinestest setiot system
发现论文，激发创造
  • 有限状态机优先级可变长度测试用例生成

    本文提出了一种测试生成策略，旨在同时满足测试路径必须在有限状态机的指定状态开始和结束、测试用例只需访问有限状态机中特定状态和转换以及测试路径必须在给定长度范围内（不一定是显式均匀长度）等三种特殊测试情况，同时在真实的工业测试中表现优于现有基于 N-switch 覆盖概念修改的基准策略，对测试软件功能和非功能需求均适用。

    Mar, 2022

  • 深度神经网络测试

    提出了 4 种新的测试标准，为结构性特征和语义定制的深度神经网络，并通过对当前最先进的人工神经网络数据集进行实验来验证其有效性，以平衡测试用例生成的计算成本和发现缺陷的能力，同时在代理中使用对抗性例子。

    Mar, 2018

  • 基于场景和时态属性的确定性有限状态机识别

    本文提出四种方法来解决从测试场景和线性时态逻辑表示的时间规范中识别最小有限状态机 (FSM) 的问题，并通过若干测试研究表明迭代 SAT 算法是最有效的方法。

    Jan, 2016

  • 仿真验证中的混合智能测试

    本文中，我们提出了一种混合智能测试方法，结合了 “覆盖向导测试选择” 和 “新颖性驱动验证” 两种方法，以实现高效有效的硬件测试。

    May, 2022

  • 深度学习的测试改进

    对神经网络的测试方法进行研究，提出了一种覆盖所有逻辑的覆盖率准则，并探讨了改进方法和需要快速、可扩展、通用的端到端测试方法的必要性。

    Feb, 2019

  • 什么导致了系统满足规格要求？

    本文提出了一种利用 Halpern 和 Pearl [2001] 的因果关系定义资状度的覆盖度算法，并引入了组件责任度的概念来量化其对需求满足的重要性，以扩展现有的覆盖度技术。

    Dec, 2003

  • 使用代码模型和领域适应生成自动化测试用例

    使用 Transformer-based 代码模型，提出完全自动化的测试框架，能够生成可编译和可读的单元测试，可以补充搜索 - based 测试生成的测试，并且能够覆盖开发人员编写测试中未覆盖的代码行。

    Aug, 2023

  • 基于覆盖率导向的模拟验证测试选择的监督学习

    本文介绍一种名为基于覆盖率反馈的测试选择的自动约束提取和测试选择的新方法，通过选择具有高概率增加功能覆盖率的测试，有助于减少手动约束编写，优先考虑有效测试，降低验证资源消耗，加速大型工业硬件设计的覆盖率闭合。

    May, 2022

  • 利用遗传微程序实现自动化软件测试的大路径覆盖

    利用遗传编程技术开发出一种新的自动化软件测试框架，生成可以重复生成输入值的微程序，从而快速高效地探索软件元件的输入参数范围，同时可应用于多种软件系统。

    Feb, 2023

  • 基于邻域覆盖和相似性的自动驾驶车辆少样本场景测试

    自动驾驶汽车 (AVs) 的安全性能测试和评估在大规模部署之前是必不可少的。本文首次将问题建模为 “少样本测试”(FST) 问题，并提出了一个系统性的 FST 框架来应对这一挑战，通过利用代理模型 (SMs) 的先验信息，动态调整测试场景集合以及每个场景对测试结果的贡献，在小规模测试场景中降低测试误差与方差，尤其适用于场景数目受严格限制的情况。

    Feb, 2024