着色Petri网模型驱动的云测试生成方法与实现

刘靖, 吴海博, 王少帅, 贾垒

A Colored Petri Nets Model Based Cloud Test Generation Approach and Implementation System

LIU Jing, WU Hai-bo, WANG Shao-shuai, JIA Lei

北京邮电大学学报 . 2016, (5): 89 -93,115 . DOI: 10.13190/j.jbupt.2016.05.018