JP2014041554A - 自己監視機能を備えたコンピュータ、監視プログラム - Google Patents
自己監視機能を備えたコンピュータ、監視プログラム Download PDFInfo
- Publication number
- JP2014041554A JP2014041554A JP2012184540A JP2012184540A JP2014041554A JP 2014041554 A JP2014041554 A JP 2014041554A JP 2012184540 A JP2012184540 A JP 2012184540A JP 2012184540 A JP2012184540 A JP 2012184540A JP 2014041554 A JP2014041554 A JP 2014041554A
- Authority
- JP
- Japan
- Prior art keywords
- program
- input
- monitoring
- arithmetic
- acquired
- 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
- 238000012544 monitoring process Methods 0.000 title claims abstract description 35
- 238000012360 testing method Methods 0.000 claims abstract description 118
- 238000000034 method Methods 0.000 claims description 31
- 230000008569 process Effects 0.000 claims description 17
- 238000004364 calculation method Methods 0.000 claims description 5
- 238000010586 diagram Methods 0.000 description 14
- 230000006870 function Effects 0.000 description 14
- 238000012545 processing Methods 0.000 description 10
- 230000005856 abnormality Effects 0.000 description 7
- 230000015572 biosynthetic process Effects 0.000 description 7
- 238000003786 synthesis reaction Methods 0.000 description 7
- 230000007704 transition Effects 0.000 description 7
- 230000002159 abnormal effect Effects 0.000 description 5
- 238000004092 self-diagnosis Methods 0.000 description 5
- 238000004891 communication Methods 0.000 description 4
- 238000013461 design Methods 0.000 description 4
- 238000004519 manufacturing process Methods 0.000 description 4
- 238000011161 development Methods 0.000 description 3
- 238000012795 verification Methods 0.000 description 3
- 230000004913 activation Effects 0.000 description 2
- 230000008901 benefit Effects 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 238000011084 recovery Methods 0.000 description 2
- 230000009471 action Effects 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 238000012790 confirmation Methods 0.000 description 1
- 230000009849 deactivation Effects 0.000 description 1
- 230000007423 decrease Effects 0.000 description 1
- 238000003745 diagnosis Methods 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 230000007257 malfunction Effects 0.000 description 1
- 230000002123 temporal effect Effects 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3692—Test management for test results analysis
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
Abstract
【解決手段】コンピュータに、入力操作を取得する入力手段と、前記入力手段が取得した入力操作をもとに演算を行う演算プログラムが実行される第一のプログラム実行手段と、前記演算プログラムに対する複数のテストシナリオを記憶したテストシナリオ記憶手段と、前記入力手段が取得した入力操作が、前記記憶された複数のテストシナリオのうち、いずれかと対応するものであるかを判定する監視プログラムが実行される第二のプログラム実行手段と、を具備させる。
【選択図】図2
Description
1参照)。自己診断機能は、コンピュータの内部で、定義されていない信号が発生した等の異常な状態を検知して、利用者への警告やシステムの停止、ログ情報の記録などをすることができる。
および監視プログラムを提供することを目的とする。
本発明の第一の形態に係るコンピュータは、入力操作を取得する入力手段と、前記入力手段が取得した入力操作をもとに演算を行う演算プログラムが実行される第一のプログラム実行手段と、前記演算プログラムに対する複数のテストシナリオを記憶したテストシナリオ記憶手段と、前記入力手段が取得した入力操作が、前記記憶された複数のテストシナリオのうち、いずれかと対応するものであるかを判定する監視プログラムが実行される第二のプログラム実行手段と、を有することを特徴とする。
本発明の第二の形態に係る監視プログラムは、演算を行う演算プログラムと同時に実行
され、前記演算プログラムに対する入力操作を監視する監視プログラムであって、前記演算プログラムに対する入力操作を取得する入力取得ステップと、前記取得した入力操作が、事前に記憶された、前記演算プログラムに対する複数のテストシナリオのうちいずれかと対応するものであるかを判定する入力判定ステップと、を含むことを特徴とする。
本発明の第三の形態に係るソフトウェア作成装置は、前記演算プログラムのコード入力を受け付ける演算プログラム入力手段と、モデリング言語によって記述された、前記演算プログラムに対する複数のテストシナリオの入力を受け付けるテストシナリオ入力手段と、前記演算プログラムを生成する演算プログラム生成手段と、前記複数のテストシナリオを含み、前記演算プログラムに対する入力操作が、前記複数のテストシナリオのうちいずれかと対応するものであるかを判定する監視プログラムを生成する監視プログラム生成手段と、前記演算プログラムと、監視プログラムを実行用コンピュータに記録するプログラム書き込み手段と、を有し、前記演算プログラム生成手段は、前記演算プログラムに対し、前記演算プログラムが行う所定の処理をトリガとして、前記演算プログラムに対して行われた入力操作を前記監視プログラムに通知する処理を追加することを特徴とする。
ができる。
<プログラム開発方法の概要>
本発明に係る監視プログラム、および監視対象となる演算プログラムの開発方法について概要を説明する。図1は、本発明に係る演算プログラムおよび監視プログラムの作成方法を説明する図である。本実施形態では、オープンソースで提供されている統合開発環境であるEclipseを用いて、Java(登録商標)アプリケーションを作成する例について述べる。
記述することもできる。例えば、シーケンスダイアグラム(符号12)を用いると、利用者の操作をトリガとして、オブジェクト間でどのような呼び出しが行われるかを記述することができる。また、ステートチャート(符号13)を用いると、利用者の操作に起因したオブジェクトの状態変化を記述することができる。図1では、自然言語で記述されたテストシナリオ(符号11)、シーケンスダイアグラムによるテストシナリオ(符号12)、ステートチャートによるテストシナリオ(符号13)を順番に作成する例を示したが、テストシナリオはいずれかを作成すればよく、全てを作成する必要は無い。
る。ここでは、ステートチャートからオブザーバコードを自動生成する例を挙げたが、自然言語で記述されたテストシナリオ(符号11)、またはシーケンスダイアグラムによるテストシナリオ(符号12)を参照して、手作業でオブザーバコードを作成してもよい。オブザーバコード14は、前述したテストシナリオごとに作られる。
第一の実施形態に係るソフトウェア作成装置について、詳細に説明する。図2は、本発明に係るソフトウェア作成装置のシステム構成を表した図である。
CTL(Computational Tree Logic)といった仕様記述言語を用いて記述してもよい。
テストシナリオ生成部22は、ソフトウェア要件に基づいたテストシナリオを作成する手段である。テストシナリオは、前述した通り、自然言語で記述してもよいし、シーケンスダイアグラムやステートチャートによって記述してもよい。テストシナリオをUMLによって記述する場合、Eclipse用に提供されている各種UMLプラグインを利用することができる。ソフトウェア開発者は、テストシナリオ生成部22が提供するエディタによってテストシナリオを作成する。
ツールを用いると、ソフトウェアモデルからアプリケーションコードを自動生成することができる。
テストシナリオ生成部23でステートチャートを作成した場合、前述したRational Rhapsodyにより、Javaのオブザーバコードを自動生成することができる。オブザーバコ
ードは、自然言語によるテストシナリオ(符号11)やシーケンスダイアグラムによるテストシナリオ(符号12)から手動で作成しても勿論構わない。
成部23が生成したアプリケーションコードを合成してビルドする手段である。前述したように、オブザーバコードとアプリケーションコードは互いに独立しているため、そのままでは互いを参照することができず、演算プログラムに対して行われた入力操作を監視することができない。そこで本実施形態では、アスペクト指向プログラミングによって、コード間での入力操作の転送を実現する。
り込むための技術である。アスペクト指向プログラミングを用いると、例えば、ロギングやアサーション、エラー処理など、クラス分類が難しい機能であって、本来の機能的処理ではない付加的な処理をプログラム中に織り込むことができる。当該処理をアスペクトと呼び、アスペクトを織り込む実行地点をジョインポイントと呼ぶ。すなわち、入力操作をオブザーバコードに渡す処理をアスペクトとし、オブザーバコードおよびアプリケーションコード内にジョインポイントを配置することで、利用者による入力操作を受け渡すことができる。このように、ソフトウェア開発者は、アスペクトを作成し、ジョインポイントを指定するだけで、既に作成されているコードに手を加えることなく機能を追加することができる。
ウェア開発者は、コード生成部23にて、ソフトウェア要件からアプリケーションコードを生成し(S11)、また、テストシナリオ生成部22にて、ソフトウェア要件からテストシナリオを設計する(S12)。ステップS11とステップS12の手順は、どちらかを先に行ってもよいし、並列して行ってもよい。
そして、オブザーバ生成部24にて、テストシナリオからオブザーバコードを生成(S13)したのち、コード合成部25にて、アプリケーションコードとオブザーバコードの双方をビルドする(S14)。これにより、実行プログラム30が得られる。最終的に、コード書込部26にて、生成された実行プログラム30を対象のコンピュータに書き込み(S15)、ソフトウェア開発が完了する。
次に、コンピュータに書き込まれたプログラムの動作を説明する。本実施形態においては、コンピュータとは、車両に搭載される車載端末である。図5は、実行プログラム30が実行される車載端末100のシステム構成図である。
車載端末100は、演算処理装置101および記憶装置102を有している。実行プログラム30は、記憶装置102に格納されており、演算処理装置101にて実行される。また、利用者は、監視対象プログラム32に対する入力を、入力装置103を通して行うことができる。入力装置103は、本実施形態ではタッチパネルであるが、キーボードやポインティングデバイスであってもよい。
また、車載端末100は、外部との無線通信を行うための通信装置104、および情報を記録するためのディスク装置105を有している。
に該当する状態となり、全てのオブザーバが活性状態となる。
利用者が行った操作は、まず、監視対象プログラムに対して入力される。監視対象プログラムのコードには、入力操作を取得する関数とともにジョインポイントが定義されており、利用者が入力操作を行うごとにアスペクトが実行される。アスペクトには、入力操作を取得してオブザーバへ送信する処理が記述されており、これにより、入力された操作が全てのオブザーバへ送信される。
例えば、「メニュー遷移操作1」が行われると、当該操作が全てのオブザーバへ送信される。この操作は、テストシナリオ1〜3のみに該当する操作であるため、テストシナリオ1〜3に対応するオブザーバのみが活性状態となり、他のオブザーバは非活性状態となる。このように、操作が進むにつれて活性状態のオブザーバが減っていく。そして、再度起点であるメインメニューに戻ると、全てのオブザーバが活性状態に戻る。このように、利用者の操作によって、各オブザーバの活性状態と非活性状態が随時切り替わる。
(1)初期状態(メインメニュー):オブザーバ1,2,3,4,5,6
(2)メニュー遷移操作1:オブザーバ1,2,3
(3)操作A:オブザーバ1,2,3
(4)操作F:オブザーバ3
(5)操作G:オブザーバ3
(6)操作Z:オブザーバ1,2,3,4,5,6
本例では、メインメニューが各テストシナリオの起点であるため、操作Zを行うことによって、全てのオブザーバが活性状態に戻っている。
示)を通じて、運転者に異常が発生した旨を通知する。また、ディスク装置105に、関連する情報をログとして記録する。記録する情報は、プログラムのメモリダンプや、利用者が行った操作のログなどである。なお、これらのログ情報は、通信装置104を通して管理センター200に送信してもよい。また、異常が発生した旨の通知は、監視対象プログラムに対して行ってもよい。
なお、活性状態にあるオブザーバが一つ以上ある場合は、処理はステップS21へ遷移し、再度入力操作を待つ。
およびプログラムを互いに接続し、プログラムの監視を実行することができる。
第二の実施形態は、監視対象のプログラムと、オブザーバとが独立したハードウェア上にて動作する形態である。図9は、第二の実施形態に係る回路構成を表した図である。
本実施形態では、第一の実施形態と同様に、ソフトウェア作成装置によってプログラムの生成を行うが、以下の点において第一の実施形態と相違する。
ソフトウェアの開発手順は、図4に示したフローチャートと同様である。
なお、各実施形態の説明は本発明を説明する上での例示であり、本発明は、発明の趣旨を逸脱しない範囲で適宜変更または組み合わせて実施することができる。例えば、複数の実施形態を組み合わせてもよいし、仕様外の動作を検出した場合、第一の実施形態にて例示していない方法によって利用者への通知を行ってもよい。
11 テストシナリオ
12 シーケンスダイアグラム
13 ステートチャート
14 オブザーバコード
15 アプリケーションコード
21 ソフトウェア要件記憶部
22 テストシナリオ生成部
23 オブザーバ生成部
24 ソフトウェアモデル生成部
25 コード生成部
26 コード書込部
100 車載端末
101 演算処理装置
102 記憶装置
103 入力装置
104 通信装置
105 ディスク装置
200 管理センター
Claims (12)
- 入力操作を取得する入力手段と、
前記入力手段が取得した入力操作をもとに演算を行う演算プログラムが実行される第一のプログラム実行手段と、
前記演算プログラムに対する複数のテストシナリオを記憶したテストシナリオ記憶手段と、
前記入力手段が取得した入力操作が、前記記憶された複数のテストシナリオのうち、いずれかと対応するものであるかを判定する監視プログラムが実行される第二のプログラム実行手段と、を有するコンピュータ。 - 前記各テストシナリオは、複数の入力操作の内容および順序をそれぞれ含む、
請求項1に記載のコンピュータ。 - 前記監視プログラムは、前記入力手段から複数の入力操作を取得し、前記取得した複数の入力操作が、いずれかのテストシナリオに含まれる入力操作の内容および順序と一致した場合に、前記取得した入力操作が、当該テストシナリオに対応するものであると判定する、
請求項2に記載のコンピュータ。 - 前記監視プログラムは、前記取得した入力操作が、記憶された複数のテストシナリオのいずれとも対応しない場合に、前記演算プログラムまたは外部プログラムに対して、システムが未検証状態である旨を通知する、
請求項1から3のいずれかに記載のコンピュータ。 - 演算を行う演算プログラムと同時に実行され、前記演算プログラムに対する入力操作を監視する監視プログラムであって、
前記演算プログラムに対する入力操作を取得する入力取得ステップと、
前記取得した入力操作が、事前に記憶された、前記演算プログラムに対する複数のテストシナリオのうちいずれかと対応するものであるかを判定する入力判定ステップと、を含む、
監視プログラム。 - 前記記憶された各テストシナリオは、複数の入力操作の内容および順序をそれぞれ含む、
請求項5に記載の監視プログラム。 - 前記入力取得ステップは、複数の入力操作を取得し、
前記入力判定ステップは、前記取得した複数の入力操作が、いずれかのテストシナリオに含まれる入力操作の内容および順序と一致した場合に、前記取得した入力操作が、当該テストシナリオに対応するものであると判定する
請求項6に記載の監視プログラム。 - 前記入力判定ステップにおいて、前記取得した入力操作が、記憶された複数のテストシナリオのいずれとも対応しない場合に、前記演算プログラムまたは外部プログラムに対して、システムが未検証状態である旨を通知するステップを実行する、
請求項5から7のいずれかに記載の監視プログラム。 - 演算を行う演算プログラムと、前記演算プログラムに対する入力操作を監視する監視プログラムと、
を生成するソフトウェア作成装置であって、
前記演算プログラムのコード入力を受け付ける演算プログラム入力手段と、
モデリング言語によって記述された、前記演算プログラムに対する複数のテストシナリオの入力を受け付けるテストシナリオ入力手段と、
前記演算プログラムを生成する演算プログラム生成手段と、
前記複数のテストシナリオを含み、前記演算プログラムに対する入力操作が、前記複数のテストシナリオのうちいずれかと対応するものであるかを判定する監視プログラムを生成する監視プログラム生成手段と、
前記演算プログラムと、監視プログラムを実行用コンピュータに記録するプログラム書き込み手段と、
を有し、
前記演算プログラム生成手段は、前記演算プログラムに対し、前記演算プログラムが行う所定の処理をトリガとして、前記演算プログラムに対して行われた入力操作を前記監視プログラムに通知する処理を追加する、
ソフトウェア作成装置。 - 前記各テストシナリオは、複数の入力操作の内容および順序をそれぞれ含む、
請求項9に記載のソフトウェア作成装置。 - 前記監視プログラムは、複数の入力操作を取得し、前記取得した複数の入力操作が、いずれかのテストシナリオに含まれる入力操作の内容および順序と一致した場合に、前記取得した入力操作が、当該テストシナリオに対応するものであると判定する、
請求項10に記載のソフトウェア作成装置。 - 前記監視プログラムは、前記取得した入力操作が、複数のテストシナリオのいずれとも対応しない場合に、前記演算プログラムまたは外部プログラムに対して、システムが未検証状態である旨を通知可能である、
請求項9から11のいずれかに記載のソフトウェア作成装置。
Priority Applications (5)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2012184540A JP5714543B2 (ja) | 2012-08-23 | 2012-08-23 | 自己監視機能を備えたコンピュータ、監視プログラム |
PCT/JP2013/072439 WO2014030707A1 (ja) | 2012-08-23 | 2013-08-22 | 自己監視機能を備えたコンピュータ、監視プログラム |
CN201380044043.3A CN104583969B (zh) | 2012-08-23 | 2013-08-22 | 具备自监视功能的计算机、监视方法 |
US14/423,309 US9588878B2 (en) | 2012-08-23 | 2013-08-22 | Computer having self-monitoring function and monitoring program |
EP13830967.9A EP2889775B1 (en) | 2012-08-23 | 2013-08-22 | Computer having self-monitoring function and monitoring program |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2012184540A JP5714543B2 (ja) | 2012-08-23 | 2012-08-23 | 自己監視機能を備えたコンピュータ、監視プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2014041554A true JP2014041554A (ja) | 2014-03-06 |
JP5714543B2 JP5714543B2 (ja) | 2015-05-07 |
Family
ID=50150011
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2012184540A Active JP5714543B2 (ja) | 2012-08-23 | 2012-08-23 | 自己監視機能を備えたコンピュータ、監視プログラム |
Country Status (5)
Country | Link |
---|---|
US (1) | US9588878B2 (ja) |
EP (1) | EP2889775B1 (ja) |
JP (1) | JP5714543B2 (ja) |
CN (1) | CN104583969B (ja) |
WO (1) | WO2014030707A1 (ja) |
Families Citing this family (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9400737B2 (en) * | 2014-08-07 | 2016-07-26 | International Business Machines Corporation | Generation of automated unit tests for a controller layer system and method |
GB2533117A (en) * | 2014-12-10 | 2016-06-15 | Ibm | Software test automation |
DE102015214376A1 (de) * | 2015-07-29 | 2017-02-02 | Robert Bosch Gmbh | Verfahren und Vorrichtung zur On-Board-Diagnose bei einem Steuergerät mit einem Hypervisor und mindestens einem unter dem Hypervisor betriebenen Gastsystem |
US10546279B2 (en) * | 2016-06-27 | 2020-01-28 | International Business Machines Corporation | Scenario based logging |
CN107643979A (zh) * | 2017-08-10 | 2018-01-30 | 浙江浙大列车智能化工程技术研究中心有限公司 | 一种提高系统安全性的方法 |
US10809741B2 (en) | 2017-11-17 | 2020-10-20 | Polaris Industries Inc. | Method and system for controlling the speed of a vehicle |
US10860298B2 (en) * | 2018-03-21 | 2020-12-08 | Dspace Digital Signal Processing And Control Engineering Gmbh | Method and system for editing a block diagram model |
US10417115B1 (en) * | 2018-04-27 | 2019-09-17 | Amdocs Development Limited | System, method, and computer program for performing production driven testing |
US10691584B2 (en) * | 2018-09-28 | 2020-06-23 | Sap Se | Behavior driven development integration with test tool |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2001022717A (ja) * | 1999-07-12 | 2001-01-26 | Hitachi Ltd | 分散環境の運用管理システムに関する誤操作判別方法 |
JP2003122599A (ja) * | 2001-10-11 | 2003-04-25 | Hitachi Ltd | 計算機システムおよび計算機システムにおけるプログラム実行監視方法 |
JP2006268775A (ja) * | 2005-03-25 | 2006-10-05 | Ntt Docomo Inc | ソフトウェア動作モデル化装置及びソフトウェア動作監視装置 |
JP2008021160A (ja) * | 2006-07-13 | 2008-01-31 | Toshiba Corp | モデル検査用情報生成装置およびプログラム |
JP2008049888A (ja) * | 2006-08-25 | 2008-03-06 | Denso Corp | 走行制御装置 |
JP2009151420A (ja) * | 2007-12-19 | 2009-07-09 | Toyota Central R&D Labs Inc | ソフトウェア動作監視装置、プログラム |
Family Cites Families (15)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5724504A (en) * | 1995-06-01 | 1998-03-03 | International Business Machines Corporation | Method for measuring architectural test coverage for design verification and building conformal test |
US5784553A (en) * | 1996-01-16 | 1998-07-21 | Parasoft Corporation | Method and system for generating a computer program test suite using dynamic symbolic execution of JAVA programs |
JP2002268729A (ja) | 2001-03-14 | 2002-09-20 | Toshiba Syst Technol Corp | ソフトアイソレーション装置 |
JP4622177B2 (ja) | 2001-07-06 | 2011-02-02 | 株式会社デンソー | 故障診断システム、車両管理装置、サーバ装置、及び検査診断プログラム |
US6694235B2 (en) | 2001-07-06 | 2004-02-17 | Denso Corporation | Vehicular relay device, in-vehicle communication system, failure diagnostic system, vehicle management device, server device and detection and diagnostic program |
CN100401265C (zh) * | 2005-06-06 | 2008-07-09 | 华为技术有限公司 | 关键字驱动的自动化测试系统及方法 |
US7493522B2 (en) * | 2006-01-30 | 2009-02-17 | Microsoft Corporation | Model independent input reduction |
JP4576433B2 (ja) * | 2006-02-06 | 2010-11-10 | 富士通株式会社 | 情報処理装置、演算処理装置、情報処理装置の制御方法及びプログラム |
US7779374B1 (en) * | 2006-09-29 | 2010-08-17 | Breker Verification Systems, Inc. | Generating self-checking test cases from reduced case analysis graphs |
JP2008179314A (ja) * | 2007-01-26 | 2008-08-07 | Denso Corp | 車両診断システム |
US8140986B2 (en) * | 2007-09-27 | 2012-03-20 | International Business Machines Corporation | Generating test scenarios using reusable triggers indicating graphical user interface (GUI) elements and actions |
US20100192128A1 (en) * | 2009-01-27 | 2010-07-29 | Honeywell International Inc. | System and methods of using test points and signal overrides in requirements-based test generation |
KR101337014B1 (ko) * | 2011-07-12 | 2013-12-05 | 주식회사 팬택 | 이동 단말기, 이를 이용하는 차량의 ecu 제어 시스템 및 방법 |
JP5680514B2 (ja) | 2011-09-29 | 2015-03-04 | トヨタ自動車株式会社 | 自己診断機能を備えたコンピュータ、ソフトウェア作成方法、およびソフトウェア作成装置 |
MX343133B (es) * | 2012-03-09 | 2016-10-25 | Honda Motor Co Ltd | Sistema de simulacion de comunicacion, metodo de simulacion de comunicacion, y aparato de comunicacion del vehiculo. |
-
2012
- 2012-08-23 JP JP2012184540A patent/JP5714543B2/ja active Active
-
2013
- 2013-08-22 US US14/423,309 patent/US9588878B2/en active Active
- 2013-08-22 EP EP13830967.9A patent/EP2889775B1/en active Active
- 2013-08-22 WO PCT/JP2013/072439 patent/WO2014030707A1/ja active Application Filing
- 2013-08-22 CN CN201380044043.3A patent/CN104583969B/zh active Active
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2001022717A (ja) * | 1999-07-12 | 2001-01-26 | Hitachi Ltd | 分散環境の運用管理システムに関する誤操作判別方法 |
JP2003122599A (ja) * | 2001-10-11 | 2003-04-25 | Hitachi Ltd | 計算機システムおよび計算機システムにおけるプログラム実行監視方法 |
JP2006268775A (ja) * | 2005-03-25 | 2006-10-05 | Ntt Docomo Inc | ソフトウェア動作モデル化装置及びソフトウェア動作監視装置 |
JP2008021160A (ja) * | 2006-07-13 | 2008-01-31 | Toshiba Corp | モデル検査用情報生成装置およびプログラム |
JP2008049888A (ja) * | 2006-08-25 | 2008-03-06 | Denso Corp | 走行制御装置 |
JP2009151420A (ja) * | 2007-12-19 | 2009-07-09 | Toyota Central R&D Labs Inc | ソフトウェア動作監視装置、プログラム |
Also Published As
Publication number | Publication date |
---|---|
CN104583969A (zh) | 2015-04-29 |
EP2889775A4 (en) | 2015-09-23 |
US20150261660A1 (en) | 2015-09-17 |
EP2889775B1 (en) | 2019-12-11 |
JP5714543B2 (ja) | 2015-05-07 |
WO2014030707A1 (ja) | 2014-02-27 |
CN104583969B (zh) | 2018-05-18 |
US9588878B2 (en) | 2017-03-07 |
EP2889775A1 (en) | 2015-07-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5714543B2 (ja) | 自己監視機能を備えたコンピュータ、監視プログラム | |
US10949338B1 (en) | Automated software bug discovery and assessment | |
Damm et al. | Using contract-based component specifications for virtual integration testing and architecture design | |
AU2014208308A1 (en) | Safety analysis of a complex system using component-oriented fault trees | |
Gössler et al. | A general trace-based framework of logical causality | |
Arcaini et al. | The ASMETA approach to safety assurance of software systems | |
JP7202448B2 (ja) | 安全性が要求されるプロセスを監視する自動化システム | |
JP5680514B2 (ja) | 自己診断機能を備えたコンピュータ、ソフトウェア作成方法、およびソフトウェア作成装置 | |
Chen et al. | An architectural approach to the analysis, verification and validation of software intensive embedded systems | |
Denil et al. | DEVS for AUTOSAR-based system deployment modeling and simulation | |
Wu et al. | A modeling methodology to facilitate safety‐oriented architecture design of industrial avionics software | |
Pop et al. | Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach | |
Hussein et al. | Safe adaptation of vehicle software systems | |
JP2010015240A (ja) | 検証システム及び検証装置 | |
US20180113802A1 (en) | Application simulator for a vehicle | |
Zalewski et al. | Safety of computer control systems: challenges and results in software development | |
US11650585B1 (en) | Fault tolerant autonomous vehicle platform | |
Beato et al. | UML automatic verification tool (TABU) | |
WO2016103229A1 (en) | A method for verifying a safety logic in an industrial process | |
Illarramendi et al. | MDE based IoT Service to enhance the safety of controllers at runtime | |
Paulitsch et al. | Non-functional avionics requirements | |
Fu | Fault injection mechanisms for validating dependability of automotive systems | |
Augusto et al. | Designing more reliable mas-based ambient intelligence systems | |
Belli et al. | A graph-model-based testing method compared with the classification tree method for test case generation | |
Da Silva et al. | Using Runtime Information of Controllers for Safe Adaptation at Runtime: A Process Mining Approach |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A711 | Notification of change in applicant |
Free format text: JAPANESE INTERMEDIATE CODE: A711 Effective date: 20140226 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A821 Effective date: 20140226 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20140317 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20141202 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20150130 |
|
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: 20150217 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20150311 |
|
R151 | Written notification of patent or utility model registration |
Ref document number: 5714543 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R151 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |