2024-03-28T22:42:34Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001154282023-11-17T02:17:36Z06504:07936:07943
試験仕様記述へのSDLの適用性についてApplicability of SDL for the Testing Specification Descriptionjpnhttp://id.nii.ac.jp/1001/00115546/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=115428&item_no=1&attribute_id=1&file_no=1三菱電機(株)情報電子研究所三菱電機(株)情報電子研究所三菱電機(株)情報電子研究所三菱電機(株)情報電子研究所佐藤, 文明田中, 功一宗森, 純水野, 忠則通信システムの動作試験では、システムの動作を試験するための試験シナリオ(手順)を内蔵したテスタを作成し、テスタと被試験システムの間での通信が正しく行われていることを確認する。通信システムの試験シナリオには、TTCN(Tree and Tabular Combined Notation)と呼ばれる木構造を持つ表形式で記述する手法がISOで規定されている。しかし、試験システムの自動実装への展開や、試験仕様の自動検証の可能性を考慮すると、形式的仕様記述言語での記述を検討することが重要である。ここでは、試験仕様を記述する上での仕様記述言語SDL(Specification and Description Language)の適用性を検討した。AN00349328全国大会講演論文集第37回ソフトウェア工学8501988-09-122015-01-19