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
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
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...
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