OWL-S based test case generation

To improve the automatization and the efficiency of the Web Service interactive test process, an automated test case generation approach was proposed, based on OWL-S (OWL web ontology language for services) requirement model. Test cases were generated for the requirement properties wanted to be verified, and they were generated in three steps: the requirement property formulae were analyzed to obtain the concrete event collections related to the requirement properties; using the concrete event collections, application flow was searched to find all test paths related to the requirement properties; finally, the IOPE (inputs, outputs, preconditions, effects) properties and conditions of the test paths were analyzed to generate the test cases corresponding to test paths. The approach was experimented on an ATM(automated teller machine) prototype system. The results show that tests cases related with requirement properties are generated as designed, the test cases cover all the given requirement properties, and the system faults are detected effectively.