基本信息
文件名称：并发软件验证与测试方法.pdf
文件大小：5.47 MB
总页数：23 页
更新时间：2025-11-01
总字数：约1.58万字
文档摘要
并发软件验证与测试方法
1目录
*cnrran
第一部分并发软件中的验证挑战2
第二部分模型检验在并发软件验证中的应用4
第三部分符号执行在并发软件验证中的应用7
第四部分静态分析在并发软件验证中的用11
第五部分测试并发软件的挑战14
第六部分线程遍历方法在并发软件测试中的适用性16
第七部分可重复性和原子性检查在并发软件测试中的意