SOURCE CODE COMPARISON DEVICE AND SOURCE CODE COMPARISON PROGRAM

• Main Authors: KASHIWAGI, Ryo, HIKAWA, Yuki, NAKAMURA, Katsuhiko, FUJIMOTO, Takanari, FUJII, Natsuko
• Format: Patent
• Language: English; French; Japanese
• Published: 06.07.2017
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; PHYSICS

A detailed analysis unit (130) generates a detailed condition list (196) with respect to pre-change source code (101) and post-change source code, for each combination of a function which is included in the source code and a call condition which is established when the function has been called. The detailed condition list associates an executable statement which is included in the function, a detailed precondition which is established before the executable statement is executed pursuant to the call condition, and a detailed postcondition which is established after the executable statement has been executed pursuant to the call condition. A comparison unit (140) generates a variation list (199) on the basis of a pre-change detailed condition list and a post-change detailed condition list. The variation list includes information which identifies the executable statement in which the detailed pre-change condition and/or the detailed post-change condition differs from the pre-change source code to the post-change source code. La présente invention concerne une unité d'analyse détaillée (130) qui génère une liste de conditions détaillées (196) par rapport à un code source avant changement (101) et à un code source après changement, pour chaque combinaison d'une fonction qui est incluse dans le code source, et une condition d'appel qui est établie lorsque la fonction a été appelée. La liste de conditions détaillées associe une instruction exécutable qui est incluse dans la fonction, une précondition détaillée qui est établie avant que l'instruction exécutable ne soit exécutée conformément à la condition d'appel, et une postcondition détaillée qui est établie après que l'instruction exécutable a été exécutée conformément à la condition d'appel. Une unité de comparaison (140) génère une liste de variations (199) sur la base d'une liste de conditions détaillées avant changement et d'une liste de conditions détaillées après changement. La liste de variations comprend des informations qui identifient l'instruction exécutable dans laquelle la condition détaillée avant changement et/ou la condition détaillée après changement diffèrent entre le code source avant changement et le code source après changement. 詳細解析部（１３０）は、変更前のソースコード（１０１）と変更後のソースコードとに対して、ソースコードに含まれる関数と関数が呼び出されたときに成り立つ呼出条件との組毎に、詳細条件リスト（１９６）を生成する。詳細条件リストは、関数に含まれる実行文と、呼出条件の下で実行文が実行される前に成り立つ詳細事前条件と、呼出条件の下で実行文が実行された後に成り立つ詳細事後条件と、を互いに対応付ける。比較部（１４０）は、変更前の詳細条件リストと変更後の詳細条件リストとに基づいて、変動リスト（１９９）を生成する。変動リストは、変更前のソースコードと変更後のソースコードとの間で詳細事前条件と詳細事後条件との少なくともいずれかが異なる実行文を特定する情報を含む。