Testing as an approach to understand the system is not effective, a potential solution is to use specifications.