发明名称 |
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 |