期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
从集合表达式产生测试数据的方法
被引量：
3
1
作者
胡晓波
缪淮扣
《计算机工程与设计》
CSCD
北大核心
2008年第20期5237-5242,共6页
软件测试保证和提高了软件质量,因此成为软件界最为关心的问题之一。测试数据的好坏直接影响软件测试的效果。形式规格说明中的前置条件可用来产生测试数据。而前置条件是基于关系操作符的谓词表达式。给出了一个针对集合关系表达式的...
软件测试保证和提高了软件质量,因此成为软件界最为关心的问题之一。测试数据的好坏直接影响软件测试的效果。形式规格说明中的前置条件可用来产生测试数据。而前置条件是基于关系操作符的谓词表达式。给出了一个针对集合关系表达式的测试准则和产生符合测试准则的测试数据的算法,根据该测试准则产生的测试数据对于集合条件表达式有比较好的错误检测能力。从给出的数据库查询的例子说明了该方法对于检测代码错误的有效性。
展开更多
关键词
形式方法
OBJECT-Z
软件测试
测试数据
集合表达式
代码变异错误测试
下载PDF
职称材料
题名
从集合表达式产生测试数据的方法
被引量：
3
1
作者
胡晓波
缪淮扣
机构
上海大学计算机工程与科学学院
出处
《计算机工程与设计》
CSCD
北大核心
2008年第20期5237-5242,共6页
基金
国家自然科学基金项目(60673115)
国家973重点基础研究发展计划基金项目(2002CB312001)
文摘
软件测试保证和提高了软件质量,因此成为软件界最为关心的问题之一。测试数据的好坏直接影响软件测试的效果。形式规格说明中的前置条件可用来产生测试数据。而前置条件是基于关系操作符的谓词表达式。给出了一个针对集合关系表达式的测试准则和产生符合测试准则的测试数据的算法,根据该测试准则产生的测试数据对于集合条件表达式有比较好的错误检测能力。从给出的数据库查询的例子说明了该方法对于检测代码错误的有效性。
关键词
形式方法
OBJECT-Z
软件测试
测试数据
集合表达式
代码变异错误测试
Keywords
formal
method
object-Z
software
test
test
case
set
expressions
code
mutation
testing
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
从集合表达式产生测试数据的方法
胡晓波
缪淮扣
《计算机工程与设计》
CSCD
北大核心
2008
3
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
