Automatic devlopment of software codes
OwnerNicholas James Tudorinventor
Life of this patent
Estimating the term…
Abstract
Development of verified software codes is a very laborious process and is important especially where safety critical applications are concerned. A method is provided for the generation of verified software code against a requirement, which method comprises the steps of: i. using software to generate a static model of the requirement, ii. using the state model to develop a software code representation of the state model and a mathematical representation of the state model. iii. comparing the software code and mathematical representations to verify that the software code representation is a correct implementation of the mathematical representation.
Claims9
A method for the generation of verified software code against a requirement, which method comprises the steps of:
- i. using software to generate a state model of the requirement,
- ii. using the state model to develop a software code representation of the state model and a mathematical representation of the state model,
- iii. comparing the software code and mathematical representations to verify that the software code representation is a correct implementation of the mathematical representation.
A method for the generation of verified software code, which method comprises the steps of:
- i. developing a statement of requirements,
- ii. using software to generate a state model from the statement of requirements,
- iii. developing from the state model a formal specification in a mathematical representation,
- iv. using the state model to develop software code which represents the state model,
- v. constructing a compliance argument using the mathematical representation and the developed software code to provide verification conditions,
- vi. generating new software code where there is disparity between the mathematical representation and the developed software code,
- vii. discharging the verification conditions to prove that the new software code is a correct representation of the mathematical representation and hence the statement of requirements.
Dependencies are inferred from the claim text.