Computer software for software design, development and testing and related computer-aided software testing tools