制御ソフトウエア向けテストケース生成方式の提案

摘要

制御システムは，制御装置を中心にセンサ装置と駆動装置を備え，外部環境に対して適切な物理的制御をかけることを目的とする.制御装置の高機能化•付加価値向上のため，制御ソフトウェアの大規模化•複雑化が進んでいる.近年，設計工程で専用記法を用いて制御ロジックを作成し，実装•試験工程で活用するモデルベース開発の取り組みが盛んである.これに対して実開発では，単体•S/W結合試験でのテストケースの作成工数が大きい，システム試験での機能動作の期待値の作成工数が大きいことが問題になっている.本稿では，制御ソフトウエアの開発効率化.高品質化の基盤となる単体•S/W結合試験に取り組み，制御ソフトウエアに必須の状態依存処理を対象に，実装コード中の分岐箇所に到達するための時系列入力のテストケースを自動生成する方式を提案する.%Embedded control software has to fulfill high level requirements for functionality and extensibility, so that it becomes difficult to implement such complex software correctly. It is certainly needed to assure quality of software, moreover needed to improve productivity of software testing and system testing. In this paper, we propose a test case generation method using formal verification technology. This method allows us to achieve enough code coverage in software unit and component testing.