期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
对逻辑覆盖软件测试准则的公理化评估
被引量：
9
1
作者
刘玲
缪淮扣
《软件学报》
EI
CSCD
北大核心
2004年第9期1301-1310,共10页
由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选...
由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一觳椴馐宰荚蚴欠衤愀米楣砝捶治龊捅冉舷嘤Φ牟馐宰荚?描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法.这组性质被形式化地定义为一组公理.利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系.最后通过这组公理系统来评估现有的逻辑覆盖测试准则.评估的结果为测试人员在实际过程中选择逻辑覆盖测试准则提供了指导.
展开更多
关键词
基于规格说明的测试
逻辑覆盖测试准则
公理化评估
测试充分性准则
在线阅读
下载PDF
职称材料
UML状态图测试充分性准则的公理化评估
被引量：
8
2
作者
缪淮扣
费立志
《上海大学学报（自然科学版）》
CAS
CSCD
北大核心
2007年第5期489-496,共8页
描述了基于UML状态图测试的一组测试准则,并提出2个新的准则:N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系统,通过此公理系统来评估该组测试准则,给出评估结果.最后根据评估结果得出一些有益的结论.测试准则的...
描述了基于UML状态图测试的一组测试准则,并提出2个新的准则:N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系统,通过此公理系统来评估该组测试准则,给出评估结果.最后根据评估结果得出一些有益的结论.测试准则的评估可为软件工程师选择测试准则提供指导和帮助.
展开更多
关键词
UML状态图
测试准则
测试用例
公理化评估
在线阅读
下载PDF
职称材料
题名
对逻辑覆盖软件测试准则的公理化评估
被引量：
9
1
作者
刘玲
缪淮扣
机构
上海大学计算机工程与科学学院
出处
《软件学报》
EI
CSCD
北大核心
2004年第9期1301-1310,共10页
基金
国家自然科学基金~~
文摘
由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一觳椴馐宰荚蚴欠衤愀米楣砝捶治龊捅冉舷嘤Φ牟馐宰荚?描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法.这组性质被形式化地定义为一组公理.利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系.最后通过这组公理系统来评估现有的逻辑覆盖测试准则.评估的结果为测试人员在实际过程中选择逻辑覆盖测试准则提供了指导.
关键词
基于规格说明的测试
逻辑覆盖测试准则
公理化评估
测试充分性准则
Keywords
Algorithms
Formal logic
Specifications
Testing
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
UML状态图测试充分性准则的公理化评估
被引量：
8
2
作者
缪淮扣
费立志
机构
上海大学计算机工程与科学学院
出处
《上海大学学报（自然科学版）》
CAS
CSCD
北大核心
2007年第5期489-496,共8页
基金
国家自然科学基金资助项目(60673115)
国家重点基础研究发展计划(973计划)资助项目(2002CB312001)
+1 种基金
上海市教委科技发展基金资助项目(05AZ70)
上海市教委科研项目(07ZZ06)
文摘
描述了基于UML状态图测试的一组测试准则,并提出2个新的准则:N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系统,通过此公理系统来评估该组测试准则,给出评估结果.最后根据评估结果得出一些有益的结论.测试准则的评估可为软件工程师选择测试准则提供指导和帮助.
关键词
UML状态图
测试准则
测试用例
公理化评估
Keywords
UML statecharts
test criteria
test case
axiomatic assessment
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
对逻辑覆盖软件测试准则的公理化评估
刘玲
缪淮扣
《软件学报》
EI
CSCD
北大核心
2004
9
在线阅读
下载PDF
职称材料
2
UML状态图测试充分性准则的公理化评估
缪淮扣
费立志
《上海大学学报（自然科学版）》
CAS
CSCD
北大核心
2007
8
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
