Tool for error detection in software using aspect specification
US5423027A · kind A · utility
14Cited by
6References
15Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | Sep 27, 1991 |
| Grant date | Jun 6, 1995 |
| Priority date | — |
| Expiry date | Sep 27, 2011 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3604
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Bugs are identified within a subject program by embellishing the program with specifications that specify relationships between abstract components of objects of the program. The dependency specified by the specifications are compared with the dependencies provided within the code of the subject program to identify any missing dependencies between abstract components in the code. Any missing dependencies in the code point to errors within the subject program.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.