Design tests: An approach to programmatically check your code against design rules