具有数值输入的程序的失效区域识别
软件工程
2020-07-31 v1 信号处理
摘要
失效区域（即导致失效的输入所在之处）为提升许多测试方法的测试有效性提供了诸多见解。失效区域也可提供一些重要信息以支持软件调试等其他过程。当测试方法检测到软件失效（表明已识别出一个导致失效的输入）时，下一个重要问题是如何基于该导致失效的输入识别失效区域，即失效区域识别(IFR)。本文中，我们引入一种新的IFR策略，称为边界搜索(SB)，以识别数值输入域的近似失效区域。SB试图识别尽可能接近失效区域边界的额外导致失效的输入。为支持SB，我们提供了一个基本流程，进而提出两种方法：固定方向边界搜索(FSB)和多样方向边界搜索(DSB)。此外，我们实现了一个自动化实验平台来集成这些方法。在实验中，我们使用一系列仿真研究及针对不同失效区域类型的实证研究所提出的SB方法进行了评估。结果表明，我们的方法能在有限测试资源内有效识别失效区域。
引用
@article{arxiv.2007.15231,
title = {Identification of Failure Regions for Programs with Numeric Inputs},
author = {Rubing Huang and Weifeng Sun and Tsong Yueh Chen and Sebastian Ng and Jinfu Chen},
journal= {arXiv preprint arXiv:2007.15231},
year = {2020}
}