@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00144923,
 author = {小川, 優 and 増田, 智樹 and 平山, 雅之 and 菊地, 奈穂美},
 book = {ソフトウェアエンジニアリングシンポジウム2015論文集},
 month = {Aug},
 note = {本論ではイベントドリブン型組込みシステムのテストを対象とし，仕様から得られる機能情報とともにシステムの状態遷移情報の要素を加味することで，システムがとる状態を意識した機能テストのテスト項目を効率的に設計する方法を提案する．提案手法では，機能仕様書から機能を抜き出す際に機能とシステムの状態遷移情報を合わせて機能とする．この手法では，機能と状態遷移の関係を分かりやすく表現したテストモデルを記述することで．テストしたい機能周りのテスト設計をしやすくすることを狙っている．},
 pages = {214--215},
 publisher = {情報処理学会},
 title = {イベントドリブン型組込みシステムの機能テストの効率化検討},
 volume = {2015},
 year = {2015}
}