Learning objectives in chapter 7 "Dynamic techniques" includes: Explain the characteristics and differences between specification-based testing, structure-based testing and experience-based testing; compare the terms test condition, test case and test procedure; write test cases from given software models using techniques: equivalence partitioning, boundary value analysis, decision tables, state transition testing;.