Inspection of High Level Statecharts

Since their invention by Fagan in 1976, inspections proved to be an essential quality assurance technique in software engineering. Traditionally, inspections were used to detect defects in code documents, and later in requirements documents. However, not much is known how to apply inspections to design document. Statecharts are an important technique to describe the dynamic behavior of a software system. Thus, it is essential to define techniques for detecting defects in statechart models. In this report, checklists and reading scenarios are presented to support an inspector during defect detection for statecharts.