【技术实现步骤摘要】
【技术保护点】
一种颗粒度可调的任务调度验证方法，其特征在于，包括以下步骤：首先对系统中的所有不同层次的任务进行编号，并设定一个全局变量来存放程序所使用的条件值和所执行的任务编号，每个任务都以任务编号，条件变量值和前一个强单向函数值为输入计算本任务的单向函数值；根据需要设定检查执行任务的颗粒度；在周期程序执行结束前，根据全局变量的存储结果计算校验值，并与程序最终值进行比较，以判断任务调度执行的结果是否正确。
【技术特征摘要】
【专利技术属性】
技术研发人员：姚军，迟宝全，张小林，袁跃峰，
申请(专利权)人：苏州富欣智能交通控制有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。