Testability and test plan generation by Marinissen