Abstract
In software, hardware, and embedded system domains, debugging is the process of locating and correcting faults in a system. Depending on the context, the various characteristics of debugging induce different challenges and solutions. Post-silicon hardware debugging, for example, needs to address issues such as limited visibility and controllability, while debugging software entails other issues, such as the handling of distributed or non-deterministic computation. The challenges that accompany such issues are the focus of many current research efforts. Solutions for debugging range from interactive tools to highly analytic techniques. We have seen great advances in debugging technologies in recent years, but bugs continue to occur, and debugging still encompasses significant portions of the lifecycles of many systems. The session covered state-of-the-art approaches as well as promising new research directions in both the hardware and software domains.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Burger, M., Lehmann, K., Zeller, A.: Automated debugging in eclipse. In: OOPSLA Companion 2005, pp. 184–185 (2005)
De Paula, F.M., Gort, M., Hu, A.J., Wilton, S.J.E., Yang, J.: BackSpace: Formal Analysis for Post-Silicon Debug. In: Formal Methods in Computer-Aided Design (FMCAD), pp. 35–44. IEEE eXpress Publishing (2008)
Kuan, J., Wilton, S.J.E., Aamodt, T.M.: Accelerating Trace Computation in Post-Silicon Debug. In: 11th IEEE International Symposium on Quality Electronic Design (ISQED 2010), pp. 244–249 (2010)
Cunha, J.C., Lourenço, J., Duarte, V.: Debugging of parallel and distributed programs. Parallel program development for cluster computing. In: Advances Computation: Theory And Practice, vol. 5, pp. 97–129. Nova Science Publishers, Inc., Commack (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hollander, Y., Hu, A., Lourenço, J., Morad, R. (2011). Special Session on Debugging. In: Barner, S., Harris, I., Kroening, D., Raz, O. (eds) Hardware and Software: Verification and Testing. HVC 2010. Lecture Notes in Computer Science, vol 6504. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19583-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-19583-9_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19582-2
Online ISBN: 978-3-642-19583-9
eBook Packages: Computer ScienceComputer Science (R0)