可满足性理论相关硕士博士期刊学术论文 - 搜论网

可满足性理论相关论文

一种基于单条程序执行路径的错误定位方法

当程序在测试中发生错误时,将形成一条错误的程序执行路径,程序员将会花费很多精力去检测程序代码和定位最终的程序错误.提出一种......

期刊

错误定位最弱前置条件可满足性理论动态分析自动化测试

TT-RMS:时间触发网络通信表生成算法

针对时间触发网络依据全局时间进行触发数据通信的特点,提出了一种基于单调速率调度(RMS)调度机制的通信表生成算法时间触发单调速......

期刊

RMS调度机制时间触发网络通信表生成可满足性理论实时通信

看过本文同时还关注