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.
翻译:软件执行者可以用来修改软件应用的运行时间行为,以保证符合相关的正确性政策。 事实上,软件执行者的实施可能很棘手,因为他们必须能够处理的情况各异。 评估他们是否有能力在不引入任何副作用的情况下指导目标系统的行为,是充分信任由此产生的系统的重要挑战。 为了应对这一挑战,本文件介绍了Teop4Estrucers, 这是获得能够验证执行者对目标系统的影响的彻底测试套件的第一个方法。 本文还展示了如何在DroidBot测试生成器中实施Test4Estrucers方法,以验证Android Apps的操作者。