位置：成果数据库 > 期刊 > 期刊详情页
抽象精化和可满足性结合的EFSM模型测试用例优化生成
  • ISSN号：0254-4164
  • 期刊名称：《计算机学报》
  • 时间：0
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]苏州市职业大学计算机工程学院,江苏苏州215104, [2]上海大学计算机工程与科学学院,上海200072, [3]上海市计算机软件测评重点实验室,上海201112
  • 相关基金：本课题得到国家自然科学基金（61170044,61572306）、上海市重点学科建设项目基金（J50153）和苏州市职业大学预研基金（SVU2015YY01）资助.
作者： 陆公正[1,2], 缪淮扣[2,3]
关键词： 测试用例约简, 扩展有穷状态机, 公式簇, 抽象, 反例引导的精化, 可满足性
中文摘要：

基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展有限状态机（ Extended Finite Machine,EFSM）为建模工具,根据公式簇建立状态等价关系,构建抽象模型,采用模型检验技术生成抽象反例（测试用例）;给出了判定生成的抽象反例是否为伪反例的方法;采用反例引导的方法精化抽象模型,删除伪反例;最后,使用我们之前提出的基于可满足性的测试用例生成方法在抽象模型上生成约简的测试用例集.实验表明该方法的测试用例数目约简比例最高达76%（警报侦测组件EFSM ） ,总长度约简比例最高达6 8 % （ATMEFSM） ,同时不会影响测试用例集的迁移覆盖率和查错能力.

同期刊论文项目
基于概率模型检验的Web服务动态自适应配置
期刊论文 2
基于模型的测试用例优化生成与自动执行
期刊论文 17 会议论文 31 著作 3
同项目期刊论文
Nondeterministic Probabilistic Petri Net-A New Method to Study Qualitative and Quantitative Behavior
Predictive Web Service Monitoring using Probabilistic Model Checking
An approach to test generation for web applications
基于Ajax技术的Web应用的建模与测试用例生成
基于CEGAR的Web应用验证
Research on the dynamic reconfiguration of Web application using two-phase compatibility verificatio
表格语言的分析比较
一个用于EFSM路径条件覆盖的测试数据生成方法
面向概率服务组合系统的需求描述
Web服务计算组合流程QoS验证
基于历史信息的自适应测试用例优先级技术
Eyou: An Electronic Map-Based Logistics Service System
Reduction of Model Checking-based Test Generation using Satisfiability
Formaldevelopment of self-separation protocol in free flight
基于犆犈犌犃犚的犠犲犫应用验证
基于IPv6校园的仪器设备能耗监控平台
期刊信息
  • 《计算机学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编：孙凝晖
  • 地址：北京中关村科学院南路6号
  • 邮编：100190
  • 邮箱：cjc@ict.ac.cn
  • 电话：010-62620695
  • 国际标准刊号：ISSN：0254-4164
  • 国内统一刊号：ISSN：11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:48433