基于并行Java程序动态切片的Concolic测试
Concolic testing based on dynamic slicing of concurrent Java programs作者机构：华中科技大学计算机科学与技术学院湖北武汉430074
出 版 物：《华中科技大学学报（自然科学版）》 (Journal of Huazhong University of Science and Technology(Natural Science Edition))
年 卷 期：2009年第37卷第10期
页 面：21-24页
核心收录：
学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论]
主 题：并行Java程序 动态切片 Concolic测试 并行测试 软件测试
摘 要：为了减少分析和存储信息,提高测试效率,针对Concolic测试中存在同一同步串运行多次的现象及测试效率不高的问题,提出了基于并行Java程序动态切片的Concolic测试方法.该方法运用并行程序动态切片确定测试同步串,无需分析和存储同步串每个执行点的信息,并保证不运行相同的同步串.实验证明,基于并行Java程序动态切片的Concolic测试方法极大地提高了Concolic测试的性能和效率,具有较高的实际可操作性.
维普期刊数据库
同方期刊数据库