design method based on critical security software model

摘要

The present invention relates to a method for design based on security critical software model. The method includes receiving natural language software requirements, developing a specification model by deploying semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, self-generating robustness test cases and requirements from the specification model, develop a project model based on the specification model, apply test cases to the project model, autogenerate source code using the project model, verify source code using both test cases and statistical analysis technology, and compile executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory, then adjust the design or specification model to correct any inconsistencies and repeat the analysis application and test cases. a system for deploying the model-based design and a non-transient computer readable medium are revealed.