JP2008077317A - 検証装置、検証プログラム、および検証方法 - Google Patents
検証装置、検証プログラム、および検証方法 Download PDFInfo
- Publication number
- JP2008077317A JP2008077317A JP2006254462A JP2006254462A JP2008077317A JP 2008077317 A JP2008077317 A JP 2008077317A JP 2006254462 A JP2006254462 A JP 2006254462A JP 2006254462 A JP2006254462 A JP 2006254462A JP 2008077317 A JP2008077317 A JP 2008077317A
- Authority
- JP
- Japan
- Prior art keywords
- verification
- verification target
- target process
- chart data
- execution
- 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.)
- Granted
Links
Images
Abstract
【解決手段】パーソナル・コンピュータ110は、制御情報141をDVDレコーダ120に送信することによって、DVDレコーダ120による検証対象処理の実行を制御する。また、パーソナル・コンピュータ110は、検証対象処理の検証結果や修正回数などをユーザが容易に把握することができるように、DVDレコーダ120から出力された実行結果情報142などに基づいて、検証対象処理の検証結果や修正回数などが示された状態遷移表、状態遷移図、シーケンス図などの図表データ144を生成する。さらに、パーソナル・コンピュータ110は、生成された図表データ144を画面表示する。
【選択図】図1
Description
(検証システムのシステム構成)
まず、この発明の実施の形態にかかる検証システムのシステム構成について説明する。図1は、この発明の実施の形態にかかる検証システムのシステム構成を示すシステム構成図である。
つぎに、この発明の実施の形態にかかるパーソナル・コンピュータ110のハードウェア構成について説明する。図2は、この発明の実施の形態にかかるパーソナル・コンピュータ110のハードウェア構成を示すブロック図である。
つぎに、この発明の実施の形態にかかるDVDレコーダ120のハードウェア構成について説明する。図3は、この発明の実施の形態にかかるDVDレコーダ120のハードウェア構成を示すブロック図である。
つぎに、この発明の実施の形態にかかるパーソナル・コンピュータ110の機能的構成について説明する。図4は、この発明の実施の形態にかかるパーソナル・コンピュータ110の機能的構成を示すブロック図である。
つぎに、この発明の実施の形態にかかるDVDレコーダ120の機能的構成について説明する。図5は、この発明の実施の形態にかかるDVDレコーダ120の機能的構成を示すブロック図である。
つぎに、検証システム100による検証処理に用いられる検証対象処理の一例について説明する。図6は、検証システム100による検証処理に用いられる検証対象処理の一例を示す説明図である。
つぎに、検証システム100による検証処理に用いられる制御情報141の一例について説明する。図7は、検証システム100による検証処理に用いられる制御情報141の一例を示す説明図である。
つぎに、検証システム100による検証処理に用いられる実行結果情報142の一例について説明する。図8は、検証システム100による検証処理に用いられる実行結果情報142の一例を示す説明図である。
つぎに、検証システム100による検証処理に用いられる修正履歴情報143の一例について説明する。図9は、検証システム100による検証処理に用いられる修正履歴情報143の一例を示す説明図である。
つぎに、この発明の実施の形態にかかるパーソナル・コンピュータ110による検証処理のうち、制御情報送信処理の手順について説明する。図10は、この発明の実施の形態にかかるパーソナル・コンピュータ110による制御情報送信処理の手順の一例を示すフローチャートである。
つぎに、この発明の実施の形態にかかるパーソナル・コンピュータ110による検証処理のうち、表示処理の手順について説明する。図11は、この発明の実施の形態にかかるパーソナル・コンピュータ110による表示処理の手順の一例を示すフローチャートである。
つぎに、この発明の実施の形態にかかるDVDレコーダ120による検証処理の手順について説明する。図12は、この発明の実施の形態にかかるDVDレコーダ120による検証処理の手順の一例を示すフローチャートである。
つぎに、生成部402によって生成された図表データ144の一例について説明する。図13〜20は、生成部402によって生成された図表データ144の一例を示す説明図である。
つぎに、選択部403によって表示範囲が選択された図表データ144の一例について説明する。図21は、選択部403によって表示範囲が選択された図表データ144の一例を示す説明図である。
110 パーソナル・コンピュータ
120 DVDレコーダ
130 通信ケーブル
141 制御情報
142 実行結果情報
143 修正履歴情報
144 図表データ
401 取得部
402 生成部
403 選択部
404 表示部
405 切替部
406 入力部
407 出力部
501 取得部
502 実行部
503 生成部
504 出力部
Claims (10)
- 検証対象処理が実行された検証対象装置から、前記検証対象処理の実行結果に関する情報を取得する取得手段と、
前記取得手段によって取得された前記検証対象処理の実行結果に関する情報に基づいて、前記検証対象処理の実行結果を示す図表データを生成する生成手段と、
前記生成手段によって生成された図表データを表示する表示手段と、
を備えたことを特徴とする検証装置。 - 前記生成手段は、
前記検証対象処理の実行前後の状態、前記検証対象処理の実行順序、前記検証対象処理の実行時間、前記検証対象処理の実行回数の少なくともいずれか一つが前記検証対象処理の実行結果として示された図表データを生成することを特徴とする請求項1に記載の検証装置。 - 前記生成手段は、
前記図表データを構成する所定の要素が前記検証対象処理の実行結果に応じた色に着色される、前記図表データを生成することを特徴とする請求項1または2に記載の検証装置。 - 前記生成手段は、
前記図表データを構成する所定の要素が前記検証対象処理の実行結果に応じた形状に変形される、前記図表データを生成することを特徴とする請求項1〜3のいずれか一つに記載の検証装置。 - 所定の選択条件に従って、前記生成手段によって生成された図表データの表示範囲を選択する選択手段をさらに備え、
前記表示手段は、
前記生成手段によって生成された図表データのうち、前記選択手段によって選択された表示範囲を表示することを特徴とする請求項1〜4のいずれか一つに記載の検証装置。 - 検証対象装置によって実行される検証対象処理の修正履歴に関する情報を取得する取得手段と、
前記取得手段によって取得された前記検証対象処理の修正履歴に関する情報に基づいて、前記検証対象処理の修正回数を示す図表データを生成する生成手段と、
前記生成手段によって生成された図表データを表示する表示手段と、
を備えたことを特徴とする検証装置。 - 検証対象処理が実行された検証対象装置から、前記検証対象処理の実行結果に関する情報を取得させる取得工程と、
前記取得工程によって取得された前記検証対象処理の実行結果に関する情報に基づいて、前記検証対象処理の実行結果を示す図表データを生成させる生成工程と、
前記生成工程によって生成された図表データを表示させる表示工程と、
を検証装置に実行させることを特徴とする検証プログラム。 - 検証対象装置によって実行される検証対象処理の修正履歴に関する情報を取得させる取得工程と、
前記取得工程によって取得された前記検証対象処理の修正履歴に関する情報に基づいて、前記検証対象処理の修正回数を示す図表データを生成させる生成工程と、
前記生成工程によって生成された図表データを表示させる表示工程と、
を検証装置に実行させることを特徴とする検証プログラム。 - 検証装置を用いて検証対象処理の検証をおこなう検証方法において、
前記検証対象処理が実行された検証対象装置から、前記検証対象処理の実行結果に関する情報を取得する取得工程と、
前記取得工程によって取得された前記検証対象処理の実行結果に関する情報に基づいて、前記検証対象処理の実行結果を示す図表データを生成する生成工程と、
前記生成工程によって生成された図表データを表示する表示工程と、
を検証装置に実行させることを特徴とする検証方法。 - 検証装置を用いて検証対象処理の検証をおこなう検証方法において、
前記検証対象処理の修正履歴に関する情報を取得させる取得工程と、
前記取得工程によって取得された前記検証対象処理の修正履歴に関する情報に基づいて、前記検証対象処理の修正回数を示す図表データを生成させる生成工程と、
前記生成工程によって生成された図表データを表示させる表示工程と、
を検証装置に実行させることを特徴とする検証方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006254462A JP4747060B2 (ja) | 2006-09-20 | 2006-09-20 | 検証装置、検証プログラム、および検証方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006254462A JP4747060B2 (ja) | 2006-09-20 | 2006-09-20 | 検証装置、検証プログラム、および検証方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2008077317A true JP2008077317A (ja) | 2008-04-03 |
JP4747060B2 JP4747060B2 (ja) | 2011-08-10 |
Family
ID=39349317
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2006254462A Expired - Fee Related JP4747060B2 (ja) | 2006-09-20 | 2006-09-20 | 検証装置、検証プログラム、および検証方法 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4747060B2 (ja) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2011145966A (ja) * | 2010-01-18 | 2011-07-28 | Yamato Scale Co Ltd | Cpu内蔵装置 |
WO2015159400A1 (ja) * | 2014-04-16 | 2015-10-22 | 株式会社アイ・エル・シー | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム |
JP2019050046A (ja) * | 2018-11-29 | 2019-03-28 | 株式会社アイ・エル・シー | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム |
Citations (15)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04137137A (ja) * | 1990-09-28 | 1992-05-12 | Toshiba Corp | ソフトウェア開発の進捗状況表示方法 |
JPH05324403A (ja) * | 1992-05-26 | 1993-12-07 | Hitachi Ltd | ソフトウェア設計仕様の検証充分性評価方式 |
JPH06342353A (ja) * | 1993-05-31 | 1994-12-13 | Sanyo Electric Co Ltd | 情報処理装置 |
JPH07129430A (ja) * | 1993-11-02 | 1995-05-19 | Fujitsu Ltd | プログラムの試験方法 |
JPH07168709A (ja) * | 1993-12-15 | 1995-07-04 | Nec Corp | プログラムジェネレータ利用仕様シミュレーション方法およびその装置 |
JPH1063491A (ja) * | 1996-08-22 | 1998-03-06 | Nec Corp | プログラム開発支援装置および方法 |
JPH11232136A (ja) * | 1998-02-17 | 1999-08-27 | Ricoh Co Ltd | オブジェクト指向ソフトウエア開発支援装置 |
JPH11338700A (ja) * | 1998-05-27 | 1999-12-10 | Fujitsu Ltd | 設計情報解析装置および記録媒体 |
JP2003030007A (ja) * | 2001-07-13 | 2003-01-31 | Mitsubishi Electric Corp | プログラム開発支援システム及び、プログラム開発支援方法及び、プログラム開発支援プログラムを記録したコンピュータ読み取り可能な記録媒体及び、プログラム開発支援プログラム |
JP2003316603A (ja) * | 2002-04-24 | 2003-11-07 | Matsushita Electric Ind Co Ltd | プログラム検証システム |
JP2004110274A (ja) * | 2002-09-17 | 2004-04-08 | Ricoh Co Ltd | オブジェクト指向ソフトウェア開発支援装置、プログラム及び該プログラムを記録した記録媒体 |
JP2004348473A (ja) * | 2003-05-22 | 2004-12-09 | Hitachi Ltd | 状態遷移検証方法及び検証装置 |
JP2005100068A (ja) * | 2003-09-24 | 2005-04-14 | Matsushita Electric Ind Co Ltd | ソフトウェア自動検証システム |
JP2005166010A (ja) * | 2003-11-11 | 2005-06-23 | Matsushita Electric Ind Co Ltd | プログラム検証システムおよびプログラム検証システム制御用コンピュータプログラム |
JP2006113696A (ja) * | 2004-10-12 | 2006-04-27 | Internatl Business Mach Corp <Ibm> | 観測装置、観測方法、及びプログラム |
-
2006
- 2006-09-20 JP JP2006254462A patent/JP4747060B2/ja not_active Expired - Fee Related
Patent Citations (15)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04137137A (ja) * | 1990-09-28 | 1992-05-12 | Toshiba Corp | ソフトウェア開発の進捗状況表示方法 |
JPH05324403A (ja) * | 1992-05-26 | 1993-12-07 | Hitachi Ltd | ソフトウェア設計仕様の検証充分性評価方式 |
JPH06342353A (ja) * | 1993-05-31 | 1994-12-13 | Sanyo Electric Co Ltd | 情報処理装置 |
JPH07129430A (ja) * | 1993-11-02 | 1995-05-19 | Fujitsu Ltd | プログラムの試験方法 |
JPH07168709A (ja) * | 1993-12-15 | 1995-07-04 | Nec Corp | プログラムジェネレータ利用仕様シミュレーション方法およびその装置 |
JPH1063491A (ja) * | 1996-08-22 | 1998-03-06 | Nec Corp | プログラム開発支援装置および方法 |
JPH11232136A (ja) * | 1998-02-17 | 1999-08-27 | Ricoh Co Ltd | オブジェクト指向ソフトウエア開発支援装置 |
JPH11338700A (ja) * | 1998-05-27 | 1999-12-10 | Fujitsu Ltd | 設計情報解析装置および記録媒体 |
JP2003030007A (ja) * | 2001-07-13 | 2003-01-31 | Mitsubishi Electric Corp | プログラム開発支援システム及び、プログラム開発支援方法及び、プログラム開発支援プログラムを記録したコンピュータ読み取り可能な記録媒体及び、プログラム開発支援プログラム |
JP2003316603A (ja) * | 2002-04-24 | 2003-11-07 | Matsushita Electric Ind Co Ltd | プログラム検証システム |
JP2004110274A (ja) * | 2002-09-17 | 2004-04-08 | Ricoh Co Ltd | オブジェクト指向ソフトウェア開発支援装置、プログラム及び該プログラムを記録した記録媒体 |
JP2004348473A (ja) * | 2003-05-22 | 2004-12-09 | Hitachi Ltd | 状態遷移検証方法及び検証装置 |
JP2005100068A (ja) * | 2003-09-24 | 2005-04-14 | Matsushita Electric Ind Co Ltd | ソフトウェア自動検証システム |
JP2005166010A (ja) * | 2003-11-11 | 2005-06-23 | Matsushita Electric Ind Co Ltd | プログラム検証システムおよびプログラム検証システム制御用コンピュータプログラム |
JP2006113696A (ja) * | 2004-10-12 | 2006-04-27 | Internatl Business Mach Corp <Ibm> | 観測装置、観測方法、及びプログラム |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2011145966A (ja) * | 2010-01-18 | 2011-07-28 | Yamato Scale Co Ltd | Cpu内蔵装置 |
WO2015159400A1 (ja) * | 2014-04-16 | 2015-10-22 | 株式会社アイ・エル・シー | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム |
JPWO2015159400A1 (ja) * | 2014-04-16 | 2017-04-13 | 株式会社アイ・エル・シー | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム |
JP2019050046A (ja) * | 2018-11-29 | 2019-03-28 | 株式会社アイ・エル・シー | シーケンス図作成装置、シーケンス図作成方法およびシーケンス図作成プログラム |
Also Published As
Publication number | Publication date |
---|---|
JP4747060B2 (ja) | 2011-08-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN101676868B (zh) | 图像处理装置和图像处理方法 | |
JP3853827B1 (ja) | スプレッドシートのセル内範囲グラフ表示方法 | |
CN107368267A (zh) | 信息处理装置以及信息处理方法 | |
JP4747060B2 (ja) | 検証装置、検証プログラム、および検証方法 | |
JP4922769B2 (ja) | 情報処理装置、情報処理方法、情報処理プログラム | |
JP2007011532A (ja) | 操作手順書の自動生成装置 | |
JP2008077316A (ja) | 検証装置、検証プログラム、および検証方法 | |
JP4747034B2 (ja) | 検証シナリオ作成プログラム、記録媒体、検証シナリオ作成装置および検証シナリオ作成方法 | |
US7911466B2 (en) | Method and apparatus for editing timing diagram, and computer product | |
JP2007066077A (ja) | Gui生成方法、gui生成装置、コンピュータプログラム及び記憶媒体 | |
JPWO2010140240A1 (ja) | プロセス設計プログラム、プロセス設計装置およびプロセス設計方法 | |
JP5330714B2 (ja) | 検索支援装置、および検索支援プログラム | |
US8045243B2 (en) | Method, apparatus, and program for generating synthesized images | |
JP2010009167A (ja) | 画面表示装置、画面表示方法及び画面表示プログラム | |
JP2011053725A (ja) | 表の表示装置、表の表示方法および表の表示制御プログラム | |
JP2010082330A (ja) | 情報処理装置、その表示方法及びプログラム | |
JP4727623B2 (ja) | Gui画面設計支援プログラム、gui画面設計支援方法、およびgui画面設計支援装置 | |
JP2008022151A (ja) | 検証装置、リモコン装置、検証方法、および該方法をコンピュータに実行させるプログラム | |
JP4619941B2 (ja) | 信号パターン作成装置 | |
JP5023001B2 (ja) | 編集装置、編集方法及びプログラム | |
KR101423234B1 (ko) | 전자칠판용 판서프로그램의 메뉴버튼 생성 및 실시간 크기 변환방법 | |
JP4167586B2 (ja) | 文書処理装置、文書処理方法および文書処理プログラム | |
JP2007257375A (ja) | 遅延解析プログラム、記録媒体、遅延解析方法、および遅延解析装置 | |
JP2006236041A (ja) | 情報処理装置およびプログラム | |
JP4042839B2 (ja) | データ処理システム及び方法並びにコンピュータプログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20090529 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20090623 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20090824 |
|
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: 20101207 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110307 |
|
A911 | Transfer of reconsideration by examiner before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20110310 |
|
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: 20110426 |
|
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: 20110516 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20140520 Year of fee payment: 3 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 4747060 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
LAPS | Cancellation because of no payment of annual fees |