Advanced Search
Volume 34 Issue 03
Mar.  2008
Turn off MathJax
Article Contents
Journal of Beijing University of Aeronautics and Astronautics  > 2008  >  34(03): 327-330.
Zhang Xiaoyan, Huang Ning, Yu Yinget al. OWL-S based test case generation[J]. Journal of Beijing University of Aeronautics and Astronautics, 2008, 34(03): 327-330. (in Chinese)
Citation: Zhang Xiaoyan, Huang Ning, Yu Yinget al. OWL-S based test case generation[J]. Journal of Beijing University of Aeronautics and Astronautics, 2008, 34(03): 327-330. (in Chinese)
shu

OWL-S based test case generation

  • School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China

  • Received Date: 29 Jun 2007
  • Publish Date: 31 Mar 2008
    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.

     

    • FullText(HTML)
  • loading
    • References(1)
  • [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
    • Relative Articles
    • Supplements(0)
    • Cited By
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索
    Get Citation
    PDF
    XML

    Article Metrics

    Article views(2820) PDF downloads(843) Cited by()
    Proportional views
    Related

    Copyright © Journal of Beijing University of Aeronautics and Astronautics

    Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn

    Supported by: Beijing Renhe Information Technology Co., Ltd.    

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return