Unlock instant, AI-driven research and patent intelligence for your innovation.

Regression testing method and device based on finite-state machine

A finite state machine and regression testing technology, which is applied in software testing/debugging, error detection/correction, instrumentation, etc., can solve the problems that the finite state machine cannot be applied, and the change of the state recognizer is not considered.

Active Publication Date: 2020-07-03
NANJING UNIV
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] The technical problem to be solved by the present invention is to provide a regression test method and device based on a finite state machine. state machine problem

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
  • Regression testing method and device based on finite-state machine
  • Regression testing method and device based on finite-state machine
  • Regression testing method and device based on finite-state machine

Examples

Experimental program
Comparison scheme
Effect test

test Embodiment T

[0117] In this embodiment, test cases can be divided into three categories according to the variation of the model. Reusable Test Case TS R = r⋅Q' U ⋅W' U ⋃ r⋅R' U ⋅W i ' U , from the original test suite, used to test the unchanged part of the model; the supplementary test case TS C = r⋅Q' U ⋅W' D ⋃ r⋅R' U ⋅W i ' D , is also used to test the unchanged part of the model, but it is not included in the original test suite, which can be regarded as the impact of the modified part of the test system on the original part; the newly added test case TS N = r⋅Q' D ⋅W'⋃r⋅R' D ⋅W i ', which is used to test the modified part of the system, and is naturally not included in the original test suite. The "⋅" symbol refers to the splicing of the set, covering each sequence in the state recognizer corresponding to the state that each sequence in the set is spliced. The test cases of these several categories are put together to form a complete new test suite TS' = TS R ⋃ TS C ...

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 the field of system testing, in particular to a regression testing method and device based on a finite-state machine, and the method comprises the following steps: inputting an old model, an original testing suite and a new model of a to-be-tested system, the old model, the new model M'and the testing suite comprising a coverage set and a state recognizer; comparing the old model with the new model, and analyzing the change of the model to obtain a model change result; analyzing the change of the test suite according to the model change result to obtain a test suite change result; according to the change result of the test suite, combining the changed test suite to generate a new test suite; performing regression testing. Changes of the coverage set and the state recognizer in the test suite are considered respectively, so that a new test suite is generated, complete regeneration is avoided, test cases can be selectively executed, test execution expenditure isreduced, and finite-state machine regression test efficiency is greatly improved.

Description

technical field [0001] The invention relates to the field of system testing, in particular to a regression testing method and device based on a finite state machine. Background technique [0002] Software systems need to evolve continuously to meet ever-changing needs. System specifications and implementations are changed to fix bugs, improve functionality, add new functionality, or remove existing functionality. Every time a software system is modified, regression testing is required to ensure that the original, changed and newly added parts have correct behavior. [0003] Model-based testing is an important branch of the test automation method, which is used to model the system specification in a formal expression language, and then automatically generate test cases and their expected output from it, so as to reduce the cost of testing and the risk of errors. Finite state machine (FSM) is one of the important models. FSM-based testing methods have been widely used in se...

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
CPCG06F11/3688G06F11/368G06F11/3684
Inventor 聂长海鲁耀远
Owner NANJING 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