|国家科技期刊平台

首页|期刊导航|数字技术与应用|一种基于状态规格说明的OBDD测试用例生成方法

一种基于状态规格说明的OBDD测试用例生成方法

吴夕杨秋辉

数字技术与应用Issue(1)：152-152,1.

✕

数字技术与应用Issue(1)：152-152,1.

一种基于状态规格说明的OBDD测试用例生成方法

吴夕 ¹杨秋辉¹

作者信息

1. 四川大学计算机学院四川成都 610065
折叠

摘要

关键词

测试/基于状态说明/全断言覆盖准则/OBDD

分类

信息技术与安全科学

引用本文复制引用

吴夕,杨秋辉..一种基于状态规格说明的OBDD测试用例生成方法[J].数字技术与应用,2013,(1):152-152,1.

数字技术与应用

ISSN：1007-9416

访问量0

|

下载量0

段落导航

相关论文

摘要
关键词
分类
引用文本