A unit testing framework for the Ada '95 programming language