JP4630640B2 - Design information verification apparatus and design information verification method - Google Patents
Design information verification apparatus and design information verification method Download PDFInfo
- 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
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を参照)。
しかしながら、特許文献1の技術は、設計情報の検証を自動的に行うというものではない。そこで、設計情報の検証ルールをあらかじめ定義しておき、この検証ルールに則って設計情報の検証を自動的に行う方法が考えられるが、この場合、そのルールの表現と設計情報の表現との間に整合性が確保されていることが必要となる。しかし、設計情報を管理するためのスキーマの定義は部署やプロジェクトごとに異なることが普通であるため、検証ルールを用いて設計情報の検証を行う汎用的な検証装置の実現は困難であった。
However, the technique of
本発明は、このような点に鑑みてなされたものであり、設計情報の検証を、自動的に、かつ設計情報のスキーマの定義に依存することなく行うことのできる設計情報検証装置および設計情報検証方法を提供することを目的としている。 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
全体制御部1は入力制御部2、出力制御部3、設計情報の選択・入力部4および設計情報検証部5の間でデータや命令などの受け渡しを制御する。入力制御部2は図示せぬキーボードやマウスなどの入力装置からの入力を制御する。出力制御部3は設計情報、設計情報検証ルール、検証結果などを図示せぬ表示装置に表示する制御を行う。設計情報の選択・入力部4は設計情報DB6への設計情報の格納や設計情報DB6に格納されている設計情報の選択や更新などの命令を実行する手段である。設計情報検証部5は設計情報検証ルールDB7に格納された設計情報検証ルールに従って設計情報を検証する手段である。設計情報DB6は設計情報が格納されるデータベースである。設計情報検証ルールDB7はその設計情報を検証するためのルールが格納されるデータベースである。設計情報メタデータDB8は設計情報検証ルールの表現に用いられている標準スキーマ(第1のスキーマの情報)と、設計情報の表現に用いられているスキーマ(第2のスキーマの情報)とのマッピングを定義するための情報(設計情報メタデータ)が格納されるデータベースである。
The
図2は設計情報検証部5の構成を示すブロック図である。
FIG. 2 is a block diagram showing a configuration of the design
同図に示すように、設計情報検証部5は、検証エンジン11、設計情報展開部12、検証ルール展開部13および設計検証実行部14を備えている。
As shown in the figure, the design
検証エンジン11は、外部との入出力を司るとともに、設計情報展開部12、検証ルール展開部13、設計検証実行部14の動作を統括的に制御する手段である。検証エンジン11は、検証対象として指定された設計情報を設計検証実行部14での検証処理に適したデータ構造に変換して設計情報展開部12に展開する。また、検証エンジン11は設計情報検証ルールDB7から読み込んだ設計情報検証ルールを設計情報のスキーマに合わせた表現に変更して検証ルール展開部13に展開する。検証エンジン11は、検証実行に際して、設計情報展開部12に展開された設計情報および検証ルール展開部13に展開された設計情報検証ルールをそれぞれ読み出して設計検証実行部14に与える。設計検証実行部14は検証エンジン11より設計情報および設計情報検証ルールを受け取り、設計情報検証ルールによる設計情報の検証を実行する。
The
次に、設計情報について説明する。
設計情報には、ユースケース図および画面遷移図をデータベース化した設計情報のほか、一つの画面遷移に関係するクラスを一行にならべた表形式の設計仕様などがある。
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
図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
図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
図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
設計情報DB6には、上記のユースケース図、画面遷移図をデータベース化した設計情報のほか、図7に示すように、一つの画面遷移に関係するクラスを一行にならべた表形式の設計仕様が格納される。
In the
図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
図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
図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
番号2のルールは、設計情報のアクターに関わる内容の検証項目である。図7の設計情報において検証対象となるアクターは「顧客管理担当」の一項目のみである。比較対象は「ユースケース図」であり、検証内容は「該当するアクターが定義されていること」である。該当するアクターが定義されているかどうかは、ユースケース図のデータベース(図4)を参照することによって検証することができる。
The rule of
番号3のルールは、リクエスト発生画面に関わる内容の検証項目である。比較対象は「画面遷移図」であり、検証内容は「該当する画面が定義されていること」である。該当するリクエスト発生画面が定義されているかどうかは、画面遷移図のデータベース(図6)を参照することによって検証することができる。
The rule of
番号4のルールは、遷移先画面に関わる内容の検証項目である。比較対象は「画面遷移図」であり、検証内容は「該当する画面が定義されていること」である。該当する遷移先画面が定義されているかどうかは、画面遷移図のデータベース(図6)を参照することによって検証することができる。
The rule of
番号5のルールは、画面の遷移条件に関わる内容の検証項目である。比較対象は「サービス」であり、検証内容は「遷移条件がある場合、サービスが定義されていること」である。画面を遷移させるための条件があるということは、すなわちその前に何らかの分岐を発生させる処理があるということである。このため、図7において遷移条件が記述されている3行目、4行目では、同一行に処理の本体である「サービス」が記述されていなければならない。
The rule of
番号6のルールは、リクエスト発生画面に関わる内容の検証項目である。比較対象は「遷移先画面」であり、検証内容は「リクエスト発生画面は、いずれかの遷移先画面となっていること」である。リクエスト発生画面がいずれかの遷移先画面となっているかどうかは、画面遷移図のデータベース(図6)を参照することによって検証することができる。
The rule of
次に、この設計情報検証装置100の動作を説明する。
図11は設計情報検証装置100による設計情報の検証動作のフローチャートである。
Next, the operation of the design
FIG. 11 is a flowchart of the design information verification operation performed by the design
まず、開発者9は、検証の対象となる設計情報を選択する(ステップ101)。この選択は、具体的には、開発者9が図示せぬキーボードやマウスなどの入力装置を操作して検証対象となる設計情報を選択するコマンドを入力することで行われる。全体制御部1は、そのコマンドを入力制御部2を通じて受け取り、設計情報の選択・入力部4に渡す。設計情報の選択・入力部4はそのコマンドに基づいて該当する設計情報のうちの表形式の設計仕様を設計情報DB6から読み出す。
First, the
設計情報DB6から読み出された表形式の設計仕様は出力制御部3を介して図示せぬ表示装置に表示される(ステップ102)。このとき表示画面には、表示中の設計情報に対する検証実行を指示するための検証実行ボタンが表示され、この検証実行ボタンが開発者9によって操作されると、全体制御部1は、設計情報検証部5に対して検証実行コマンドを与える(ステップ103)。
The tabular design specifications read from the
設計情報検証部5は、検証実行コマンドを受けると、設計情報の選択・入力部4によって設計情報DB6から読み出された設計情報を、検証エンジン11にて検証に適したデータ構造に変換して設計情報展開部12に展開するとともに(ステップ104)、設計情報検証ルールDB7から設計情報検証ルールを読み出し(ステップ105)、その設計情報検証ルールの記述を、設計仕様に定義されている標準スキーマの情報と設計情報のスキーマの情報とのマッピングに基づいて、設計情報のスキーマの情報を用いた表現に変更して(ステップ106) 、検証ルール展開部13に展開する。
Upon receiving the verification execution command, the design
たとえば、図10の番号1のルールである「該当するユースケースが定義されていること」は「ユーザ情報を登録管理するが定義されていること」「オンライン購入するが定義されていること」という表現に変更される。番号2のルールである「該当するアクターが定義されていること」は「顧客が定義されていること」「顧客管理担当が定義されていること」という表現に変更される。番号3のルールである「該当する画面が定義されていること」は「ユーザ情報管理メニューが定義されているか」「ユーザ情報入力画面が定義されているか」などに変更される。
For example, the rule of
続いて、設計情報検証部5は、検証エンジン11を起動して検証動作を開始する。検証エンジン11は、設計情報展開部12に展開された設計情報と、検証ルール展開部13に展開された設計情報検証ルールを設計検証実行部14に一つずつ与えて、設計情報の検証を実行する(ステップ107)。検証エンジン11は設計検証実行部14による検証の結果を取得すると、その結果を全体制御部1に返す。全体制御部1は受け取った検証結果を出力制御部3を通じて図示せぬ表示装置に表示して、開発者9に通知する(ステップ108)。ここで、検証においては、どのルールによるどの位置での検証でエラーが発生したかが分かるので、エラーの発生した設計情報の位置およびエラー内容を検証結果に含めて出力することができる。
Subsequently, the design
以上のように本実施形態の設計情報検証装置100によれば、設計情報の検証を、あらかじめ定義されたルールに則って自動的に、かつ個々の画面遷移に関係するユースケース、アクター、リクエスト発生画面、遷移先画面、遷移条件、リクエスト発生画面といった細かい単位で行うことができる。
As described above, according to the design
また、この実施形態の設計情報検証装置100によれば、スキーマのマッピングのための情報をベースとする表形式の設計仕様を作成することによって、設計情報のスキーマと標準スキーマとのマッピングを定義することができ、設計情報のスキーマに依存しない検証が実現される。
In addition, according to the design
なお、本発明は、上述の実施形態にのみ限定されるものではなく、本発明の要旨を逸脱しない範囲内において種々変更を加え得ることは勿論である。 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.
1・・・・全体制御部
2・・・・入力制御部
3・・・・出力制御部
4・・・・設計情報の選択・入力部
5・・・・設計情報検証部
6・・・・設計情報DB
7・・・・設計情報検証ルールDB
8・・・・設計情報メタデータDB
DESCRIPTION OF
7 ... Design information verification rule DB
8 ... Design information metadata DB
Claims (4)
前記第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.
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)
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)
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 |
-
2004
- 2004-11-12 JP JP2004329647A patent/JP4630640B2/en active Active
Patent Citations (4)
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 |