留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

基于OWL-S的测试用例生成

张晓燕 黄宁 余莹

张晓燕, 黄宁, 余莹等 . 基于OWL-S的测试用例生成[J]. 北京航空航天大学学报, 2008, 34(03): 327-330.
引用本文: 张晓燕, 黄宁, 余莹等 . 基于OWL-S的测试用例生成[J]. 北京航空航天大学学报, 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)

基于OWL-S的测试用例生成

基金项目: 国家"十一五"国防预研项目
详细信息
    作者简介:

    张晓燕(1982-),女,河北临城人,硕士生,zhangxymail@126.com.

  • 中图分类号: TP 311

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)示例系统为例对本方法进行了验证,结果表明本方法按要求产生了与需求特性相关的测试用例,覆盖了所有给定的需求特性公式,并有效的检测出被测系统中存在的错误.

     

  • [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
  • 加载中
计量
  • 文章访问数:  2665
  • HTML全文浏览量:  97
  • PDF下载量:  841
  • 被引次数: 0
出版历程
  • 收稿日期:  2007-06-29
  • 网络出版日期:  2008-03-31

目录

    /

    返回文章
    返回
    常见问答