JP6765554B2 - ソフトウェア試験装置、ソフトウェア試験方法、および、ソフトウェア試験プログラム - Google Patents
ソフトウェア試験装置、ソフトウェア試験方法、および、ソフトウェア試験プログラム Download PDFInfo
- Publication number
- JP6765554B2 JP6765554B2 JP2019571278A JP2019571278A JP6765554B2 JP 6765554 B2 JP6765554 B2 JP 6765554B2 JP 2019571278 A JP2019571278 A JP 2019571278A JP 2019571278 A JP2019571278 A JP 2019571278A JP 6765554 B2 JP6765554 B2 JP 6765554B2
- Authority
- JP
- Japan
- Prior art keywords
- software
- verification
- test
- detection rule
- generation unit
- 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.)
- Active
Links
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
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)
Description
図1は、本実施の形態1に係るソフトウェア試験装置100の全体構成例を示す。ソフトウェア試験装置100は、図1に示すように、検証用ソフトウェア生成部102と、テストケース生成部104と、検証実行部107とを備えて構成されている。ソフトウェア試験装置100は、検証対象ソフトウェア106についての検証を行って合否判定する装置である。ここでは、検証対象ソフトウェア106として、例えば、サイバー攻撃等による異常な通信データを検知する攻撃検知ソフトウェアを例に挙げて説明する。検証対象ソフトウェア106は、制御機器およびIoT機器などの機器に導入されて、当該機器が通信を行う通信データが正か否かを判定するためのソフトウェアである。
図9を用いて、本発明の実施の形態2に係るソフトウェア試験装置について説明する。図9は、上述した図3に示すステップS1002の「検証用ソフトウェア生成」の動作の詳細な処理フローを示す。
図10は、本発明の実施の形態3に係るソフトウェア試験装置100Aの全体構成例を示す。
Claims (6)
- 検証対象ソフトウェアが導入される機器における正常な通信データを定義する検知ルールを用いて、前記検証対象ソフトウェアが実行結果として出力すべき期待値を生成するための検証用ソフトウェアを生成する検証用ソフトウェア生成部と、
前記検証用ソフトウェアにテストパターンを入力して、前記検証用ソフトウェアを実行させることで、前記期待値をテストケースとして生成するテストケース生成部と、
前記テストパターンと同一のテストパターンを前記検証対象ソフトウェアに入力して、前記検証対象ソフトウェアを実行させることで得られた実際の実行結果と、前記テストケースによる前記期待値とを比較することで、前記検証対象ソフトウェアの合否を判定する検証実行部と
を備えた、ソフトウェア試験装置。 - 予め設定されたモデル検査ルールに従って、前記正常な通信データの設計モデルである通信モデルに誤りが無いか否かのモデル検査を行うモデル検査部と、
前記モデル検査後の前記通信モデルに基づいて、前記検知ルールを生成する検知ルール生成部と
をさらに備えた、請求項1に記載のソフトウェア試験装置。 - 前記検証用ソフトウェア生成部は、
前記正常な通信データを定義する定義項目として、送信元情報、送信先情報、データ長さ、ペイロードのうちの少なくとも1つの情報を含む、前記検知ルールが入力され、
前記検知ルールを検知ルール解析して、前記定義項目を葉とし、各ルールを木とする、ルールリスト木を生成し、
前記ルールリスト木から、全ての木の前記定義項目を共通な項目ごとに結合して、決定木を生成し、
前記決定木から、前記検証用ソフトウェアを生成する、
請求項1または2に記載のソフトウェア試験装置。 - 前記検証用ソフトウェア生成部は、
前記ルールリスト木から、前記検知ルールに応じた形式検証プロパティを生成し、
前記形式検証プロパティを用いて、前記決定木から生成した前記検証用ソフトウェアを形式的に検証する、
請求項3に記載のソフトウェア試験装置。 - 検証対象ソフトウェアが導入される機器における正常な通信データを定義する検知ルールを用いて、前記検証対象ソフトウェアが実行結果として出力すべき期待値を生成するための検証用ソフトウェアを生成する検証用ソフトウェア生成ステップと、
前記検証用ソフトウェアにテストパターンを入力して、前記検証用ソフトウェアを実行させることで、前記期待値をテストケースとして生成するテストケース生成ステップと、
前記テストパターンと同一のテストパターンを前記検証対象ソフトウェアに入力して、前記検証対象ソフトウェアを実行させることで得られた実際の実行結果と、前記テストケースによる前記期待値とを比較することで、前記検証対象ソフトウェアの合否を判定する検証実行ステップと
を備えた、ソフトウェア試験方法。 - コンピュータに、
検証対象ソフトウェアが導入される機器における正常な通信データを定義する検知ルールを用いて、前記検証対象ソフトウェアが実行結果として出力すべき期待値を生成するための検証用ソフトウェアを生成する検証用ソフトウェア生成ステップと、
前記検証用ソフトウェアにテストパターンを入力して、前記検証用ソフトウェアを実行させることで、前記期待値をテストケースとして生成するテストケース生成ステップと、
前記テストパターンと同一のテストパターンを前記検証対象ソフトウェアに入力して、前記検証対象ソフトウェアを実行させることで得られた実際の実行結果と前記テストケースによる前記期待値とを比較することで、前記検証対象ソフトウェアの合否を判定する検証実行ステップと
を実行させるためのソフトウェア試験プログラム。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/EP2018/084616 WO2019242868A1 (en) | 2018-12-12 | 2018-12-12 | Software testing device, software testing method, and software testing program |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2020524862A JP2020524862A (ja) | 2020-08-20 |
JP6765554B2 true JP6765554B2 (ja) | 2020-10-07 |
Family
ID=64870443
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2019571278A Active JP6765554B2 (ja) | 2018-12-12 | 2018-12-12 | ソフトウェア試験装置、ソフトウェア試験方法、および、ソフトウェア試験プログラム |
Country Status (2)
Country | Link |
---|---|
JP (1) | JP6765554B2 (ja) |
WO (1) | WO2019242868A1 (ja) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111858298B (zh) * | 2020-05-29 | 2022-08-30 | 卡斯柯信号有限公司 | 一种基于3v模型的软件测试方法 |
CN112749084A (zh) * | 2020-12-17 | 2021-05-04 | 中国农业银行股份有限公司 | 一种测试用例生成方法及装置 |
CN113918474B (zh) * | 2021-12-15 | 2022-03-11 | 杭银消费金融股份有限公司 | 一种基于数据模式的测试用例管理方法及设备 |
Family Cites Families (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2005164338A (ja) * | 2003-12-01 | 2005-06-23 | Fujitsu Ten Ltd | 制御装置の検査装置、パターン信号作成装置及び検査プログラム生成装置 |
JP5164919B2 (ja) | 2009-05-13 | 2013-03-21 | 日本電信電話株式会社 | テストデータ生成方法及び装置及びプログラム |
JP5088403B2 (ja) * | 2010-08-02 | 2012-12-05 | 横河電機株式会社 | 不正通信検出システム |
JP2013030017A (ja) * | 2011-07-28 | 2013-02-07 | Fujitsu Ltd | テストプログラム生成方法、テストプログラム生成装置、及びテストプログラム生成プログラム |
JP2014046800A (ja) | 2012-08-31 | 2014-03-17 | Hitachi Ltd | テストデータ網羅生成装置及び方法 |
WO2014155650A1 (ja) * | 2013-03-29 | 2014-10-02 | 株式会社日立製作所 | 情報制御装置、情報制御システム、及び情報制御方法 |
US10346140B2 (en) | 2015-08-05 | 2019-07-09 | General Electric Company | System and method for model based technology and process for safety-critical software development |
US10248552B2 (en) * | 2016-07-20 | 2019-04-02 | International Business Machines Corporation | Generating test scripts for testing a network-based application |
US10628140B2 (en) * | 2016-11-17 | 2020-04-21 | Mitsubishi Electric Corporation | Program code generation apparatus |
JP6692281B2 (ja) * | 2016-12-02 | 2020-05-13 | 株式会社日立製作所 | テストケース生成装置、及びテストケース生成方法 |
-
2018
- 2018-12-12 JP JP2019571278A patent/JP6765554B2/ja active Active
- 2018-12-12 WO PCT/EP2018/084616 patent/WO2019242868A1/en active Application Filing
Also Published As
Publication number | Publication date |
---|---|
WO2019242868A1 (en) | 2019-12-26 |
JP2020524862A (ja) | 2020-08-20 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Le Goues et al. | A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each | |
Pham et al. | Detection of recurring software vulnerabilities | |
US10142370B2 (en) | Methods and apparatus for generating and using security assertions associated with containers in a computing environment | |
JP6765554B2 (ja) | ソフトウェア試験装置、ソフトウェア試験方法、および、ソフトウェア試験プログラム | |
US10049031B2 (en) | Correlation of violating change sets in regression testing of computer software | |
BR102016018127A2 (pt) | método para projeto com base em modelo de software de segurança crítica | |
US8572747B2 (en) | Policy-driven detection and verification of methods such as sanitizers and validators | |
WO2006087780A1 (ja) | 脆弱性監査プログラム、脆弱性監査装置、脆弱性監査方法 | |
US9703683B2 (en) | Software testing coverage | |
US11003817B2 (en) | Hard error simulation and usage thereof | |
US20190361788A1 (en) | Interactive analysis of a security specification | |
US8438000B2 (en) | Dynamic generation of tests | |
WO2014050424A1 (ja) | シグニチャ検証装置及びシグニチャ検証方法及びプログラム | |
JP6945768B2 (ja) | 検知装置、検知方法、及び、検知プログラム | |
JP2011150716A (ja) | 脆弱性監査プログラム、脆弱性監査装置、脆弱性監査方法 | |
JP2009129204A (ja) | コード検査システム及びコード検査方法及びプログラム | |
US10481969B2 (en) | Configurable system wide tests | |
WO2020261430A1 (ja) | 情報処理装置、情報処理方法及び情報処理プログラム | |
JP2023514999A (ja) | 決定論的順序でテストを実行すること | |
Kommrusch | Artificial Intelligence Techniques for Security Vulnerability Prevention | |
JP5516277B2 (ja) | テストケース関係抽出方法、テストケース関係抽出装置及びテストケース関係抽出プログラム | |
JP2020067891A (ja) | Lsi派生開発用整合装置 | |
WO2018122990A1 (ja) | 情報処理装置、情報処理方法及び情報処理プログラム | |
Godboley et al. | Study on Unknown Bugs for Smart Contracts using Echidna | |
CN112115517A (zh) | 一种数据库插件的检验方法、装置、设备及介质 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20191223 |
|
A871 | Explanation of circumstances concerning accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A871 Effective date: 20191223 |
|
A975 | Report on accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A971005 Effective date: 20200519 |
|
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: 20200818 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20200915 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6765554 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |