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

摘要

由于并发软件的不确定性，使得并发程序的设计、开发、调试和测试都非常困难。可达性测试是并发软件测试中的一种有效方法。本文提出了一种基于共享变量读写操作分析的Java多线程程序同步序列生成策略，采用动态代理类Proxy实现了Java多线程程序确定性测试框架系统，从而实现了一个Java多线程可达性测试系统。

目录

独创性声明及学位论文版权使用授权书

绪论

第一章 面向对象软件测试概论

第二章 并发软件测试

第三章 基于共享变量读写分析的Java语言可达性测试框架系统

第四章 并发程序可达性测试同步序列集生成策略

第五章 Java多线程程序确定性测试框架系统设计及其实现难点

第六章 结束语

致谢

参考文献