JP4630640B2 - Design information verification apparatus and design information verification method - Google Patents

Design information verification apparatus and design information verification method Download PDF

Info

Publication number
JP4630640B2
JP4630640B2 JP2004329647A JP2004329647A JP4630640B2 JP 4630640 B2 JP4630640 B2 JP 4630640B2 JP 2004329647 A JP2004329647 A JP 2004329647A JP 2004329647 A JP2004329647 A JP 2004329647A JP 4630640 B2 JP4630640 B2 JP 4630640B2
Authority
JP
Japan
Prior art keywords
design information
verification
information
design
schema
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
JP2004329647A
Other languages
Japanese (ja)
Other versions
JP2006139616A (en
Inventor
広佳 山田
万里 位野木
大輔 今村
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Toshiba Corp
Toshiba Digital Solutions Corp
Original Assignee
Toshiba Corp
Toshiba Solutions Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Toshiba Corp, Toshiba Solutions Corp filed Critical Toshiba Corp
Priority to JP2004329647A priority Critical patent/JP4630640B2/en
Publication of JP2006139616A publication Critical patent/JP2006139616A/en
Application granted granted Critical
Publication of JP4630640B2 publication Critical patent/JP4630640B2/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Landscapes

  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)

Description

本発明は、開発すべきソフトウェアの設計情報の品質を確保するために、その設計情報の検証を行う設計情報検証装置および設計情報検証方法に関する。   The present invention relates to a design information verification apparatus and a design information verification method for verifying design information of software to be developed in order to ensure the quality of the design information.

一般に、ソフトウェアの設計ツールには設計情報の検証機能が組み込まれている。このような設計ツールに組み込まれた検証機能は、ダイアグラム間の整合性といったような大きな枠組みでの検証を行うことに止まるものであり、たとえば、一つの画面遷移に関係するクラスの関係といったような、詳細な設計内容にまで踏み込んだ検証を行うものではない。   Generally, a software design tool incorporates a design information verification function. The verification function built into such a design tool is limited to verification in a large framework such as consistency between diagrams. For example, the relationship of classes related to one screen transition However, it does not perform verification that goes into the details of the design.

詳細な設計内容にまで踏み込んだ検証を行う方法として、クラス間の相互作用情報を設計者に掲示するなどして、モデルに分類されたクラス間の関連付けの検証作業を支援するシステムなどが挙げられる(例えば特許文献1を参照)。
特開2004−110415号公報
A system that supports verification of association between classes classified into models by posting interaction information between classes to the designer as a method for verification that goes into detailed design details. (For example, refer to Patent Document 1).
JP 2004-110415 A

しかしながら、特許文献1の技術は、設計情報の検証を自動的に行うというものではない。そこで、設計情報の検証ルールをあらかじめ定義しておき、この検証ルールに則って設計情報の検証を自動的に行う方法が考えられるが、この場合、そのルールの表現と設計情報の表現との間に整合性が確保されていることが必要となる。しかし、設計情報を管理するためのスキーマの定義は部署やプロジェクトごとに異なることが普通であるため、検証ルールを用いて設計情報の検証を行う汎用的な検証装置の実現は困難であった。   However, the technique of Patent Document 1 does not automatically verify design information. Therefore, a method of defining design information verification rules in advance and automatically verifying design information in accordance with the verification rules can be considered. In this case, between the expression of the rule and the design information It is necessary to ensure consistency. However, since the definition of the schema for managing the design information is usually different for each department or project, it is difficult to realize a general-purpose verification apparatus that verifies design information using verification rules.

本発明は、このような点に鑑みてなされたものであり、設計情報の検証を、自動的に、かつ設計情報のスキーマの定義に依存することなく行うことのできる設計情報検証装置および設計情報検証方法を提供することを目的としている。   The present invention has been made in view of the above points, and a design information verification apparatus and design information that can perform design information verification automatically and without depending on the definition of the schema of the design information. The purpose is to provide a verification method.

上記の課題を解決するために、この発明の設計情報検証装置は、第1のスキーマの情報が割り当てられた複数の項目に、一つの画面遷移に関係する設計情報をそれぞれ記述して、第1のスキーマの情報と設計情報の第2のスキーマの情報とのマッピングを定義した表形式の設計仕様を含む設計情報を格納する設計情報格納手段と、第1のスキーマの情報を用いて作成された、設計情報を検証するための検証ルールが格納された検証ルール格納手段と、設計情報格納手段に格納された設計情報に対する検証の指示が発生したとき、検証ルール格納手段に格納された検証ルールを、設計仕様にて定義されたマッピングに基づいて第2のスキーマの情報を用いた検証ルールに変更し、この変更された検証ルールにより設計情報の検証を行う検証手段とを具備するものである。   In order to solve the above problems, the design information verification apparatus of the present invention describes design information related to one screen transition in each of a plurality of items to which information of the first schema is assigned. Design information storage means for storing design information including a design specification in a tabular format that defines mapping between the schema information of the first schema and the second schema information of the design information, and the first schema information The verification rule storage means storing the verification rule for verifying the design information, and when the verification instruction for the design information stored in the design information storage means occurs, the verification rule stored in the verification rule storage means The verification means for changing to the verification rule using the information of the second schema based on the mapping defined in the design specification, and verifying the design information by the changed verification rule It is intended to include a.

