JP4338607B2 - 検証業務管理方法および検証結果解析装置 - Google Patents
検証業務管理方法および検証結果解析装置 Download PDFInfo
- Publication number
- JP4338607B2 JP4338607B2 JP2004255681A JP2004255681A JP4338607B2 JP 4338607 B2 JP4338607 B2 JP 4338607B2 JP 2004255681 A JP2004255681 A JP 2004255681A JP 2004255681 A JP2004255681 A JP 2004255681A JP 4338607 B2 JP4338607 B2 JP 4338607B2
- Authority
- JP
- Japan
- Prior art keywords
- verification
- result
- simulation
- work
- file
- 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
- 238000012795 verification Methods 0.000 title claims description 253
- 238000004458 analytical method Methods 0.000 title claims description 18
- 238000007726 management method Methods 0.000 title description 28
- 238000004088 simulation Methods 0.000 claims description 105
- 230000002159 abnormal effect Effects 0.000 claims 1
- 238000011156 evaluation Methods 0.000 description 21
- 238000000034 method Methods 0.000 description 17
- 238000004364 calculation method Methods 0.000 description 10
- 238000011161 development Methods 0.000 description 10
- 238000010586 diagram Methods 0.000 description 10
- 238000013461 design Methods 0.000 description 9
- 238000012360 testing method Methods 0.000 description 9
- 230000006870 function Effects 0.000 description 3
- 230000008569 process Effects 0.000 description 3
- 238000011002 quantification Methods 0.000 description 3
- 238000000605 extraction Methods 0.000 description 2
- 230000008901 benefit Effects 0.000 description 1
- 230000015572 biosynthetic process Effects 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 210000004247 hand Anatomy 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
- 230000007257 malfunction Effects 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 230000007246 mechanism Effects 0.000 description 1
- 238000012545 processing Methods 0.000 description 1
- 230000001737 promoting effect Effects 0.000 description 1
- 238000003786 synthesis reaction Methods 0.000 description 1
- 238000010200 validation analysis Methods 0.000 description 1
- 210000000707 wrist Anatomy 0.000 description 1
Images
Classifications
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
- Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
- Y02P90/30—Computing systems specially adapted for manufacturing
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Description
20 総数カウント手段
30 シミュレーション特定情報出力手段
101 検証項目リスト
102 シミュレーション実施装置
103 シミュレーションログファイル
104 検証設定ファイル
105 シミュレーション結果解析装置
106 検証結果カウントファイル
107 検証結果リストファイル
108 対価算出装置
Claims (1)
- 各シミュレーション毎に設定した検証項目に対して実施した検証結果と、比較対象として予め選択設定した検証正常終了または検証異常終了と一致するシミュレーションの総数の算出により前記検証結果を解析する解析手段を有する検証結果解析装置と、
前記検証結果解析装置により得られる一致するシミュレーションの総数に単価を乗じて検証業務に対する対価を算出する手段と、を有する対価算出装置と、を備えるシステム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004255681A JP4338607B2 (ja) | 2004-09-02 | 2004-09-02 | 検証業務管理方法および検証結果解析装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004255681A JP4338607B2 (ja) | 2004-09-02 | 2004-09-02 | 検証業務管理方法および検証結果解析装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2006072726A JP2006072726A (ja) | 2006-03-16 |
JP4338607B2 true JP4338607B2 (ja) | 2009-10-07 |
Family
ID=36153286
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2004255681A Expired - Fee Related JP4338607B2 (ja) | 2004-09-02 | 2004-09-02 | 検証業務管理方法および検証結果解析装置 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4338607B2 (ja) |
-
2004
- 2004-09-02 JP JP2004255681A patent/JP4338607B2/ja not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2006072726A (ja) | 2006-03-16 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US11755319B2 (en) | Code development management system | |
JP6607565B2 (ja) | セーフティクリティカルソフトウェアのための統合された自動テストケース生成 | |
JP5629239B2 (ja) | ソフトウェアの動作をテストする装置及び方法 | |
JP4846923B2 (ja) | 製品の将来のサービス事象の時期を予測する方法 | |
JP7059220B2 (ja) | 機械学習プログラム検証装置および機械学習プログラム検証方法 | |
JP2019510980A (ja) | 繰り返し交差検証を用いた相関式公差限界設定システム及びその方法 | |
CN110764999A (zh) | 自动化测试方法、装置、计算机装置及存储介质 | |
JP5200675B2 (ja) | シミュレーション装置,シミュレーション方法,シミュレーションプログラム及び同プログラムを記録したコンピュータ読取可能な記録媒体 | |
JP2013257821A (ja) | 情報処理装置及び情報処理方法及びプログラム | |
JP4338607B2 (ja) | 検証業務管理方法および検証結果解析装置 | |
US20150213169A1 (en) | Regression nearest neighbor analysis for statistical functional coverage | |
US8812341B2 (en) | Method and system for optimizing process models | |
Rashid et al. | Exploring the platform for expressing SystemVerilog assertions in model based system engineering | |
US10579761B1 (en) | Method and system for reconstructing a graph presentation of a previously executed verification test | |
TWI328196B (en) | Calculator of human reliability index-standard process, chrisp | |
WO2019142266A1 (ja) | テストケース生成装置、テストケース生成方法およびテストケース生成プログラム | |
JP4312799B2 (ja) | 信頼性評価プログラムおよび信頼性評価装置 | |
JPH0876992A (ja) | ソフトウェア品質評価管理装置及びその方法 | |
JP4866789B2 (ja) | パフォーマンス分析処理装置、パフォーマンス分析処理方法及びパフォーマンス分析処理プログラム | |
Zhang et al. | Towards ML-based Performance Estimation of Embedded Software: A RISC-V Case Study | |
WO2016163008A1 (ja) | 異常診断装置および異常診断方法 | |
CN112540930A (zh) | 一种针对软件更新的评测方法、装置以及电子设备 | |
JP5839662B2 (ja) | 納期達成条件自動検証システム | |
JP5573287B2 (ja) | プログラム自動生成装置 | |
Pham et al. | Software reliability modeling |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
RD04 | Notification of resignation of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7424 Effective date: 20060327 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20061225 |
|
RD02 | Notification of acceptance of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7422 Effective date: 20071113 |
|
RD04 | Notification of resignation of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7424 Effective date: 20071120 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20090317 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20090324 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20090511 |
|
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: 20090602 |
|
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: 20090630 |
|
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: 20120710 Year of fee payment: 3 |
|
LAPS | Cancellation because of no payment of annual fees |