公开(公告)号：US20130111272A1

公开(公告)日：2013-05-02

申请号：US13285011

申请日：2011-10-31

申请人： Orna Raz-Pelleg ,  Avaid Zlotnick

发明人： Orna Raz-Pelleg ,  Avaid Zlotnick

IPC分类号： G06F11/22

CPC分类号： G06F11/008

摘要： Systems and methods for detecting faults in a system. The method comprising maintaining diagnostic history for one or more system components; receiving system information about operational state and relational interaction among system components; determining if one or more system components are to be examined, in response to performing an analysis of the diagnostic history, wherein the analysis is performed to determine if the diagnostic history includes any information that may indicate that certain system components or combinations of components are suspected of causing a problem detected in the system, wherein the diagnostic history is maintained based on an at least one examination performed on said one or more components when said one or more components were installed in a system other than the system in which the problem is detected.

摘要翻译： 用于检测系统故障的系统和方法。 该方法包括维护一个或多个系统组件的诊断历史; 接收系统组件之间的操作状态和关系交互的系统信息; 响应于执行诊断历史的分析来确定是否要检查一个或多个系统组件，其中执行分析以确定诊断历史是否包括可以指示某些系统组件或组件的组合被怀疑的任何信息 导致在系统中检测到的问题，其中当所述一个或多个组件安装在除了检测到问题的系统之外的系统中时，基于对所述一个或多个组件执行的至少一个检查来维护诊断历史 。

公开(公告)号：US08006138B2

公开(公告)日：2011-08-23

申请号：US12144666

申请日：2008-06-24

申请人： Yarden Nir-Buchbinder ,  Dan Pelleg ,  Orna Raz-Pelleg ,  Shmuel Ur ,  Aviad Zlotnick

发明人： Yarden Nir-Buchbinder ,  Dan Pelleg ,  Orna Raz-Pelleg ,  Shmuel Ur ,  Aviad Zlotnick

IPC分类号： G06F11/00

CPC分类号： G06F11/3616 ,  G06F11/3676

摘要： A method for software processing includes accepting quality information, which includes names of elements of software code and respective quality indications regarding tested acceptability of the elements. The names are processed to extract a list of substrings that occur in the names. Respective metrics are assigned to the substrings responsively to the quality indications of the elements in whose names the substrings occur. At least some of the substrings are presented to a user in accordance with the assigned metrics.

摘要翻译： 一种用于软件处理的方法包括：接受质量信息，其包括软件代码的元件的名称以及关于元件测试的可接受性的相应的质量指示。 处理名称以提取名称中出现的子字符串列表。 响应于子字符串发生的名称的元素的质量指示，相应度量被分配给子串。 根据分配的度量，至少一些子串被呈现给用户。

公开(公告)号：US20090319833A1

公开(公告)日：2009-12-24

申请号：US12144666

申请日：2008-06-24

申请人： Yarden Nir-Buchbinder ,  Dan Pelleg ,  Orna Raz-Pelleg ,  Shmuel Ur ,  Aviad Zlotnick

发明人： Yarden Nir-Buchbinder ,  Dan Pelleg ,  Orna Raz-Pelleg ,  Shmuel Ur ,  Aviad Zlotnick

IPC分类号： G06F11/36

CPC分类号： G06F11/3616 ,  G06F11/3676

摘要： A method for software processing includes accepting quality information, which includes names of elements of software code and respective quality indications regarding tested acceptability of the elements. The names are processed to extract a list of substrings that occur in the names. Respective metrics are assigned to the substrings responsively to the quality indications of the elements in whose names the substrings occur. At least some of the substrings are presented to a user in accordance with the assigned metrics.

摘要翻译： 一种用于软件处理的方法包括：接受质量信息，其包括软件代码的元件的名称以及关于元件测试的可接受性的相应的质量指示。 处理名称以提取名称中出现的子字符串列表。 响应于子字符串发生的名称的元素的质量指示，相应度量被分配给子串。 根据分配的度量，至少一些子串被呈现给用户。

公开(公告)号：US08479166B2

公开(公告)日：2013-07-02

申请号：US12197316

申请日：2008-08-25

申请人： Yarden Nir-Buchbinder ,  Orna Raz-Pelleg ,  Rachel Tzoref ,  Shmuel Ur ,  Aviad Zlotnick

发明人： Yarden Nir-Buchbinder ,  Orna Raz-Pelleg ,  Rachel Tzoref ,  Shmuel Ur ,  Aviad Zlotnick

IPC分类号： G06F9/45 ,  G06F9/52

CPC分类号： G06F9/44589 ,  G06F9/52 ,  G06F11/3672

