顺序违背相关硕士博士期刊学术论文 - 信丰网

顺序违背相关论文

基于约束求解的移动应用并发错误探测方法研究

多线程编程模型和异步事件处理机制的引入使得安卓应用的执行行为具有不确定性。若两个事件以预期之外的顺序访问同一个共享对象时......

学位

安卓应用顺序违背并发测试约束求解

并发缺陷暴露、检测与规避研究综述

当今普遍流行的多核架构使得硬并发成为现实.为了从硬件的并发能力获益,并发程序设计正越来越流行.然而由于内在的并发性和不确定......

期刊

并发缺陷死锁数据竞争原子性违背顺序违背程序分析软件测试

看过本文同时还关注