モデル検査技術を用いたユースケース記述分析手法の提案

• Item type: SIG Technical Reports(1)
• 公開日: 2012-10-25
• タイトル: モデル検査技術を用いたユースケース記述分析手法の提案
• タイトル / 言語: en
• タイトル: Analysis Method of Use Case Descriptions using Model Checking Techniques
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 検証
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 早稲田大学
• 著者所属: 早稲田大学
• 著者所属(英): en
• 著者所属(英): Waseda University
• 著者所属(英): en
• 著者所属(英): Waseda University
• 著者名: 川井, 彬央; 岸, 知二
• 著者名(英): Akihisa, Kawai; Tomoji, Kishi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ソフトウェア開発において，要求定義の工程で欠陥を発見することは非常に重要である．要求定義において様々な手法があるが，その中でもユースケース記述は，ユーザーとシステムとのやりとりや状況などを具体的に記述することで要求の把握に用いられる． 1 つのシステムにおいてユースケースは，外界に対するサービスのタイプに応じてそれぞれ作成されるので，複数のユースケースが作成される．しかし，ユースケース中の系列記述はそのユースケースの単位で書かれることが多く，他のユースケースとのサービスレベルの競合までは必ずしも考慮されていない．そのため，複数のユースケース記述に基づいて仕様定義をする際には，ユースケース間のサービス競合を考慮しながら競合のない 1 つの仕様へと洗練する必要がある．そこで，本稿では複数のユースケース記述からモデル検査技術を使ってサービス競合を発見する手法を提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In software development, it is very important to find a defect with the request process. There are various methods in the request process, use case descriptions are used to understand the request by describing specifically the interaction or status with the user and the system. Because use cases are created, depending on the type of service for each of the outside world in the system, multiple use case descriptions are created. However, the sequence descriptions of use case are often written in units of the use case, the level of service to compete with other use cases are not necessarily taken into account. Consequently, must be refined and gradually to the specification in consideration of services conflicts between use cases when the specification of one together multiple use cases. In this paper, we propose a method to detect the service conflicts multiple use case descriptions using model checking techniques.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2012-SE-178, 号 4, p. 1-7, 発行日 2012-10-25
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会