メディア同期プロトコルの機能試験の一手法

スポンサーリンク

概要

論文の詳細を見る
本稿では, 並行に動作するI/Oオートマトンモデルを用いて音声と動画の同期制御を行なうメディア同期プロトコルを記述し, それに対する機能試験手法を提案する.I/O時間オートマトンの試験において, 与えられた試験系列(入出力動作列)を実行可能とするためには, その系列中のすべての動作の時間制約を満足するようなタイミングで入出力動作を実行する必要がある.しかし, 試験対象となるシステムからの出力タイミングは外部から制御できないので, 試験系列全体を実行可能とするような出力タイミングの時間幅を求める必要がある.本稿では, 線形計画法の手法により複数のI/O時間オートマトンの試験系列をともに実行可能とするような入出力タイミング(出力の場合, その時間幅)を機械的に求める方法を考え, それを利用した機能試験法を提案する.
一般社団法人情報処理学会の論文
2001-09-13

著者

関連論文

もっと見る

スポンサーリンク