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

1. 发明申请

US20080250273A1 Problem Determination Via Model-Based Debugging 失效
标题翻译：通过基于模型的调试确定问题
公开(公告)号：US20080250273A1
公开(公告)日：2008-10-09
申请号：US11696047
申请日：2007-04-03
申请人： Cemal Yilmaz , Clay Williams
发明人： Cemal Yilmaz , Clay Williams
IPC分类号： G06F11/00
CPC分类号： G06F11/3636
摘要： A method for automated software debugging includes steps of: receiving an interface configured for accessing a program; receiving a behavioral model of the program; receiving a failing input sequence from the program; executing the failing input sequence on both the behavioral model and the program; validating, after each executing step, an expected behavior of the program by executing specially constructed test sequences from the behavioral model; performing model mutation for creating a hypothesis of faulty behaviors; verifying hypothesized faulty behaviors; and scoring hypothesized faulty behaviors for producing a ranked list of diagnoses. The method also includes a step of presenting the ranked list of diagnoses to a user.
摘要翻译：一种用于自动化软件调试的方法包括以下步骤：接收配置用于访问程序的接口; 接受该计划的行为模式; 从程序接收失败的输入序列; 在行为模型和程序上执行失败的输入序列; 在每个执行步骤之后，通过从行为模型执行专门构建的测试序列来验证程序的预期行为; 执行模型突变创造错误行为的假设; 验证假设的错误行为; 并评估假设的错误行为，以产生排名的诊断清单。该方法还包括向用户呈现排序的诊断列表的步骤。

2. 发明授权

US07890803B2 Constraint programming for reduction of system test-configuration-matrix complexity 有权
标题翻译：用于减少系统测试配置矩阵复杂度的约束编程
公开(公告)号：US07890803B2
公开(公告)日：2011-02-15
申请号：US12819786
申请日：2010-06-21
申请人： Al Chakra , David M. Ogle , Patrick J. O'Sullivan , Clay E. Williams , Cemal Yilmaz
发明人： Al Chakra , David M. Ogle , Patrick J. O'Sullivan , Clay E. Williams , Cemal Yilmaz
IPC分类号： G06F11/00
CPC分类号： G06F11/3696
摘要： A system for creating a system configuration data set includes an input operable to receive a set of system properties with attributes and values and a set of expressions representing a set of system test goals. The system further includes a processor operable to define a hierarchical tree structure with a plurality of nodes where each node represents one of the system properties and includes at least one of the attributes and the values and an output operable to output a set of system test data utilizing the hierarchical tree structure combined with the expressions. A method includes creating a hierarchical tree structure with a plurality of nodes where each node represents a system property. The method further includes receiving a set of expressions representing a set of system test goals and creating a set of system test data utilizing the hierarchical tree structure combined with the expressions.
摘要翻译：用于创建系统配置数据集的系统包括可操作以接收具有属性和值的一组系统属性的输入和表示一组系统测试目标的一组表达式。该系统还包括处理器，其可操作以用多个节点定义分层树结构，其中每个节点表示系统属性之一，并且包括属性和值中的至少一个，以及可操作以输出一组系统测试数据的输出利用结合表达式的层次树结构。一种方法包括创建具有多个节点的分层树结构，其中每个节点表示系统属性。该方法还包括接收表示一组系统测试目标的一组表达式，并使用与表达式组合的分层树结构来创建一组系统测试数据。

3. 发明授权

US07805635B2 Constraint programming for reduction of system test-configuration-matrix complexity 失效
标题翻译：用于减少系统测试配置矩阵复杂度的约束编程
公开(公告)号：US07805635B2
公开(公告)日：2010-09-28
申请号：US11697782
申请日：2007-04-09
申请人： Al Chakra , David M. Ogle , Patrick J. O'Sullivan , Clay E. Williams , Cemal Yilmaz
发明人： Al Chakra , David M. Ogle , Patrick J. O'Sullivan , Clay E. Williams , Cemal Yilmaz
IPC分类号： G06F11/00
CPC分类号： G06F11/3696
摘要： A system for creating a system configuration data set includes an input operable to receive a set of system properties with attributes and values and a set of expressions representing a set of system test goals. The system further includes a processor operable to define a hierarchical tree structure with a plurality of nodes where each node represents one of the system properties and includes at least one of the attributes and the values and an output operable to output a set of system test data utilizing the hierarchical tree structure combined with the expressions. A method includes creating a hierarchical tree structure with a plurality of nodes where each node represents a system property. The method further includes receiving a set of expressions representing a set of system test goals and creating a set of system test data utilizing the hierarchical tree structure combined with the expressions.
摘要翻译：用于创建系统配置数据集的系统包括可操作以接收具有属性和值的一组系统属性的输入和表示一组系统测试目标的一组表达式。该系统还包括处理器，其可操作以用多个节点定义分层树结构，其中每个节点表示系统属性之一，并且包括属性和值中的至少一个，以及可操作以输出一组系统测试数据的输出利用结合表达式的层次树结构。一种方法包括创建具有多个节点的分层树结构，其中每个节点表示系统属性。该方法还包括接收表示一组系统测试目标的一组表达式，并使用与表达式组合的分层树结构来创建一组系统测试数据。

