Shapes Checking Using Test Driven Development