-
1.发明申请公开(公告)号：US20120324286A1
公开(公告)日：2012-12-20
申请号：US13163702
申请日：2011-06-19
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.
摘要翻译： 提供了使用一个或多个辅助变量建模测试空间以验证系统行为的系统和方法。 该方法包括实现功能覆盖模型，包括：一个或多个属性，其中根据测试计划分配属性的相应值，以及对分配给属性的值组合定义限制的一个或多个约束，其中所述限制是布尔表达式 定义所述值组合是否有效; 确定满足限制的属性的一组有效值组合以定义用于验证系统行为的测试空间; 并确定相关的辅助变量和所述辅助变量的相应函数，以减少与建模测试空间相关的复杂性。
-
2.发明授权公开(公告)号：US08868977B2
公开(公告)日：2014-10-21
申请号：US13163702
申请日：2011-06-19
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.
摘要翻译： 提供了使用一个或多个辅助变量建模测试空间以验证系统行为的系统和方法。 该方法包括实现功能覆盖模型，包括：一个或多个属性，其中根据测试计划分配属性的相应值，以及定义对分配给属性的值组合的限制的一个或多个约束，其中所述限制是布尔表达式 定义所述值组合是否有效; 确定满足限制的属性的一组有效值组合以定义用于验证系统行为的测试空间; 并确定相关的辅助变量和所述辅助变量的相应函数，以减少与建模测试空间相关的复杂性。
-
公开(公告)号：US08756574B2
公开(公告)日：2014-06-17
申请号：US13611798
申请日：2012-09-12
申请人： Avi Ziv , Laurent Fournier , Steven Mittermaier
发明人： Avi Ziv , Laurent Fournier , Steven Mittermaier
IPC分类号： G06F9/44
CPC分类号： G06F1/14 , G06F11/3676 , G06F17/30563 , G06F2201/84
摘要： Coverage analysis may be performed using reverse time. The coverage analysis may be based on last hit data. The last hit data may comprise a timestamp indicating a last time in which a coverage event was covered. Utilizing last hit data instead of first hit data as is known in the art enables distinction between coverage goals that were never covered and coverage goals that were not covered lately.
摘要翻译： 可以使用反向时间进行覆盖分析。 覆盖率分析可以基于最后的命中数据。 最后命中数据可以包括指示覆盖事件被覆盖的最后时间的时间戳。 利用本技术中已知的最后命中数据而不是第一命中数据，可以区分从未覆盖的覆盖目标和最近没有覆盖的覆盖目标。
-
公开(公告)号：US20110239193A1
公开(公告)日：2011-09-29
申请号：US12731170
申请日：2010-03-25
申请人： Avi Ziv , Laurent Fournier , Steven Mittermaier
发明人： Avi Ziv , Laurent Fournier , Steven Mittermaier
CPC分类号： G06F1/14 , G06F11/3676 , G06F16/254 , G06F2201/84
摘要： Coverage analysis may be performed using reverse time. The coverage analysis may be based on last hit data. The last hit data may comprise a timestamp indicating a last time in which a coverage event was covered. Utilizing last hit data instead of first hit data as is known in the art enables distinction between coverage goals that were never covered and coverage goals that were not covered lately.
摘要翻译： 可以使用反向时间进行覆盖分析。 覆盖率分析可以基于最后的命中数据。 最后命中数据可以包括指示覆盖事件被覆盖的最后时间的时间戳。 利用本技术中已知的最后命中数据而不是第一命中数据，可以区分从未覆盖的覆盖目标和最近没有覆盖的覆盖目标。
-
公开(公告)号：US20130007528A1
公开(公告)日：2013-01-03
申请号：US13611798
申请日：2012-09-12
申请人： Avi Ziv , Laurent Fournier , Steven Mittermaier
发明人： Avi Ziv , Laurent Fournier , Steven Mittermaier
IPC分类号： G06F11/07
CPC分类号： G06F1/14 , G06F11/3676 , G06F17/30563 , G06F2201/84
摘要： Coverage analysis may be performed using reverse time. The coverage analysis may be based on last hit data. The last hit data may comprise a timestamp indicating a last time in which a coverage event was covered. Utilizing last hit data instead of first hit data as is known in the art enables distinction between coverage goals that were never covered and coverage goals that were not covered lately.
摘要翻译： 可以使用反向时间进行覆盖分析。 覆盖率分析可以基于最后的命中数据。 最后命中数据可以包括指示覆盖事件被覆盖的最后时间的时间戳。 利用本技术中已知的最后命中数据而不是第一命中数据，可以区分从未覆盖的覆盖目标和最近没有覆盖的覆盖目标。
-
-
-
-
搜索结果
5 条记录 (耗时 0.023 秒)
