Back to results
US 2007/0168987 A1Published application
Method for determining operational characteristics of a program
AssigneeTrusted Logic
InventorsEric Vetillard, Renaud Marlet
Life of this patent
Estimating the term…
Abstract
The inventive method for determining operational characteristics of a program includes a verification procedure involving the following stages: the first stage for expressing the operational characteristics of the program in the form of functions related to events producible during possible executions of the program, a second stage for simultaneously estimating, by program analysis, the program structure, the possible ways of execution and values used at different program points and the third stage for determining said characteristics by calculating associated functions by means of information extracted with the aid of the analysis.
Claims18
A method for determining the operational characteristics of a program, comprising a verification procedure comprising the following steps:
- a first step comprising:
- expressing the operational characteristics of the program as functions dealing with occurrences or sequences of occurrences of events which may occur during possible executions of the program, said events being able to deal with particular operations, particular values, at particular program points and in particular states of the program;
- determining a possible level of precision with which these characteristics must be determined;
- determining a possible set of particular contexts of execution in which the program will always be executed;
- determining possible operational specificities of a set of platforms on which the program will be executed;
- a second step of estimation, by program analysis, and in consideration of said possible level of precision, of said possible set of particular contexts of execution and of said possible operational specificities of platforms, of information relating to the structure of the program, the possible execution paths of the program and to the values of possible data, at various points of the execution paths and under different execution conditions, of the states and data handled by the program;
- a third step for determining said operational characteristics, by means of the information extracted by said program analysis, by the computation of said functions on the occurrences or particular sequences of occurrences of particular operations, dealing with particular values, at particular points of the program, in particular states of the program, for the set of execution paths determined by analysis.
4 more elements
A system for multi-application execution ensuring that the applications observe given validity criteria, comprising:
- an application analysis server, a server for validation of applications and a multi-application platform, and
- means for ensuring, prior to loading or execution of an application on the platform:
- observance by this application of said validity criteria an extraction of information being carried out on the application analysis server and an evaluation of said validity criteria being carried out on the server for validation of applications, and
- in the case when one of the validity criteria cannot be observed, a failure of loading or execution of the application, a change of the status of the system and an emission of a sound or visual signal to alert of failure of loading or execution,
- the means for ensuring observance by said application of said validity criteria executing a procedure comprising the following steps:
- a first step comprising:
- expressing the validity criteria of the program as functions dealing with occurrences or sequences of occurrences of events which may occur during possible executions of the program, said events being able to deal with particular operations, particular values, at particular program points and in particular states of the program;
- determining a possible level of precision with which these validity criteria must be determined;
- determining a possible set of particular contexts of execution in which the program will always be executed;
- determining possible operational specificities of a set of platforms on which the program will be executed;
- a second step of estimation, by program analysis, and in consideration of said possible level of precision, of said possible set of particular contexts of execution and of said possible operational specificities of platforms, of information relating to the structure of the program, the possible execution paths of the program and to the values of possible data, at various points of the execution paths and under different execution conditions, of the states and data handled by the program;
- a third step for determining said validity criteria, by means of the information extracted by said program analysis, by the computation of said functions on the occurrences or particular sequences of occurrences of particular operations, dealing with particular values, at particular points of the program, in particular states of the program, for the set of execution paths determined by analysis.
9 more elements
Dependencies are inferred from the claim text.