4. 发明授权

US07647528B2 Problem determination via model-based debugging 失效
标题翻译：基于模型调试的问题确定
公开(公告)号：US07647528B2
公开(公告)日：2010-01-12
申请号：US11696047
申请日：2007-04-03
申请人： Cemal Yilmaz , Clay E Williams
发明人： Cemal Yilmaz , Clay E Williams
IPC分类号： G06F11/00
CPC分类号： G06F11/3636
摘要： A method for automated software debugging includes steps of: receiving an interface configured for accessing a program; receiving a behavioral model of the program; receiving a failing input sequence from the program; executing the failing input sequence on both the behavioral model and the program; validating, after each executing step, an expected behavior of the program by executing specially constructed test sequences from the behavioral model; performing model mutation for creating a hypothesis of faulty behaviors; verifying hypothesized faulty behaviors; and scoring hypothesized faulty behaviors for producing a ranked list of diagnoses. The method also includes a step of presenting the ranked list of diagnoses to a user.
摘要翻译：一种用于自动化软件调试的方法包括以下步骤：接收配置用于访问程序的接口; 接受该计划的行为模式; 从程序接收失败的输入序列; 在行为模型和程序上执行失败的输入序列; 在每个执行步骤之后，通过从行为模型执行专门构建的测试序列来验证程序的预期行为; 执行模型突变创造错误行为的假设; 验证假设的错误行为; 并评估假设的错误行为，以产生排名的诊断清单。该方法还包括向用户呈现排序的诊断列表的步骤。

5. 发明申请

US20080250049A1 CONSTRAINT PROGRAMMING FOR REDUCTION OF SYSTEM TEST-CONFIGURATION-MATRIX COMPLEXITY 失效
标题翻译：用于减少系统测试配置 - 矩阵复杂度的约束编程
公开(公告)号：US20080250049A1
公开(公告)日：2008-10-09
申请号：US11697782
申请日：2007-04-09
申请人： Al Chakra , David M. Ogle , Patrick J. O'Sullivan , Clay E. Williams , Cemal Yilmaz
发明人： Al Chakra , David M. Ogle , Patrick J. O'Sullivan , Clay E. Williams , Cemal Yilmaz
IPC分类号： G06F17/30
CPC分类号： G06F11/3696
摘要： A system for creating a system configuration data set includes an input operable to receive a set of system properties with attributes and values and a set of expressions representing a set of system test goals. The system further includes a processor operable to define a hierarchical tree structure with a plurality of nodes where each node represents one of the system properties and includes at least one of the attributes and the values and an output operable to output a set of system test data utilizing the hierarchical tree structure combined with the expressions. A method includes creating a hierarchical tree structure with a plurality of nodes where each node represents a system property. The method further includes receiving a set of expressions representing a set of system test goals and creating a set of system test data utilizing the hierarchical tree structure combined with the expressions.
摘要翻译：用于创建系统配置数据集的系统包括可操作以接收具有属性和值的一组系统属性的输入和表示一组系统测试目标的一组表达式。该系统还包括处理器，其可操作以用多个节点定义分层树结构，其中每个节点表示系统属性之一，并且包括属性和值中的至少一个，以及可操作以输出一组系统测试数据的输出利用结合表达式的层次树结构。一种方法包括创建具有多个节点的分层树结构，其中每个节点表示系统属性。该方法还包括接收表示一组系统测试目标的一组表达式，并使用与表达式组合的分层树结构来创建一组系统测试数据。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式