测试框架系统相关硕士博士期刊学术论文

由于并发软件的不确定性，使得并发程序的设计、开发、调试和测试都非常困难。可达性测试是并发软件测试中的一种有效方法。本文提出......