Considering the Specification for 3 programs, testing if 3 sides make a triange, and what type, given a date, return the next date, and a commission problem on sales, we are developing a automated testing tool to generate and execute test cases.