事件约束定义相关硕士博士期刊学术论文 - 信丰网

事件约束定义相关论文

基于有限状态进程的事件约束定义

测试分布式程序需要定义事件约束来检测程序执行产生的事件序列。事件约束需要根据程序的规约来推导。FSP是一类描述并发程序形式......

期刊

有限状态进程事件约束定义软件测试并发程序软件开发 software testing finite state process specificati

看过本文同时还关注