WIPO logo
Mobile | Deutsch | Español | Français | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO2013147814) SYSTEM AND METHOD FOR DETERMINING CORRECT EXECUTION OF SOFTWARE
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2013/147814    International Application No.:    PCT/US2012/031303
Publication Date: 03.10.2013 International Filing Date: 29.03.2012
IPC:
G06F 11/28 (2006.01)
Applicants: INTEL CORPORATION [US/US]; 2200 Mission College Boulevard Santa Clara, California 95052 (US) (For All Designated States Except US).
GRAWROCK, David W. [US/US]; (US) (For US Only).
WALKER, Jesse [US/US]; (US) (For US Only)
Inventors: GRAWROCK, David W.; (US).
WALKER, Jesse; (US)
Agent: RICHARDS, II, E.E. "Jack"; Trop, Pruner & Hu, P.C. 1616 S. Voss Rd., Ste. 750 Houston, Texas 77057-2631 (US)
Priority Data:
Title (EN) SYSTEM AND METHOD FOR DETERMINING CORRECT EXECUTION OF SOFTWARE
(FR) SYSTÈME ET PROCÉDÉ DE DÉTERMINATION D'UNE EXÉCUTION CORRECTE D'UN LOGICIEL
Abstract: front page image
(EN)An embodiment provides a level of assurance regarding correct operation of software. An embodiment creates baseline and real-time measurements of software and compares the measurements to determine whether the software is operating correctly. An application provider may include "tracing elements" in target software application. While producing the application the trace elements are detected and provide trace events, which collectively provide a "baseline trace" indicating proper application execution. The provider supplies the application and the baseline trace to a user. The user operates the application in real-time to produce a "real-time trace" based on the application still having trace elements that produce trace events (which collectively form the "real-time" trace). A comparator compares the baseline and real-time traces. If the traces are within a pre-determined range of each other the user has a level of assurance the software is operating correctly. Other embodiments are included herein.
(FR)Un mode de réalisation de la présente invention fournit un niveau de garantie concernant le fonctionnement correct d'un logiciel. Un mode de réalisation crée une ligne de base et des mesures en temps réel de logiciel et compare les mesures pour déterminer si le logiciel fonctionne correctement. Un fournisseur d'application peut comprendre des « éléments de traçage » dans une application logicielle cible. Tout en produisant l'application, les éléments de traçage sont détectés et fournissent des événements de traçage, qui fournissent collectivement une « trace de ligne de base » indiquant une exécution d'application correcte. Le fournisseur fournit l'application et la trace de ligne de base à un utilisateur. L'utilisateur utilise l'application en temps réel pour produire une « trace en temps réel » en fonction de l'application qui a toujours des éléments de traçage qui produisent des événements de traçage (formant collectivement la trace « en temps réel »). Un comparateur compare les traces de ligne de base et en temps réel. Si les traces sont dans une plage prédéterminée de l'une et l'autre, l'utilisateur a un niveau de garantie que le logiciel fonctionne correctement. D'autres modes de réalisation sont inclus dans la présente invention.
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
African Regional Intellectual Property Organization (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
European Patent Office (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Publication Language: English (EN)
Filing Language: English (EN)