Evaluating Dynamic Software Update Safety Using Systematic Testing

dc.contributor.authorHayden, Christopher M.
dc.contributor.authorSmith, Edward K.
dc.contributor.authorHardisty, Eric A.
dc.contributor.authorHicks, Michael
dc.contributor.authorFoster, Jeffrey S.
dc.date.accessioned2011-11-17T16:29:29Z
dc.date.available2011-11-17T16:29:29Z
dc.date.issued2011-09-22
dc.description.abstractDynamic software updating (DSU) systems patch programs on the fly without incurring downtime. To avoid failures due to the updating process itself, many DSU systems employ timing restrictions. However, timing restrictions are theoretically imperfect, and their practical effectiveness is an open question. This paper presents the first significant empirical evaluation of three popular timing restrictions: activeness safety (AS), which prevents updates to active functions; confreeness safety (CFS), which only allows modifications to active functions when doing so is provably type-safe; and manual identification of the event-handling loops during which an update may occur. We evaluated these timing restrictions using a series of DSU patches to three programs: OpenSSH, vsftpd, and ngIRCd.We systematically applied updates at each distinct update point reached during execution of a suite of system tests for these programs to determine which updates pass and which fail. We found that all three timing restrictions prevented most failures, but only manual identification allowed none. Further, although CFS and AS allowed many more update points, manual identification still supported updates with minimal delay. Finally, we found that manual identification required the least developer effort. Overall, we conclude that manual identification is most effective.en_US
dc.identifier.urihttp://hdl.handle.net/1903/12146
dc.language.isoen_USen_US
dc.relation.ispartofseriesUM Computer Science Department;CS-TR-4993
dc.titleEvaluating Dynamic Software Update Safety Using Systematic Testingen_US
dc.typeTechnical Reporten_US

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
CS-TR-4993-update-1.pdf
Size:
357.32 KB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.57 KB
Format:
Item-specific license agreed upon to submission
Description: