Studies of program test coverage criteria and the development of an automated support system