Testability and test plan generation door Marinissen