The control flow faults were detected by obtaining the virtual register and adding some control flow checking instructions into the program based on the virtual register.
它首先通过虚拟寄存器分配算法获得虚拟寄存器,然后基于这些虚拟寄存器添加特定的控制流检测指令。
Because DEM can integrate with control flow, data flow and time, the checking method can check consistency and completeness of software requirements for embedded real-time systems software.
由于DEM能将控制流、数据流和时间有效地集成为一体,故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性。
This paper focuses on semantic verification method, solving the problem of conflict checking under the combination of control flow, data flow and resource dimensions of workflow processes.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法。
应用推荐