本発明の設計情報検証装置および設計情報検証方法によれば、設計情報の検証を、自動的に、かつ設計情報のスキーマの定義に依存することなく行うことができる。   According to the design information verification apparatus and the design information verification method of the present invention, design information can be verified automatically and without depending on the definition of the schema of the design information.

以下、図面を参照して本発明の実施の形態を説明する。   Embodiments of the present invention will be described below with reference to the drawings.

図1は、本発明の一実施形態に係る設計情報検証装置の全体の構成を示すブロック図である。   FIG. 1 is a block diagram showing the overall configuration of a design information verification apparatus according to an embodiment of the present invention.

同図に示すように、この設計情報検証装置100は、全体制御部1、入力制御部2、出力制御部3、設計情報の選択・入力部4、設計情報検証部5、設計情報データベース(以下、設計情報DBと記述)6、設計情報検証ルールデータベース(以下、設計情報検証ルールDBと記述)7、設計情報メタデータデータベース(以下、設計情報メタデータDBと記述)8などを備えている。この設計情報検証装置100は、具体的には、CPU(Central Processing Unit)、メモリ、HDD(Hard Disk Drive)、入力装置、出力装置などのコンピュータのハードウェア要素と、OS(Operating System)、その上で動作するアプリケーションプログラムなどのソフトウェア要素とで構成される。設計情報DB6、設計情報検証ルールDB7、設計情報メタデータDB8は、コンピュータシステムのメモリやHDDなどのハードウェアである記憶部に構築される。   As shown in the figure, the design information verification apparatus 100 includes an overall control unit 1, an input control unit 2, an output control unit 3, a design information selection / input unit 4, a design information verification unit 5, a design information database (hereinafter referred to as a design information database). , Design information DB and description) 6, design information verification rule database (hereinafter referred to as design information verification rule DB) 7, design information metadata database (hereinafter referred to as design information metadata DB) 8 and the like. Specifically, the design information verification apparatus 100 includes computer hardware elements such as a CPU (Central Processing Unit), a memory, an HDD (Hard Disk Drive), an input device, an output device, an OS (Operating System), and the like. It consists of software elements such as application programs that run on the above. The design information DB 6, the design information verification rule DB 7, and the design information metadata DB 8 are constructed in a storage unit that is hardware such as a computer system memory or HDD.

全体制御部1は入力制御部2、出力制御部3、設計情報の選択・入力部4および設計情報検証部5の間でデータや命令などの受け渡しを制御する。入力制御部2は図示せぬキーボードやマウスなどの入力装置からの入力を制御する。出力制御部3は設計情報、設計情報検証ルール、検証結果などを図示せぬ表示装置に表示する制御を行う。設計情報の選択・入力部4は設計情報DB6への設計情報の格納や設計情報DB6に格納されている設計情報の選択や更新などの命令を実行する手段である。設計情報検証部5は設計情報検証ルールDB7に格納された設計情報検証ルールに従って設計情報を検証する手段である。設計情報DB6は設計情報が格納されるデータベースである。設計情報検証ルールDB7はその設計情報を検証するためのルールが格納されるデータベースである。設計情報メタデータDB8は設計情報検証ルールの表現に用いられている標準スキーマ(第1のスキーマの情報)と、設計情報の表現に用いられているスキーマ(第2のスキーマの情報)とのマッピングを定義するための情報(設計情報メタデータ)が格納されるデータベースである。   The overall control unit 1 controls the exchange of data and commands among the input control unit 2, the output control unit 3, the design information selection / input unit 4, and the design information verification unit 5. The input control unit 2 controls input from an input device such as a keyboard and a mouse (not shown). The output control unit 3 performs control to display design information, design information verification rules, verification results, and the like on a display device (not shown). The design information selection / input unit 4 is a means for executing commands such as storing design information in the design information DB 6 and selecting or updating design information stored in the design information DB 6. The design information verification unit 5 is means for verifying design information in accordance with the design information verification rules stored in the design information verification rule DB 7. The design information DB 6 is a database that stores design information. The design information verification rule DB 7 is a database in which rules for verifying the design information are stored. The design information metadata DB 8 is a mapping between a standard schema (first schema information) used for design information verification rule expression and a schema (second schema information) used for design information expression. This is a database in which information (design information metadata) for defining a file is stored.

図2は設計情報検証部5の構成を示すブロック図である。   FIG. 2 is a block diagram showing a configuration of the design information verification unit 5.

同図に示すように、設計情報検証部5は、検証エンジン11、設計情報展開部12、検証ルール展開部13および設計検証実行部14を備えている。   As shown in the figure, the design information verification unit 5 includes a verification engine 11, a design information expansion unit 12, a verification rule expansion unit 13, and a design verification execution unit 14.

検証エンジン11は、外部との入出力を司るとともに、設計情報展開部12、検証ルール展開部13、設計検証実行部14の動作を統括的に制御する手段である。検証エンジン11は、検証対象として指定された設計情報を設計検証実行部14での検証処理に適したデータ構造に変換して設計情報展開部12に展開する。また、検証エンジン11は設計情報検証ルールDB7から読み込んだ設計情報検証ルールを設計情報のスキーマに合わせた表現に変更して検証ルール展開部13に展開する。検証エンジン11は、検証実行に際して、設計情報展開部12に展開された設計情報および検証ルール展開部13に展開された設計情報検証ルールをそれぞれ読み出して設計検証実行部14に与える。設計検証実行部14は検証エンジン11より設計情報および設計情報検証ルールを受け取り、設計情報検証ルールによる設計情報の検証を実行する。   The verification engine 11 is a unit that controls input / output with the outside and comprehensively controls the operations of the design information expansion unit 12, the verification rule expansion unit 13, and the design verification execution unit 14. The verification engine 11 converts the design information designated as the verification target into a data structure suitable for the verification process in the design verification execution unit 14 and expands the design information in the design information expansion unit 12. Further, the verification engine 11 changes the design information verification rule read from the design information verification rule DB 7 into an expression that matches the schema of the design information and expands it in the verification rule expansion unit 13. The verification engine 11 reads out the design information expanded in the design information expansion unit 12 and the design information verification rule expanded in the verification rule expansion unit 13 for verification, and gives them to the design verification execution unit 14. The design verification execution unit 14 receives design information and design information verification rules from the verification engine 11, and executes verification of design information based on the design information verification rules.

次に、設計情報について説明する。
設計情報には、ユースケース図および画面遷移図をデータベース化した設計情報のほか、一つの画面遷移に関係するクラスを一行にならべた表形式の設計仕様などがある。
Next, design information will be described.
The design information includes, in addition to design information in which use case diagrams and screen transition diagrams are made into a database, a table-type design specification in which classes related to one screen transition are arranged in one line.

図3はユースケース図の例である。このユースケースは会員制のオンライン購買システムを題材とするものである。このシステムでは、ユーザ登録やユーザ情報の変更、退会の処理に関しては、直接オンライン上でユーザが行うのではなく、郵送により本人証明を要求するものとなっている。このため、ユーザ管理41は郵送による連絡を受けた顧客担当員42が行う。オンラインでの購入はインターネットを介して、ユーザ43が直接行えるものとするが、インターネット環境がない顧客、もしくは一時的に使えない環境下におかれた顧客のため、電話での購入申し込みも受け付けるものとする。この場合、ユーザ本人に代わって、顧客担当42が購入の入力を行う。このため、オンライン購入44は、ユーザ43および顧客担当42が行えるものとする。ここで、ユーザ管理41とオンライン購入44がユースケース、顧客担当員42、ユーザ43がアクターに相当する。   FIG. 3 is an example of a use case diagram. This use case is based on a membership-based online purchasing system. In this system, the user registration, the change of user information, and the withdrawal process are not performed directly by the user on-line, but are requested by the postal mail. For this reason, the user management 41 is performed by the customer staff 42 who receives the notification by mail. Purchases online can be made directly by the user 43 via the Internet, but for customers who do not have an Internet environment or who are temporarily unavailable, they can accept purchase applications over the phone. And In this case, instead of the user himself / herself, the customer staff 42 inputs the purchase. For this reason, the online purchase 44 can be performed by the user 43 and the customer staff 42. Here, the user management 41 and online purchase 44 correspond to use cases, the customer representative 42, and the user 43 correspond to actors.

図4は図3に示したユースケース図のスキーマ情報およびその設計情報を示す図である。同図に示すように、図3に示したユースケース図のスキーマ情報は、ユースケースを表現するスキーマ51、アクターを表現するスキーマ52、これらの間の関係を表現するスキーマ53により構成される。ユースケースを表現するスキーマ51はユースケースIDとユースケース名からなる。アクターを表現するスキーマ52はアクターIDとアクター名からなる。関係を表現するスキーマ53はユースケースID、アクターID、これらの関連の種別を示す情報からなる。51A、52A、53Aは、これらのスキーマに基づき、図3のユースケース図をデータベース化した設計情報である。   FIG. 4 is a diagram showing schema information and design information of the use case diagram shown in FIG. As shown in the figure, the schema information of the use case diagram shown in FIG. 3 includes a schema 51 that expresses a use case, a schema 52 that expresses an actor, and a schema 53 that expresses a relationship between them. A schema 51 representing a use case includes a use case ID and a use case name. A schema 52 representing an actor includes an actor ID and an actor name. The schema 53 that expresses the relationship includes a use case ID, an actor ID, and information indicating the types of these relations. 51A, 52A, and 53A are design information in which the use case diagram of FIG. 3 is databased based on these schemas.

図5は図3に示したユースケース図におけるユーザ管理41のユースケースの一部に関する画面遷移図の例である。この例では、初期メニューとして、ユーザ情報管理メニュー61が表示される。このユーザ情報管理メニュー61上で「ユーザ登録」のボタンを押下することにより、ユーザ情報入力画面62へと画面表示が切り替わる。このユーザ情報入力画面62上で新規に登録するユーザの情報を入力し、「登録」ボタンを押下することにより、さらにユーザ情報登録確認画面63へと画面が遷移する。この画面において入力内容を確認し、正しいことが確認できたら、「確認」ボタンを押下する。これにより、実際にユーザ登録の処理が実行される。ユーザ登録処理が正常に終了すると、画面はユーザ情報登録完了画面64へと遷移し、異常終了すると、ユーザ登録エラー画面65へと遷移する。   FIG. 5 is an example of a screen transition diagram regarding a part of the use case of the user management 41 in the use case diagram shown in FIG. In this example, a user information management menu 61 is displayed as an initial menu. By pressing the “User Registration” button on the user information management menu 61, the screen display is switched to the user information input screen 62. When the user information to be newly registered is input on the user information input screen 62 and the “registration” button is pressed, the screen further transits to the user information registration confirmation screen 63. Confirm the input contents on this screen, and press the “Confirm” button when it is confirmed that it is correct. Thereby, the user registration process is actually executed. When the user registration process ends normally, the screen transitions to a user information registration completion screen 64. When the user registration process ends abnormally, the screen transitions to a user registration error screen 65.

図6は図5に示した画面遷移図のスキーマ情報およびその設計情報を示す図である。同図に示すように、図6に示した画面遷移図のスキーマ情報は、上記の各画面61、62、63、64、65を表現するスキーマ71と、これらの画面間の遷移を表現するスキーマ72により構成される。画面を表現するスキーマ71は図面IDとその画面名で構成される。画面間の遷移を表現するスキーマ72は図面ID、遷移元画面ID、遷移先画面ID、画面遷移のトリガ、遷移条件で構成される。71A、72Aは、これらのスキーマに基づき、図6の画面遷移図をデータベース化した設計情報である。   FIG. 6 is a diagram showing schema information and design information of the screen transition diagram shown in FIG. As shown in the figure, the schema information of the screen transition diagram shown in FIG. 6 includes a schema 71 representing each of the screens 61, 62, 63, 64, 65 and a schema representing transitions between these screens. 72. A schema 71 representing a screen is composed of a drawing ID and its screen name. The schema 72 expressing the transition between screens includes a drawing ID, a transition source screen ID, a transition destination screen ID, a screen transition trigger, and a transition condition. 71A and 72A are design information obtained by converting the screen transition diagram of FIG. 6 into a database based on these schemas.

設計情報DB6には、上記のユースケース図、画面遷移図をデータベース化した設計情報のほか、図7に示すように、一つの画面遷移に関係するクラスを一行にならべた表形式の設計仕様が格納される。   In the design information DB 6, in addition to the above-described use case diagram and design information in which the screen transition diagram is made into a database, as shown in FIG. 7, there is a tabular design specification in which classes related to one screen transition are arranged in one line. Stored.

図7に示した表形式の設計仕様は、図8に示すように、設計情報メタデータDB8に格納されている、標準スキーマと設計情報のスキーマとのマッピングを定義するための情報をベースに開発者9により作成されたものである。このスキーマのマッピングのための情報は、各々の項目に標準スキーマの情報が割り当てられた表の形式で与えられている。開発者9は、この表の各項目に割り当てられた標準スキーマの情報と設計情報のスキーマの情報との整合をとりなから、それらの項目に一つの画面遷移に関係するクラスをそれぞれ記述して一行に並べた表形式の設計仕様を作成する。一般に、設計情報を管理するためのスキーマの定義は部署やプロジェクトごとに異なる。これに対して設計情報検証ルールは標準スキーマをベースに作成されたものであるから、設計情報の検証にそのまま用いることはできない。そこで図8に示すスキーマのマッピングのための情報をベースとする表形式の設計仕様を作成することで、設計情報のスキーマの情報と標準スキーマの情報とのマッピングが定義され、設計情報のスキーマに依存しない検証が実現される。   The tabular design specification shown in FIG. 7 is developed based on the information for defining the mapping between the standard schema and the schema of the design information stored in the design information metadata DB 8 as shown in FIG. It was created by the person 9. Information for mapping the schema is given in the form of a table in which standard schema information is assigned to each item. Developer 9 does not match the information of the standard schema assigned to each item in this table with the schema information of design information, so each class describes a class related to one screen transition. Create a tabular design specification in a single line. In general, the definition of a schema for managing design information differs for each department or project. On the other hand, since the design information verification rule is created based on the standard schema, it cannot be used as it is for verification of the design information. Therefore, by creating a tabular design specification based on the schema mapping information shown in FIG. 8, mapping between design information schema information and standard schema information is defined. Independent verification is realized.

図7の設計仕様によれば、標準スキーマの「ユースケース」は設計情報のスキーマの「ユーザ情報を登録管理する」「オンライン購入する」に対応し、標準スキーマの「アクター」は設計情報のスキーマの「顧客」「顧客管理担当」に対応し、標準スキーマの「リクエスト発生画面」「遷移先画面」は設計情報のスキーマの「ユーザ情報管理メニュー」「ユーザ情報入力画面」「ユーザ情報登録確認画面」「ユーザ情報登録完了画面」「ユーザ登録エラー画面」に対応し、標準スキーマの「リクエスト」は設計情報のスキーマの画面遷移のトリガである「「ユーザ登録」ボタン押下」「「登録」ボタン押下」「「確認」ボタン押下」「「メニューへ戻る」ボタン押下」に対応し、標準スキーマの「遷移条件」は設計情報のスキーマの「登録完了」「登録異常」に対応することが定義される。   According to the design specification of FIG. 7, the “use case” in the standard schema corresponds to “register and manage user information” and “purchase online” in the schema of the design information, and the “actor” in the standard schema is the schema of the design information. Corresponding to "Customer" and "Customer management" in the standard schema "Request generation screen" "Transition destination screen" is "User information management menu" "User information input screen" "User information registration confirmation screen" of design information schema Corresponding to “User information registration completion screen” and “User registration error screen”, “Request” of standard schema is a trigger for screen transition of design information schema “User registration” button pressed “Register” button pressed Corresponding to “Pressing the“ Confirm ”button” or “Pressing the“ Return to menu ”button”, the “Transition condition” of the standard schema is “Registered” It is defined that corresponds to the "" registration abnormal ".

スキーマのマッピングのための情報は複数容易されており、開発者9はその中で使用するマッピング情報をその番号により指定することができる。図7に示した設計情報は番号=1のマッピング情報に基づいて作成されたものである。図9は番号=2のマッピング情報に基づいて作成された設計情報の例である。   A plurality of pieces of information for schema mapping are facilitated, and the developer 9 can specify mapping information to be used in the schema 9 by the number. The design information shown in FIG. 7 is created based on the mapping information of number = 1. FIG. 9 is an example of design information created based on the mapping information of number = 2.

図10は設計情報検証ルールの例を示す図である。この例では設計情報検証ルールが日本語で記述されているが、実際には処理のパターン化が可能であり、自然言語での定義は必須ではない。   FIG. 10 is a diagram illustrating an example of the design information verification rule. In this example, the design information verification rule is written in Japanese, but in reality, the process can be patterned, and the definition in the natural language is not essential.

番号1のルールは、設計情報のユースケースに関わる内容の検証項目である。図7の設計情報において検証対象となるユースケースは「ユーザ情報を登録管理する」の一項目のみである。比較対象は「ユースケース図」であり、検証内容は「該当するユースケースが定義されていること」である。該当するユースケースが定義されているかどうかは、ユースケース図のデータベース(図4)を参照することによって検証することができる。   The rule of number 1 is a verification item of contents related to the use case of design information. The use case to be verified in the design information of FIG. 7 is only one item “register and manage user information”. The comparison target is a “use case diagram”, and the verification content is “the corresponding use case is defined”. Whether or not the corresponding use case is defined can be verified by referring to the use case diagram database (FIG. 4).

番号2のルールは、設計情報のアクターに関わる内容の検証項目である。図7の設計情報において検証対象となるアクターは「顧客管理担当」の一項目のみである。比較対象は「ユースケース図」であり、検証内容は「該当するアクターが定義されていること」である。該当するアクターが定義されているかどうかは、ユースケース図のデータベース(図4)を参照することによって検証することができる。   The rule of number 2 is a verification item of the contents related to the actor of the design information. In the design information of FIG. 7, the actor to be verified is only one item of “customer management charge”. The comparison target is “use case diagram” and the verification content is “corresponding actor is defined”. Whether or not the corresponding actor is defined can be verified by referring to the use case diagram database (FIG. 4).

番号3のルールは、リクエスト発生画面に関わる内容の検証項目である。比較対象は「画面遷移図」であり、検証内容は「該当する画面が定義されていること」である。該当するリクエスト発生画面が定義されているかどうかは、画面遷移図のデータベース(図6)を参照することによって検証することができる。   The rule of number 3 is a verification item for the contents related to the request generation screen. The comparison target is a “screen transition diagram”, and the verification content is “the relevant screen is defined”. Whether or not the corresponding request generation screen is defined can be verified by referring to the screen transition diagram database (FIG. 6).

番号4のルールは、遷移先画面に関わる内容の検証項目である。比較対象は「画面遷移図」であり、検証内容は「該当する画面が定義されていること」である。該当する遷移先画面が定義されているかどうかは、画面遷移図のデータベース(図6)を参照することによって検証することができる。   The rule of number 4 is a verification item of contents related to the transition destination screen. The comparison target is a “screen transition diagram”, and the verification content is “the relevant screen is defined”. Whether or not the corresponding transition destination screen is defined can be verified by referring to the screen transition diagram database (FIG. 6).

番号5のルールは、画面の遷移条件に関わる内容の検証項目である。比較対象は「サービス」であり、検証内容は「遷移条件がある場合、サービスが定義されていること」である。画面を遷移させるための条件があるということは、すなわちその前に何らかの分岐を発生させる処理があるということである。このため、図7において遷移条件が記述されている3行目、4行目では、同一行に処理の本体である「サービス」が記述されていなければならない。   The rule of number 5 is a verification item of contents related to the screen transition condition. The comparison target is “service”, and the verification content is “if there is a transition condition, the service is defined”. The fact that there is a condition for transitioning the screen means that there is a process for generating some branch before that. For this reason, in the third and fourth lines where the transition condition is described in FIG. 7, the “service” that is the main body of the process must be described in the same line.

番号6のルールは、リクエスト発生画面に関わる内容の検証項目である。比較対象は「遷移先画面」であり、検証内容は「リクエスト発生画面は、いずれかの遷移先画面となっていること」である。リクエスト発生画面がいずれかの遷移先画面となっているかどうかは、画面遷移図のデータベース(図6)を参照することによって検証することができる。   The rule of number 6 is a verification item of contents related to the request generation screen. The comparison target is “transition destination screen”, and the verification content is “request generation screen is any transition destination screen”. Whether or not the request generation screen is any of the transition destination screens can be verified by referring to the database (FIG. 6) of the screen transition diagram.

次に、この設計情報検証装置100の動作を説明する。
図11は設計情報検証装置100による設計情報の検証動作のフローチャートである。
Next, the operation of the design information verification apparatus 100 will be described.
FIG. 11 is a flowchart of the design information verification operation performed by the design information verification apparatus 100.

