紀要論文

形式仕様に基づくテストケースの自動生成と形式仕様に基づくテストケースの自動生成とテスト結果の自動評価テスト結果の自動評価

jpn

24321192

https://doi.org/10.15002/00014401

法政大学大学院情報科学研究科

法政大学大学院紀要. 情報科学研究科編

12

1

6

2017-03-31

Version of Record

Software testing is a time-consuming activity and automatic testing is a desirable solution to this problem. In this paper, we describe a software supporting tool for automatic test case generation and automatic test result evaluation based on formal specifications written in the Structured Object-oriented Formal Language (SOFL). We discuss the algorithms for generating test cases from atomic predicates and their conjunctions that may involve various operations on data items of various data types such as set, sequence, and composite types. We describe the details of the software tool by presenting the four major functions Implemented: (1) editing a SOFL specification, (2) generating test cases from the specification, (3) managing test cases in files, and (4) evaluating test results. We also present an experiment to show that our tool can significantly save time in test case generation.

Article

AA12746425