专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US08868399B1 Timer analysis and identification 有权
标题翻译：定时器分析和识别
公开(公告)号：US08868399B1
公开(公告)日：2014-10-21
申请号：US13566222
申请日：2012-08-03
申请人： Gregoire Hamon
发明人： Gregoire Hamon
IPC分类号： G06F17/50 , G06F9/44
CPC分类号： G06F8/34 , G06F11/3664 , G06F2217/84
摘要： In an embodiment, a technique for identifying a timer in a graphical block diagram environment. According to the technique, one or more variables associated with an executable model in a graphical diagram environment are identified. One or more characteristics associated with the identified one or more variables are identified and the timer is identified based on the one or more characteristics.
摘要翻译：在一个实施例中，一种用于在图形框图环境中识别定时器的技术。根据该技术，识别与图形图环境中的可执行模型相关联的一个或多个变量。识别与所识别的一个或多个变量相关联的一个或多个特征，并且基于一个或多个特征来识别定时器。

2. 发明授权

US07865339B2 Formal methods for test case generation 有权
标题翻译：测试用例生成的正式方法
公开(公告)号：US07865339B2
公开(公告)日：2011-01-04
申请号：US10889266
申请日：2004-07-12
申请人： John Rushby , Leonardo Mendonga De Moura , Gregoire Hamon
发明人： John Rushby , Leonardo Mendonga De Moura , Gregoire Hamon
IPC分类号： G06F17/10
CPC分类号： G06F11/3684
摘要： The invention relates to the use of model checkers to generate efficient test sets for hardware and software systems. The method provides for extending existing tests to reach new coverage targets; searching *to* some or all of the uncovered targets in parallel; searching in parallel *from* some or all of the states reached in previous tests; and slicing the model relative to the current set of coverage targets. The invention provides efficient test case generation and test set formation. Deep regions of the state space can be reached within allotted time and memory. The approach has been applied to use of the model checkers of SRI's SAL system and to model-based designs developed in Stateflow. Stateflow models achieving complete state and transition coverage in a single test case are reported.
摘要翻译：本发明涉及使用模型检查器来生成用于硬件和软件系统的有效测试集。该方法提供扩展现有测试以达到新的覆盖目标; 搜索*到*部分或全部未覆盖的目标并行; 在以前的测试中达成的一些或所有状态平行搜索* 并相对于目前的覆盖目标集切片模型。本发明提供了有效的测试用例生成和测试集的形成。国家空间的深层区域可以在规定的时间和记忆中达到。该方法已被应用于使用SRI的SAL系统的模型检查器和在Stateflow中开发的基于模型的设计。报告了在单个测试用例中实现完全状态和转换覆盖的Stateflow模型。

3. 发明授权

US08301423B1 Verification and validation system for a graphical model 有权
标题翻译：图形模型的验证和验证系统
公开(公告)号：US08301423B1
公开(公告)日：2012-10-30
申请号：US13075693
申请日：2011-03-30
申请人： William J. Aldrich , Gregoire Hamon
发明人： William J. Aldrich , Gregoire Hamon
IPC分类号： G06F7/60 , G06F17/10
CPC分类号： G06F17/5009 , G06F8/34 , G06F2217/04 , G06F2217/74
摘要： A verification tool in a graphical modeling environment allows the components in the graphical modeling environment to be used to define error or exceptional conditions without adverse affects on the ultimate implementation of the model. In one example, a system presents a graphical interface to facilitate design of a model constructed from graphical blocks; receives an association of a plurality of blocks with a verification subsystem; and performs an operation to verify that the blocks in the verification subsystem do not affect operation of the model external to the verification system.
摘要翻译：图形建模环境中的验证工具允许图形建模环境中的组件用于定义错误或特殊条件，而不会对模型的最终实现产生不利影响。在一个示例中，系统呈现图形界面以便于由图形块构建的模型的设计; 接收多个块与验证子系统的关联; 并且执行操作以验证验证子系统中的块不影响验证系统外部的模型的操作。

4. 发明授权

US08260602B1 Timer analysis and identification 有权
标题翻译：定时器分析和识别
公开(公告)号：US08260602B1
公开(公告)日：2012-09-04
申请号：US11982289
申请日：2007-11-01
申请人： Gregoire Hamon
发明人： Gregoire Hamon
IPC分类号： G06F9/45 , G06F17/50 , G06F9/44
CPC分类号： G06F8/34 , G06F11/3664 , G06F2217/84
摘要： In an embodiment, a technique for identifying a timer in a graphical block diagram environment. According to the technique, one or more variables associated with an executable model in a graphical diagram environment are identified. One or more characteristics associated with the identified one or more variables are identified and the timer is identified based on the one or more characteristics.
摘要翻译：在一个实施例中，一种用于在图形框图环境中识别定时器的技术。根据该技术，识别与图形图环境中的可执行模型相关联的一个或多个变量。识别与所识别的一个或多个变量相关联的一个或多个特征，并且基于一个或多个特征来识别定时器。

5. 发明授权

US09665350B1 Automatic test generation for model-based code coverage 有权
公开(公告)号：US09665350B1
公开(公告)日：2017-05-30
申请号：US12475178
申请日：2009-05-29
申请人： Zsolt Kalmar , Gregoire Hamon , William J Aldrich
发明人： Zsolt Kalmar , Gregoire Hamon , William J Aldrich
IPC分类号： G06F9/44 , H04L1/24 , G06F11/36
CPC分类号： G06F8/34 , G06F8/10 , G06F11/3676 , G06F11/3684 , H04L1/244
摘要： A computer-implemented method includes obtaining a first representation of a system, obtaining a set of test obligations, and automatically generating one or more test cases from the first representation based on the set of test obligations. The method further includes obtaining a second representation that is related to the first representation, obtaining an analysis criterion for the second representation, and assessing the analysis criterion using the one or more test cases applied to the second representation. Based on the assessing, one or more additional test obligations may be identified and a second set of one or more test cases may be generated based on the one or more additional test obligations.

6. 发明授权

US08666709B1 Verification and validation system for a graphical model 有权
标题翻译：图形模型的验证和验证系统
公开(公告)号：US08666709B1
公开(公告)日：2014-03-04
申请号：US13611968
申请日：2012-09-12
申请人： William J. Aldrich , Gregoire Hamon
发明人： William J. Aldrich , Gregoire Hamon
IPC分类号： G06F7/60 , G06F17/10 , G06F9/455 , G06F7/62
CPC分类号： G06F17/5009 , G06F8/34 , G06F2217/04 , G06F2217/74
摘要： A verification tool in a graphical modeling environment allows the components in the graphical modeling environment to be used to define error or exceptional conditions without adverse affects on the ultimate implementation of the model. In one example, a system presents a graphical interface to facilitate design of a model constructed from graphical blocks; receives an association of a plurality of blocks with a verification subsystem; and performs an operation to verify that the blocks in the verification subsystem do not affect operation of the model external to the verification system.
摘要翻译：图形建模环境中的验证工具允许图形建模环境中的组件用于定义错误或特殊条件，而不会对模型的最终实现产生不利影响。在一个示例中，系统呈现图形界面以便于由图形块构建的模型的设计; 接收多个块与验证子系统的关联; 并且执行操作以验证验证子系统中的块不影响验证系统外部的模型的操作。

7. 发明授权

US07941299B1 Verification and validation system for a graphical model 有权
标题翻译：图形模型的验证和验证系统
公开(公告)号：US07941299B1
公开(公告)日：2011-05-10
申请号：US11970689
申请日：2008-01-08
申请人： William J. Aldrich , Gregoire Hamon
发明人： William J. Aldrich , Gregoire Hamon
IPC分类号： G06F17/50 , G06F7/60 , G06F9/44
CPC分类号： G06F17/5009 , G06F8/34 , G06F2217/04 , G06F2217/74
摘要： A verification tool in a graphical modeling environment allows the components in the graphical modeling environment to be used to define error or exceptional conditions without adverse affects on the ultimate implementation of the model. In one example, a system presents a graphical interface to facilitate design of a model constructed from graphical blocks; receives an association of a plurality of blocks with a verification subsystem; and performs an operation to verify that the blocks in the verification subsystem do not affect operation of the model external to the verification system.
摘要翻译：图形建模环境中的验证工具允许图形建模环境中的组件用于定义错误或特殊条件，而不会对模型的最终实现产生不利影响。在一个示例中，系统呈现图形界面以便于由图形块构建的模型的设计; 接收多个块与验证子系统的关联; 并且执行操作以验证验证子系统中的块不影响验证系统外部的模型的操作。

8. 发明申请

US20060010428A1 Formal methods for test case generation 有权
标题翻译：测试用例生成的正式方法
公开(公告)号：US20060010428A1
公开(公告)日：2006-01-12
申请号：US10889266
申请日：2004-07-12
申请人： John Rushby , Leonardo De Moura , Gregoire Hamon
发明人： John Rushby , Leonardo De Moura , Gregoire Hamon
IPC分类号： G06F9/44
CPC分类号： G06F11/3684
摘要： The invention relates to the use of model checkers to generate efficient test sets for hardware and software systems. The method provides for extending existing tests to reach new coverage targets; searching *to* some or all of the uncovered targets in parallel; searching in parallel *from* some or all of the states reached in previous tests; and slicing the model relative to the current set of coverage targets. The invention provides efficient test case generation and test set formation. Deep regions of the state space can be reached within allotted time and memory. The approach has been applied to use of the model checkers of SRI's SAL system and to model-based designs developed in Stateflow. Stateflow models achieving complete state and transition coverage in a single test case are reported.
摘要翻译：本发明涉及使用模型检查器来生成用于硬件和软件系统的有效测试集。该方法提供扩展现有测试以达到新的覆盖目标; 搜索*到*部分或全部未覆盖的目标并行; 在以前的测试中达成的一些或所有状态平行搜索* 并相对于目前的覆盖目标集切片模型。本发明提供了有效的测试用例生成和测试集的形成。国家空间的深层区域可以在规定的时间和记忆中达到。该方法已被应用于使用SRI的SAL系统的模型检查器和在Stateflow中开发的基于模型的设计。报告了在单个测试用例中实现完全状态和转换覆盖的Stateflow模型。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式