Automated verification of correctness of aspects of an information technology system
US7797739B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | May 23, 2005 |
| Grant date | Sep 14, 2010 |
| Priority date | — |
| Expiry date | Jun 27, 2028 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/008
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method for verifying correctness of an Information Technology (IT) structure instance D of an IT structure R, a method for detecting an unauthorized change in an operating instance X of an IT structure R, a method for verifying conformance of an IT structure to an IT delivery environment, associated computer program products, and associated processes for integrating computing infrastructure. The method for verifying correctness of an IT structure instance D determines whether a reverse specification RD for D differs from R. The method for detecting an unauthorized change in an operating instance X of an IT structure R determines whether authorized changes in R have occurred. The method for verifying conformance of an IT structure to an IT delivery environment verifies compliance of the IT structure relating to: product standard compliance, compliance of software elements of the IT structure primitive composition, software application type compliance, and network traffic compliance.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.