網羅基準に基づくシーケンス制御プログラムの効率的なテスト技術

摘要

近年，われわれは様々な社会インフラシステムに支えられ，日々の生活を過ごしている。安全で安心な生活を送るには，これらのシステムが正しく動作することが不可欠であり，高い信頼性が求められる。社会インフラシステムの自動制御には，あらかじめ定められた順序に従って制御の各段階を逐次進めていく，シーケンス制御プログラムがよく使われる。システムの信頼性を高めるには，これらのプログラムに対し十分なテストを行うことが重要となる。そこで東芝は，発電プラントの制御に使われるプログラミング言語向けに，テストを網羅的に実施するための基準と，この基準を満たすテストを自動生成する技術を開発した。発電プラントで使われているプログラムを用いた評価実験により，この基準を満たしたテストがプログラムの信頼性を高めることを確認した。