OWL-S based test case generation
-
摘要: 提出了一种基于OWL-S(OWL Web Ontology Language for Services)需求模型的测试用例自动生成方法,针对被测系统需求特性产生测试用例,以提高Web服务系统交互测试的自动化程度和效率.测试用例的生成通过3个步骤完成:①对需求特性进行分析,获取与需求特性相关的具体事件集的集合;②对OWL-S描述的应用流程进行搜索,寻找所有与需求特性相关的测试路径;③对测试路径上相关原子过程的IOPE(Inputs,Outputs,Preconditions and Effects)属性及路径条件进行分析,产生相应的测试用例.以金融行业ATM(Automated Teller Machine)示例系统为例对本方法进行了验证,结果表明本方法按要求产生了与需求特性相关的测试用例,覆盖了所有给定的需求特性公式,并有效的检测出被测系统中存在的错误.Abstract: 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.
-
Key words:
- test case generation /
- Web Service
-
[1] Huang H, Tsai W T, Paul R. Automated model checking and testing for composite Web Services Moody S, Ranning F. Object-Oriented Real-Time Distributed Computing 2005. ISORC 2005. Eighth IEEE International Symposium. Washington:IEEE Computer Society, 2005: 300-307 [2] Tsai W T, Wei X, Chen Y. Developing and assuring trustworthy Web services Autonomous Decentralized Systems, 2005. ISADS 2005. Piscatawory:IEEE, 2005: 43-50 [3] Tan L, Sokolsky O, Lee I. Specification-based testing with linear temporal logic Information Reuse and Integration, 2004. IRI 2004. Proceedings of the 2004 IEEE International Conference.New York:IEEE, 2004:493-498 [4] Bouquet F, Dadeau F, Groslambert J. Safety property driven test generation from JML specifications FATES/RV-06, LNCS. Heidelberg:Springer-Verlag, 2006: 225-239 -
点击查看大图
计量
- 文章访问数: 2781
- HTML全文浏览量: 121
- PDF下载量: 843
- 被引次数: 0
下载:
