Invention Grant
- Patent Title: Asynchronous assertions
- Patent Title (中): 异步断言
-
Application No.: US13004506Application Date: 2011-01-11
-
Publication No.: US08548966B2Publication Date: 2013-10-01
- Inventor: Martin Vechev , Eran Yahav
- Applicant: Martin Vechev , Eran Yahav
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agency: Scully, Scott, Murphy & Presser, P.C.
- Agent Louis J. Percello, Esq.
- Main IPC: G06F7/00
- IPC: G06F7/00 ; G06F17/00
Abstract:
A snapshot of an application executing on a processor is taken in response to detecting an assertion in a running application. The assertion is evaluated based on the snapshot asynchronously while allowing the application to continue executing. The results of the assertion evaluation are returned to the application.
Public/Granted literature
- US20120179650A1 ASYNCHRONOUS ASSERTIONS Public/Granted day:2012-07-12
Information query