まず、開発者9は、検証の対象となる設計情報を選択する(ステップ101)。この選択は、具体的には、開発者9が図示せぬキーボードやマウスなどの入力装置を操作して検証対象となる設計情報を選択するコマンドを入力することで行われる。全体制御部1は、そのコマンドを入力制御部2を通じて受け取り、設計情報の選択・入力部4に渡す。設計情報の選択・入力部4はそのコマンドに基づいて該当する設計情報のうちの表形式の設計仕様を設計情報DB6から読み出す。   First, the developer 9 selects design information to be verified (step 101). Specifically, this selection is performed by the developer 9 inputting a command for selecting design information to be verified by operating an input device such as a keyboard or a mouse (not shown). The overall control unit 1 receives the command through the input control unit 2 and passes it to the design information selection / input unit 4. Based on the command, the design information selection / input unit 4 reads the design specifications in tabular form from the design information DB 6.

設計情報DB6から読み出された表形式の設計仕様は出力制御部3を介して図示せぬ表示装置に表示される(ステップ102)。このとき表示画面には、表示中の設計情報に対する検証実行を指示するための検証実行ボタンが表示され、この検証実行ボタンが開発者9によって操作されると、全体制御部1は、設計情報検証部5に対して検証実行コマンドを与える(ステップ103)。   The tabular design specifications read from the design information DB 6 are displayed on a display device (not shown) via the output control unit 3 (step 102). At this time, a verification execution button for instructing execution of verification for the design information being displayed is displayed on the display screen. When the verification execution button is operated by the developer 9, the overall control unit 1 performs design information verification. A verification execution command is given to the unit 5 (step 103).

設計情報検証部5は、検証実行コマンドを受けると、設計情報の選択・入力部4によって設計情報DB6から読み出された設計情報を、検証エンジン11にて検証に適したデータ構造に変換して設計情報展開部12に展開するとともに(ステップ104)、設計情報検証ルールDB7から設計情報検証ルールを読み出し(ステップ105)、その設計情報検証ルールの記述を、設計仕様に定義されている標準スキーマの情報と設計情報のスキーマの情報とのマッピングに基づいて、設計情報のスキーマの情報を用いた表現に変更して(ステップ106) 、検証ルール展開部13に展開する。   Upon receiving the verification execution command, the design information verification unit 5 converts the design information read from the design information DB 6 by the design information selection / input unit 4 into a data structure suitable for verification by the verification engine 11. The design information is expanded in the design information expansion unit 12 (step 104), the design information verification rule is read from the design information verification rule DB 7 (step 105), and the description of the design information verification rule is stored in the standard schema defined in the design specification. Based on the mapping between the information and the schema information of the design information, the expression is changed to an expression using the schema information of the design information (step 106), and is expanded in the verification rule expansion unit 13.

たとえば、図10の番号1のルールである「該当するユースケースが定義されていること」は「ユーザ情報を登録管理するが定義されていること」「オンライン購入するが定義されていること」という表現に変更される。番号2のルールである「該当するアクターが定義されていること」は「顧客が定義されていること」「顧客管理担当が定義されていること」という表現に変更される。番号3のルールである「該当する画面が定義されていること」は「ユーザ情報管理メニューが定義されているか」「ユーザ情報入力画面が定義されているか」などに変更される。   For example, the rule of number 1 in FIG. 10 that “the corresponding use case is defined” is “the user information is registered and managed but is defined” and “online purchase is defined”. Changed to expression. The rule “number 2 is defined” is changed to the expression “customer is defined” and “customer manager is defined”. The rule “number 3 is defined” is changed to “whether the user information management menu is defined”, “whether the user information input screen is defined” or the like.

続いて、設計情報検証部5は、検証エンジン11を起動して検証動作を開始する。検証エンジン11は、設計情報展開部12に展開された設計情報と、検証ルール展開部13に展開された設計情報検証ルールを設計検証実行部14に一つずつ与えて、設計情報の検証を実行する(ステップ107)。検証エンジン11は設計検証実行部14による検証の結果を取得すると、その結果を全体制御部1に返す。全体制御部1は受け取った検証結果を出力制御部3を通じて図示せぬ表示装置に表示して、開発者9に通知する(ステップ108)。ここで、検証においては、どのルールによるどの位置での検証でエラーが発生したかが分かるので、エラーの発生した設計情報の位置およびエラー内容を検証結果に含めて出力することができる。   Subsequently, the design information verification unit 5 starts the verification engine 11 and starts a verification operation. The verification engine 11 gives the design information expanded in the design information expansion unit 12 and the design information verification rules expanded in the verification rule expansion unit 13 to the design verification execution unit 14 one by one, and executes design information verification. (Step 107). When the verification engine 11 acquires the result of verification by the design verification execution unit 14, the verification engine 11 returns the result to the overall control unit 1. The overall control unit 1 displays the received verification result on a display device (not shown) through the output control unit 3 and notifies the developer 9 (step 108). Here, in the verification, since it is known at which position according to which rule the error has occurred, the position of the design information in which the error has occurred and the error content can be included in the verification result and output.

以上のように本実施形態の設計情報検証装置100によれば、設計情報の検証を、あらかじめ定義されたルールに則って自動的に、かつ個々の画面遷移に関係するユースケース、アクター、リクエスト発生画面、遷移先画面、遷移条件、リクエスト発生画面といった細かい単位で行うことができる。   As described above, according to the design information verification apparatus 100 of this embodiment, design information verification is automatically performed according to a predefined rule, and use cases, actors, and requests that are related to individual screen transitions are generated. This can be done in fine units such as screens, transition destination screens, transition conditions, and request generation screens.

