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

1. 发明授权

US08756460B2 Test selection based on an N-wise combinations coverage 有权
标题翻译：基于N-wise组合覆盖测试选择
公开(公告)号：US08756460B2
公开(公告)日：2014-06-17
申请号：US13079843
申请日：2011-04-05
申请人： Dale E. Blue , Rachel Tzoref-Brill
发明人： Dale E. Blue , Rachel Tzoref-Brill
IPC分类号： G06F11/00
CPC分类号： G06F11/3676
摘要： Based on a functional coverage by a test suite, a functional coverage model of a System Under Test (SUT) may be defined to represent all covered combinations of functional attributes. Based on an n-wise combination criteria, a subset of the possible combinations of values may be determined. A subset of the test suite may be selected such that the selected subset is operative to cover the subset of the determined possible combinations of values. The disclosed subject matter may be used to reduce a size of the test suite while preserving the n-wise combinations coverage of the original test suite.
摘要翻译：基于测试套件的功能覆盖，可以定义被测系统（SUT）的功能覆盖模型来表示所有覆盖的功能属性组合。基于n维组合标准，可以确定值的可能组合的子集。可以选择测试套件的子集，使得所选择的子集可操作以覆盖所确定的值的组合的子集。所公开的主题可以用于减小测试套件的尺寸，同时保持原始测试套件的n-wise组合覆盖。

2. 发明申请

US20130110489A1 AUTOMATIC DESIGNATION OF EQUIVALENT VARIAVLE VALUES 有权
标题翻译：自动指定等价变量值
公开(公告)号：US20130110489A1
公开(公告)日：2013-05-02
申请号：US13285018
申请日：2011-10-31
申请人： Eitan Farchi , Itai Segall , Rachel Tzoref-Brill
发明人： Eitan Farchi , Itai Segall , Rachel Tzoref-Brill
IPC分类号： G06F17/50
CPC分类号： G01R31/31835
摘要： A method for modeling a test space comprising defining a coverage model including: one or more variables, wherein respective values for the variables are assigned, and restrictions based on which valid variable value combinations are determined for the purpose of testing the model, wherein at least two values that are assignable to the one or more variables are merged to reduce number of variable values in the coverage model.
摘要翻译：一种用于对测试空间进行建模的方法，包括定义覆盖模型，所述覆盖模型包括：一个或多个变量，其中分配变量的相应值，以及基于哪个有效变量值组合为了测试模型而确定的限制，其中至少可以分配给一个或多个变量的两个值被合并以减少覆盖模型中的变量值的数量。

3. 发明申请

US20120324414A1 BDD-BASED FUNCTIONAL MODELING 有权
标题翻译：基于BDD的功能建模
公开(公告)号：US20120324414A1
公开(公告)日：2012-12-20
申请号：US13163700
申请日：2011-06-19
申请人： Rachel Tzoref-Brill , Itai Segall , Tatyana Veksler
发明人： Rachel Tzoref-Brill , Itai Segall , Tatyana Veksler
IPC分类号： G06F17/50
CPC分类号： G01R31/31835 , G01R31/318371
摘要： A computer-implemented method, apparatus, and computer program product for assisting in dynamic verification of a System Under Test (SUT). The method comprising obtaining a set of functional attributes and associated domains with respect to a System Under Test (SUT), and obtaining a set of restrictions over the functional attributes and associated domains. The method comprising encoding a Binary Decision Diagram (BDD) to represent a Cartesian cross-product test-space of all possible combinations of values of the functional attributes excluding combinations that are restricted by the set of restrictions, whereby the BDD symbolically represents the Cartesian cross-product test-space. The method may further comprise analyzing the Cartesian cross-product test-space by manipulating the BDD so as to assist in performing dynamic verification of the SUT.
摘要翻译：一种用于辅助被测系统（SUT）的动态验证的计算机实现的方法，装置和计算机程序产品。该方法包括相对于被测系统（SUT）获得一组功能属性和相关联的域，以及获得关于功能属性和相关域的一组限制。该方法包括编码二进制决策图（BDD）以表示功能属性的值的所有可能组合的笛卡尔乘积测试空间，排除受该组限制限制的组合，由此BDD象征性地表示笛卡尔十字 - 产品测试空间。该方法还可以包括通过操纵BDD来分析笛卡尔积产品测试空间，以帮助执行SUT的动态验证。

4. 发明授权

US09015012B2 Completion of partial coverage tasks 有权
标题翻译：完成部分覆盖任务
公开(公告)号：US09015012B2
公开(公告)日：2015-04-21
申请号：US13540632
申请日：2012-07-03
申请人： Rachel Tzoref-Brill
发明人： Rachel Tzoref-Brill
IPC分类号： G06F17/50 , G06F11/36
CPC分类号： G06F11/3676
摘要： A method, apparatus and product for completion of partial coverage tasks. The method comprising obtaining a partial coverage task defining a test with respect to a functional coverage model of a System Under Test (SUT), wherein the functional coverage model defining functional attributes and respective domains thereof, wherein the functional coverage model further defining one or more restrictions on value combinations of the functional attributes; and enhancing the partial coverage task to include an assignment of a value to a functional attribute, wherein the functional attribute is unassigned in the partial coverage task, wherein the value is an only valid assignment to the functional attribute in view of assignments of other functional attributes and in view of the restrictions.
摘要翻译：用于完成部分覆盖任务的方法，设备和产品。该方法包括获得关于待测系统（SUT）的功能覆盖模型定义测试的部分覆盖任务，其中定义功能属性及其相应域的功能覆盖模型，其中功能覆盖模型进一步限定一个或多个限制功能属性的价值组合; 以及增强所述部分覆盖任务以将值分配给功能属性，其中所述功能属性在所述部分覆盖任务中未分配，其中，所述值是对于所述功能属性的唯一有效分配，并考虑到限制。

5. 发明申请

US20130103983A1 BDD-BASED FUNCTIONAL COVERAGE ANALYSIS 失效
标题翻译：基于BDD的功能覆盖分析
公开(公告)号：US20130103983A1
公开(公告)日：2013-04-25
申请号：US13360811
申请日：2012-01-30
申请人： Rachel Tzoref-Brill , Itai Segall , Tatyana Veksler
发明人： Rachel Tzoref-Brill , Itai Segall , Tatyana Veksler
IPC分类号： G06F11/28
CPC分类号： G06F11/3676
摘要： Obtaining a functional coverage model of a System Under Test (SUT) defining all functional coverage tasks of the SUT, wherein the functional coverage model defining a test-space with respect to functional attributes; obtaining a set of covered functional coverage tasks; encoding a covered Binary Decision Diagram (BDD) to represent the set of covered functional coverage tasks within the test-space; and manipulating the covered BDD to identify one or more coverage holes, wherein a coverage hole defines a set of coverage tasks in the test-space, all having a same combination of values to a subset of the functional attributes, that are not covered by the set of covered functional coverage task.
摘要翻译：获得定义所述SUT的所有功能覆盖任务的被测系统（SUT）的功能覆盖模型，其中所述功能覆盖模型定义关于功能属性的测试空间; 获得一套覆盖的功能覆盖任务; 编码覆盖的二进制决策图（BDD）来表示测试空间内覆盖的功能覆盖任务集合; 并且操纵被覆盖的BDD以识别一个或多个覆盖孔，其中覆盖孔定义测试空间中的一组覆盖任务，所有这些都具有与功能属性的子集相同的值组合，其不被一套涵盖功能覆盖的任务。

6. 发明申请

