The levels covered in the SWEBOK guide are unit-, reintegration, and what other level