Supercharge Your Innovation With Domain-Expert AI Agents!

A system test case generation method based on step-by-step solution of component contracts

A technology of system testing and components, applied in software testing/debugging, error detection/correction, instruments, etc., can solve problems such as difficulty in solving contract predicate logic formulas, and achieve the effect of improving generation efficiency and reducing difficulty

Active Publication Date: 2022-04-22
NANHUA UNIV
View PDF7 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Although the "AND" operation is performed on the preconditions, postconditions and internal variable value constraints of each state, that is, the path condition (Path Condition, referred to as PC) expression is updated, but in essence it is still to solve each path The set of contracts still fails to solve the problem of difficult solution of contract predicate logic formula

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
  • A system test case generation method based on step-by-step solution of component contracts
  • A system test case generation method based on step-by-step solution of component contracts

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0030] The present invention will be further described in detail below in conjunction with the accompanying drawings and specific embodiments.

[0031] The invention discloses a system test case generation method based on step-by-step solution of component contracts, which includes the following steps:

[0032] Step 1: Obtain component contracts by analyzing system specifications and combining contractual design theory;

[0033] The system is composed of multiple components. Components are some reusable software units. They usually have good encapsulation and can be called across platforms. Components implement data transfer through component interfaces. Each component has multiple interfaces. The interface of the component is used to pass the data flow between the component itself and the component. Component contracts restrict whether data streams can be passed. If the data flow satisfies the conditions that can be passed, it can be transmitted between components through ...

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 system test case generation method based on step-by-step solution of component contracts, comprising the following steps: Step 1: Obtain the component contract of the system; Step 2: Obtain the dependency relationship of each component of the system; generate according to the component dependency relationship Component dependency graph; Step 3: Obtain the solution sequence of each component contract of the system according to the component dependency graph; Step 4: According to the solution sequence of each component contract of the system, use the step-by-step solution method to solve each component contract of the system in turn to obtain the system test case. The invention can efficiently generate test case sets.

Description

technical field [0001] The invention relates to the field of computer software, in particular to a method for generating system test cases based on step-by-step solution of component contracts. Background technique [0002] Components are some reusable software units, which usually have good encapsulation, realize their functions through input and output interfaces, and can be called across platforms. In recent years, with the increase of reuse granularity, component-based software development methods are widely used in various fields. The digital instrumentation and control system (DCS) of nuclear power plants is usually developed on the high security application development environment (SCADE) platform. The platform adopts the form of component development, and the software system (hereinafter referred to as the system) is obtained by integrating the developed components with certain functions. Before integration, these components have been tested and developed on a spec...

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/36
CPCG06F11/3684
Inventor 刘杰曹源阳小华余童兰毛宇闫仕宇李萌
Owner NANHUA UNIV
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

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

© 2025 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com