待测行为相关论文
随着软件产业的飞速发展,并行软件系统己经成为当下主流的一种软件系统,在人们生活生产中扮演越来越重要的角色。例如常见的云计算......
针对并行软件的状态空间规模大导致测试难度大的问题,提出一种基于着色Petri网(CPN)的针对待测行为的并行模型化简方法。首先,将原......
