TestLocal: just-in-time parametrized testing of local variables
TestLocal: just-in-time parametrized testing of local variables
复制标题
TestLocal：局部变量的即时参数化测试
DOI：
10.1145/3297280.3297613
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Namin, Akbar Siami
中科院分区：
文献类型：
--
作者：
Heimlich, Marcel;Namin, Akbar Siami
方法的局部变量不仅在实现所需算法的逻辑方面发挥着重要作用，而且在控制全局变量方面也起着重要作用。这些变量的值指示执行程序时要采用的路径。虽然测试是测试被测程序的有效方法，但这些局部变量的值决定了执行路径的可达性。因此，这些局部变量有可能控制程序的执行，从而可能导致某些路径从未得到充分测试。本文介绍了一种方法和一个称为“TestLocal”的原型工具，它可以通过在运行时改变局部变量的值来测试方法，从而能够遍历难以执行的路径。通过在执行期间更改局部变量的值，故意强制执行意外路径。与现有的方法(例如，Microsoft IntelliTest)相比，建议的方法只需要对给定代码进行很少或根本不需要修改。该方法的新颖之处在于它集成了约束求解器和调试器来强制执行不可达路径。
Variables local to methods play an important role in implementing not only the logic of desired algorithms but also the control of global variables. The values of these variables dictate the paths to be taken while executing the program. While testing is an effective way to exercise the programs under test, the values of these local variables determines the reachability of execution paths. Hence, it is possible that these local variables control the execution of the program and thus may result in some paths never to be tested adequately. This paper introduces a methodology and a prototype tool, called"TestLocal", to enable testing of methods by changing the values of local variables at runtime thus enabling traversing the paths that are hard to execute. By changing the values of local variables during the execution, the unexpected paths are intentionally forced to be executed. In comparison with the existing approaches (e.g., Microsoft IntelliTest), the proposed methodology requires little to no modifications to the given code. The novelty of the proposed approach is that it integrates a constraint solver and a debugger to forcefully execute unreachable paths.
登录
查看更多内容
参数化单元测试：理论与实践
DOI：
--
发表时间：
2010
期刊：
2010 ACM/IEEE 32nd International Conference on Software Engineering
影响因子：
--
作者：
N. Tillmann;J. D. Halleux;Tao Xie
通讯作者：
Tao Xie
使用答案集编程测试多线程应用程序
影响因子：
0.9
作者：
Xiaozhen Xue;Sima Siami‐Namini;A. Namin
通讯作者：
A. Namin
使用答案集编程对自适应访问控制策略进行建模
影响因子：
5.6
作者：
Sartoli, Sara;Namin, Akbar Siami
通讯作者：
Namin, Akbar Siami
用于有效定位 GUI 应用程序中的故障事件的功能选择
DOI：
--
发表时间：
2014
期刊：
International Conference on Machine Learning and Applications
影响因子：
--
作者：
Xiaozhen Xue;Yulei Pang;A. Namin
通讯作者：
A. Namin
海报：自适应安全中基于不完美上下文数据的推理
DOI：
--
发表时间：
2015
期刊：
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
影响因子：
--
作者：
Sara Sartoli;A. Namin
通讯作者：
A. Namin