Eureka AIR delivers breakthrough ideas for toughest innovation challenges, trusted by R&D personnel around the world.

A Software Testing Method Oriented to Software Upgrade

A software testing method and software upgrading technology, applied in software testing/debugging, program loading/starting, program control devices, etc., can solve problems such as missing, and achieve the effect of verifying correctness

Active Publication Date: 2017-07-28
PEKING UNIV
View PDF1 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Although the existing research can effectively make up for the shortcomings of traditional testing methods, it lacks a practical method for constructing metamorphic relations, and so far there is no method that can automatically construct metamorphic relations

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 Software Testing Method Oriented to Software Upgrade
  • A Software Testing Method Oriented to Software Upgrade
  • A Software Testing Method Oriented to Software Upgrade

Examples

Experimental program
Comparison scheme
Effect test

specific Embodiment approach

[0045] a) For the program code of the existing software version (the program that realizes the specific function calculation function), the tester uses the automatic construction technology of the metamorphosis relationship of the present invention to construct the metamorphosis relationship of each program.

[0046] b) During the software upgrade process, for the modified program, testers generate n random numbers within a certain range (such as -5~5) as test cases.

[0047] c) Substitute each test case and its corresponding output in the modified program into the transformation relation constructed by the program before modification, and check whether the transformation relation is established. If the modified program does not conform to the metamorphic relationship constructed before, it means that there is an error in the software upgrade process.

[0048] Among them, the detailed process of constructing the metamorphic relationship is as follows:

[0049] The invention u...

Embodiment

[0082] Assume that a developer a wants to modify and upgrade a program that realizes the sin function in a mathematical function library.

[0083] Before the upgrade, the tester b uses the present invention to construct the metamorphic relationship of the original version of the program. The main metamorphic relations detected are as follows:

[0084]

[0085] After the developer upgrades the program that implements the sin function, in order to check the correctness of the upgraded program, the tester needs to check whether the upgraded program satisfies each transformation relationship in the above table. For example, for the metamorphic relationship sin(x)-sin(x-2π)=0, testers need to generate 100 random numbers between -5 and 5 as test cases, and bring these 100 test cases into the metamorphic relation sin( x)-sin(x-2π)=0 to check whether the equality is still valid, if a certain test case makes the equality not valid, it means that the test case has not passed the tes...

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 software testing method facing to software upgrading. The method is automatically constructed on the basis of the metamorphic relation of equation description. Before software upgrading, a tester can construct the metamorphic relation of each procedure at the aim of a conventional software; the procedure refers to a procedure code for achieving a special function calculating function; after software upgrading, at the aim of a modified procedure, the tester can produce n random numbers as use cases for testing within a certain range, then substituting each case for testing and corresponding output of the case in the modified procedure into a metamorphic relation expression of the procedure before modification, and checking whether the metamorphic relation expression is tenable or not, and if the modified procedure is not conform to the metamorphic relation constructed before, errors on the software exist during the updating process. Through the method provided by the invention, the tester can apply the metamorphic relation constructed into a metamorphosis process, therefore, the correctness of the software during the version upgrading process can be verified.

Description

technical field [0001] The invention provides an upgrade-oriented software testing method based on the automatic construction of metamorphosis relations described by equations. The method can assist the metamorphosis test and belongs to the field of software testing. Background technique [0002] In the field of software testing, testers usually rely on a test oracle to determine whether the program under test passes. However, for many programs (such as scientific computing programs), it is extremely difficult to obtain test predictions, and testers are often unable to judge the correctness of the output results under specific inputs. Metamorphic testing technology is a new type of software testing technology. This method tests the program by detecting the metamorphic relationship between the multiple output results of the program, and does not need to construct the expected output of a single execution of the program. [0003] Metamorphic relationships are at the heart of ...

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/36G06F9/445
Inventor 张洁陈俊洁郝丹熊英飞谢冰梅宏
Owner PEKING 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
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