VERIFICATION SUPPORT DEVICE, VERIFICATION SUPPORT METHOD, VERIFICATION SUPPORT PROGRAM, AND RECORDING MEDIUM

摘要

A verification support device (101) supports logic verifications of design objects that are shown in modified sequence diagrams (301) by modifying sequence diagrams (300) of processes of the design objects indicated in chronological order. A diagram extracting unit (1006) extracts the modified sequence diagrams (301). A modification process detecting unit (1009) detects modification processes (827a, 828a) by comparing the sequence diagrams before modification (300) and the sequence diagrams after modification (301). Based on the modification processes (827a, 828a), an applicability determining unit (1010) determines whether test benches used for regression tests of the design objects of the sequence diagrams before modification can be applied to regression tests of the design objects of the sequence diagrams after modification (301). A test bench output unit (1011) outputs test benches based on determination results of the applicability determining unit (1010).