This chapter explains some of the concepts of debugging and the terminology used. It also describes the ARM eXtended Debugger (AXD) and the ARM Symbolic Debugger (armsd), and how this book is complemented by online help. It contains the following sections: