HUE041678T2 - Rendszer és eljárás, amely automatikusan biztosítja az ellentmondás-mentességet egy konstrukciós modell, egy interfész specifikáció és egy vagy több teszt között, amelyek a konstrukciós modellt tesztelik - Google Patents
Rendszer és eljárás, amely automatikusan biztosítja az ellentmondás-mentességet egy konstrukciós modell, egy interfész specifikáció és egy vagy több teszt között, amelyek a konstrukciós modellt tesztelikInfo
- Publication number
- HUE041678T2 HUE041678T2 HUE13786832A HUE13786832A HUE041678T2 HU E041678 T2 HUE041678 T2 HU E041678T2 HU E13786832 A HUE13786832 A HU E13786832A HU E13786832 A HUE13786832 A HU E13786832A HU E041678 T2 HUE041678 T2 HU E041678T2
- Authority
- HU
- Hungary
- Prior art keywords
- design model
- tests
- test
- interface specification
- automatically ensures
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
-
- 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/368—Test management for test version control, e.g. updating test cases to a new software version
-
- 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/3684—Test management for test design, e.g. generating new test cases
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/35—Creation or generation of source code model driven
- G06F8/355—Round-trip engineering
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Software Systems (AREA)
- Quality & Reliability (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- Stored Programmes (AREA)
- Architecture (AREA)
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US13/662,529 US10372841B2 (en) | 2012-10-28 | 2012-10-28 | Self-testing graphical component algorithm specification |
US13/838,344 US10360310B2 (en) | 2012-10-28 | 2013-03-15 | Self-testing graphical component algorithm specification |
Publications (1)
Publication Number | Publication Date |
---|---|
HUE041678T2 true HUE041678T2 (hu) | 2019-05-28 |
Family
ID=49551789
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
HUE13786832A HUE041678T2 (hu) | 2012-10-28 | 2013-10-24 | Rendszer és eljárás, amely automatikusan biztosítja az ellentmondás-mentességet egy konstrukciós modell, egy interfész specifikáció és egy vagy több teszt között, amelyek a konstrukciós modellt tesztelik |
Country Status (5)
Country | Link |
---|---|
US (1) | US10360310B2 (hu) |
EP (1) | EP2915040B1 (hu) |
JP (1) | JP6220882B2 (hu) |
HU (1) | HUE041678T2 (hu) |
WO (1) | WO2014066593A2 (hu) |
Families Citing this family (26)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103460231B (zh) * | 2011-03-03 | 2017-04-05 | 惠普发展公司,有限责任合伙企业 | 测试集成商业系统 |
US9607113B1 (en) | 2012-06-26 | 2017-03-28 | The Mathworks, Inc. | Linking of model elements to spatial elements |
US9672389B1 (en) * | 2012-06-26 | 2017-06-06 | The Mathworks, Inc. | Generic human machine interface for a graphical model |
US9582933B1 (en) | 2012-06-26 | 2017-02-28 | The Mathworks, Inc. | Interacting with a model via a three-dimensional (3D) spatial environment |
US10360052B1 (en) | 2013-08-08 | 2019-07-23 | The Mathworks, Inc. | Automatic generation of models from detected hardware |
US10970183B1 (en) * | 2013-08-16 | 2021-04-06 | The Mathworks, Inc. | System and method for improving model performance |
US9442700B2 (en) * | 2013-09-30 | 2016-09-13 | MuleSoft, Inc. | API notebook tool |
EP3001318A1 (de) * | 2014-09-24 | 2016-03-30 | dSPACE digital signal processing and control engineering GmbH | Bestimmung von Signalen für Readback aus FPGA |
US9732593B2 (en) * | 2014-11-05 | 2017-08-15 | Saudi Arabian Oil Company | Systems, methods, and computer medium to optimize storage for hydrocarbon reservoir simulation |
US10318653B1 (en) | 2015-02-26 | 2019-06-11 | The Mathworks, Inc. | Systems and methods for creating harness models for model verification |
US9891933B2 (en) * | 2015-06-24 | 2018-02-13 | International Business Machines Corporation | Automated testing of GUI mirroring |
US11244090B2 (en) | 2016-06-01 | 2022-02-08 | The Mathworks, Inc. | Systems and methods for extracting adjustable attributes of model components |
DE102016110321A1 (de) * | 2016-06-03 | 2017-12-07 | Thomas Haug | Computerprogrammprodukt |
US10222776B2 (en) * | 2016-09-12 | 2019-03-05 | Linestream Technologies | Wizard for configuring a motor |
US10191787B1 (en) * | 2017-01-17 | 2019-01-29 | Ansys, Inc. | Application program interface for interface computations for models of disparate type |
WO2018208745A1 (en) * | 2017-05-08 | 2018-11-15 | Siemens Product Lifecycle Management Software Inc. | Inter-artifact generation for interfaces of a modeled system |
CN108062275A (zh) * | 2017-11-14 | 2018-05-22 | 中国航空工业集团公司西安飞机设计研究所 | 一种航电系统mbse模型自动测试方法 |
EP3493051A1 (en) * | 2017-11-30 | 2019-06-05 | The MathWorks, Inc. | System and methods for evaluating compliance of implementation code with a software architecture specification |
DE102018003142A1 (de) | 2017-12-13 | 2019-06-13 | The Mathworks, Inc. | Automatische Einstellung von Multitasking-Konfigurationen für ein Codeprüfsystem |
US10740222B2 (en) * | 2018-10-23 | 2020-08-11 | Sap Se | Intelligent unitizer test plug-in |
US11789854B2 (en) * | 2019-08-19 | 2023-10-17 | Volkswagen Aktiengesellschaft | Hybrid interface testing |
CN110278148B (zh) * | 2019-08-19 | 2020-01-31 | 江苏金恒信息科技股份有限公司 | 一种数据兼容性网关系统 |
CN111475415B (zh) * | 2020-04-07 | 2021-07-27 | 北京航空航天大学 | 一种可靠性策略模型与代码的一致性检测方法和装置 |
CN111752554B (zh) * | 2020-05-18 | 2021-03-12 | 南京认知物联网研究院有限公司 | 基于模型编排的多模型协作系统及方法 |
US11669666B1 (en) * | 2020-11-30 | 2023-06-06 | Dialog Semiconductor (Uk) Limited | Methods relating to circuit verification |
CN114968828B (zh) * | 2022-08-02 | 2022-11-04 | 树优(宁波)科技有限公司 | 用于优化算法的性能测试方法、平台、设备及存储介质 |
Family Cites Families (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP3229193B2 (ja) | 1996-03-14 | 2001-11-12 | 株式会社ピーエフユー | 回路シミュレーション支援システム |
US8104017B2 (en) | 2001-10-25 | 2012-01-24 | The Mathworks, Inc. | Traceability in a modeling environment |
US7324931B1 (en) | 2003-11-17 | 2008-01-29 | The Mathworks, Inc. | Conversion of model components into references |
JP2006178775A (ja) | 2004-12-22 | 2006-07-06 | Canon Inc | 検証環境作成装置及びその処理方法 |
US7991598B1 (en) | 2005-08-01 | 2011-08-02 | The Mathworks, Inc. | Method and system for modeling a mechanical system |
US7813911B2 (en) * | 2006-07-29 | 2010-10-12 | Microsoft Corporation | Model based testing language and framework |
JP2010128583A (ja) * | 2008-11-25 | 2010-06-10 | Toshiba Corp | テスト容易化設計装置ならびにその方法およびプログラム |
EP2330469B1 (de) * | 2009-12-03 | 2012-10-31 | dspace digital signal processing and control engineering GmbH | Verfahren und Entwicklungsumgebung zur Erzeugung eines ausführbaren Gesamtsteuerungsprogramms |
US8683442B2 (en) * | 2011-09-21 | 2014-03-25 | GM Global Technology Operations LLC | Software test case generation from a partial design model |
-
2013
- 2013-03-15 US US13/838,344 patent/US10360310B2/en active Active
- 2013-10-24 WO PCT/US2013/066537 patent/WO2014066593A2/en active Application Filing
- 2013-10-24 EP EP13786832.9A patent/EP2915040B1/en active Active
- 2013-10-24 JP JP2015539780A patent/JP6220882B2/ja active Active
- 2013-10-24 HU HUE13786832A patent/HUE041678T2/hu unknown
Also Published As
Publication number | Publication date |
---|---|
US20140122028A1 (en) | 2014-05-01 |
US10360310B2 (en) | 2019-07-23 |
WO2014066593A2 (en) | 2014-05-01 |
EP2915040B1 (en) | 2018-11-21 |
JP2016506550A (ja) | 2016-03-03 |
WO2014066593A3 (en) | 2014-11-20 |
JP6220882B2 (ja) | 2017-10-25 |
EP2915040A2 (en) | 2015-09-09 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
HUE041678T2 (hu) | Rendszer és eljárás, amely automatikusan biztosítja az ellentmondás-mentességet egy konstrukciós modell, egy interfész specifikáció és egy vagy több teszt között, amelyek a konstrukciós modellt tesztelik | |
EP2919658A4 (en) | INTERFACE DEVICES, SYSTEMS AND METHODS FOR MULTIMODAL PROBES | |
HK1200546A1 (en) | Test apparatus and test method based on dfdau dfdau | |
EP2924588A4 (en) | REPORTING METHOD, DEVICE AND SYSTEM | |
ZA201603867B (en) | Method and device for anchor master selection. | |
EP2843556A4 (en) | SIMULATOR, SIMULATION PROCEDURE AND SIMULATION PROGRAM | |
EP3048759A4 (en) | METHOD, DEVICE AND SYSTEM FOR TROUBLE DIAGNOSIS | |
EP3082585A4 (en) | DEVICE, SYSTEM AND METHOD FOR EVALUATING INTRAVASCULAR PRESSURE | |
HK1204698A1 (en) | Method for compatibility test and system thereof | |
GB2538371B (en) | Well testing and monitoring | |
EP2943787A4 (en) | SYSTEM AND METHOD FOR EXPANSION OF TEST MENUS | |
EP2995249A4 (en) | DIAGNOSTIC DEVICE, DIAGNOSTIC PROCEDURE AND PROGRAM | |
EP2886040A4 (en) | SIMULATION DEVICE, SIMULATION SYSTEM, SIMULATION PROCEDURE AND SIMULATION PROGRAM | |
EP3054263A4 (en) | DIMENSION MEASURING DEVICE, DIMENSION MEASURING METHOD, DIMENSION MEASURING SYSTEM, AND PROGRAM | |
EP2980570A4 (en) | BLOOD CONDITION EVALUATION DEVICE, BLOOD CONDITION EVALUATION SYSTEM, BLOOD CONDITION EVALUATION METHOD, AND PROGRAM | |
HK1216688A1 (zh) | 用於模擬血流的裝置、系統和方法 | |
EP3076864A4 (en) | DEVICE, SYSTEM AND METHOD FOR EVALUATING INTRAVASCULAR PRESSURE | |
EP2701345A4 (en) | METHOD, DEVICE AND SYSTEM FOR LOOP TESTING | |
PL2884066T3 (pl) | Sposób diagnozowania obiektu jak również urządzenie do tego sposobu | |
EP3067658A4 (en) | 3d-shape measurement device, 3d-shape measurement method, and 3d-shape measurement program | |
EP3049810A4 (en) | Systems and methods for diagnostic testing | |
EP2818099A4 (en) | CYCLODUCTION MEASUREMENT DEVICE, CYCLODUCTION MEASUREMENT METHOD, CYCLODUCTION MEASUREMENT PROGRAM | |
SG11201509702VA (en) | Simulation device, simulation method, and program | |
EP2842485A4 (en) | DEVICE AND SYSTEM FOR EVALUATING SPEECH DISCRIMINATION ABILITY, DEVICE FOR DETERMINING HEARING PROSTHESIS GAIN, METHOD AND PROGRAM FOR EVALUATING SPEECH DISCRIMINATION SUITABILITY | |
SG11201507666QA (en) | Hearing test provision system, and hearing test provision method |