Test4Enforcers：面向软件强制器的测试用例生成
软件工程
2020-10-14 v2 形式语言与自动机理论
摘要
软件强制器可用于修改软件应用的运行时行为，以保证满足相关的正确性策略。确实，由于软件强制器必须能够处理的情形具有异质性，其实现可能很棘手。评估它们在不引入任何副作用的情况下引导目标系统行为的能力，是充分信任所得系统的重要挑战。为应对该挑战，本文提出 Test4Enforcers，这是首个可推导详尽测试套件以验证强制器对目标系统影响的方法。本文还展示了如何在 DroidBot 测试生成器中实现 Test4Enforcers 方法，以验证 Android 应用的强制器。
引用
@article{arxiv.2010.04258,
title = {Test4Enforcers: Test Case Generation for Software Enforcers},
author = {Michell Guzman and Oliviero Riganelli and Daniela Micucci and Leonardo Mariani},
journal= {arXiv preprint arXiv:2010.04258},
year = {2020}
}
备注
For associated video presentation, see https://youtu.be/TcOTlo4ILmo. For associated slides, see https://www.slideshare.net/OlivieroRiganelli/test4enforcers-test-case-generation-for-software-enforcers