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

摘要

ソフトウェア開発において，要求定義の工程で欠陥を発見することは非常に重要である.要求定義において様々な手法があるが，その中でもュースケース記述は，ューザーとシステムとのやりとりや状況などを具体的に記述することで要求の把握に用いられる.1つのシステムにおいてュースケースは，外界に対するサービスのタイプに応じてそれぞれ作成されるので，複数のユースケースが作成される.しかし，ユースケース中の系列記述はそのユースケースの単位で書かれることが多く，他のュースケースとのサービスレベルの競合までは必ずしも考慮されていない.そのため，複数のユースケース記述に基づいて仕様定義をする際には，ユースケース間のサービス競合を考慮しながら競合のない1っの仕様へと洗練する必要がある.そこで，本稿では複数のユースケース記述からモデル検査技術を使ってサービス競合を発見する手法を提案する.%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.