主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
许庆国,缪淮扣,曹晓夏,胡晓波.Object-Z 规格说明测试用例的自动生成器.软件学报,2011,22(6):1155-1168
Object-Z 规格说明测试用例的自动生成器
Automatic Test Case Generator for Object-Z Specification
投稿时间:2010-07-10  修订日期:2011-03-29
DOI:10.3724/SP.J.1001.2011.04021
中文关键词:  基于规格说明的测试  Object-Z  语义提取  测试用例生成器
英文关键词:specification-based testing  Object-Z  semantics extraction  test case generator
基金项目:国家自然科学基金(60970007, 61073050); 国家重点基础研究发展计划(973)(2007CB310800); 上海市自然科学基金(09ZR1412100); 上海市科学技术委员会项目(10510704900); 上海市重点学科建设项目(J50103); 武汉大学软件工程国家重点实验室开放基金(SKLSE2010-08-26)
作者单位E-mail
许庆国 上海大学 计算机工程与科学学院,上海 200072
武汉大学 软件工程国家重点实验室,湖北 武汉 430072 
qgxu@shu.edu.cn 
缪淮扣 上海大学 计算机工程与科学学院,上海 200072  
曹晓夏 上海第二工业大学 计算机与信息学院,上海 201209  
胡晓波 上海大学 计算机工程与科学学院,上海 200072  
摘要点击次数: 6445
全文下载次数: 6608
中文摘要:
      对Object-Z 形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z 是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z 规格说明中的模式定义,改进Object-Z 的文法结构,给出了提取Object-Z 规格说明语义的方法,研究了从Object-Z 规格说明产生测试用例的自动化过程.这一过程主要包含3 个阶段:Object-Z 语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例.
英文摘要:
      Most research on test case generation from Object-Z specification focuses on theory. There is almost no tool to support generating test cases automatically. The Object-Z is a mathematics and logic based formal specification language. It uses schema composition and abbreviation format, which brings difficulty for extracting semantics and then generating test cases from specification automatically. This paper provides a solution in extracting semantics and generating test cases from Object-Z specification by unfolding the schema definition and improving its syntax in Object-Z. The process has three steps including parsing Object-Z language, extracting semantics, and generating test cases automatically.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利