モデル検査に基づくネットワーク機器製品の性能検証手法

摘要

組込みソフトウェアにおいては，厳しいリソース制約下で応答時間などの性能要件を満たすことが要求される。しかし，従来の実機を用いたテストは不具合発覚時の手戻りが大きいという問題があった。本稿では，上流工程で性能検証を可能とするために，モデル検査によって性能を検証する手法を提案する。また，提案手法をネットワーク機器製品のプロトコル制御機能の設計に適用した結果について述べる。