摘要： Detecting locking discipline violations on shared resources. For example, a method of detecting locking discipline violations of shared resources of a computing platform, by a testing process to be executed concurrently with one or more other processes on said computing platform, the testing process comprising: locking a shared resource of said computing platform; reading a value of the shared resource; locally storing the value of the shared resource; rereading the value of the shared resource after a predefined time period; and generating a locking discipline violation report if the value of said shared resource as reread by said rereading is different from the value of said resource as locally stored by said locally storing.

摘要翻译： 检测对共享资源的违规违规行为。 例如，一种通过与所述计算平台上的一个或多个其他进程同时执行的测试过程来检测锁定纪律违反计算平台的共享资源的方法，所述测试过程包括：锁定所述计算平台的共享资源 ; 读取共享资源的值; 本地存储共享资源的值; 在预定时间段之后重新读取共享资源的值; 以及如果所述重新读取重新读取的所述共享资源的值与由所述本地存储本地存储的所述资源的值不同，则生成锁定规则违规报告。

公开(公告)号：US20120102366A1

公开(公告)日：2012-04-26

申请号：US12910805

申请日：2010-10-24

申请人： Yoram Simha Adler ,  Noam Behar ,  Dale E. Blue ,  Orna Raz-Pelleg

发明人： Yoram Simha Adler ,  Noam Behar ,  Dale E. Blue ,  Orna Raz-Pelleg

IPC分类号： G06F11/34

CPC分类号： G06F11/3676 ,  G06F11/3636

摘要： A meta attribute useful for functional coverage is computed based on values comprised by two or more matching fields in a trace. The two or more matching fields may be comprised by a single entry of the trace or by a plurality of entries of the trace. A definition of the meta attribute may define which fields of the entries comprise values useful for computation of the meta attributes. The matching entries may be identified based on identifying values within the entries.

摘要翻译： 基于跟踪中两个或多个匹配字段所包含的值计算功能覆盖有用的元属性。 两个或多个匹配字段可以由跟踪的单个条目或跟踪的多个条目组成。 元属性的定义可以定义条目的哪些字段包含对元属性的计算有用的值。 可以基于条目中的识别值来识别匹配条目。

公开(公告)号：US20120102365A1

公开(公告)日：2012-04-26

申请号：US12910804

申请日：2010-10-24

申请人： Yoram Simha Adler ,  Behar Noam ,  Dale E. Blue ,  Orna Raz-Pelleg

发明人： Yoram Simha Adler ,  Behar Noam ,  Dale E. Blue ,  Orna Raz-Pelleg

IPC分类号： G06F11/34

CPC分类号： G06F11/3636 ,  G06F11/3676

摘要： A functional coverage model may be generated based on a trace. The functional coverage model may comprise values of attributes. The values may be extracted from one or more entries comprised by the trace. Based upon a selection of a field of an exemplary entry, content of the corresponding fields in other entries may be extracted and utilized. In some exemplary embodiments, names of attributes may be extracted from the trace. In some exemplary embodiments, a reference trace may be utilized as a comparative baseline coverage by generating a functional coverage model based upon the reference trace and comparing coverage of a second trace in respect to the functional coverage model with the coverage of the reference trace.

摘要翻译： 可以基于跟踪生成功能覆盖模型。 功能覆盖模型可以包括属性值。 值可以从跟踪包含的一个或多个条目中提取。 基于对示例性条目的字段的选择，可以提取和利用其他条目中的对应字段的内容。 在一些示例性实施例中，可以从跟踪中提取属性的名称。 在一些示例性实施例中，可以通过基于参考轨迹生成功能覆盖模型并将第二轨迹相对于功能覆盖模型的覆盖与参考轨迹的覆盖进行比较来将参考轨迹用作对比基线覆盖。

公开(公告)号：US20090249299A1

公开(公告)日：2009-10-01

申请号：US12058779

申请日：2008-03-31

申请人： Eitan Daniel Farchi ,  Sergey Novikov ,  Orna Raz-Pelleg

发明人： Eitan Daniel Farchi ,  Sergey Novikov ,  Orna Raz-Pelleg

IPC分类号： G06F11/36

CPC分类号： G06F11/3676

摘要： A computer-implemented method for software processing includes obtaining review information pertaining to reviews that have been conducted on respective locations in software code. The review information is processed so as to assign to at least some of the locations respective priorities, which are indicative of respective likelihoods that the locations contain program faults. The at least some of the locations are presented to a user via an output device in accordance with the assigned priorities.In another disclosed method, a given location in the software code is detected as critical based on the review information. The detected critical location is indicated to the user.

