Putting engineering into software engineering: Upholding software engineering principles in the classroom

•We integrate software testing within a broader context of specification, verification and testing.•We present software testing as a structured, multi-phased activity.•We precise milestones and deliverables.•We present testing as a goal-oriented activity, with specific verifiable claims.•Specific verifiable claims are based on engineering methods and techniques.