![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Computer Laboratory Systems Research Group Seminar > Systematic Testing for Dynamically Updatable Software
Systematic Testing for Dynamically Updatable SoftwareAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Eiko Yoneki. Recent years have seen significant advances in dynamic software updating (DSU) systems, which allow programs to be patched on the fly. However, a significant challenge remains: How can we ensure the act of applying a patch does not itself introduce errors? In this paper, we address this problem by presenting a new systematic testing methodology for updatable programs. Our idea is to transform standard system tests into update tests that execute as before, but each transformed test applies a patch at a different update point during execution. To mitigate the increase in the number of tests, we developed an algorithm for test suite minimization that finds a subset of update points that, if fully tested, yields the equivalent to full update point coverage. We implemented our approach and evaluated it on OpenSSH and vsftpd, two widely used server applications. We found that minimization is highly effective; that when updates are allowed almost anywhere, many update tests fail; and that excluding type unsafe update points eliminates nearly, but not quite all, failing update tests. This talk is part of the Computer Laboratory Systems Research Group Seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsCambridge AWiSE Microsoft Research Machine Learning and Perception Seminars Global Intellctual HistoryOther talksMicrosporidia: diverse, opportunistic and pervasive pathogens Simulating Neutron Star Mergers Cycles of Revolution in Ukraine tba Leveraging the imaging power of the Beacon platform Beating your final boss battle, or presenting with confidence and style (easy mode) |