摘要翻译： 用于软件处理的计算机实现的方法包括获得与在软件代码中的相应位置进行的评论有关的审查信息。 处理审查信息以便分配至少一些位置相应的优先级，其指示位置包含程序故障的相应可能性。 根据分配的优先级，经由输出设备将至少一些位置呈现给用户。 在另一公开的方法中，基于审查信息，检测到软件代码中的给定位置是至关重要的。 检测到的关键位置向用户指示。

公开(公告)号：US08756459B2

公开(公告)日：2014-06-17

申请号：US13285011

申请日：2011-10-31

申请人： Orna Raz-Pelleg ,  Aviad Zlotnick

发明人： Orna Raz-Pelleg ,  Aviad Zlotnick

IPC分类号： G06F11/00

CPC分类号： G06F11/008

摘要： Systems and methods for detecting faults in a system. The method comprising maintaining diagnostic history for one or more system components; receiving system information about operational state and relational interaction among system components; determining if one or more system components are to be examined, in response to performing an analysis of the diagnostic history, wherein the analysis is performed to determine if the diagnostic history includes any information that may indicate that certain system components or combinations of components are suspected of causing a problem detected in the system, wherein the diagnostic history is maintained based on an at least one examination performed on said one or more components when said one or more components were installed in a system other than the system in which the problem is detected.

摘要翻译： 用于检测系统故障的系统和方法。 该方法包括维护一个或多个系统组件的诊断历史; 接收系统组件之间的操作状态和关系交互的系统信息; 响应于执行诊断历史的分析来确定是否要检查一个或多个系统组件，其中执行分析以确定诊断历史是否包括可以指示某些系统组件或组件的组合被怀疑的任何信息 导致在系统中检测到的问题，其中当所述一个或多个组件安装在除了检测到问题的系统之外的系统中时，基于对所述一个或多个组件执行的至少一次检查来维护诊断历史 。

公开(公告)号：US08370816B2

公开(公告)日：2013-02-05

申请号：US11743164

申请日：2007-05-02

申请人： Eitan Daniel Farchi ,  Shachar Fienblit ,  Shay Gammer ,  Sheli Rahav ,  Orna Raz-Pelleg ,  Dalit Tzafrir ,  Aviad Zlotnick

发明人： Eitan Daniel Farchi ,  Shachar Fienblit ,  Shay Gammer ,  Sheli Rahav ,  Orna Raz-Pelleg ,  Dalit Tzafrir ,  Aviad Zlotnick

IPC分类号： G06F9/44

CPC分类号： G06F11/3644

摘要： A method for evaluating a debugger script, the method includes: (i) receiving a debugger script that includes a first debugger breakpoint that is associated with a certain program line number; and determining a validity of the first debugger breakpoint in response to a comparison between expected content associated with the first debugger breakpoint and between an actual content of at least a portion of a certain program line group that comprises a certain program line identified by the certain program line number.

摘要翻译： 一种用于评估调试器脚本的方法，所述方法包括：（i）接收包括与特定程序行号相关联的第一调试器断点的调试器脚本; 以及响应于与所述第一调试器断点相关联的预期内容与所述特定程序行组的至少一部分的实际内容之间的比较确定所述第一调试器断点的有效性，所述特定程序行组包括由所述特定程序 电话号码。

公开(公告)号：US20090271770A1

公开(公告)日：2009-10-29

申请号：US12110401

申请日：2008-04-28

申请人： Yarden Nir-Buchbinder ,  Dan Pelleg ,  Orna Raz-Pelleg

发明人： Yarden Nir-Buchbinder ,  Dan Pelleg ,  Orna Raz-Pelleg

IPC分类号： G06F9/45

CPC分类号： G06F11/3684

摘要： A method, system, and computer program product are provided for generating unit testing scripts. The method includes receiving programming code having a condition expressed therein, and transforming the code by wrapping the condition into a mock function. The mock function receives a Boolean argument as an input and provides a Boolean value as an output irrespective of a pre-transformed input and a pre-transformed output of the condition. The Boolean value is capable of selectively being the Boolean argument received as the input or a different value specified by a user. The method further includes receiving a user input specifying a behavior relating to how a return value is generated for the mock function. The Boolean value is provided in accordance with the specified behavior. At least one pre-transformation output of the condition prior to the transforming step is direct-function independent.

摘要翻译： 提供了一种用于生成单元测试脚本的方法，系统和计算机程序产品。 该方法包括接收具有其中表达的条件的编程代码，并且通过将条件包装成模拟功能来转换代码。 模拟函数接收一个布尔参数作为输入，并提供布尔值作为输出，而不管预转换输入和条件的预转换输出。 布尔值能够有选择地作为输入接收的布尔参数或用户指定的不同值。 该方法还包括接收用户输入，指定与如何为模拟功能生成返回值相关的行为。 布尔值根据指定的行为提供。 在变换步骤之前的条件的至少一个预变换输出是直接函数独立的。