公开(公告)号：US08868977B2

公开(公告)日：2014-10-21

申请号：US13163702

申请日：2011-06-19

申请人： Ariel Birnbaum ,  Rachel Tzoref-Brill ,  Steven Mittermaier ,  Itai Erwin Segall ,  Avi Ziv

发明人： Ariel Birnbaum ,  Rachel Tzoref-Brill ,  Steven Mittermaier ,  Itai Erwin Segall ,  Avi Ziv

IPC分类号： G06F11/00 ,  G06F11/36

CPC分类号： G06F11/3608

摘要： Systems and methods for modeling test space for verifying system behavior, using one or more auxiliary variables, are provided. The method comprises implementing a functional coverage model including: one or more attributes, wherein respective values for the attributes are assigned according to a test plan, and one or more constraints defining restrictions on value combinations assigned to the attributes, wherein the restrictions are Boolean expressions defining whether said value combinations are valid; determining a set of valid value combinations for the attributes that satisfy the restrictions to define the test space for verifying the system behavior; and determining relevant auxiliary variables and a corresponding function for said auxiliary variables to reduce the complexity associated with modeling the test space.

摘要翻译： 提供了使用一个或多个辅助变量建​​模测试空间以验证系统行为的系统和方法。 该方法包括实现功能覆盖模型，包括：一个或多个属性，其中根据测试计划分配属性的相应值，以及定义对分配给属性的值组合的限制的一个或多个约束，其中所述限制是布尔表达式 定义所述值组合是​​否有效; 确定满足限制的属性的一组有效值组合以定义用于验证系统行为的测试空间; 并确定相关的辅助变量和所述辅助变量的相应函数，以减少与建模测试空间相关的复杂性。

公开(公告)号：US20120324286A1

公开(公告)日：2012-12-20

申请号：US13163702

申请日：2011-06-19

申请人： Ariel Birnbaum ,  Rachel Tzoref-Brill ,  Steven Mittermaier ,  Itai Segall ,  Avi Ziv

发明人： Ariel Birnbaum ,  Rachel Tzoref-Brill ,  Steven Mittermaier ,  Itai Segall ,  Avi Ziv

IPC分类号： G06F11/36

CPC分类号： G06F11/3608

摘要： Systems and methods for modeling test space for verifying system behavior, using one or more auxiliary variables, are provided. The method comprises implementing a functional coverage model including: one or more attributes, wherein respective values for the attributes are assigned according to a test plan, and one or more constraints defining restrictions on value combinations assigned to the attributes, wherein the restrictions are Boolean expressions defining whether said value combinations are valid; determining a set of valid value combinations for the attributes that satisfy the restrictions to define the test space for verifying the system behavior; and determining relevant auxiliary variables and a corresponding function for said auxiliary variables to reduce the complexity associated with modeling the test space.

摘要翻译： 提供了使用一个或多个辅助变量建​​模测试空间以验证系统行为的系统和方法。 该方法包括实现功能覆盖模型，包括：一个或多个属性，其中根据测试计划分配属性的相应值，以及对分配给属性的值组合定义限制的一个或多个约束，其中所述限制是布尔表达式 定义所述值组合是​​否有效; 确定满足限制的属性的一组有效值组合以定义用于验证系统行为的测试空间; 并确定相关的辅助变量和所述辅助变量的相应函数，以减少与建模测试空间相关的复杂性。