仕様書におけるパラグラフ内構成文の論理構造の可視化

• Item type: SIG Technical Reports(1)
• 公開日: 2021-02-22
• タイトル: 仕様書におけるパラグラフ内構成文の論理構造の可視化
• タイトル / 言語: en
• タイトル: Visualization of the logical structure of a composition in a paragraph in a specification document
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 要求と仕様
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 九州工業大学
• 著者所属: 九州工業大学
• 著者所属: 九州工業大学
• 著者所属(英): en
• 著者所属(英): Kyushu Institute of Technology
• 著者所属(英): en
• 著者所属(英): Kyushu Institute of Technology
• 著者所属(英): en
• 著者所属(英): Kyushu Institute of Technology
• 著者名: 緒方, 佑亮; 青山, 裕介; 久代, 紀之
• 著者名(英): Yusuke, Ogata; Yusuke, Aoyama; Noriyuki, Kushiro
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: システム開発の最終工程では品質を担保するためにシステム試験が実施される．システム試験には，テスト仕様書が必要であるが，テスト仕様書は，テスト設計者が自然言語で記述された仕様書を熟読し，記載された各文から，“テスト条件（パラメータを含む）⇒ 期待値” のタプルを抽出することで生成される．上記の抽出作業は人手で行われ，かつ，自然言語で記述された仕様書には，誤りや曖昧さが含まれるため，その修正・確認のため膨大な工数を必要とし，筆者らの調査によれば，600 ページの仕様書で約 700 時間が必要となっていた．上記課題を解決するために，本研究では仕様書記載の各文を形式的な記述へ変換することで，自然言語で記述された仕様書内に発生する誤りや曖昧さの補完を促したのちに，各文の構造を視覚的に表現するために “条件 ⇒ 期待値” の論理包含関係を基準としてパラグラフ内構成文の論理構造の可視化ツールの開発を行った．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In the final process of system development, system tests are conducted to ensure quality. Test specifications are generated by test designers who read carefully the specifications written in natural language and extract tuples of "test conditions (including parameters) ⇒ expected values" from each sentence in the specifications. The above extraction process is done manually, and since specifications written in natural language contain errors and ambiguities, it requires a huge number of man-hours to correct and check them. According to the author's research, a 600-page specification requires about 700 hours. In order to solve the above problem, this research promotes the completion of errors and ambiguities that occur in specifications written in natural language by converting each sentence in the specification into a formal description. In order to visually express the structure of each sentence, we developed a tool to visualize the logical structure of the composition of sentences in a paragraph based on the logical inclusion relation of "condition ⇒ expected value.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2021-SE-207, 号 17, p. 1-7, 発行日 2021-02-22
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8825
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会