基于谓词抽象的测试用例约简生成方法

郭曦; 张焕国

doi:1000-436X(2012)03-0035-09

您当前的位置：

首页 >

文章列表页 >

基于谓词抽象的测试用例约简生成方法

学术论文 | 更新时间：2024-06-05

- 基于谓词抽象的测试用例约简生成方法
- Approach for reduced test suite generation based on predicate abstraction
- “在软件测试领域，专家提出了基于谓词抽象的测试用例约简生成方法，有效解决了状态空间爆炸问题，为软件系统测试提供了新方案。”
- 通信学报 2012年33卷第3期页码：35-43
- 作者机构：
  
  1. 武汉大学计算机学院，湖北武汉 430072
  2. 武汉大学空天信息安全与可信计算教育部重点实验室，湖北武汉 430072
- 作者简介：
  
  [ "郭曦（1983-），男，湖北鄂州人，武汉大学博士生，主要研究方向为可信软件安全性分析与测试、信息安全等。" ]
  [ "张焕国（1945-），男，河北元氏人，武汉大学教授、博士生导师，主要研究方向为信息安全、可信计算、纠错编码等。" ]
- 基金信息：
  
  国家自然科学基金资助项目(91018008);国家自然科学基金资助项目(61003268);国家自然科学基金资助项目(61173138);空天信息安全与可信计算教育部重点实验室开放基金资助项目(AISTC2008_01);空天信息安全与可信计算教育部重点实验室开放基金资助项目(AISTC2008Q02);湖北省自然基金资助项目(2009DBA429);湖北省自然基金资助项目(2010CDB08601);中央高校基本科研业务费专项资金资助项目(3101038);中央高校基本科研业务费专项资金资助项目(115010)
- DOI：1000-436X(2012)03-0035-09
  中图分类号： TP311
- 网络出版日期：2012-03，
  
  纸质出版日期：2012-03-25
- 稿件说明：
移动端阅览
郭曦, 张焕国. 基于谓词抽象的测试用例约简生成方法[J]. 通信学报, 2012,33(3):35-43.

Xi GUO, Huan-guo ZHANG. Approach for reduced test suite generation based on predicate abstraction[J]. Journal on communications, 2012, 33(3): 35-43.
郭曦, 张焕国. 基于谓词抽象的测试用例约简生成方法[J]. 通信学报, 2012,33(3):35-43. DOI： 1000-436X(2012)03-0035-09.

Xi GUO, Huan-guo ZHANG. Approach for reduced test suite generation based on predicate abstraction[J]. Journal on communications, 2012, 33(3): 35-43. DOI： 1000-436X(2012)03-0035-09.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据

基于谓词抽象的测试用例约简生成方法

Approach for reduced test suite generation based on predicate abstraction

DOI：1000-436X(2012)03-0035-09