Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Z-specification-based test case generating method

A test case generation and test case technology, which is applied in the field of testing and data processing, can solve the problems of unseen test case generation method reports, etc., and achieve the effect of improving efficiency and safety factor, and describing accurately

Inactive Publication Date: 2011-06-22
TIANJIN UNIV
View PDF2 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] At present, there is no report on the test case generation method based on the Z specification

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
  • Z-specification-based test case generating method
  • Z-specification-based test case generating method
  • Z-specification-based test case generating method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0033] The purpose of the present invention is to describe the performance of the target software based on the Z specification, using its advantages of accurate description and no ambiguity, and analyze the data types appearing in it by studying the Z specification, and use the The test case is generated as a result, and finally verified by the code verification platform and a test report is given. Thereby improving the efficiency, accuracy and security of software testing. Specifically, it includes the following aspects:

[0034] 1. Use Z language to describe the specification of a software system while ensuring its correctness. Make the description of the formal method accurate and the advantage of no ambiguity be fully utilized;

[0035] 2. Generate the preconditions from the predicate part of the basic module pattern of the Z language, while ensuring the integrity of the module and the non-redundancy of the preconditions.

[0036] 3. According to the obtained preconditi...

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 relates to data processing and testing. In order to test a measuring object efficiently and accurately, the technical scheme used by the invention is a Z-specification-based test method which comprises the following steps of: 1, describing the specification of a software system by using a Z language to make the description of a formalization method accurate and sufficiently exert an advantage without ambiguity; 2, generating a precondition in a predicate part of a basic module mode of the Z language and ensuring the integrity of a module and the non-verbosity of the precondition simultaneously; 3, generating a usable test case with high coverage ratio by a proper algorithm according to the acquired precondition; and 4, verifying whether the code of a user accords with the predicted code of a program or not by detecting the code, and providing a corresponding test report by comparing the output of a target code with the output of the acquired test case. The method is mainly applied to data processing and testing.

Description

technical field [0001] The invention relates to data processing and testing, in particular to a method for generating test cases based on Z specification. Background technique [0002] With the popularity of computers and the Internet, software has become an important carrier for resource acquisition and utilization in the information age. In this situation, software security has become an important guarantee for the normal and efficient operation of various tasks. However, software is not inherently secure, and the fundamental way to solve software security problems is to improve the way we build software, that is, to consider security as an important factor in the process of building software, making it a key factor in all stages of software development. an important point. Software testing is an important stage of software development. The test case, that is, the generation of test data is an important content in software testing, and the quality of the test case is di...

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
IPC IPC(8): G06F11/36
Inventor 李晓红杜志杰李衍法冯志勇陈世展于永新
Owner TIANJIN UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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