Software test case generation method, electronic equipment and readable storage medium

A software testing and case technology, applied in the fields of software test case generation, electronic equipment and readable storage media, can solve problems such as state space explosion, increase the difficulty of system verification, etc., achieve cost reduction, strong traceability, The effect of improving efficiency

Pending Publication Date: 2022-07-05
TONGJI UNIV
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the model checking method in the traditional formal method needs to traverse the state space finitely, and the "state space explosion" problem is prone to occur when analyzing the model of a complex system, which increases the difficulty of system verification

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
  • Software test case generation method, electronic equipment and readable storage medium
  • Software test case generation method, electronic equipment and readable storage medium
  • Software test case generation method, electronic equipment and readable storage medium

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0023] The embodiments of the present invention will be described in detail below with reference to the accompanying drawings, so as to more clearly understand the objects, features and advantages of the present invention. It should be understood that the embodiments shown in the accompanying drawings are not intended to limit the scope of the present invention, but are only intended to illustrate the essential spirit of the technical solutions of the present invention.

[0024] In the following description, for the purpose of illustrating various disclosed embodiments, certain specific details are set forth in order to provide a thorough understanding of the various disclosed embodiments. One skilled in the relevant art will recognize, however, that the embodiments may be practiced without one or more of these specific details. In other instances, well-known devices, structures and techniques associated with this application may not be shown or described in detail to avoid un...

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 embodiment of the invention provides a software test case generation method, electronic equipment and a readable storage medium, and relates to the technical field of software testing. The software test case generation method comprises the following steps: performing security analysis on security-critical software according to a system theoretical process analysis method to obtain an unsafe control behavior and a software security constraint corresponding to the unsafe control behavior, and generating a mutation operator set corresponding to the unsafe control behavior; converting the software security constraint into a software security control model based on a random hybrid automaton, and generating a variant model corresponding to each mutation operator in the mutation operator set by using the software security control model; and generating an original test case corresponding to each variant model based on the variant model corresponding to each mutation operator. According to the method, the STPA method is combined with the random hybrid automaton, so that self-certifiable trusted software suitable for the development process can be constructed in an auxiliary manner.

Description

technical field [0001] The present invention relates to the technical field of software testing, in particular to a method for generating a software test case, an electronic device and a readable storage medium. Background technique [0002] In software-intensive safety-critical systems such as rail transit train operation control systems, aerospace control systems, and nuclear power control systems, how to improve software security and reliability is the key to improving the safety performance of such systems. Traditional safety analysis is carried out by independent third-party safety analysis engineers, while system development is carried out by software development engineers. After the system development is completed, it can only evaluate the safety of the existing design, but cannot guide the design to create early decisions. Change can be costly. This problem prompts the in-depth study of the security-driven design method combining security analysis and formal methods...

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 Applications(China)
IPC IPC(8): G06F11/36
CPCG06F11/3684G06F11/3688
Inventor 张雷徐倩欧冬秀董德存
Owner TONGJI UNIV
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