2026-05-13T07:30:22Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00219030 2025-01-19T14:56:59Z 1164:1384:10896:10984

仕様書⇔テストケース双方向自動生成による仕様書の再利用支援 Support for reuse of specifications through specification ⇔ test case bidirectional automatic generation 若松, 大雅 久代, 紀之 システム仕様書には，一般的に漏れや誤りといった不具合が含まれる．テスト設計時には，仕様書各文を精読しテストケースを抽出する必要があるため，これら不具合がテスト設計時に発見されることも多い．一方，後工程で発見された不具合は，元仕様書に反映されないことが多く，仕様書再利用時の大きな課題となっている．また，現状の多くの仕様が表計算ソフト等を用いたアプリケーション依存の形式で管理されており，再利用時の検索・バージョン管理が困難であるといった課題もあった．本研究では上記課題の解決のため，自然言語・表・UML 図から構成される仕様書をマークアップ言語により記述すると共に，これらを形式記述に自動変換し，形式変換した仕様書を論理的に充足するテストケースを自動生成するツールを開発した．更に，形式記述の修正を，マークアップ言語で記述した仕様書に自動反映させるツールを開発した．これらのツールの実現により，仕様書作成と同時にテストケースを通じて仕様書記述の妥当性を確認することが可能となる．また，仕様書全体の高品質化とその維持を担保すると共に，検索性・管理性の向上により，仕様書の再利用性を向上することを試行した． 情報処理学会 2022-07-21 jpn technical report https://ipsj.ixsq.nii.ac.jp/records/219030 2188-8825 AN10112981 研究報告ソフトウェア工学（SE） 2022-SE-211 4 1 8 https://ipsj.ixsq.nii.ac.jp/record/219030/files/IPSJ-SE22211004.pdf application/pdf 1.5 MB 2024-07-21