US20120233614A1 MEASURING COUPLING BETWEEN COVERAGE TASKS AND USE THEREOF 失效
标题翻译：覆盖任务之间的测量耦合及其使用
公开(公告)号：US20120233614A1
公开(公告)日：2012-09-13
申请号：US13041456
申请日：2011-03-07
申请人： Yoram Simha Adler , Rachel Tzoref-Brill , Moshe Klausner , Orna Pelleg Raz , Onn Menahem Shehory , Aviad Zlotnick
发明人： Yoram Simha Adler , Rachel Tzoref-Brill , Moshe Klausner , Orna Pelleg Raz , Onn Menahem Shehory , Aviad Zlotnick
IPC分类号： G06F9/00
CPC分类号： G06F11/3676
摘要： Test coverage is enhanced by measuring various types of coupling between coverage tasks. The coupling measurements may be implicit coupling measurements, explicit coupling measurements, coding coupling measurements, performance coupling measurements, resource coupling measurements or the like. Based on the coupling measurements, different coverage tasks may be grouped together. For example, closely coupled coverage tasks may be grouped together. The groups may also be determined based on an initial distribution of groups, by combining groups having closely coupled member coverage tasks. The groups may be ordered and prioritized, such as based on the size of the groups and the number of uncovered tasks in each group. The groups may also be ordered, such as based on coupling score which aggregate the coupling measurements of the member coverage tasks.
摘要翻译：通过测量覆盖任务之间的各种类型的耦合来增强测试覆盖。耦合测量可以是隐式耦合测量，显式耦合测量，编码耦合测量，性能耦合测量，资源耦合测量等。基于耦合测量，可以将不同的覆盖任务分组在一起。例如，紧密耦合的覆盖任务可以被分组在一起。还可以通过组合具有紧密耦合的成员覆盖任务的组，基于组的初始分布来确定组。可以对组进行排序和优先排序，例如基于组的大小和每个组中的未覆盖任务的数量。还可以对组进行排序，例如基于聚合成员覆盖任务的耦合测量的耦合分数。

7. 发明授权

US08719799B2 Measuring coupling between coverage tasks and use thereof 失效
标题翻译：测量覆盖任务之间的耦合及其使用
公开(公告)号：US08719799B2
公开(公告)日：2014-05-06
申请号：US13041456
申请日：2011-03-07
申请人： Yoram Simha Adler , Rachel Tzoref-Brill , Moshe Klausner , Orna Pelleg Raz , Onn Menahem Shehory , Aviad Zlotnick
发明人： Yoram Simha Adler , Rachel Tzoref-Brill , Moshe Klausner , Orna Pelleg Raz , Onn Menahem Shehory , Aviad Zlotnick
IPC分类号： G06F9/44 , G06F11/00
CPC分类号： G06F11/3676
摘要： Test coverage is enhanced by measuring various types of coupling between coverage tasks. The coupling measurements may be implicit coupling measurements, explicit coupling measurements, coding coupling measurements, performance coupling measurements, resource coupling measurements or the like. Based on the coupling measurements, different coverage tasks may be grouped together. For example, closely coupled coverage tasks may be grouped together. The groups may also be determined based on an initial distribution of groups, by combining groups having closely coupled member coverage tasks. The groups may be ordered and prioritized, such as based on the size of the groups and the number of uncovered tasks in each group. The groups may also be ordered, such as based on coupling score which aggregate the coupling measurements of the member coverage tasks.
摘要翻译：通过测量覆盖任务之间的各种类型的耦合来增强测试覆盖。耦合测量可以是隐式耦合测量，显式耦合测量，编码耦合测量，性能耦合测量，资源耦合测量等。基于耦合测量，可以将不同的覆盖任务分组在一起。例如，紧密耦合的覆盖任务可以被分组在一起。还可以通过组合具有紧密耦合的成员覆盖任务的组，基于组的初始分布来确定组。可以对组进行排序和优先排序，例如基于组的大小和每个组中的未覆盖任务的数量。还可以对组进行排序，例如基于聚合成员覆盖任务的耦合测量的耦合分数。

8. 发明申请

