CN107918585B - 用于测试软件程序的方法和装置 - Google Patents
用于测试软件程序的方法和装置 Download PDFInfo
- Publication number
- CN107918585B CN107918585B CN201710913395.8A CN201710913395A CN107918585B CN 107918585 B CN107918585 B CN 107918585B CN 201710913395 A CN201710913395 A CN 201710913395A CN 107918585 B CN107918585 B CN 107918585B
- Authority
- CN
- China
- Prior art keywords
- test
- software
- simulation process
- testing
- software program
- 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
- G01—MEASURING; TESTING
- G01M—TESTING STATIC OR DYNAMIC BALANCE OF MACHINES OR STRUCTURES; TESTING OF STRUCTURES OR APPARATUS, NOT OTHERWISE PROVIDED FOR
- G01M17/00—Testing of vehicles
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR 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/3668—Testing of software
- 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
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Prevention of errors by analysis, debugging or testing of software
- G06F11/3668—Testing of software
- G06F11/3672—Test management
- G06F11/3692—Test management for test results analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR 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/3668—Testing of software
- 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—Prevention of errors by analysis, debugging or testing of software
- G06F11/3668—Testing of software
- G06F11/3696—Methods or tools to render software testable
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR 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/3698—Environments for analysis, debugging or testing of software
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/20—Design optimisation, verification or simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F40/00—Handling natural language data
- G06F40/20—Natural language analysis
- G06F40/205—Parsing
- G06F40/211—Syntactic parsing, e.g. based on context-free grammar [CFG] or unification grammars
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F40/00—Handling natural language data
- G06F40/30—Semantic analysis
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Audiology, Speech & Language Pathology (AREA)
- Computational Linguistics (AREA)
- General Health & Medical Sciences (AREA)
- Health & Medical Sciences (AREA)
- Artificial Intelligence (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- Debugging And Monitoring (AREA)
Abstract
本发明涉及一种用于测试软件程序的方法和装置。在根据本发明的用于测试软件程序的方法中,其中在模拟过程中,在测试场景中的测试平台上模拟预先确定的场景,并且其中测试平台在该模拟过程中根据输入激励来生成输出值,在模拟过程期间,根据模拟过程的当前状态来进行测试场景的动态调整。
Description
技术领域
本发明涉及用于测试软件程序的方法和装置,该软件程序特别是涉及用于实时信号处理的程序,例如用于控制车辆中的应用程序。
背景技术
在车辆领域,经常根据或者基于物理和逻辑信号值(例如加速器踏板位置和其他信息信号)来开发嵌入式软件应用程序。为了测试相应的软件应用程序,那么需要为这些信号定义有意义的次序,以在使用相关信号时执行软件应用程序,并且评估或估算所生成的输出值。
示例性场景例如可以采用这样的形式,其中通过致动加速器踏板将车辆加速到预先确定的速度,并且在达到该速度之后释放加速器踏板。此处可以使用模拟模型来描述具有用于影响加速踏板的相应接口的车辆。
在实践中出现的一个问题是,与现实世界中实际出现的信号相似的信号规范是耗时且容易出错的。因此,在软件应用程序集成到嵌入式硬件之前,往往忽略这一步。除此之外,在没有对软件应用程序本身进行改变的情况下,对在执行相关软件应用程序期间计算出的信号及其改变的反应是不可能的,如果在相关代码生成之前仍没有删除相关改变,这可能会导致不必要的副作用。
对于现有技术,仅作为示例参考US 7 523 441 B2、EP 1 898 282 A1和US 6 539534 B1。
发明内容
本发明的一个目的是提供一种用于测试软件程序的方法和装置,其中该软件程序允许应用程序在开发过程中尽可能早地实现最高可能的自动化程度。
该目的通过根据独立权利要求1的特征的方法或根据并列权利要求4的特征的装置来实现。
在根据本发明的用于测试软件程序的方法中,其中在模拟过程中,在测试场景中的测试平台上模拟预先确定的场景,并且其中测试平台在该模拟过程中根据输入激励来生成输出值,在模拟过程期间根据模拟过程的当前状态来生成测试场景的动态调整。
根据本发明的方法使得特别是在模拟过程期间可以与相应的测试平台进行交互或者与其进行数据交换,并且因此可以在模拟期间对事件做出反应。可以在此处改变各个场景的激励信号,并且在模拟期间由测试平台本身生成的值也可以被重写,只要这是在相关场景中这是指定的和期望的。
将模拟的当前状态以及由测试平台生成的直到相应时间点的输出值二者考虑到激励信号(“刺激”)的自动改变中,并且在此基础上随着用于当前运行模拟的输出值一起生成新的激励。这些激励包含与待测试的系统的输入直接相关的激励,以及由待测试的系统内的测试平台生成的信号值。总之,此处实现了一个完全自动化的测试过程。
根据本发明的方法使得可以在预先确定的时间点或根据模拟期间发生的事件考虑当前系统状态,并且使用描述该系统状态的相应值来动态地调整激励信号(“刺激”)和参考值。
总之,本发明提供了一种用于测试模拟过程的有效方法,其以简单的方式允许信号的规范以及验收或公差标准同时具有使用内部信号(即在软件执行期间生成的或计算的)的能力,其中结果为在开发过程期间能够使相关过程及其应用程序自动化。
本发明还包括提供类似于自然语言的用于描述信号的特定领域语言,使得可以独立于软件执行的相应平台来描述任意的复杂信号。因此,根据本发明的实施方式结合了用于软件执行的平台的分析功能,提供用于信号规范的输入便利性以及由激励信号的输入、执行和评估组成的整个过程的自动化。这种方法的一个益处是可以为不同的软件环境和编程语言(汇编器、中间代码、高级语言)生成并且提供相应的信号规范。
此处根据本发明的方法的一个重要益处是利用一条软件的内部信号(即使用在软件执行期间已经计算的信号),并且使用这些信号对先前特定条件或状态进行反应(“反应性测试”),以用于在模拟期间根据这些条件或状态来改变输入激励信号。此外,相应的值可以用于重新计算激励值和验收或公差标准。这可以通过以下来实现:中断软件应用程序的执行,与根据本发明的装置进行通信,重新计算信号,然后将信号发送到用于软件执行的平台,并且在继续进行模拟前对重新计算的信号进行转换。
本发明的其它实施例可以在说明书和从属权利要求中找到。
附图说明
下面将参照附图中示出的示例性实施例来更详细地解释本发明。
此处:
图1示出了以一种形式的实施例来解释根据本发明的方法的可能流程的流程图;和
图2示出了对本发明进一步解释的框图。
具体实施方式
图1示出了以一种形式的实施例来解释根据本发明的方法的可能流程的流程图。
为了测试一条软件,必须描述用于在执行期间激励软件输入的信号。在模拟期间,记录和评估相应的输出信号,以便将记录的值与以前指定的验收或公差标准进行比较。
对测试实例(S120)的规范进行解析,或进行语法和语义分析,并且编译成信号(S125)。首先,根据图1,分析测试平台和执行平台中的软件(S110),以识别软件的接口和使用平台特定的变量(S115)。根据软件接口自动生成(S135)所谓的测试工具(S140)。该测试工具表示由能够实现输入激励、记录输出值和操纵内部信号的特定元件扩展或补充的原始软件的副本。在此基础上自动执行测试(S145,S150)。一旦满足适当的条件,中断该执行,并且将软件变量的当前状态发送到根据本发明的装置;根据软件变量的状态再次生成信号,并且将该信号发送回执行平台。因此,测试工具在测试过程中具有动态特性。
在测试已完成运行之后,检查是否满足验收标准,并且自动评估记录的输出值,即输出和存储预先确定的参数和质量标准(S155,S160)。
在示例性实施方式中,测试规范可以包含以下参数:
输入(Inputs):
<input_signal1>[0]
输出(Outputs):
<output_signal1>[0](ON;-0.1;0.1;1;.5;0.1;0.001;0)
校准(Calibration)1:
校准(Calibration)2:
常量(Constants):
连续信号的变化(Continuous signal changes):
测试(Test):
步骤(Step)1:
步骤(Step)2:
验收(Acceptance):
标准(Criterion)1:
标准(Criterion)2:
“输入”部分描述了每个输入的激励的基本属性。“输出”部分描述了包括用于评估的属性的参考信号。“校准”描述了在测试过程中对本地参数的改变,从而允许使用不同参数来方便地执行测试。例如,如果指定了两个可校准参数,那么会产生每个都有变化参数的两个模拟。
将在“步骤”部分中描述待提供的输入信号。每个“步骤”部分被分配一个“标准”。只要相应的“步骤”继续,就检查标准的条件。各种动作命令可用于影响信号值及其随时间的变化,例如:
<signal1>ramp to[5.0]in{2.0}seconds
<signal2>set to[TRUE]
wait for{8.0}seconds
解析此类测试实例,并且编译成用于生成或模拟待测试软件中的信号值的相应命令。此处首先要检查待测试的软件及其执行平台,以便探测软件接口和利用平台特定的变量。因此,如果编程语言或命令结构的相应语法是已知的,那么系统可以自动适应不同的软件环境或执行平台。
基于此自动生成测试工具。测试工具提供了带有附加指令(原则上称为调试指令)的原始软件副本,从而能够实现输入激励、记录输出值和操纵内部信号。
然后执行测试工具。一旦满足预先确定的条件,就使执行停止,将软件变量的当前状态发送到测试工具;根据软件变量的状态再次生成信号,并且将该信号发送回执行平台。假如—优选地—涉及对实时信号处理的测试,在测试环境的预先确定修改期间,优选地停止执行时间,使得测试过程在测试系统的干预下不会及时改变。
相应的标准可以例如指定:
If["condition"]during{"time"}seconds then(
"commands for changing the input stimulations")
能够被评估的任何逻辑表达可以用作条件,例如信号(signal)>5。上述伪编程语言设计为对于普通语言中的定义为用户提供最大可能的自由度,例如使用替代的关键词(如可以对条件结构使用术语“Provided(假如)”来代替使用“If(如果)”)。
时间的规范是可选的。如果存在这种情况,那么为指定的持续时间检查条件。如果没有时间说明,那么在模拟的各个时间点仅检查一次条件。
根据下面的示例性说明,1秒后检查一次条件。
Wait for{1}second
If["condition”](
"commands for changing the input stimulations")
如果不满足“条件”,那么不执行IF块中的命令。如果满足“条件”,那么只要执行用于改变输入激励的命令是必要的,就持续执行条件块。
也可以为执行过程中生成的值重写或修改(“Overwrite”)软件变量。这允许测试人员特别是在检查条件方面与待测试的软件和模拟值进行更深入的交互。例如,可以等待特定事件,然后通过用故意不正确的值重写正确的值来模拟故障功能。例如,用此可以模拟特定部件和传感器的故障,并且这可以例如在待测试的系统的显著瞬态期间动态地进行。值的重写也可以随时在条件的控制下结束:
Overwrite<signal1>on
Overwrite<signal1>off
可以根据特定的条件,在测试部分和验收标准中使用反应动作,以改变模拟参数和验收标准。
图2再次示出了根据本发明的测试方法的重要方面,即测试工具的动态调整。测试工具220向待测试的软件或测试工具230提供信号225。当执行测试时,在250中定期(在每个时间戳)检查预先确定的条件,并且当满足条件时,触发新的信号生成(箭头260)。输出信号在235中传送到数据存储器240,输出信号在数据存储器240中被存储用于评估。
在测试期间测试应用程序的新的信号生成的步骤可以以各种方式实现,这取决于条件的复杂性。例如,在现有的测试工具中调整特定的数值参数,或选择已经存在于测试工具中的特定的替代调试块。由于测试的动态适应性,而使测试过程根据待测试的程序的反应可能会有很大结果不同,这增加了测试的信息值。
Claims (4)
1.一种用于测试软件程序的方法,其中在模拟过程中,在测试场景中的测试平台上模拟预先确定的场景,并且其中所述测试平台在所述模拟过程中根据输入激励来生成输出值,
其特征在于,
基于软件程序的软件接口生成测试工具,其中测试工具表示由能够实现输入激励、记录输出值和操纵内部信号的特定元件扩展或补充的原始软件的副本;
在所述模拟过程期间,根据所述模拟过程的当前状态来进行所述测试场景的动态调整。
2.根据权利要求1所述的方法,
其特征在于,
在所述测试场景的所述调整中,所述输入激励在所述模拟过程中根据所生成的所述输出值而改变。
3.根据权利要求1或2所述的方法,
其特征在于,
在所述测试场景的所述调整中,重写所述测试平台生成的至少一些输出值。
4.一种用于测试软件程序的装置,其中在模拟过程中,在测试场景中的测试平台上模拟预先确定的场景,并且其中所述测试平台在所述模拟过程中根据输入激励来生成输出值,
其特征在于,
所述装置配置为执行如前述权利要求之一所述的方法。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
DE102016219550.6 | 2016-10-07 | ||
DE102016219550 | 2016-10-07 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN107918585A CN107918585A (zh) | 2018-04-17 |
CN107918585B true CN107918585B (zh) | 2023-05-02 |
Family
ID=60185991
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710913395.8A Active CN107918585B (zh) | 2016-10-07 | 2017-09-30 | 用于测试软件程序的方法和装置 |
Country Status (3)
Country | Link |
---|---|
US (1) | US10394704B2 (zh) |
EP (1) | EP3306295B1 (zh) |
CN (1) | CN107918585B (zh) |
Families Citing this family (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20180300225A1 (en) * | 2015-10-19 | 2018-10-18 | Leapwork A/S | Method, apparatus and system for task automation of computer operations based on ui control and image/text recognition |
EP3841475B1 (en) * | 2018-09-28 | 2024-02-21 | Siemens Industry Software Inc. | Method and aparatus for verifying a software system |
EP3891612B1 (en) * | 2019-02-04 | 2023-01-04 | Siemens Aktiengesellschaft | System and method for testing and validating applications |
US11327872B2 (en) * | 2019-05-07 | 2022-05-10 | Viavi Solutions Inc. | Test instrument for software communications architecture device testing |
CN110188491B (zh) * | 2019-06-03 | 2020-12-18 | 珠海格力电器股份有限公司 | 提高仿真计算过程中计算效率的处理方法及装置 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101149622A (zh) * | 2006-09-11 | 2008-03-26 | 帝斯贝思数字信号处理和控制工程有限公司 | 用于测试电子控制系统的方法 |
WO2015035385A1 (en) * | 2013-09-09 | 2015-03-12 | Mts Systems Corporation | Method of off-line hybrid system assessment for test monitoring and modification |
Family Cites Families (46)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP0508619A2 (en) * | 1991-04-11 | 1992-10-14 | Hewlett-Packard Company | Bi-directional socket stimulus interface for a logic simulator |
US5164901A (en) * | 1991-12-05 | 1992-11-17 | Trw Vehicle Safety Systems Inc. | Method and apparatus for testing a vehicle occupant restraint system |
US5684713A (en) | 1993-06-30 | 1997-11-04 | Massachusetts Institute Of Technology | Method and apparatus for the recursive design of physical structures |
GB2336008B (en) * | 1998-04-03 | 2000-11-08 | Schlumberger Holdings | Simulation system including a simulator and a case manager adapted for organizing data files |
US6539534B1 (en) * | 2000-08-25 | 2003-03-25 | Xilinx, Inc. | Apparatus and method for automatically generating circuit designs that meet user output requirements |
WO2002093320A2 (en) * | 2001-05-17 | 2002-11-21 | Entelos, Inc. | Apparatus and method for validating a computer model |
US20030069010A1 (en) * | 2001-10-10 | 2003-04-10 | Srinivasa Eravelli | Systems and techniques for testing a communications device |
US7099813B2 (en) * | 2002-04-09 | 2006-08-29 | Arm Limited | Simulating program instruction execution and hardware device operation |
JP4085749B2 (ja) * | 2002-08-28 | 2008-05-14 | トヨタ自動車株式会社 | 制御部の試験装置 |
DE10303489A1 (de) | 2003-01-30 | 2004-08-12 | Robert Bosch Gmbh | Verfahren und Vorrichtung zum Testen von Software einer Steuereinheit eines Fahrzeugs |
US7003420B2 (en) * | 2003-10-31 | 2006-02-21 | International Business Machines Corporation | Late binding of variables during test case generation for hardware and software design verification |
US7523441B2 (en) * | 2004-04-16 | 2009-04-21 | National Instruments Corporation | Implementing a synchronous reactive system in a graphical program |
US7441236B2 (en) * | 2004-10-27 | 2008-10-21 | Bae Systems Land & Armaments L.P. | Software test environment for regression testing ground combat vehicle software |
CN100419402C (zh) * | 2004-12-30 | 2008-09-17 | 比亚迪股份有限公司 | 汽车底盘测功机系统 |
US7412623B1 (en) * | 2005-06-13 | 2008-08-12 | Sun Microsystems, Inc. | State machine simulator for testing computer systems |
US7331007B2 (en) * | 2005-07-07 | 2008-02-12 | International Business Machines Corporation | Harnessing machine learning to improve the success rate of stimuli generation |
US7542436B2 (en) * | 2005-07-22 | 2009-06-02 | The Boeing Company | Tactical cognitive-based simulation methods and systems for communication failure management in ad-hoc wireless networks |
DE102005048464B4 (de) * | 2005-10-07 | 2014-11-06 | Dspace Digital Signal Processing And Control Engineering Gmbh | Verfahren und Vorrichtung zum Simulieren einer induktiven Last |
US8291387B2 (en) * | 2005-11-22 | 2012-10-16 | International Business Machines Corporation | Method and system for testing a software application interfacing with multiple external software applications in a simulated test environment |
US20070260438A1 (en) * | 2006-05-08 | 2007-11-08 | Langer William J | Vehicle testing and simulation using integrated simulation model and physical parts |
US20070260373A1 (en) * | 2006-05-08 | 2007-11-08 | Langer William J | Dynamic vehicle durability testing and simulation |
EP2069873A2 (de) * | 2006-09-25 | 2009-06-17 | Robert Bosch GmbH | Rechnerbasiertes werkzeug und verfahren zum extrahieren des funktionscodes von steuergeräten |
US8346526B1 (en) * | 2006-12-29 | 2013-01-01 | The Mathworks, Inc. | Test environment for accumulating cumulative metric data |
US8494832B2 (en) * | 2007-06-20 | 2013-07-23 | Sanjeev Krishnan | Method and apparatus for software simulation |
EP2034468A1 (en) * | 2007-09-05 | 2009-03-11 | Nederlandse Organisatie voor toegepast- natuurwetenschappelijk onderzoek TNO | Method for assessing the performance of a motion simulator and performance indicator obtained with such method |
US20090265156A1 (en) * | 2008-04-18 | 2009-10-22 | Microsoft Corporation | Dynamically varying simulation precision |
US8594981B2 (en) * | 2008-06-22 | 2013-11-26 | United Electronic Industries | Dynamically powering a position and angle digital detection and simulation output |
US8239177B2 (en) * | 2008-08-01 | 2012-08-07 | National Instruments Corporation | Simulation of a motion system including a mechanical modeler with interpolation |
US7765858B2 (en) * | 2008-08-08 | 2010-08-03 | Gm Global Technology Operations, Inc. | Method of measuring torsional dynamics of a steering column at small dynamic amplitudes |
US8732663B2 (en) * | 2010-02-24 | 2014-05-20 | Salesforce.Com, Inc. | System, method and computer program product for providing automated testing by utilizing a preconfigured point of entry in a test or by converting a test to a predefined format |
US8612192B2 (en) * | 2010-05-24 | 2013-12-17 | GM Global Technology Operations LLC | Vehicle simulation system with software-in-the-loop bypass control |
BR112013000271A2 (pt) * | 2010-07-06 | 2016-05-24 | Saab Ab | sistema hospedeiro de aplicação em aviônico, simulador de voo compreendendo sistema hospedeiro, método para simular e/ou testar um número de aplicações particionadas dispostas para ser periodicamente executadas em um sistema alvo e programa de computador |
US9747187B2 (en) * | 2010-10-27 | 2017-08-29 | International Business Machines Corporation | Simulating black box test results using information from white box testing |
WO2012088635A1 (zh) * | 2010-12-30 | 2012-07-05 | 中国科学院自动化研究所 | 车辆自适应巡航控制系统及方法 |
KR101586051B1 (ko) * | 2011-05-31 | 2016-01-19 | 한국전자통신연구원 | 제품 테스트용 차량 데이터 제공 장치 및 방법 |
US20130096901A1 (en) * | 2011-10-12 | 2013-04-18 | International Business Machines Corporation | Verifying Simulation Design Modifications |
US20130311827A1 (en) * | 2012-05-16 | 2013-11-21 | International Business Machines Corporation | METHOD and APPARATUS for automatic testing of automation software |
US8688311B2 (en) * | 2012-05-17 | 2014-04-01 | Ford Global Technologies, Llc | Apparatus for simulating a vehicle environment |
DE102012211981A1 (de) * | 2012-07-10 | 2014-01-16 | Dspace Digital Signal Processing And Control Engineering Gmbh | Verfahren und Vorrichtung zum Erstellen und Testen eines Steuergeräteprogramms |
US9501390B1 (en) * | 2013-01-02 | 2016-11-22 | Amazon Technologies, Inc. | Enhancing automated mobile application testing |
KR20140134451A (ko) * | 2013-05-14 | 2014-11-24 | 한국전자통신연구원 | 테스트 환경 설정 장치, 및 테스트 환경 설정 장치를 이용하는 네트워크 시뮬레이션 장치의 작동 방법 |
EP2940586B1 (en) * | 2014-04-29 | 2023-03-01 | Hitachi, Ltd. | Method and system for testing control software of a controlled system |
US10062354B2 (en) * | 2014-10-10 | 2018-08-28 | DimensionalMechanics, Inc. | System and methods for creating virtual environments |
EP3035281A1 (de) * | 2014-12-18 | 2016-06-22 | Horst Zacharias | Energieeffizienzanalyse einer technischen anlage aus simulation und verbrauch |
DE102015104890A1 (de) * | 2015-03-30 | 2016-10-06 | Gpi Gesellschaft Für Prüfstanduntersuchungen Und Ingenieurdienstleistungen Mbh | Testsystem und Testverfahren zum Test einer fahrzeug- und/oder fahrzeugführerspezifischen Signalwahrnehmung und -reaktion sowie Konfigurationssystem und Konfigurationsverfahren zur fahrzeug- und/oder fahrzeugführerspezifischen Konfiguration wenigstens einer Fahrzeugführer-System-Schnittstelle |
US11281829B2 (en) * | 2015-09-29 | 2022-03-22 | Wind River Systems, Inc. | Device, system, and method for adaptive simulation |
-
2017
- 2017-09-30 CN CN201710913395.8A patent/CN107918585B/zh active Active
- 2017-10-06 EP EP17195248.4A patent/EP3306295B1/de active Active
- 2017-10-06 US US15/727,005 patent/US10394704B2/en active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101149622A (zh) * | 2006-09-11 | 2008-03-26 | 帝斯贝思数字信号处理和控制工程有限公司 | 用于测试电子控制系统的方法 |
WO2015035385A1 (en) * | 2013-09-09 | 2015-03-12 | Mts Systems Corporation | Method of off-line hybrid system assessment for test monitoring and modification |
Non-Patent Citations (1)
Title |
---|
倪何 ; 金家善 ; 陈砚桥 ; 曾凡明 ; .某型汽轮给水机组监控软件一体化测试平台.海军工程大学学报.2015,(06),全文. * |
Also Published As
Publication number | Publication date |
---|---|
CN107918585A (zh) | 2018-04-17 |
EP3306295B1 (de) | 2019-06-26 |
US20180101472A1 (en) | 2018-04-12 |
EP3306295A1 (de) | 2018-04-11 |
US10394704B2 (en) | 2019-08-27 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107918585B (zh) | 用于测试软件程序的方法和装置 | |
US8453110B2 (en) | Automatic generation of code for component interfaces in models | |
US8683442B2 (en) | Software test case generation from a partial design model | |
KR20000029237A (ko) | 반도체 집적 회로 평가 시스템 | |
JP7262818B2 (ja) | エンジンデバッグ、テスト、較正、及び調節を制御するためのソフトウェア環境 | |
Feldman et al. | Simulating rhapsody SysML blocks in hybrid models with FMI | |
US20150234966A1 (en) | Method and an apparatus for automatic generation of verification environment for processor design and verification | |
Lee et al. | Requirements modeling and automated requirements-based test generation | |
CN116069635A (zh) | Soc系统的测试方法、装置、计算机设备及存储介质 | |
US20180157571A1 (en) | Method for the realistic estimation of function run times in pil simulation | |
US8510708B2 (en) | Method for optimizing a control program for actuators | |
Wiechowski et al. | Arttest–a new test environment for model-based software development | |
Drenth et al. | Consistent simulation environment with FMI based tool chain | |
CN117350205A (zh) | 芯片的验证方法、装置、电子设备和存储介质 | |
EP4036780A1 (en) | Electronic control unit timing emulation | |
CN110688271B (zh) | 一种应用于处理器芯片仿真验证的可控随机故障注入方法 | |
US20080162069A1 (en) | Method And Device For the Dynamic Treatment of Objects | |
Borrione et al. | Symbolic simulation and verification of VHDL with ACL2 | |
Karlsson et al. | Automation of the creation and execution of system level hardware-in-loop tests through model-based testing | |
US11403077B2 (en) | Method and system for preparing block diagrams for code generation | |
Von Wissel et al. | Full Virtualization of Renault's Engine Management Software and Application to System Development | |
US20240176926A1 (en) | Method and system for simulating a control program | |
JP2016071883A (ja) | Fpgaからリードバックするための信号の特定 | |
EP4404066A1 (en) | Automated test generation | |
Zander-Nowicka et al. | From Functional Requirements through Test Evaluation Design to Automatic Test Data Patterns Retrieval-a Concept for Testing of Software Dedicated for Hybrid Embedded Systems. |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |