发明名称 |
APPLICATION-BASED VERIFICATION COVERAGE USING METAMODELS |
摘要 |
At least one processor of a computing device may create at least one metamodel. The at least one processor may further perform, on the at least one metamodel, one or more of: a split operation, a merge operation, a reduce operation, a mathematical transform, an inverse operation, a derive operation, a cascading operation, and an algebraic operation on the at least one metamodel. |
申请公布号 |
US2015220667(A1) |
申请公布日期 |
2015.08.06 |
申请号 |
US201414174546 |
申请日期 |
2014.02.06 |
申请人 |
Infineon Technologies AG |
发明人 |
Pelz Georg;Rafaila Monica |
分类号 |
G06F17/50;G06F17/10 |
主分类号 |
G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
1. A method for validating a system, comprising:
creating, by at least one processor of a computing device, at least one metamodel; and performing, by the at least one processor on the at least one metamodel, one or more of: a split operation, a merge operation, a reduce operation, a mathematical transform, an inverse operation, a derive operation, a cascading operation, and an algebraic operation. |
地址 |
Neubiberg DE |