Software trust ensuring method based on system structure evolution
Patent Information
- Authority / Receiving Office
- CN · China
- Patent Type
- Applications(China)
- Current Assignee / Owner
- NAT UNIV OF DEFENSE TECH
- Publication Date
- 2010-03-17
- Estimated Expiration
- Not applicable · inactive patent
Smart Images
Figure 1 Figure 2
Abstract
Description
technical field
[0001] The invention relates to the technical field of software maintenance, in particular to a method for ensuring continuous and correct operation of the software architecture through online evolution when the software operating environment exceeds the preset scene in the development stage. Background technique
[0002] Software trustworthiness means that the software operation behavior and results meet people's expectations, meet user needs, and can continue to provide services when it is disturbed by operation errors and environmental impacts. Traditional program correctness proof, software testing and other credible assurance methods are implemented in the development stage, which need to rely on assumptions about the future operating environment of the software. However, with the emergence of software forms such as embedded software, Internet software, and social and business-critical systems that provide services 7x24 hours, various environmental facto...