发明名称 MICRO-EXECUTION FOR SOFTWARE TESTING
摘要 Micro-execution is the ability to run any code segment in isolation. Implementations for micro-execution of code segments are described. A test engine determines an effective address of a memory operation of an instruction of an executable program. The test engine determines, prior to performing the memory operation and based on a memory policy, that the effective address is to be replaced with a replacement address. Based on determining that the effective address is to be replaced, the test engine allocates the replacement address and executes the instruction based on the allocated replacement address.
申请公布号 US2014331204(A1) 申请公布日期 2014.11.06
申请号 US201313875396 申请日期 2013.05.02
申请人 MICROSOFT CORPORATION 发明人 Godefroid Patrice
分类号 G06F11/36 主分类号 G06F11/36
代理机构 代理人
主权项 1. A method comprising: determining an effective address of a memory operation of an instruction of an executable; determining, prior to performing the memory operation and based on a memory policy, that the effective address is to be replaced with a replacement address; based at least partly on determining that the effective address is to be replaced, allocating the replacement address; and executing the instruction based on the allocated replacement address.
地址 Redmond WA US