JP5225553B2 - テストケース抽出装置、テストケース抽出プログラム、テストケース抽出プログラムが格納された記憶媒体およびテストケース抽出方法 - Google Patents
テストケース抽出装置、テストケース抽出プログラム、テストケース抽出プログラムが格納された記憶媒体およびテストケース抽出方法 Download PDFInfo
- Publication number
- JP5225553B2 JP5225553B2 JP2006113083A JP2006113083A JP5225553B2 JP 5225553 B2 JP5225553 B2 JP 5225553B2 JP 2006113083 A JP2006113083 A JP 2006113083A JP 2006113083 A JP2006113083 A JP 2006113083A JP 5225553 B2 JP5225553 B2 JP 5225553B2
- Authority
- JP
- Japan
- Prior art keywords
- state
- test case
- information
- function
- test
- 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.)
- Expired - Fee Related
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
Description
図1を参照して、一般的なソフトウェアの開発工程について説明する。まず、製品開発者によって、製品に要求される機能、および性能が分析される(S1200)。ここで、製品に対する要求が明文化され、製品の仕様を記述した状態遷移モデルが作成される。その仕様に基づいて、製品の仕様を満たすためのシステムの基本設計を行なう(S1202)。次いで、そのシステムを制御するためのソフトウェアの詳細設計を行ない(S1204)、実装する(S1206)。
図2を参照して、テストケース抽出装置1の構成について説明する。
図3を参照して、CPU120の機能的構成を説明する。
図4を参照して、状態遷移情報について説明する。
図5を参照して、機能完成情報について説明する。
図6を参照して、テストケース情報について説明する。
図8は、図4に示す状態遷移情報に基づいて作成した有向グラフを示した図である。
有向グラフは、状態に対応する頂点と、遷移の様子を向きによって示す辺とから構成される。たとえば、頂点700は、図4におけるID00の状態に対応する。頂点702,704,706,708,710,712,714,716に対しても同様である。辺730は、遷移前の状態を示す頂点700を始点、遷移後の状態を示す頂点702を終点とする。
図11は、図4に示す状態遷移情報のうち、遷移可能な状態のみで構成された状態遷移情報を示す図である。
図12は、図6に示すテストケース情報のうち、テスト可能なテストケース情報を示した図である。
Claims (7)
- 対象物を制御するためのソフトウェアの開発段階において、前記対象物が設計仕様を満足しているかを検証するためテストケースを抽出するための抽出装置であって、
前記ソフトウェアは複数の部品を含み、
前記対象物の取り得る状態と、発生したイベントに対して前記取り得る状態が遷移する先の状態とが予め関連付けられた情報、および前記対象物の取り得る状態のうちの前記対象物の動作初期状態を含む、前記対象物の設計仕様に基づく第1の状態遷移情報を記憶するための状態遷移情報記憶部と、
前記ソフトウェアの開発段階において、前記対象物の機能ごとに、当該機能に属する前記取り得る状態および前記対象物の機能を実現するための前記部品の前記設計仕様に基づく開発が完了したか否かを示す機能完成情報を記憶するための機能完成情報記憶部と、
前記第1の状態遷移情報の中から、前記機能完成情報に基づき、前記開発の完了状況において前記動作初期状態から遷移可能な状態で構成される第2の状態遷移情報を生成するための状態遷移情報再構成部と、
前記対象物が前記設計仕様を満足しているかを検証するために予め設定されている情報であるテストケースごとに、前記第1の状態遷移情報に基づくテストケース情報を記憶するためのテストケース情報記憶部と、
前記開発段階においてテスト可能なテストケース情報を、前記テストケース情報記憶部から抽出するためのテストケース抽出部とを備え、
前記テストケース情報は、前記テストケースの開始時点における前記対象物の状態を示すテスト開始状態から、前記テストケースにおいて発生した前記イベントによって前記対象物が遷移する最終到達状態までの状態の系列として、前記テスト開始状態から前記最終到達状態までの取り得る状態の遷移を特定する情報を含み、
前記状態遷移情報再構成部は、
前記第1の状態遷移情報に含まれる前記取り得る状態の中から、前記機能完成情報に基づき、未完成の前記ソフトウェアの部品と対応する前記対象物の機能に属する前記取り得る状態を削除し、完成した機能に属する前記取り得る状態のみに基づく状態遷移情報を生成するための手段と、
前記完成した機能に属する前記取り得る状態のみに基づく状態遷移情報の中から、前記動作初期状態から到達可能な前記取り得る状態を抽出するための手段とを含み、
前記テストケース抽出部は、前記テストケース情報記憶部に記憶されるテストケース情報の中から、前記テスト開始状態から前記最終到達状態まで順に遷移するすべての取り得る状態が、前記状態遷移情報再構成部によって前記動作初期状態から到達可能として抽出された前記取り得る状態であるテストケース情報を、テスト可能なテストケース情報として抽出する、テストケース抽出装置。 - ユーザが、前記設計仕様の変更に応じて、前記状態遷移情報記憶部に記憶された前記状態遷移情報を書き換えるための手段をさらに備える、請求項1記載のテストケース抽出装置。
- 前記ユーザが、前記開発の完了状況の変更に応じて、前記機能完成情報記憶部に記憶された前記機能完成情報を書き換えるための手段をさらに備える、請求項1記載のテストケース抽出装置。
- 前記ユーザが、前記テストケースの変更に応じて、前記テストケース情報記憶部に記憶された前記テストケース情報を書き換えるための手段をさらに備える、請求項1記載のテストケース抽出装置。
- 対象物が設計仕様を満足しているかを検証するために予め設定されている第1のテストケースの中から、前記対象物を制御するためのソフトウェアの開発段階において実行可能な第2のテストケースを抽出する処理を、演算部および記憶部を有するコンピュータに実行させるためのプログラムであって、
前記ソフトウェアは複数の部品を含み、
前記演算部が、前記対象物の取り得る状態と、発生したイベントに対して前記取り得る状態が遷移する先の状態とが予め関連付けられた情報、および前記対象物の取り得る状態のうちの前記対象物の動作初期状態を含む、前記対象物の設計仕様に基づく第1の状態遷移情報を前記記憶部から読み込むステップと、
前記演算部が、前記開発段階において、前記対象物の機能ごとに、当該機能に属する前記取り得る状態および前記対象物の機能を実現するための前記部品の前記設計仕様に基づく開発が完了したか否かを示す機能完成情報を前記記憶部から読み込むステップと、
前記演算部が、前記第1の状態遷移情報の中から、前記機能完成情報に基づき、前記開発の完了状況において前記動作初期状態から遷移可能な状態で構成される第2の状態遷移情報を生成するステップと、
前記演算部が、前記第1のテストケースごとに、前記第1の状態遷移情報に基づく第1のテストケース情報を前記記憶部から読み込むステップと、
前記演算部が、前記開発段階においてテスト可能なテストケース情報を、前記読み込まれた第1のテストケース情報から第2のテストケース情報として抽出するステップとを備え、
前記第1のテストケース情報は、前記第1のテストケースの開始時点における前記対象物の状態を示すテスト開始状態から、前記第1のテストケースにおいて発生した前記イベントによって前記対象物が遷移する最終到達状態までの状態の系列として、前記テスト開始状態から前記最終到達状態までの取り得る状態の遷移を特定する情報を含み、
前記第2の状態遷移情報を生成するステップは、
前記第1の状態遷移情報に含まれる前記取り得る状態の中から、前記機能完成情報に基づき、未完成の前記ソフトウェアの部品と対応する前記対象物の機能に属する前記取り得る状態を削除し、完成した機能に属する前記取り得る状態のみに基づく状態遷移情報を生成するステップと、
前記完成した機能に属する前記取り得る状態のみに基づく状態遷移情報の中から、前記動作初期状態から到達可能な前記取り得る状態を抽出するステップとを含み、
前記第2のテストケース情報を抽出するステップでは、前記記憶部に記憶される第1のテストケース情報の中から、前記テスト開始状態から前記最終到達状態まで順に遷移するすべての取り得る状態が、前記第2の状態遷移情報を生成するステップによって前記動作初期状態から到達可能として抽出された前記取り得る状態であるテストケース情報を、テスト可能な第2のテストケース情報として抽出する、テストケース抽出プログラム。 - 請求項5記載のテストケース抽出プログラムを格納したコンピュータ読み取り可能な記憶媒体。
- 対象物が設計仕様を満足しているかを検証するために予め設定されている第1のテストケースの中から、前記対象物を制御するためのソフトウェアの開発段階において実行可能な第2のテストケースを抽出する方法であって、
前記ソフトウェアは複数の部品を含み、
前記対象物の取り得る状態と、発生したイベントに対して前記取り得る状態が遷移する先の状態とが予め関連付けられた情報、および前記対象物の取り得る状態のうちの前記対象物の動作初期状態を含む、前記対象物の設計仕様に基づく第1の状態遷移情報を読み込むステップと、
前記開発段階において、前記対象物の機能ごとに、当該機能に属する前記取り得る状態および前記対象物の機能を実現するための前記部品の前記設計仕様に基づく開発が完了したか否かを示す機能完成情報を読み込むステップと、
前記第1の状態遷移情報の中から、前記機能完成情報に基づき、前記開発の完了状況において前記動作初期状態から遷移可能な状態で構成される第2の状態遷移情報を生成するステップと、
前記第1のテストケースごとに、前記第1の状態遷移情報に基づく第1のテストケース情報を読み込むステップと、
前記開発段階においてテスト可能なテストケース情報を、前記読み込まれた第1のテストケース情報から第2のテストケース情報として抽出するステップとを備え、
前記第1のテストケース情報は、前記第1のテストケースの開始時点における前記対象物の状態を示すテスト開始状態から、前記第1のテストケースにおいて発生した前記イベントによって前記対象物が遷移する最終到達状態までの状態の系列として、前記テスト開始状態から前記最終到達状態までの取り得る状態の遷移を特定する情報を含み、
前記第2の状態遷移情報を生成するステップは、
前記第1の状態遷移情報に含まれる前記取り得る状態の中から、前記機能完成情報に基づき、未完成の前記ソフトウェアの部品と対応する前記対象物の機能に属する前記取り得る状態を削除し、完成した機能に属する前記取り得る状態のみに基づく状態遷移情報を生成するステップと、
前記完成した機能に属する前記取り得る状態のみに基づく状態遷移情報の中から、前記動作初期状態から到達可能な前記取り得る状態を抽出するステップとを含み、
前記第2のテストケース情報を抽出するステップでは、前記読み込まれた第1のテストケース情報の中から、前記テスト開始状態から前記最終到達状態まで順に遷移するすべての取り得る状態が、前記第2の状態遷移情報を生成するステップによって前記動作初期状態から到達可能として抽出された前記取り得る状態であるテストケース情報を、テスト可能な第2のテストケース情報として抽出する、テストケース抽出方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006113083A JP5225553B2 (ja) | 2006-04-17 | 2006-04-17 | テストケース抽出装置、テストケース抽出プログラム、テストケース抽出プログラムが格納された記憶媒体およびテストケース抽出方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006113083A JP5225553B2 (ja) | 2006-04-17 | 2006-04-17 | テストケース抽出装置、テストケース抽出プログラム、テストケース抽出プログラムが格納された記憶媒体およびテストケース抽出方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2007286871A JP2007286871A (ja) | 2007-11-01 |
JP5225553B2 true JP5225553B2 (ja) | 2013-07-03 |
Family
ID=38758585
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2006113083A Expired - Fee Related JP5225553B2 (ja) | 2006-04-17 | 2006-04-17 | テストケース抽出装置、テストケース抽出プログラム、テストケース抽出プログラムが格納された記憶媒体およびテストケース抽出方法 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5225553B2 (ja) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP5120565B2 (ja) * | 2009-02-20 | 2013-01-16 | 三菱自動車工業株式会社 | ソフトウェア試験方法 |
JP7327471B2 (ja) * | 2019-05-09 | 2023-08-16 | 日本電信電話株式会社 | テスト装置、テスト方法及びプログラム |
-
2006
- 2006-04-17 JP JP2006113083A patent/JP5225553B2/ja not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2007286871A (ja) | 2007-11-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
TWI510915B (zh) | Computer automated test system and test methods, recording media and program products | |
US20070214173A1 (en) | Program, method, and apparatus for supporting creation of business process model diagram | |
CN100428143C (zh) | 顺序程序的编辑装置 | |
JP4395761B2 (ja) | プログラムテスト支援装置およびその方法 | |
JP2012221380A (ja) | 自動プログラム生成装置、方法及びコンピュータプログラム | |
JP2008310663A (ja) | 仕様検証プログラム、該プログラムを記録したコンピュータに読み取り可能な記録媒体、仕様検証装置、および仕様検証方法 | |
JP2007025497A (ja) | 教育支援プログラムおよび教育支援装置 | |
JP2000112784A (ja) | プログラムテスト支援装置及びプログラムテスト支援プログラムを記録した記録媒体 | |
JP5225553B2 (ja) | テストケース抽出装置、テストケース抽出プログラム、テストケース抽出プログラムが格納された記憶媒体およびテストケース抽出方法 | |
JPH10275093A (ja) | プログラムテスト支援装置 | |
JP5366412B2 (ja) | コールフロー作成システム、方法及びプログラム | |
JP4215255B2 (ja) | デグレード確認検査方法、デグレード確認検査システム、およびそのためのプログラム | |
Freeman | Toward improved review of software designs | |
JP4625432B2 (ja) | 操作部品データ作成装置 | |
JP4672532B2 (ja) | オペレータ擬似システムおよびオペレータ擬似方法 | |
JP2008293382A (ja) | テスト仕様自動生成方式 | |
US8346560B2 (en) | Dialog design apparatus and method | |
JP2002014845A (ja) | テスト・スクリプト部品の自動生成方法および装置 | |
KR20190084827A (ko) | 프로그램 호환성 자동테스트 방법 및 이를 이용하는 장치 | |
JP2010198479A (ja) | アプリケーションのテスト自動実行システム | |
TWI393897B (zh) | 整合測試方法及其系統 | |
JP2007328447A (ja) | ソフトウェア試験項目選択装置、ソフトウェア試験項目選択プログラム、ソフトウェア試験項目選択プログラムが格納された記憶媒体およびソフトウェア試験項目選択方法 | |
JP4781163B2 (ja) | 設計検証装置、設計検証プログラム、および設計検証プログラムを記録する記録媒体 | |
JP6827610B1 (ja) | 開発支援装置、プログラム及び開発支援方法 | |
JP4946588B2 (ja) | 検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20080806 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20100604 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20100622 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20100823 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20110201 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110329 |
|
A911 | Transfer of reconsideration by examiner before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20110401 |
|
A912 | Removal of reconsideration by examiner before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A912 Effective date: 20110428 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20130313 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20160322 Year of fee payment: 3 |
|
LAPS | Cancellation because of no payment of annual fees |