また、この実施形態の設計情報検証装置100によれば、スキーマのマッピングのための情報をベースとする表形式の設計仕様を作成することによって、設計情報のスキーマと標準スキーマとのマッピングを定義することができ、設計情報のスキーマに依存しない検証が実現される。   In addition, according to the design information verification apparatus 100 of this embodiment, the mapping between the schema of the design information and the standard schema is defined by creating a tabular design specification based on the information for schema mapping. And verification independent of the schema of design information is realized.

なお、本発明は、上述の実施形態にのみ限定されるものではなく、本発明の要旨を逸脱しない範囲内において種々変更を加え得ることは勿論である。   It should be noted that the present invention is not limited to the above-described embodiment, and various modifications can be made without departing from the scope of the present invention.

本発明の一実施形態に係る設計情報検証装置の全体の構成を示すブロック図である。It is a block diagram which shows the whole structure of the design information verification apparatus which concerns on one Embodiment of this invention. 図1の設計情報検証部の構成を示すブロック図である。It is a block diagram which shows the structure of the design information verification part of FIG. ユースケース図の例を示す図である。It is a figure which shows the example of a use case figure. 図3に示したユースケース図のスキーマ情報および設計情報を示す図である。FIG. 4 is a diagram showing schema information and design information of the use case diagram shown in FIG. 3. 図3に示したユースケース図におけるユーザ管理のユースケースの一部に関する画面遷移図である。FIG. 4 is a screen transition diagram regarding a part of a use case of user management in the use case diagram shown in FIG. 3. 図5に示した画面遷移図のスキーマ情報および設計情報を示す図である。It is a figure which shows the schema information and design information of the screen transition diagram shown in FIG. 表形式の設計仕様の例を示す図である。It is a figure which shows the example of the design specification of a table format. 標準スキーマと設計情報のスキーマとのマッピングを定義するための情報を示す図である。It is a figure which shows the information for defining mapping with the schema of a standard schema and design information. 表形式の別の設計仕様の例を示す図である。It is a figure which shows the example of another design specification of a table format. 設計情報検証ルールの例を示す図である。It is a figure which shows the example of a design information verification rule. 図1の設計情報検証装置による設計情報の検証動作のフローチャートである。3 is a flowchart of design information verification operation by the design information verification apparatus of FIG. 1.

符号の説明Explanation of symbols

1・・・・全体制御部
2・・・・入力制御部
3・・・・出力制御部
4・・・・設計情報の選択・入力部
5・・・・設計情報検証部
6・・・・設計情報DB
7・・・・設計情報検証ルールDB
8・・・・設計情報メタデータDB
DESCRIPTION OF SYMBOLS 1 .... Overall control part 2 .... Input control part 3 .... Output control part 4 .... Design information selection / input part 5 .... Design information verification part 6 .... Design information DB
7 ... Design information verification rule DB
8 ... Design information metadata DB

Claims (4)

第1のスキーマの情報が割り当てられた複数の項目に、一つの画面遷移に関係する設計情報をそれぞれ記述して、前記第1のスキーマの情報と前記設計情報の第2のスキーマの情報とのマッピングを定義した表形式の設計仕様を含む設計情報を格納する設計情報格納手段と、
前記第1のスキーマの情報を用いて作成された、前記設計情報を検証するための検証ルールが格納された検証ルール格納手段と、
前記設計情報格納手段に格納された前記設計情報に対する検証の指示が発生したとき、前記検証ルール格納手段に格納された検証ルールを、前記設計仕様にて定義された前記マッピングに基づいて前記第2のスキーマの情報を用いた検証ルールに変更し、この変更された検証ルールにより前記設計情報の検証を行う検証手段と
を具備することを特徴とする設計情報検証装置。
Design information related to one screen transition is described in each of the plurality of items to which the information of the first schema is assigned, and the information of the first schema and the information of the second schema of the design information Design information storage means for storing design information including a tabular design specification in which mapping is defined;
A verification rule storage means for storing a verification rule for verifying the design information, created using the information of the first schema;
When an instruction to verify the design information stored in the design information storage unit is generated, the verification rule stored in the verification rule storage unit is changed based on the mapping defined in the design specification. And a verification means for verifying the design information by using the changed verification rule.
前記検証ルール格納手段に格納された検証ルールが、前記設計情報を前記項目の単位で検証するためのルールであることを特徴とする請求項1に記載の設計情報検証装置。   The design information verification apparatus according to claim 1, wherein the verification rule stored in the verification rule storage unit is a rule for verifying the design information in units of the items. 第1のスキーマの情報が割り当てられた複数の項目に、一つの画面遷移に関係する設計情報をそれぞれ記述して、前記第1のスキーマの情報と前記設計情報の第2のスキーマの情報とのマッピングを定義した表形式の設計仕様を設計情報格納手段に格納しておくとともに、前記第1のスキーマの情報を用いて作成された、前記設計情報を検証するための検証ルールを検証ルール格納手段に格納しておき、前記設計情報に対する検証の指示が発生したとき、検証手段により、前記検証ルール格納手段に格納された検証ルールを、前記設計仕様にて定義された前記マッピングに基づいて前記第2のスキーマの情報を用いた検証ルールに変更し、この変更された検証ルールにより前記設計情報の検証を行うことを特徴とする設計情報検証方法。   Design information related to one screen transition is described in each of the plurality of items to which the information of the first schema is assigned, and the information of the first schema and the information of the second schema of the design information A table-like design specification defining the mapping is stored in the design information storage means, and a verification rule for verifying the design information created using the information of the first schema is verified rule storage means When a verification instruction for the design information is generated, the verification unit stores the verification rule stored in the verification rule storage unit based on the mapping defined in the design specification. 2. A design information verification method, wherein the verification information is changed to a verification rule using information of the schema 2 and the design information is verified by the changed verification rule. 前記検証ルール格納手段に格納された検証ルールが、前記設計情報を前記項目の単位で検証するためのルールであることを特徴とする請求項3に記載の設計情報検証方法。   4. The design information verification method according to claim 3, wherein the verification rule stored in the verification rule storage means is a rule for verifying the design information in units of the items.
JP2004329647A 2004-11-12 2004-11-12 Design information verification apparatus and design information verification method Active JP4630640B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2004329647A JP4630640B2 (en) 2004-11-12 2004-11-12 Design information verification apparatus and design information verification method

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2004329647A JP4630640B2 (en) 2004-11-12 2004-11-12 Design information verification apparatus and design information verification method

