JP6002507B2 - ソフトウェア検証用プログラムおよびソフトウェア検証システム - Google Patents

ソフトウェア検証用プログラムおよびソフトウェア検証システム Download PDF

Info

Publication number
JP6002507B2
JP6002507B2 JP2012190826A JP2012190826A JP6002507B2 JP 6002507 B2 JP6002507 B2 JP 6002507B2 JP 2012190826 A JP2012190826 A JP 2012190826A JP 2012190826 A JP2012190826 A JP 2012190826A JP 6002507 B2 JP6002507 B2 JP 6002507B2
Authority
JP
Japan
Prior art keywords
variable
model
external environment
unit
software
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
Application number
JP2012190826A
Other languages
English (en)
Japanese (ja)
Other versions
JP2014048856A (ja
JP2014048856A5 (enExample
Inventor
正裕 松原
正裕 松原
櫻井　康平
康平 櫻井
成沢　文雄
文雄 成沢
久光 山中
久光 山中
守 根本
守 根本
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hitachi Astemo Ltd
Original Assignee
Hitachi Automotive Systems Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Hitachi Automotive Systems Ltd filed Critical Hitachi Automotive Systems Ltd
Priority to JP2012190826A priority Critical patent/JP6002507B2/ja
Priority to EP13833807.4A priority patent/EP2891983A4/en
Priority to PCT/JP2013/069967 priority patent/WO2014034330A1/ja
Publication of JP2014048856A publication Critical patent/JP2014048856A/ja
Publication of JP2014048856A5 publication Critical patent/JP2014048856A5/ja
Application granted granted Critical
Publication of JP6002507B2 publication Critical patent/JP6002507B2/ja
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)
JP2012190826A 2012-08-31 2012-08-31 ソフトウェア検証用プログラムおよびソフトウェア検証システム Expired - Fee Related JP6002507B2 (ja)

Priority Applications (3)

Application Number Priority Date Filing Date Title
JP2012190826A JP6002507B2 (ja) 2012-08-31 2012-08-31 ソフトウェア検証用プログラムおよびソフトウェア検証システム
EP13833807.4A EP2891983A4 (en) 2012-08-31 2013-07-24 SOFTWARE VERIFICATION PROGRAM AND SOFTWARE VERIFICATION SYSTEM
PCT/JP2013/069967 WO2014034330A1 (ja) 2012-08-31 2013-07-24 ソフトウェア検証用プログラムおよびソフトウェア検証システム

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2012190826A JP6002507B2 (ja) 2012-08-31 2012-08-31 ソフトウェア検証用プログラムおよびソフトウェア検証システム

Publications (3)

Publication Number Publication Date
JP2014048856A JP2014048856A (ja) 2014-03-17
JP2014048856A5 JP2014048856A5 (enExample) 2014-04-24
JP6002507B2 true JP6002507B2 (ja) 2016-10-05

Family

ID=50183150

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2012190826A Expired - Fee Related JP6002507B2 (ja) 2012-08-31 2012-08-31 ソフトウェア検証用プログラムおよびソフトウェア検証システム

Country Status (3)

Country Link
EP (1) EP2891983A4 (enExample)
JP (1) JP6002507B2 (enExample)
WO (1) WO2014034330A1 (enExample)

Families Citing this family (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP6557959B2 (ja) * 2014-10-30 2019-08-14 富士通株式会社 情報提示プログラム、情報提示方法及び情報提示装置
JP6926841B2 (ja) * 2017-08-31 2021-08-25 富士電機株式会社 コントロールシステム、開発支援装置、及びコントロール方法
JP7622483B2 (ja) * 2021-03-11 2025-01-28 オムロン株式会社 開発支援装置、開発支援方法および開発支援プログラム
CN113449151B (zh) * 2021-06-11 2022-09-20 西安电子科技大学 一种通讯软件的安全性的自动化验证方法
JP7780382B2 (ja) * 2022-04-14 2025-12-04 株式会社日立製作所 モデル検査装置、及びモデル検査方法

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP3881103B2 (ja) * 1998-01-14 2007-02-14 富士通株式会社 変数分類装置およびそのプログラムを格納した記憶媒体
JP4001286B2 (ja) * 2003-06-23 2007-10-31 インターナショナル・ビジネス・マシーンズ・コーポレーション プログラム保守支援装置、プログラム保守支援方法、およびプログラム
JP2009123159A (ja) 2007-11-19 2009-06-04 Nec Corp 情報処理システム、情報処理方法、および情報処理プログラム
CN101763304A (zh) * 2009-12-31 2010-06-30 合肥工业大学 一种基于证据理论的不确定型软件可信性评估方法
US8719793B2 (en) * 2010-12-08 2014-05-06 Nec Laboratories America, Inc. Scope bounding with automated specification inference for scalable software model checking

Also Published As

Publication number Publication date
WO2014034330A1 (ja) 2014-03-06
EP2891983A1 (en) 2015-07-08
JP2014048856A (ja) 2014-03-17
EP2891983A4 (en) 2016-04-20

Similar Documents

Publication Publication Date Title
JP5775829B2 (ja) ソフトウェアの構造可視化プログラムおよびシステム
US8768651B2 (en) System and method for automatic standardization and verification of system design requirements
JP4148527B2 (ja) 機能テスト・スクリプト生成装置
CN106415504B (zh) 测试用例生成系统及记录测试用例的记录介质
Henard et al. Towards automated testing and fixing of re-engineered feature models
JP6002507B2 (ja) ソフトウェア検証用プログラムおよびソフトウェア検証システム
JP5005510B2 (ja) ソフトウェアの設計支援方法、設計支援装置及び設計支援プログラム
WO2012104907A1 (ja) プログラムの実行性能評価のためのテストデータ生成方法
US20170131973A1 (en) Software specification dependence relation verification apparatus and software specification dependence relation verification method
CN116880851A (zh) 基于数据流依赖关系分析的模型间一致性分析方法、系统及应用
JP5342407B2 (ja) プログラム解析方法、プログラム解析プログラムおよびプログラム解析装置
JP2012181666A (ja) 情報処理装置、情報処理方法及び情報処理プログラム
Schmidt et al. Automatic generation of thread communication graphs from SystemC source code
JP2017224185A (ja) バグ混入確率計算プログラム及びバグ混入確率計算方法
KR102052338B1 (ko) 테스트케이스 설계 정보의 추적 분석을 위한 시각화 방법, 테스트케이스 생성 장치 및 컴퓨터 판독가능 기록매체
JP2015133031A (ja) プログラム分析装置及びプログラム分析方法
JP2014115960A (ja) 検証装置、検証方法及び検証プログラム
US11782682B2 (en) Providing metric data for patterns usable in a modeling environment
Becker et al. FudgeFactor: Syntax-guided synthesis for accurate RTL error localization and correction
Stroud AUSIM: Auburn University SIMulator-Version L2. 2
Galko et al. Experiments with automated evaluation of domain usability
JP2008243042A (ja) ハイブリッドモデルのシミュレーション装置、方法及びプログラム
JP2025108911A (ja) モデル記述形式修正装置およびモデル記述形式修正方法
JP7059827B2 (ja) ソースコード生成装置
Morin et al. ProPy: Prolog-based Fault Localization Tool for Python

Legal Events

Date Code Title Description
A521 Written amendment

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20140204

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20150218

A521 Written amendment

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20150218

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20160426

A521 Written amendment

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20160531

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: 20160809

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20160905

R150 Certificate of patent or registration of utility model

Ref document number: 6002507

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

LAPS Cancellation because of no payment of annual fees