JPWO2018142477A1 - 要求分析装置、要求分析方法および要求分析プログラム - Google Patents
要求分析装置、要求分析方法および要求分析プログラム Download PDFInfo
- Publication number
- JPWO2018142477A1 JPWO2018142477A1 JP2018565117A JP2018565117A JPWO2018142477A1 JP WO2018142477 A1 JPWO2018142477 A1 JP WO2018142477A1 JP 2018565117 A JP2018565117 A JP 2018565117A JP 2018565117 A JP2018565117 A JP 2018565117A JP WO2018142477 A1 JPWO2018142477 A1 JP WO2018142477A1
- Authority
- JP
- Japan
- Prior art keywords
- requirement
- relationship
- item
- items
- analysis
- 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
- 238000004458 analytical method Methods 0.000 title claims abstract description 177
- 238000000034 method Methods 0.000 claims description 59
- 238000012545 processing Methods 0.000 claims description 52
- 239000000284 extract Substances 0.000 claims description 7
- 238000000605 extraction Methods 0.000 description 50
- 230000008569 process Effects 0.000 description 50
- 238000012360 testing method Methods 0.000 description 40
- 230000008859 change Effects 0.000 description 25
- 230000006870 function Effects 0.000 description 18
- 238000010586 diagram Methods 0.000 description 9
- 230000006872 improvement Effects 0.000 description 8
- 238000004891 communication Methods 0.000 description 7
- 238000011156 evaluation Methods 0.000 description 6
- 238000009795 derivation Methods 0.000 description 5
- 238000012098 association analyses Methods 0.000 description 4
- 238000012986 modification Methods 0.000 description 4
- 230000004048 modification Effects 0.000 description 4
- 238000013461 design Methods 0.000 description 2
- 238000007670 refining Methods 0.000 description 2
- 230000006399 behavior Effects 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 238000010230 functional analysis Methods 0.000 description 1
- 238000011835 investigation Methods 0.000 description 1
- 239000004973 liquid crystal related substance Substances 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 239000002245 particle Substances 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
- 230000000007 visual effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/28—Databases characterised by their database models, e.g. relational or object models
- G06F16/284—Relational databases
- G06F16/285—Clustering or classification
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/26—Functional testing
- G06F11/263—Generation of test inputs, e.g. test vectors, patterns or sequences ; with adaptation of the tested hardware for testability with external testers
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/22—Indexing; Data structures therefor; Storage structures
- G06F16/2228—Indexing structures
- G06F16/2272—Management thereof
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computing arrangements using knowledge-based models
- G06N5/04—Inference or reasoning models
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Databases & Information Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Data Mining & Analysis (AREA)
- Software Systems (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Artificial Intelligence (AREA)
- Computational Linguistics (AREA)
- Evolutionary Computation (AREA)
- Computing Systems (AREA)
- Mathematical Physics (AREA)
- Debugging And Monitoring (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
Description
特許文献2に開示された手法では、試験項目の詳細化を行い、システムの挙動要素を最小単位に分割することで、試験項目の抜け漏れおよび重複を削減することを可能とする。
前記項目関係情報に表された前記要求項目間の関係に基づいて、前記複数の要求項目をグループに分類する関係分析部と、
前記要求項目間の関係と、前記複数の要求項目の各要求項目と前記複数のサブシステムの各サブシステムとの関係とに基づいて、前記複数の要求項目の各要求項目から関係を辿ることにより到達するサブシステムの数を抽出するサブシステム分析部と、
前記複数の要求項目の要求項目ごとに、前記要求項目が分類されたグループを識別する識別子と前記要求項目から関係を辿ることにより到達するサブシステムの数とを設定した分析結果情報を表示する結果表示部とを備えた。
(A)包含の関係にある複数の項目をグループ化する指標。システムの評価試験では、試験の工数を削減するため、包含関係にあり、重複する内容があると考えられる複数の項目を一部の項目に絞り込んで試験を実施することが望ましい。絞り込む方法としては、様々な方法が考えられる。具体例としては、論理性の観点における試験では、抽象度の低い項目に絞り込むことが考えられる。また、ユーザビリティの観点における試験では、抽象度の高い項目に絞り込むことが考えられる。さらに、グループ化することによって、システム全体を俯瞰的に捉えることができ、項目の抜け漏れを発見しやすくなる。
(B)項目に対する試験を実施する試験フェーズを判断するための指標。システムの評価においては、各項目の粒度に応じ、試験フェーズを分けて試験を実施することが一般的である。このとき、試験フェーズ間の役割分担が曖昧な場合、試験フェーズ間において試験項目の抜け漏れあるいは重複が発生しやすい。特に、複数のサブシステムが関連する複合的システムの試験を実施する場合、システム全体の評価試験と各サブシステムの評価試験との間の役割分担が不明確であり、試験項目の抜け漏れあるいは重複が懸念される。これを避けるため、個々の試験フェーズ毎に項目を考えるのではなく、システム全体に求められる要求項目を抽出した後、各要求項目を、各サブシステムの評価試験において評価する要求項目と、システム全体の評価試験において評価する要求項目に分類して考える。
***構成の説明***
図1を用いて、本実施の形態に係る要求分析装置100の構成について説明する。
図1に示すように、要求分析装置100は、コンピュータである。要求分析装置100は、プロセッサ910、記憶装置920、入力インタフェース930、および出力インタフェース940といったハードウェアを備える。記憶装置920は、メモリ921と補助記憶装置922とを有する。プロセッサ910は、信号線を介して他のハードウェアと接続され、これら他のハードウェアを制御する。
包含分析部111と下位包含探索部112とグループ名変更部113と最上位抽出部114と最下位抽出部115と関連分析部121と関連性探索部122と結果表示部140との機能は、ソフトウェアで実現される。
記憶部130は、メモリ921により実現される。記憶部130には、入力インタフェース930を介して入力された項目関係情報20が記憶される。また、記憶部130には、プロセッサ910に要求項目関係の分析結果である分析結果情報30が記憶される。なお、記憶部130は、メモリ921および補助記憶装置922により実現されていてもよい。あるいは、記憶部130は、補助記憶装置922のみで実現されてもよい。記憶部130の実現方法は任意である。
補助記憶装置922は、データを保管する記憶機器である。補助記憶装置922は、具体例としては、HDD(Hard Disk Drive)である。また、補助記憶装置922は、SD(登録商標)(Secure Digital)メモリカード、CF(CompactFlash)、NANDフラッシュ、フレキシブルディスク、光ディスク、コンパクトディスク、ブルーレイ(登録商標)ディスク、DVD(Digital Versatile Disk)といった可搬記憶媒体であってもよい。
出力インタフェース940は、ディスプレイといった表示機器のケーブルが接続されるポートである。出力インタフェース940は、具体例としては、USB端子またはHDMI(登録商標)端子である。ディスプレイは、具体例としては、LCD(Liquid Crystal Display)である。
図2および図3を用いて、本実施の形態に係る項目関係情報20について説明する。
項目関係情報20は、図にまとめられた要求項目である。項目関係情報20としては、モデリング言語SysMLの要求図といった要求項目間の関係性を図あるいはダイヤグラムで表す方式が知られている。本実施の形態では、具体的な試験項目を機械的に決定するための指標として、試験対象を絞り込むための指標あるいは試験フェーズを判断するための指標を定量的に算出することを目的としている。
図2および図3に示すように、項目関係情報20は、要求項目301と、サブシステム302と、要求項目間の関係を表す包含関係303および導出関係304と、要求項目とサブシステム間の関係を表す充足関係305とを備える。
導出関係304は、親要求項目306と呼ばれる片方の要求項目301を達成する手段として、子要求項目307と呼ばれるもう片方の要求項目301を導出可能であること図示した関係である。
充足関係305は、親要求項目306と呼ばれる要求項目301を充足させるために子サブシステム308と呼ばれるサブシステム302を用いることを図示した関係である。
親要求項目と、子要求項目あるいは子サブシステムとの関係は、親子関係あるいは上下関係である。親要求項目は、上位要求項目ともいう。子要求項目は、下位要求項目ともいう。子サブシステムは、下位サブシステムともいう。
図4を用いて、本実施の形態に係る要求分析装置100の要求分析方法520および要求分析プログラム510の要求分析処理S100について説明する。
要求分析処理S100において、要求分析装置100は、要求図である項目関係情報20を分析する。要求分析処理S100は、関係分析処理S10とサブシステム分析処理S20と結果表示処理S30とを有する。
関係分析処理S10は、包含分析部111による包含分析処理S11と、下位包含探索部112による下位包含探索処理S12と、グループ名変更部113によるグループ名変更処理S13と、最上位抽出部114による最上位抽出処理S14と、最下位抽出部115による最下位抽出処理S15とを有する。
図7を用いて、本実施の形態に係る下位包含探索処理S12について説明する。下位包含探索処理S12は、与えられた要求項目に対して直接的または間接的に包含関係を持つ子要求項目を抽出し、探索するルーチンである。
図8を用いて、本実施の形態に係るグループ名変更処理S13について説明する。グループ名変更処理S13は、要求項目が持つグループ名を変更するルーチンである。
図9を用いて、本実施の形態に係る最上位抽出処理S14について説明する。最上位抽出処理S14は、グループ内において最上位となる要求項目を抽出するルーチンである。
図10を用いて、本実施の形態に係る最下位抽出処理S15について説明する。最下位抽出処理S15は、グループ内において最下位となる要求項目を抽出するルーチンである。
ステップS801からステップS802において、包含分析部111は、i番目の要求項目に対して、下位包含探索処理S12を実行する。包含分析部111は、iが項目関係情報20に含まれる要求項目301の総数になるまで、ステップS801からステップS802の処理を繰り返す。
iが要求項目301の総数を超えると、ステップS803において、包含分析部111は、最上位抽出処理S14を実行する。次に、ステップS804において、包含分析部111は、最下位抽出処理S15を実行する。
ステップS901において、下位包含探索部112は、与えられた要求項目301が調査済みであるかを確認し、調査済みであったら処理を終了する。
下位包含探索部112は、与えられた要求項目301が調査済みでない場合、与えられた要求項目301と包含関係を持つ子要求項目の各々についてステップS902からステップS904の処理を繰り返す。
ステップS903において、下位包含探索部112は、与えられた要求項目301を親要求項目306とした包含関係303を持つ子要求項目307に対し、グループ名変更処理S13を実行する。具体的には、下位包含探索部112は、与えられた要求項目301を親要求項目306とした包含関係303を持つ子要求項目307のうちi番目の要求項目に対し、変更前のグループ名を子要求項目307のグループ名702とし、変更後のグループ名を親要求項目306のグループ名702として、グループ名変更処理S13を実行する。つまり、「変更前のグループ名」および「変更後のグループ名」は、「グループ名変更処理S13」に入力するパラメータである。
ステップS904において、下位包含探索部112は、与えられた要求項目301を親要求項目306とした包含関係303を持つ子要求項目307に対し、下位包含探索処理S12を再帰実行する。具体的には、下位包含探索部112は、与えられた要求項目301を親要求項目306とした包含関係303を持つ子要求項目307のうちi番目の要求項目に対し、下位包含探索処理S12を実行する。
iが与えられた要求項目301と包含関係を持つ子要求項目307の総数を超えると、ステップS905において、下位包含探索部112は、与えられた要求項目301を調査済みとする。
ステップS001からステップS003において、グループ名変更部113は、存在する全ての要求項目301に対し、グループ名702が変更前のグループ名と一致する場合、グループ名702を変更後のグループ名に変更する。
<最上位抽出処理S14>
ステップS011において、最上位抽出部114は、存在する全ての要求項目301について、ステップS012からステップS013を繰り返す。
ステップS012において、最上位抽出部114は、i番目の要求項目301を子要求項目307とした包含関係303を持つ親要求項目306が存在するかを判定する。存在しない場合、ステップS013において、最上位抽出部114は、要求項目301における最上位要求項目フラグ703をオンにする。存在する場合、処理はステップS011に戻る。
ステップS021において、最下位抽出部115は、存在する全ての要求項目301について、ステップS022からステップS023を繰り返す。
ステップS022において、最下位抽出部115は、i番目の要求項目301を親要求項目306とした包含関係303を持つ子要求項目307が存在するかを判定する。存在しない場合、ステップS023において、最下位抽出部115は、要求項目301における最下位要求項目フラグ704をオンにする。存在する場合、処理はステップS021に戻る。
関係分析処理S10により、図11に示すように、一点鎖線で囲まれた要求項目は生産性改善グループ401に包含される。生産性改善グループ401において、生産性改善の要求項目は、最上位要求項目402である。また、生産性改善グループ401において、ねじ締め忘れ防止と部品および工具の探索時間の削減の要求項目は、最下位要求項目403である。
以上のように、関係分析処理S10では、関係分析部110は、複数の要求項目の各要求項目から包含関係を下位に向かって辿ることにより、複数の要求項目から抽出される要求項目を1つのグループとして分類する。
また、関係分析部110は、複数の要求項目の要求項目ごとに、識別子として要求項目が分類されたグループの名称と、要求項目が分類されたグループにおいてその要求項目が最上位要求項目あるいは最下位要求項目であるかを示す情報とを設定する。図11に示す生産性改善グループ401は、グループを識別する識別子としてグループの名称である「生産性改善」が付与される。よって、図5に示すように、要求項目301には、グループを識別する識別子としてグループの名称である生産性改善がグループ名702に付与される。また、要求項目301は、最上位要求項目フラグ703と最下位要求項目フラグ704とを有し、最上位要求項目であるか最下位要求項目であるかが設定される。
サブシステム分析処理S20は、関連分析部121による関連分析処理S21と関連性探索部122による関連性探索処理S22とを有する。
図13を用いて、本実施の形態に係る関連性探索処理S22について説明する。関連性探索処理S22は、与えられた要求項目またはサブシステムに対して関係を持つ親要求項目を抽出し、探索する処理である。
ステップS031において、関連分析部121は、iが項目関係情報20に含まれるサブシステム302の総数になるまで、ステップS031からステップS032の処理を繰り返す。
ステップS032において、関連分析部121は、i番目のサブシステム302に対し、このi番目のサブシステム302を調査対象とした関連性探索処理S22を実行する。
ステップS041において、関連性探索部122は、与えられた要求項目301またはサブシステム302が、調査対象のサブシステム302に関して調査済みであるか確認し、調査済みであったら処理を終了する。調査済みでなければ、関連性探索部122は、ステップS042に処理を進める。
ステップS041において、関連性探索部122は、与えられた要求項目301またはサブシステム302が、要求項目301である場合、この要求項目301の関連サブシステム数705に1を追加する。
ステップS044において、関連性探索部122は、i番目の親要求項目に対して、関連性探索処理S22を再帰実行する。
図14に示すように、関連性探索処理S22により、各要求項目に対して、関連性を有するサブシステムの数として関連サブシステム数501が対応付けられる。このように、関連性探索処理S22により、各要求項目について関連するサブシステムの数が計数される。各要求項目について関連するサブシステムの数は、図5に示す関連サブシステム数705に設定される。
図15に示すように、分析結果情報30には、関係分析処理S10およびサブシステム分析処理S20の処理結果が設定される。図5の各要求項目301における、要求項目名701、グループ名702、最上位要求項目フラグ703、最下位要求項目フラグ704、および関連サブシステム数705の各々が、図15の分析結果情報30における、要求項目名601、グループ名602、最上位要求項目フラグ603、最下位要求項目フラグ604、および関連サブシステム数605の各々に設定される。
図16を用いて、本実施の形態に係る結果表示処理S30について説明する。
ステップS31において、結果表示部140は、複数の要求項目の要求項目ごとに、要求項目が分類されたグループを識別する識別子と要求項目から関係を辿ることにより到達するサブシステムの数とを設定する。具体的には、結果表示部140は、各要求項目の、要求項目名701とグループ名702と最上位要求項目フラグ703と最下位要求項目フラグ704と関連サブシステム数705とに基づいて、分析結果情報30を生成する。
ステップS32において、結果表示部140は、生成した分析結果情報30を、出力インタフェース940を介して、ディスプレイといった表示機器に表示する。
本実施の形態では、要求分析装置100は、入力インタフェースを介して項目関係情報を取得し、記憶部130に記憶していた。しかし、要求分析装置100は通信装置を有し、通信装置を介して他の装置から項目関係情報を受信する構成でもよい。このとき、通信装置はレシーバとトランスミッタとを備える。具体的には、通信装置は通信チップまたはNIC(Network Interface Card)である。通信装置はデータを通信する通信部として機能する。レシーバはデータを受信する受信部として機能し、トランスミッタはデータを送信する送信部として機能する。
図17を用いて、本実施の形態の変形例に係る要求分析装置100の構成について説明する。
図17に示すように、要求分析装置100は、処理回路909、入力インタフェース930、および出力インタフェース940といったハードウェアを備える。
本実施の形態に係る要求分析装置100は、各要求項目に対し、機械的に関係性の評価を行うことによって、試験対象の絞込みあるいは試験フェーズの判断を行う。要求分析装置100は、まず、要求項目間の包含関係を分析し、包含関係を持つ複数の要求項目をグループにまとめ、グループの最上位要求項目と最下位要求項目とを明確にする関係分析部を有する。関係分析部により、各試験観点に対して評価すべき要求項目を判断できるようにする。次に、要求項目に関連するサブシステムの数を算出するサブシステム分析部を有する。サブシステム分析部により、サブシステムの数によって試験フェーズを判断できるようにする。
なお、上述した実施の形態は、本質的に好ましい例示であって、本発明、その適用物および用途の範囲を制限することを意図するものではなく、必要に応じて種々の変更が可能である。
Claims (8)
- 複数のサブシステムを有する組込みシステムに求められる複数の要求項目の要求項目間の関係を表し、かつ、前記複数の要求項目の各要求項目と前記複数のサブシステムの各サブシステムとの関係を表す項目関係情報を分析する要求分析装置において、
前記項目関係情報に表された前記要求項目間の関係に基づいて、前記複数の要求項目をグループに分類する関係分析部と、
前記要求項目間の関係と、前記複数の要求項目の各要求項目と前記複数のサブシステムの各サブシステムとの関係とに基づいて、前記複数の要求項目の各要求項目から関係を辿ることにより到達するサブシステムの数を抽出するサブシステム分析部と、
前記複数の要求項目の要求項目ごとに、前記要求項目が分類されたグループを識別する識別子と前記要求項目から関係を辿ることにより到達するサブシステムの数とを設定した分析結果情報を表示する結果表示部と
を備えた要求分析装置。 - 前記関係分析部は、
前記複数の要求項目の各要求項目から同一の関係で辿ることにより、前記複数の要求項目から抽出される要求項目を1つのグループとして分類する請求項1に記載の要求分析装置。 - 前記関係分析部は、
前記1つのグループにおける最上位の要求項目を最上位要求項目として抽出するとともに最下位の要求項目を最下位要求項目として抽出する請求項2に記載の要求分析装置。 - 前記関係分析部は、
前記複数の要求項目の要求項目ごとに、前記識別子として前記要求項目が分類されたグループの名称と、前記要求項目が分類されたグループにおいて前記要求項目が前記最上位要求項目あるいは前記最下位要求項目であるかを示す情報とを設定する請求項3に記載の要求分析装置。 - 前記項目関係情報は、前記複数の要求項目の要求項目間の包含関係を表し、
前記関係分析部は、
前記複数の要求項目の各要求項目から包含関係を下位に向かって辿ることにより、前記複数の要求項目から抽出される要求項目を前記1つのグループとして分類する請求項2から4のいずれか1項に記載の要求分析装置。 - 前記サブシステム分析部は、
上下関係を持つ要求項目間の関係または上下関係を持つ各要求項目と各サブシステムとの関係を上位項目から下位項目の方向に辿ることにより到達するサブシステムの数を抽出する請求項5に記載の要求分析装置。 - 複数のサブシステムを有する組込みシステムに求められる複数の要求項目の要求項目間の関係を表し、かつ、前記複数の要求項目の各要求項目と前記複数のサブシステムの各サブシステムとの関係を表す項目関係情報を分析する要求分析装置の要求分析方法において、
関係分析部が、前記項目関係情報に表された前記要求項目間の関係に基づいて、前記複数の要求項目をグループに分類し、
サブシステム分析部が、前記要求項目間の関係と、前記複数の要求項目の各要求項目と前記複数のサブシステムの各サブシステムとの関係とに基づいて、前記複数の要求項目の各要求項目から関係を辿ることにより到達するサブシステムの数を抽出し、
結果表示部が、前記複数の要求項目の要求項目ごとに、前記要求項目が分類されたグループを識別する識別子と前記要求項目から関係を辿ることにより到達するサブシステムの数とを設定した分析結果情報を表示する要求分析方法。 - 複数のサブシステムを有する組込みシステムに求められる複数の要求項目の要求項目間の関係を表し、かつ、前記複数の要求項目の各要求項目と前記複数のサブシステムの各サブシステムとの関係を表す項目関係情報を分析する要求分析装置のプログラムにおいて、
前記項目関係情報に表された前記要求項目間の関係に基づいて、前記複数の要求項目をグループに分類する関係分析処理と、
前記要求項目間の関係と、前記複数の要求項目の各要求項目と前記複数のサブシステムの各サブシステムとの関係とに基づいて、前記複数の要求項目の各要求項目から関係を辿ることにより到達するサブシステムの数を抽出するサブシステム分析処理と、
前記複数の要求項目の要求項目ごとに、前記要求項目が分類されたグループを識別する識別子と前記要求項目から関係を辿ることにより到達するサブシステムの数とを設定した分析結果情報を表示する結果表示処理と
をコンピュータである前記要求分析装置に実行させる要求分析プログラム。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2017/003443 WO2018142477A1 (ja) | 2017-01-31 | 2017-01-31 | 要求分析装置、要求分析方法および要求分析プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JPWO2018142477A1 true JPWO2018142477A1 (ja) | 2019-06-27 |
JP6739555B2 JP6739555B2 (ja) | 2020-08-12 |
Family
ID=63040406
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2018565117A Active JP6739555B2 (ja) | 2017-01-31 | 2017-01-31 | 要求分析装置、要求分析方法および要求分析プログラム |
Country Status (4)
Country | Link |
---|---|
US (1) | US11176178B2 (ja) |
JP (1) | JP6739555B2 (ja) |
DE (1) | DE112017006969T5 (ja) |
WO (1) | WO2018142477A1 (ja) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP6914901B2 (ja) * | 2018-09-21 | 2021-08-04 | Kddi株式会社 | オープン化設備の検証装置、検証方法、およびプログラム |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2004185592A (ja) * | 2002-10-09 | 2004-07-02 | Fujitsu Ltd | 検証支援方法、検証支援プログラムおよび検証支援装置 |
JP2007323573A (ja) * | 2006-06-05 | 2007-12-13 | Internatl Business Mach Corp <Ibm> | 機能テスト・スクリプト生成装置 |
Family Cites Families (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH09223040A (ja) | 1996-02-16 | 1997-08-26 | Nippon Steel Corp | ソフトウェアのシステムテスト支援装置およびこれに用いるテストシナリオ生成装置 |
JP2003108405A (ja) | 2001-09-27 | 2003-04-11 | Toshiba Corp | 試験仕様の作成支援装置及びプログラム |
JP5119765B2 (ja) | 2007-06-26 | 2013-01-16 | 富士電機株式会社 | 仕様書作成支援装置および支援方法 |
US7818713B2 (en) | 2007-08-06 | 2010-10-19 | International Business Machines Corporation | Method, system and program product for generating requirement relationships for designing a solution |
JP4977681B2 (ja) | 2008-12-10 | 2012-07-18 | 株式会社日立システムズ | データパターン/テストデータ生成・蓄積方法及びシステム |
JP2011028313A (ja) | 2009-07-21 | 2011-02-10 | Toyota Motor Corp | 検証項目自動生成装置 |
JP5452366B2 (ja) | 2010-05-26 | 2014-03-26 | 三菱電機株式会社 | 試験仕様作成装置、試験仕様作成方法及び試験仕様作成プログラム |
JP5814603B2 (ja) | 2011-04-21 | 2015-11-17 | 株式会社東芝 | テスト仕様作成支援装置、方法及びプログラム |
US9411876B2 (en) * | 2012-08-10 | 2016-08-09 | Blackberry Limited | Methods and devices for storing content based on classification options |
JP5901505B2 (ja) | 2012-12-11 | 2016-04-13 | 三菱電機株式会社 | テストケース生成システム |
JP6198529B2 (ja) | 2013-08-30 | 2017-09-20 | 三菱電機株式会社 | テスト実行システム、テスト実行装置、テスト実行方法及びテスト実行プログラム |
-
2017
- 2017-01-31 WO PCT/JP2017/003443 patent/WO2018142477A1/ja active Application Filing
- 2017-01-31 DE DE112017006969.6T patent/DE112017006969T5/de active Pending
- 2017-01-31 JP JP2018565117A patent/JP6739555B2/ja active Active
- 2017-01-31 US US16/468,868 patent/US11176178B2/en active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2004185592A (ja) * | 2002-10-09 | 2004-07-02 | Fujitsu Ltd | 検証支援方法、検証支援プログラムおよび検証支援装置 |
JP2007323573A (ja) * | 2006-06-05 | 2007-12-13 | Internatl Business Mach Corp <Ibm> | 機能テスト・スクリプト生成装置 |
Non-Patent Citations (2)
Title |
---|
BILL HASLING ET AL.: ""Model Based Testing of System Requirements using UML Use Case Models"", 2008 INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION, JPN6017011667, 11 April 2008 (2008-04-11), US, pages 367 - 376, XP031270166, ISSN: 0004217525 * |
TIM WEILKIENS著,今関 剛 他訳, SYSML/UMLによるシステムエンジニアリング入門, vol. 第1版, JPN6017011665, 25 November 2012 (2012-11-25), pages 276 - 288, ISSN: 0004217524 * |
Also Published As
Publication number | Publication date |
---|---|
JP6739555B2 (ja) | 2020-08-12 |
US20200073875A1 (en) | 2020-03-05 |
WO2018142477A1 (ja) | 2018-08-09 |
US11176178B2 (en) | 2021-11-16 |
DE112017006969T5 (de) | 2019-10-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10698800B2 (en) | Indicating a readiness of a change for implementation into a computer program | |
US10235234B2 (en) | Method and apparatus for determining failure similarity in computing device | |
CN109240912B (zh) | 一种基于大数据分析的网页应用的性能评估方法及终端 | |
JP6042974B2 (ja) | データ管理装置、データ管理方法及び非一時的な記録媒体 | |
US10379992B2 (en) | Adaptive dynamic code analysis | |
JP2015162090A (ja) | 故障診断方法及び故障診断装置 | |
CN110945559A (zh) | 用于时间事件数据序列的优化视觉概要的方法和系统 | |
CN104123275B (zh) | 翻译验证 | |
US8813036B2 (en) | Visual representation of a difference between Cartesian product models | |
JPWO2018142477A1 (ja) | 要求分析装置、要求分析方法および要求分析プログラム | |
WO2016147403A1 (ja) | 情報処理装置及び情報処理方法及び情報処理プログラム | |
JP6120607B2 (ja) | 要件検出装置及び要件検出プログラム | |
US10372849B2 (en) | Performing and communicating sheet metal simulations employing a combination of factors | |
US20160350318A1 (en) | Method, system for classifying comment record and webpage management device | |
US8302045B2 (en) | Electronic device and method for inspecting electrical rules of circuit boards | |
US20190369997A1 (en) | Simulation device, simulation method, and computer readable medium | |
JPWO2018163274A1 (ja) | リスク分析装置、リスク分析方法及びリスク分析プログラム | |
CN113157671A (zh) | 一种数据监控方法及装置 | |
JP6873332B2 (ja) | 点数化装置、点数化プログラム及び点数化方法 | |
US11068381B2 (en) | Program analysis device, program analysis system, program analysis method and computer readable medium | |
US11347777B2 (en) | Identifying key words within a plurality of documents | |
US9280622B2 (en) | Circuit verifying apparatus, circuit verifying method, and circuit verifying program | |
US20170220339A1 (en) | Device, method, and program for visualizing dependent portions of program | |
US11226935B2 (en) | Method, device and computer program product for determining duplicated data | |
US20150331770A1 (en) | Extracting test model from textual test suite |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20190108 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20200225 |
|
A601 | Written request for extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A601 Effective date: 20200318 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20200608 |
|
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: 20200623 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20200721 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6739555 Country of ref document: JP 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 |