• DocumentCode
    2868769
  • Title

    Applying Test Data Generation Using SMT Solver to COBOL

  • Author

    Sasaki, Yutaka ; Maeda, Yuji ; Kobayashi, Kaoru ; Matsuo, Akihiko

  • fYear
    2012
  • fDate
    27-30 Nov. 2012
  • Firstpage
    82
  • Lastpage
    82
  • Abstract
    Summary form only given. In this study, we propose a novel technique to generate the test data for COBOL programs using an SMT solver. The proposed technique can consider the comparison between a character string and a numerical value. The technique can also consider the significant figures for each variable. With the experiment, we confirmed that our technique can correctly generate test data for COBOL programs of a real enterprise system.
  • Keywords
    COBOL; program testing; COBOL programs; SMT solver; character string; numerical value; real enterprise system; test data generation; Abstracts; Laboratories; Automated Test Data Generation; COBOL; SMT Solver;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Reliability Engineering Workshops (ISSREW), 2012 IEEE 23rd International Symposium on
  • Conference_Location
    Dallas, TX
  • Print_ISBN
    978-1-4673-5048-8
  • Type

    conf

  • DOI
    10.1109/ISSREW.2012.18
  • Filename
    6405422
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2868769