US20130091382A1 Modeling Test Space for System behavior with Optional Variable combinations 有权
标题翻译：使用可选的变量组合建模系统行为的测试空间
公开(公告)号：US20130091382A1
公开(公告)日：2013-04-11
申请号：US13253089
申请日：2011-10-05
申请人： Itai Segall , Rachel Tzoref-Brill , Aviad Zlotnick
发明人： Itai Segall , Rachel Tzoref-Brill , Aviad Zlotnick
IPC分类号： G06F11/28
CPC分类号： G06F11/3676 , G01R31/3181 , G01R31/31813 , G01R31/3183 , G01R31/318314 , G01R31/31835 , G01R31/318357 , G01R31/318364 , G06F11/3684
摘要： A method for modeling a test space is provided. The method comprises defining a coverage model including: one or more variables, wherein respective values for the variables are assigned, and one or more definitions for value combinations for said variables with assigned values, wherein at least one of said value combinations is defined as optional, and zero or more other said value combinations are defined as forbidden or mandatory for purpose of generating test scenarios to test a system for which the coverage model is defined.
摘要翻译：提供了一种用于建模测试空间的方法。该方法包括定义覆盖模型，包括：一个或多个变量，其中分配变量的相应值，以及用于具有分配值的所述变量的值组合的一个或多个定义，其中所述值组合中的至少一个被定义为可选的，并且零个或多个其他所述值组合被定义为禁止或强制的，用于生成测试场景以测试覆盖模型被定义的系统。

9. 发明授权

US09262307B2 Modeling test space for system behavior with optional variable combinations 有权
标题翻译：使用可选的变量组合建模系统行为的测试空间
公开(公告)号：US09262307B2
公开(公告)日：2016-02-16
申请号：US13253089
申请日：2011-10-05
申请人： Itai Segall , Rachel Tzoref-Brill , Aviad Zlotnick
发明人： Itai Segall , Rachel Tzoref-Brill , Aviad Zlotnick
IPC分类号： G06F11/36 , G01R31/3183 , G01R31/3181
CPC分类号： G06F11/3676 , G01R31/3181 , G01R31/31813 , G01R31/3183 , G01R31/318314 , G01R31/31835 , G01R31/318357 , G01R31/318364 , G06F11/3684
摘要： A method executable on one or more processors for modeling a test space is provided. The method may include defining a coverage model including a set of variables. The method may also include selecting one or more variables within at least one subset of a plurality of subsets of the set of variables. The selection may be according to an interaction level requirement defined for at least one or more of the subsets, whereby the interaction level corresponds to a coverage of the test space that covers a plurality of possible combinations of the one or more variables at multiple levels. Furthermore, respective values for the one or more selected variables within the subset of the set of variables may be assigned. The method may also include one or more definitions for value combinations for said variables with assigned values.
摘要翻译：提供了在一个或多个处理器上可执行的用于建模测试空间的方法。该方法可以包括定义包括一组变量的覆盖模型。该方法还可以包括在该组变量集合的多个子集的至少一个子集内选择一个或多个变量。该选择可以根据为至少一个或多个子集定义的交互级别要求，由此交互级别对应于覆盖多个级别的一个或多个变量的多个可能组合的测试空间的覆盖。此外，可以分配变量集合的子集内的一个或多个选定变量的相应值。该方法还可以包括用于具有指定值的所述变量的值组合的一个或多个定义。

10. 发明授权

US08813036B2 Visual representation of a difference between Cartesian product models 有权
标题翻译：笛卡尔乘积模型之间的差异的视觉表示
公开(公告)号：US08813036B2
公开(公告)日：2014-08-19
申请号：US13448420
申请日：2012-04-17
申请人： Rachel Tzoref-Brill
发明人： Rachel Tzoref-Brill
IPC分类号： G06F9/45
CPC分类号： G06F11/3676 , G06F8/10
摘要： A method, apparatus, and product for assisting in the use of functional models. The method comprises obtaining two or more functional models comprising variables, domains and restrictions, the two or more functional models defining a test-space comprising legal tasks; determining a difference between the test-spaces defined by the two or more functional models, wherein the difference comprises at least one task which is covered by one functional model and not the other; and displaying to a user a visual representation of the difference.
摘要翻译：一种用于协助使用功能模型的方法，设备和产品。该方法包括获得包含变量，域和限制的两个或更多个功能模型，所述两个或多个功能模型定义包括法律任务的测试空间; 确定由所述两个或多个功能模型定义的所述测试空间之间的差异，其中所述差异包括被一个功能模型覆盖而不是另一个的至少一个任务; 并向用户显示差异的视觉表示。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式