Method and apparatus for the automatic analysis of computer software
US5522036A · kind A · utility
Assignee
Inventor
Key dates
| Filing date | Nov 10, 1994 |
| Grant date | May 28, 1996 |
| Priority date | — |
| Expiry date | Nov 10, 2014 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3612
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method and apparatus for the analysis of a computer process is disclosed. The method consists of the steps of analyzing a target process and constructing a model and repository which are representative of the control and non-control components contained within the original target process respectively. The resultant model and repository are executed, and their execution is representative of the original target process. Structures created during the execution of the model and repository assist a user to identify failures which occur during the execution, and then locate the fault(s) responsible for the failures as well as places within the target process where modifications due to new requirements are needed. An alternative form of object code is proposed which consists of two components, control and non-control components. Previously described model representing the control component constantly increases the intelligence of the resulting object code in respect to the target process being executed through the processes of propagation of elementary knowledge about the correctness or uncertainty of the target process elements execution.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.