基本信息
文件名称:并发软件验证与测试方法.pdf
文件大小:5.47 MB
总页数:23 页
更新时间:2025-11-01
总字数:约1.58万字
文档摘要

并发软件验证与测试方法

1目录

*cnrran

第一部分并发软件中的验证挑战2

第二部分模型检验在并发软件验证中的应用4

第三部分符号执行在并发软件验证中的应用7

第四部分静态分析在并发软件验证中的用11

第五部分测试并发软件的挑战14

第六部分线程遍历方法在并发软件测试中的适用性16

第七部分可重复性和原子性检查在并发软件测试中的意