动态可更新软件的高效系统测试

近年来，动态软件更新（DSU）系统取得了重大进展，它允许程序在运行中进行修补。然而，一个重大的挑战仍然存在：我们如何确保应用补丁的行为本身不会引入错误？在本文中，我们通过提出一种新的可更新程序的系统测试方法来解决这个问题。我们的想法是将标准系统测试转换为更新测试但每个转换后的测试都会在不同的更新点执行期间。为了减少测试数量的增加，我们为测试套件最小化它找到更新点的子集，如果对其进行充分测试，则会产生相当于完全更新点覆盖的结果。我们实现了我们的方法，并在OpenSSH和vsftpd这两个广泛使用的服务器应用程序上进行了评估。我们发现最小化非常有效，将完整覆盖所需的更新测试数量减少了93%。