Model driven automatic unit testing technology tool architecture

Traditional approaches to unit testing involve establishing test vectors from the source code and establishing expected results that can be used to determine if a particular case has been addressed. This approach is time consuming and expensive. The availability of Computer Aided Control System Design (CACSD) tools for software modeling has permitted expected values to be automatically established from an executable specification. Further automation and implementation independence can be achieved by generating test vectors directly from the executable specification. A model driven automatic unit testing tool architecture and specification has been established. This paper discusses the architecture and requirements of such a tool. Topics include control coverage, data flow coverage, domain coverage, path sensitizing and test management