双机热备平台相关硕士博士期刊学术论文 - 信丰网

双机热备平台相关论文

基于Event-B的双机热备平台测试序列自动生成方法

为了确保双机热备平台满足相应的功能需求,需要对其进行功能测试。采用基于模型的测试方法,可以有效地避免人工手动生成测试中存在......

期刊

双机热备平台测试序列 EVENT-B L1算法 Rodin平台 hot standby platform test sequence Event-B L Al

看过本文同时还关注