Software test case automatic generating method
A software testing and automatic generation technology, applied in software testing/debugging, program control devices, etc., can solve the problem that the model structure information has not established specific rules and standards, cannot comprehensively reflect the software quality, and the content has not been reflected in the test case set in time. And other issues
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
test Embodiment 1
[0191] (1) The present invention proposes a strict formal method to automatically generate test cases. The Petri net used is a fully formalized language, using a graphical language with formal semantics. Compared with other non-formal and semi-formal methods, the consistency of the test cases generated is better, and it is more complete and systematic than the existing technology. A method for generating and managing software test cases.
[0192] (2) The present invention adopts a componentized method to build a model, so as to facilitate the collection of model structure information and the analysis of the model. At the same time, the method of node merging and detail masking is proposed to reduce the scale of the system.
[0193] (3) The present invention applies Petri net theory to model analysis and verification. Petri net theory has a complete analysis theory, such as deadlock, liveness, boundedness, accessibility, etc. Through the analysis of these model properties, pr...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com