AUTOMATIC SOFTWARE VERIFICATION SYSTEM

PROBLEM TO BE SOLVED: To provide an automatic software verification system for reducing man-hours required to create a regression test program necessary during development as a whole. SOLUTION: In an automatic software verification method which supports a creation of a regression test method of software created during development of the software for use in products a part of the functions of which is achieved by the software, a state of each function of the products is defined (#100: S102-S112), the defined functions are associated with names of memory data RAMs of a micro processor to control the functions of the products (S108, S110), the associated functions are converted into absolute addresses of memory data and executes regression tests for the products (#150, #200), and the memory data of the absolute addresses indicating test results obtained after the regression tests are inversely converted into the functions (S206). COPYRIGHT: (C)2005,JPO&NCIPI