Publications (2)

Publication Number Publication Date
JP2006139616A JP2006139616A (en) 2006-06-01
JP4630640B2 true JP4630640B2 (en) 2011-02-09

Family

ID=36620398

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2004329647A Active JP4630640B2 (en) 2004-11-12 2004-11-12 Design information verification apparatus and design information verification method

Country Status (1)

Country Link
JP (1) JP4630640B2 (en)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP4946651B2 (en) * 2007-06-15 2012-06-06 富士通株式会社 Specification verification program, computer-readable recording medium recording the program, specification verification apparatus, and specification verification method
JP2010072944A (en) * 2008-09-18 2010-04-02 Hitachi Information Systems Ltd System for supporting design quality inspection of information processing system

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH05119987A (en) * 1991-10-30 1993-05-18 Hitachi Ltd Graphic form defining method for verification rule for dynamic specification
JPH0895827A (en) * 1994-09-29 1996-04-12 Hitachi Ltd Microprogram verifying method
JP2002297205A (en) * 2001-03-30 2002-10-11 Toyota Central Res & Dev Lab Inc Verification pattern generating device and its method and verification pattern generating program
JP2004220330A (en) * 2003-01-15 2004-08-05 Toshiba Solutions Corp Test specification preparation support device, test specification preparation method, construction method for database, and test specification preparation program

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH05119987A (en) * 1991-10-30 1993-05-18 Hitachi Ltd Graphic form defining method for verification rule for dynamic specification
JPH0895827A (en) * 1994-09-29 1996-04-12 Hitachi Ltd Microprogram verifying method
JP2002297205A (en) * 2001-03-30 2002-10-11 Toyota Central Res & Dev Lab Inc Verification pattern generating device and its method and verification pattern generating program
JP2004220330A (en) * 2003-01-15 2004-08-05 Toshiba Solutions Corp Test specification preparation support device, test specification preparation method, construction method for database, and test specification preparation program

Also Published As

Publication number Publication date
JP2006139616A (en) 2006-06-01

Similar Documents

Publication Publication Date Title
JP4822863B2 (en) Numerical analysis data creation method and apparatus, program, and storage medium
US8136043B2 (en) GUI generation apparatus and method for generating GUI
US8527254B2 (en) Simulator engine development system and simulator engine development method
JP2008177689A (en) Information processing apparatus, information processing method and program
US20050015746A1 (en) Orchestration designer
JP7260813B2 (en) Program, control method and information processing device
JP3577400B2 (en) System design equipment and data warehouse design system
JP2016009423A (en) Information processing device, method for controlling information processing device, and program
JP4630640B2 (en) Design information verification apparatus and design information verification method
US11861329B2 (en) Method and apparatus for codifying user experience designs and managing the codified user experience designs
JP6231260B2 (en) Screen control system, screen control program, screen creation support program, and screen control method
JP6665637B2 (en) Program creation support system
JP4957043B2 (en) Information processing apparatus, program, and business application introduction method
JP2009015455A (en) Information display device, information display method, and information display program
WO2012053392A1 (en) Software-product-line development assisting device, method thereof, and program thereof
JP4988367B2 (en) Business system development method related to the agreement
JP2008033815A (en) Project management device, method and program
JP5593960B2 (en) Business management system, business management server, and business management program
JP2017182662A (en) Program creation system
JP2007034806A (en) Information processor and program
JP2009037477A (en) Program generation device, program generation method, and program generation program
JPH0454635A (en) Screen specification defining method and business processing method
JP4576872B2 (en) Information processing apparatus and program
JP2016033709A (en) Information processor, control method and program of the same
JP2022101746A (en) Information processing apparatus, information processing method, and program

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20071010

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20101006

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20101019

A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20101115

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20131119

Year of fee payment: 3

R150 Certificate of patent or registration of utility model

Ref document number: 4630640

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

Free format text: JAPANESE INTERMEDIATE CODE: R150

S531 Written request for registration of change of domicile

Free format text: JAPANESE INTERMEDIATE CODE: R313531

R350 Written notification of registration of transfer

Free format text: JAPANESE INTERMEDIATE CODE: R350

S533 Written request for registration of change of name

Free format text: JAPANESE INTERMEDIATE CODE: R313533

R350 Written notification of registration of transfer

Free format text: JAPANESE INTERMEDIATE CODE: R350