Process & system for developing mathematically validated object-oriented software
First Claim
Patent Images
1. A process for developing mathematically validated object oriented software comprising the steps of:
- a) writing an abstract specification of a class, methods and expected properties of a component of the software;
b) checking the abstract specification for errors and verifying that the class has the expected properties;
c) generating executable code for the class from the abstract specification;
d) running and evaluating the executable'"'"'code to check that the code meets requirements other than a required speed of performance; and
e) evaluating the speed of performance when handling data sets commensurate to the size of data sets the software component is required to handle.
2 Assignments
0 Petitions
Accused Products
Abstract
A process and a system are used to verify that an object-oriented software component described in an extended programming language behaves correctly with respect to an abstract data model and specifications of the operations that may be performed on it The process and system also verify for an assembly of components that whenever an operation on a component is invoked, the correct conditions specified for that operation and component exist, and that specified properties hold for a component of the assembly.
-
Citations
26 Claims
-
1. A process for developing mathematically validated object oriented software comprising the steps of:
-
a) writing an abstract specification of a class, methods and expected properties of a component of the software;
b) checking the abstract specification for errors and verifying that the class has the expected properties;
c) generating executable code for the class from the abstract specification;
d) running and evaluating the executable'"'"'code to check that the code meets requirements other than a required speed of performance; and
e) evaluating the speed of performance when handling data sets commensurate to the size of data sets the software component is required to handle. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26)
-
-
14. A system for developing mathematically validated object oriented software comprising:
-
a) means for writing an abstract specification of the class, methods and expected properties of the software component;
b) means for checking the abstract specification for errors and verifying that the class has the expected properties;
c) means for generating executable code for the class from the abstract specification;
d) means for running and evaluating the executable code to check that the code meets requirements other than a required speed of performance; and
e) means for evaluating the speed of performance when handling data sets commensurate to the size of data sets the software component is required to handle.
-
Specification