Method for testing software safety of mobile trusted platform

A safe and reliable technology, applied in the field of testing mobile trusted platform software security, can solve problems such as unfavorable development efficiency, and achieve the effect of rapid testing and guaranteeing efficiency

Inactive Publication Date: 2015-04-29
UNIV OF SCI & TECH OF CHINA
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

This is undoubtedly detrimental to improving the efficiency of software development

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Method for testing software safety of mobile trusted platform
  • Method for testing software safety of mobile trusted platform
  • Method for testing software safety of mobile trusted platform

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0047] In order to enable those skilled in the art to better understand the technical solutions in the present invention, the technical solutions in the embodiments of the present invention will be clearly and completely described below in conjunction with the drawings in the embodiments of the present invention. Obviously, the described The embodiments are only some of the embodiments of the present invention, not all of them. All other embodiments obtained by persons of ordinary skill in the art based on the embodiments of the present invention shall fall within the protection scope of the present invention.

[0048] Such as figure 1 As shown, a method for testing the security of mobile trusted platform software provided by the embodiment of the present invention includes:

[0049] S101. Using B language to design a formal specification of the mobile trusted platform;

[0050] Specifically can include:

[0051] Use B language to describe the software to generate an abstra...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a method for testing software safety of a mobile trusted platform, which can be used for using B language to design a formal specification of the mobile trusted platform in a software development process, and proving trusted proof obligations of the formal specification. When all proof obligations are proved to be trusted, the tested software is safe. Through the application of the technical scheme, the software safety can be quickly tested in the software development process, and the efficiency of software development is ensured.

Description

technical field [0001] The invention relates to the technical field of software testing, in particular to a method for testing the software security of a mobile trusted platform. Background technique [0002] With the development of science and technology, large-capacity and high-speed computers have appeared one after another, which has also led to a sharp increase in the number of software development. Now, the scale of the software system is getting bigger and bigger, the complexity is getting higher and higher, and the problem of software reliability is becoming more and more prominent. [0003] In order to improve the efficiency of software development, people have studied the method of software engineering. But there are some defects in this method, it cannot guarantee that the realization of the final software can meet the original design. Software developed through software engineering still needs a large number of tests to find potential problems in the software. ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/36G06F21/56G06F21/52
Inventor 苗付友王行甫熊焰黄文超吴呈邑
Owner UNIV OF SCI & TECH OF CHINA
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap