首页> 中文会议>第十届全国容错计算机学术会议 >一种Java多线程可达性测试框架系统的研究与实现

一种Java多线程可达性测试框架系统的研究与实现

页面导航

摘要
著录项
相似文献
相关主题

摘要

由于并发软件的不确定性,使得并发程序的调试和测试较为困难.可达性测试是并发软件测试中的一种有效方法.本文提出了一种基于共享变量读写操作分析的Java多线程程序同步序列生成策略.我们采用动态代理类Proxy构造了Java多线程程序确定性测试框架,实现了一个Java多线程可达性测试原型系统.

著录项

来源
《第十届全国容错计算机学术会议》|2003年|177-180|共4页
会议地点北京
作者
李双权; 陈火炎; 孙玉霞;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.52;
关键词
可达性测试; 测试框架; 同步序列; 多线程; 并发软件;
入库时间 2022-08-17 11:06:47

相似文献

中文文献
外文文献
专利

1. 基于数据驱动的软件自动化测试框架系统的研究与实现 [J] . 王蕾 . 软件导刊 . 2009,第006期
2. 基于数据驱动的软件自动化测试框架系统的研究与实现 [J] . 王蕾 . 教育技术导刊 . 2009,第006期
3. 关于交替式下推系统可达性证明的研究与实现 [J] . 周青 . 计算机系统应用 . 2016,第011期
4. 一种轻量级操作系统测试框架设计与实现 [J] . 郝继锋 ,李运喜 ,任晓瑞 . 航空计算技术 . 2018,第005期
5. 一种基于Web服务的嵌入式系统BSP远程测试框架 [J] . 迟剑 ,白晓颖 ,万国良 . 计算机科学 . 2011,第B10期
6. 一种Web系统性能测试框架及其混合建模过程 [C] . . 2008全国软件与应用学术会议(NASAC'08) . 2008
7. 一种Java多线程可达性测试框架系统的研究和实现 [A] . 李双权 . 2003

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号