Software testing is important activity in Software Development Life Cycle. To cut down cost of manual testing and to increase reliability of it, researchers and practitioners have tried to automate it. One of the important activity in testing environment is automatic test case generation - description of a test, independent of the way a given software system is designed. This paper presents a survey on automatic test case generation techniques that are found in the current literature. Problems in usage of certain techniques are identified. Areas that needed future research are presented.
UCTSystem is a prototype tool designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts (i.e. precondition and postconditions) to build an execution model allowing all valid sequences of use cases. Using this execution model and several test criteria, it generates test objectives as sequence of use cases to exerce. It includes both criteria for functional testing and a criterion for robusness testing. Those test objectives are then mapped into test cases using test templates.
L. Liu, F. Felgner, and G. Frey. Proceedings of the 9th International Conference on Modeling, Optimization and Simulation (MOSIM'12), Bordeaux, France, (2012)
P. Fritzson. Proceedings of the 7th International Wireless Communications and Mobile Computing Conference (IWCMC 2011), Istanbul, Turkey, page 1648-1653. (2011)