消息竞争相关论文
提出一种总线型车身控制系统功能和实时性的硬件在环检测方法,描述了多级结构的闭环实时检测系统,给出了自动化测试用例的形式化定......
针对并发程序中由消息竞争所引发的不确定性故障难以捕获与再现、定位结果不精确等问题,提出一种结合程序频域比对、Delta调试策略......
