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

第十届全国容错计算学术会议 一种Java多线程可达性测试框架系统的研究与实现· 李双权，陈火炎，孙玉霞 (暨南大学计算机系 广州510632) ．1—i．s—h——u——a—n—．．c，,a—．u——a——n——3—．(．国．．．—1—6—．3——．—c—o——m—，tchY@inu．edu．cn，sabrinna(岔——,21cn．com 摘要：由于并发软件的不确定性，使得并发程序的调试和测试较为困难。可迭性测试 是并发软件测试中的一种有效方法．本文提出了一种基于共享变量读写操作分析的Java 多线程程序同步序列生成策略。我们采用动态代理类Proxy构造了Java多线程程序确定 性测试框架，实现了一个Java多线程可迭性测试原型系统。 关键词：可达，ti浸,l试，测试框架，同步序列，多线程 1 引言 并发软件与传统串行软件的根本区别在于其运行的不确定性，导致软件运行不可预测和不可重复。 犬大增加了并发软件测试的难度。 本文研究Java多线程程序中共享变量访问同步问题的测试，不涉及消息传递同步的测试