论文标题
Test4enforcers：软件执行者的测试案例生成
Test4Enforcers: Test Case Generation for Software Enforcers
论文作者
论文摘要
软件执行者可用于修改软件应用程序的运行时行为，以确保满足相关的正确性策略。确实，由于他们必须能够处理的情况的异质性，软件执行者的实现可能很棘手。评估他们在不引入任何副作用的情况下引导目标系统行为的能力是完全信任所得系统的重要挑战。为了应对这一挑战，本文提出了Test4enforcers，这是一种彻底测试套件的第一种方法，可以验证执行者对目标系统的影响。该论文还显示了如何在DroidBot测试生成器中实现Test4enforcers方法以验证Android应用程序的执行器。
Software enforcers can be used to modify the runtime behavior of software applications to guarantee that relevant correctness policies are satisfied. Indeed, the implementation of software enforcers can be tricky, due to the heterogeneity of the situations that they must be able to handle. Assessing their ability to steer the behavior of the target system without introducing any side effect is an important challenge to fully trust the resulting system. To address this challenge, this paper presents Test4Enforcers, the first approach to derive thorough test suites that can validate the impact of enforcers on a target system. The paper also shows how to implement the Test4Enforcers approach in the DroidBot test generator to validate enforcers for Android apps.
