Verification support device, verification support method, and computer product

Abstract

A verification support device supports logic verification of a design object corresponding to modified sequence diagrams obtained by modifying sequence diagrams expressing processes of a design object in a chronological order. A diagram extracting unit extracts the modified sequence diagrams. A modified process detecting unit detects modified processes by comparing the sequence diagrams before modification and the sequence diagrams after modification. Based on the modified processes, an applicability determining unit determines whether test benches used for a regression test of the design object of the sequence diagrams before modification is applicable to a regression test of the design object of the sequence diagrams after modification. A test bench output unit outputs test benches based on a result of determination by the applicability determining unit.

What is claimed is: 
     
       1. A verification support device that supports logic verification of a design object to which modification has been made, wherein processes of a first design object, processes of the design object before the modification, and processes of a second design object, processes of the design object after the modification, are expressed in a chronological order in a first diagram and a modified first diagram (“second diagram”), respectively, the verification support device comprising:
 a receiving unit configured to receive the second diagram; 
 a detecting unit configured to detect, from among the processes, a modified process being a process corresponding to the modification to the design object, based on the first diagram and the second diagram; 
 an applicability determining unit configured to determine whether test benches used for logic verification of the first design object are applicable to the logic verification of the second design object, based on the modified process; 
 an output unit configured to output the test benches based on a result of determination by the applicability determining unit; 
 a generating unit configured to generate information on the logic verification conducted on the second design object; and 
 a result determining unit configured to determine whether the second design object has passed or failed the logic verification, base on the information, wherein 
 when the result determining unit determines that the second design object has failed the logic verification, the detecting unit is configured to detect the modified process by comparing the second diagram and the first diagram; 
 the applicability determining unit includes:
 an extracting unit configured to extract, when the result determining unit determines that the second design object has passed the logic verification, a source code used for the logic verification conducted on the second design object and a modified source code obtained by modifying the source code, from a group of source codes expressing a design of the second design object; 
 a modification description detecting unit configured to detect a modified description to which modification is made in the modified source code modified by comparing the source code and the modified source code; 
 a process searching unit configured to search for a process expressed by the modified description from diagrams other than the diagrams of the second design object; and 
 a process determining unit configured to determine whether the diagrams of the second design object include the searched process; and 
 the output unit is configured to output test benches used for logic verification of the searched process, based on a result of determination by the process determining unit. 
 
 
     
     
       2. The verification support device according to  claim 1 , wherein the applicability determining unit includes
 an external entity detecting unit configured to detect an external entity that executes the modified process by inputting data, from a group of external entities in the second diagram, the external entities externally inputting data; and 
 an external entity determining unit configured to determine whether the first diagram includes the detected external entity, wherein 
 the applicability determining unit is configured to determine whether the test benches used for the logic verification of the first design object are applicable to the logic verification of the second design object, based on a result of determination by the external entity determining unit. 
 
     
     
       3. A verification support method of supporting logic verification of a design object to which modification has been made, wherein processes of a first design object, processes of the design object before the modification, and processes of a second design object, processes of the design object after the modification, are expressed in a chronological order in a first diagram and a modified first diagram (“second diagram”), respectively, the verification support method comprising:
 inputting the second diagram; 
 detecting, from among the processes, a modified process being a process corresponding to the modification to the design object, based on the first diagram and the second diagram; 
 determining whether test benches used for logic verification of the first design object are applicable to the logic verification of the second design object, based on the modified process; 
 outputting the test benches based on a result of determination at the determining; 
 generating information on the logic verification conducted on the second design object; 
 determining whether the second design object has passed or failed the logic verification, base on the information, and, when it is determined that the second design object has failed the logic verification, detecting the modified process by comparing the second diagram and the first diagram; 
 extracting when it is determined that the second design object has passed the logic verification, a source code used for the logic verification conducted on the second design object and a modified source code obtained by modifying the source code, from a group of source codes expressing a design of the second design object;
 detecting a modified description to which modification is made in the modified source code modified by comparing the source code and the modified source code; 
 searching for a process expressed by the modified description from diagrams other than the diagrams of the second design object that has passed the logic verification; and 
 determining whether the diagrams of the second design object include the searched process, wherein 
 the outputting includes outputting test benches used for logic verification of the searched process, based on a result of determination at the determining whether the diagrams of the second design object include the searched process. 
 
 
     
     
       4. The verification support method according to  claim 3 , wherein the determining includes
 detecting an external entity that executes the modified process by inputting data, from a group of external entities in the second diagram, the external entities externally inputting data; 
 determining whether the first diagram includes the detected external entity; and 
 determining whether the test benches used for the logic verification of the first design object are applicable to the logic verification of the second design object, based on a result of determination at the determining whether the diagrams before the modification include the detected external entity. 
 
     
     
       5. A computer-readable recording medium that stores therein a computer program for supporting logic verification of a design object to which modification has been made, wherein processes of a first design object, processes of the design object before the modification, and processes of a second design object, processes of the design object after the modification, are expressed in a chronological order in a first diagram and a modified first diagram (“second diagram”), respectively, the computer program making a computer execute:
 inputting the second diagram; 
 detecting, from among the processes, a modified process being a process corresponding to the modification to the design object, based on the first diagram and the second diagram; 
 determining whether test benches used for logic verification of the first design object are applicable to the logic verification of the second design object, based on the modified process; 
 outputting the test benches based on a result of determination at the determining; 
 generating information on the logic verification conducted on the second design object; 
 determining whether the second design object has passed or failed the logic verification, base on the information, and, when it is determined that the second design object has failed the logic verification, detecting the modified process by comparing the second diagram and the first diagram; 
 extracting when it is determined that the second design object has passed the logic verification, a source code used for the logic verification conducted on the second design object and a modified source code obtained by modifying the source code, from a group of source codes expressing a design of the second design object;
 detecting a modified description to which modification is made in the modified source code modified by comparing the source code and the modified source code; 
 searching for a process expressed by the modified description from diagrams other than the diagrams of the second design object; and 
 determining whether the diagrams of the second design object include the searched process, wherein 
 the outputting includes outputting test benches used for logic verification of the searched process, based on a result of determination at the determining whether the diagrams of the second design object include the searched process. 
 
 
     
     
       6. The computer-readable recording medium according to  claim 5 , wherein the determining includes
 detecting an external entity that executes the modified process by inputting data, from a group of external entities in the second diagram, the external entities externally inputting data; 
 determining whether the first diagram includes the detected external entity; and 
 determining whether the test benches used for the logic verification of the first design object are applicable to the logic verification of the second design object, based on a result of determination at the determining whether the diagrams before the modification include the detected external entity.