Evaluating Dynamic Software Update Safety Using Efficient Systematic Testing. Christopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, and Jeffrey S. Foster. IEEE Transactions on Software Engineering, 38(6):1340-1354, December 2012. Accepted September 2011.

Dynamic 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; con-freeness 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.

[ .pdf ]

@ARTICLE{hayden12testing-journal,
  AUTHOR = {Christopher M. Hayden and Edward K. Smith and Eric A. Hardisty and Michael Hicks and Jeffrey S. Foster},
  TITLE = {Evaluating Dynamic Software Update Safety Using Efficient Systematic Testing},
  JOURNAL = {IEEE Transactions on Software Engineering},
  VOLUME = {38},
  NUMBER = {6},
  PAGES = {1340--1354},
  YEAR = 2012,
  MONTH = DEC,
  NOTE = {Accepted September 2011},
  DOI = {http://doi.ieeecomputersociety.org/10.1109/TSE.2011.101}
}

This file has been generated by bibtex2html 1.69