JP2014048856A5 - - Google Patents

Download PDF

Info

Publication number
JP2014048856A5
JP2014048856A5 JP2012190826A JP2012190826A JP2014048856A5 JP 2014048856 A5 JP2014048856 A5 JP 2014048856A5 JP 2012190826 A JP2012190826 A JP 2012190826A JP 2012190826 A JP2012190826 A JP 2012190826A JP 2014048856 A5 JP2014048856 A5 JP 2014048856A5
Authority
JP
Japan
Prior art keywords
variable
external environment
model
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.)
Granted
Application number
JP2012190826A
Other languages
English (en)
Japanese (ja)
Other versions
JP2014048856A (ja
JP6002507B2 (ja
Filing date
Publication date
Application filed filed Critical
Priority to JP2012190826A priority Critical patent/JP6002507B2/ja
Priority claimed from JP2012190826A external-priority 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

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 true JP2014048856A5 (enExample) 2014-04-24
JP6002507B2 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

Similar Documents

Publication Publication Date Title
Konakli et al. Global sensitivity analysis using low-rank tensor approximations
US9626164B1 (en) Test-driven development module for repository-based development
JP2014048856A5 (enExample)
JP2013528304A5 (enExample)
PH12017550014A1 (en) Methods for understanding incomplete natural language query
JP2018081377A5 (enExample)
GB2555544A9 (en) International multi-language implementation method of configuration software
US20160299999A1 (en) Systems and methods for power plant model optimization
JP2016500167A5 (enExample)
JP2013080326A5 (enExample)
RU2018135284A (ru) Генерирование представлений контекстного поиска
RU2015145969A (ru) Способ и устройство для выполнения приложения
Zhu et al. Multimode process data modeling: A Dirichlet process mixture model based Bayesian robust factor analyzer approach
MX2016015731A (es) Contenido semantico que accede en un sistema de desarrollo.
JP2015510181A5 (enExample)
WO2014025946A3 (en) Automatic verification of data sources
US20160187865A1 (en) Plc system and arithmetic-expression-data-creation supporting apparatus
EP2407893A3 (en) Information processing device, information processing method, and program for string analysis
JP2017004545A5 (ja) プログラム、コンピュータ及び方法
CN106104470B (zh) 动作设计装置
JP2017062584A5 (enExample)
JP2013033467A5 (enExample)
GB2534481A (en) Data analytics for oilfield data repositories
JP2007325312A5 (enExample)
US9727990B2 (en) Graph display device, method and computer-readable medium