PROGRAM CORRECTION SUPPORT SYSTEM AND PROGRAM CORRECTION SUPPORT METHOD

To generate test cases effective for verification of a patch candidate without generating useless test cases.SOLUTION: A program correction support system supports correction of a program by a computer including an arithmetic unit and a storage unit. The arithmetic unit analyzes a source code to acq...

Full description

Saved in:
Bibliographic Details
Main Authors ITO SHINJI, HATANO YASUO, YASUDA KAZUYA, NAKAMURA TOMOMICHI, AZUMA TAKEHITO, DAI KITSUNAN, HARADA MASAO
Format Patent
LanguageEnglish
Japanese
Published 04.08.2023
Subjects
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online AccessGet full text

Cover

More Information
Summary:To generate test cases effective for verification of a patch candidate without generating useless test cases.SOLUTION: A program correction support system supports correction of a program by a computer including an arithmetic unit and a storage unit. The arithmetic unit analyzes a source code to acquire a condition of an input value of the source code obtained by the analysis and an output and increases test cases on the basis of information at the time of correction, which indicates candidates relating to correction about the condition of the input value and the output, and a test addition reference for increasing test cases where the source code is to be tested by a test code.SELECTED DRAWING: Figure 1 【課題】パッチ候補の検証に効果的なテストケースを、無駄なテストケースを生成することなく生成する。【解決手段】演算部と記憶部とを有したコンピュータにより、プログラムの修正を支援するプログラム修正支援システムであって、演算部は、ソースコードを解析し、当該解析により得られたソースコードの入力値の条件と出力とを取得し、入力値の条件と出力とについての修正に関する候補を示す修正時情報と、テストコードによりソースコードをテストするテストケースを増やすためのテスト追加基準とに基づいて、テストケースを拡充する。【選択図】図１
Bibliography:Application Number: JP20220009741