在软件生命周期过程中，软件测试是保证软件质量的关键环节之一。随着分布式系统的不断发展，网络并发软件的测试方法受到了广泛关注与......

首先对基本并发行为进行CPN建模及状态空间生成,逐渐增大模型的复杂性,展示了CPN建模并发行为可能存在的状态空间快速增大问题。在......

针对并发行为难以描述和检测的问题，引入进程代数对系统调用序列进行分析，提出一种描述和检测并发行为的模型。首先通过静态分析二进......

针对事件驱动机制下Android多线程程序的数据竞争问题,构造一个基于Pi演算的并发行为检测模型。利用扩展后的Pi演算对Android生命......

随着信息化与工业化进程的不断融合，应用于航空航天、武器装备、医疗设备、工业控制、汽车电子、金融政务等诸多国家关键信息领域的......

根据通信对抗装备的分类特征及并发行为需求，使用在面向对象模型中引进并发机制的方法，设计实现了并发仿真模型，给出了使用消息和同步......

在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了client must-testing（CLT）语义,s......

随着移动网、传感网、物联网的飞速发展以及BYOD(Bring Your Own Device)办公模式的日益流行,安装在移动设备和智能终端的Android ......