-
题名关于蜕变测试和特殊用例测试的实例研究(英文)
被引量：13
- 1
-
-
作者
吴鹏
施小纯
唐江峻
林惠民
陈宗岳
-
机构
中国科学院软件研究所计算机科学重点实验室
School of Information Technology
-
出处
《软件学报》
EI
CSCD
北大核心
2005年第7期1210-1220,共11页
-
基金
国家自然科学基金No.60223005
中国科学院知识创新工程~~
-
文摘
提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutationscore和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.
-
关键词
软件测试
蜕变测试
特殊用例测试
随机测试
变异分析
-
Keywords
Evaluation
Matrix algebra
Testing
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于数据流分析的冗余变异体识别方法
被引量：8
- 2
-
-
作者
孙昌爱
郭新玲
张翔宇
陈宗岳
-
机构
北京科技大学计算机与通信工程学院
普渡大学计算机科学系
斯文本大学计算机科学与软件工程系
-
出处
《计算机学报》
EI
CSCD
北大核心
2019年第1期44-60,共17页
-
基金
国家自然科学基金(61872039
61370061)
+2 种基金
北京市自然科学基金(4162040)
航空科学基金(2016ZD74004)
中央高校基本科研业务费专项资金(FRF-GF-17-B29)资助~~
-
文摘
变异测试是一种基于故障的软件测试技术,广泛用来评估测试用例集的充分性与软件测试技术的有效性.尽管变异测试具有较强的故障检测能力,但由于数量庞大的变异体导致了计算开销大的问题,阻碍了变异测试在实践中的广泛应用.为了增强变异测试的实用性,该文从减少变异体数量和缩短变异测试执行时间的角度出发研究变异测试的优化技术,提出冗余变异体的概念和一种基于数据流分析的冗余变异体识别方法.采用11个C程序以经验研究的方式评估了所提冗余变异体识别方法的可行性与有效性.实验结果表明,该文提出的冗余变异体识别方法不仅可以识别出大量的冗余变异体,有效地减少了变异测试执行时间,还提供了一种评价变异算子质量的方法.该文提出的冗余变异体概念及其识别方法可以有效地提高变异测试的效率,并为资源受限的情况下如何选择变异算子进行变异测试提供了指导方针.
-
关键词
软件测试
变异测试
冗余变异体
数据流分析
变异优化
-
Keywords
software testing
mutation testing
redundant mutant
data flow analysis
mutation optimization
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名失效区域紧致性对适应性随机测试的性能影响(英文)
被引量：6
- 3
-
-
作者
陈宗岳
郭斐菁
孙昌爱
-
机构
Faculty of Information and Communication Technologies
-
出处
《软件学报》
EI
CSCD
北大核心
2006年第12期2438-2449,共12页
-
基金
Supported by an Australia Research Council Discovery under Grant No.DP0557246
-
文摘
适应性随机测试是一种增强的随机测试方法.已有的研究发现失效区域的紧致程度是影响适应性随机测试性能的几个基本因素之一,并仅在失效区域为长方形的情形下验证了上述猜想.采用仿真实验的方法进一步研究失效区域的紧致程度与适应性随机测试的性能之间的精确关系.研究了几种基本规则形状的和不规则形状的失效区域.实验结果表明适应性随机测试方法的性能随着失效区域的紧致程度的增强而提高.该研究进一步地揭示了适应性随机测试优于随机测试的基本条件.
-
关键词
软件测试
随机测试
适应性随机测试
失效模式
-
Keywords
software testing
random testing
adaptive random testing
failure pattern
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名E-CSPE约束的一致性判定
被引量：1
- 4
-
-
作者
顾庆
陈宗岳
陈道蓄
谢立
-
机构
南京大学计算机软件新技术国家重点实验室
-
出处
《计算机学报》
EI
CSCD
北大核心
2003年第11期1568-1574,共7页
-
基金
国家"八六三"高技术研究发展计划项目 ( 2 0 0 1AA113 0 90 )资助
-
文摘
分布式程序目前被大量使用 .由于并发的存在 ,测试分布式程序需要采用事件约束来判定运行事件序列的正确性 ,事件约束之间需要判定一致性 .初始的事件约束可以通过规约来定义 ,作者提出E CSPE约束的描述规则来推导新约束 ,并提出约束之间的一致性判定机制 .该算法具有多项式复杂度 .
-
关键词
软件开发
事件约束
分布式程序
一致性判定
E-CSPE
计算机
-
Keywords
software testing
distributed software testing
event sequencing constraints
consistency
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名软粘土中板桩支护开挖的侧向变形
- 5
-
-
作者
Wong,KS
陈宗岳
-
出处
《河港工程》
1995年第4期24-31,共8页
-
-
关键词
土方工程
软粘土
板桩墙
侧向变形
-
分类号
TU751
[建筑科学—建筑技术科学]
-
-
题名基于频谱的缺陷定位技术:逆向切片优于执行切片
- 6
-
-
作者
雷晏
毛晓光
陈宗岳
-
机构
后勤工程学院训练部
国防科学技术大学计算机学院
斯威本科技大学
-
出处
《后勤工程学院学报》
2015年第3期1-13,共13页
-
基金
国家自然科学基金项目(61379054
91118007)
国家863计划项目(2012AA011201)
-
文摘
一般情况下,缺陷定位技术的应用前提是必须存在测试预言,以判断测试用例的运行结果是失败或者成功,否则将无法使用。然而,在许多实际情况下,测试预言不存在或者很难定义,这就是著名的"预言家难题"。为了应对"预言家难题",利用蜕变测试,扩充了采用逆向切片基于频谱的缺陷定位技术的方法学,实现了其在无测试预言下的有效应用。基于上述研究,进一步对比了SFL技术中执行切片与逆向切片的缺陷定位能力。实验表明,在有测试预言和无测试预言两种情况下,逆向切片比执行切片具有更强的缺陷定位能力,并且公式GP19和ER1’相比于其他公式,更有可能达到最优结果。
-
关键词
缺陷定位
程序谱
执行切片
逆向切片
测试预言
-
Keywords
fault localization
program spectra
execution slice
backward slice
test oracle
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名如何防治电子商务中的垃圾邮件
- 7
-
-
作者
陈宗岳
-
机构
浙江理工大学
-
出处
《商场现代化》
北大核心
2006年第06X期137-137,共1页
-
文摘
电子商务作为一种全新的业务和服务方式,为全球客户提供了丰富的商务信息、简洁的交易过程和低廉的交易成本。但是电子商务在给人们带来方便的同时,也把人们引进了安全陷阱。本文讨论了垃圾邮件泛滥的原因和危害,提出预防和根治垃圾邮件的措施,以及反垃圾邮件措施。
-
关键词
电子商务
垃圾邮件
反垃圾邮件
-
分类号
F724.6
[经济管理—产业经济]
-
