-
公开(公告)号：US20110225103A1
公开(公告)日：2011-09-15
申请号：US12720018
申请日：2010-03-09
申请人： Michael Paul Clarke , Parijat Dube , Eitan Daniel Farchi , Thanh V. Lam , Gregory Fraser Russell , Devaki Shah
发明人： Michael Paul Clarke , Parijat Dube , Eitan Daniel Farchi , Thanh V. Lam , Gregory Fraser Russell , Devaki Shah
CPC分类号： G06Q10/06 , G06Q30/0282
摘要： A system and method for constructing and analyzing a graphical representation of a complex process comprises steps and means for receiving input of content related to the complex process; processing said input to identify entities and actions instrumental in the execution of the complex process; constructing a graphical representation of the process as a network comprising first nodes, representing decision points, second nodes representing primary stakeholders and actions providing direct input to decision making points, and leaves representing secondary stakeholders providing indirect input to decision making points; and applying at least one analytic approach for evaluating the decision points of the graphical representation of the process.
摘要翻译： 用于构建和分析复杂过程的图形表示的系统和方法包括用于接收与复杂过程相关的内容的输入的步骤和装置; 处理所述输入以识别在执行复杂过程中有用的实体和动作; 构建该过程的图形表示，该网络包括表示决策点的第一节点，代表主要利益相关者的第二节点和向决策点提供直接输入的动作，以及代表辅助利益相关者提供对决策点的间接输入的网络的图形表示; 以及应用至少一种分析方法来评估过程的图形表示的决策点。
-
22.发明申请Using automatically generated decision trees to assist in the process of design and review documentation 审中-公开使用自动生成的决策树来协助设计和审查文档的过程公开(公告)号：US20090276379A1
公开(公告)日：2009-11-05
申请号：US12114809
申请日：2008-05-04
IPC分类号： G06F15/18
CPC分类号： G06N20/00
摘要： An embodiment of this invention is to use automatically generated decision trees to assist in the design and review process. In one embodiment, the decision trees are automatically extracted from data describing a system (in case of design process) or a review artifact (in case of review process). In a further embodiment, the decision trees are then used in the design process, and the order of attributes in the decision tree suggests a new order for writing the design document.
摘要翻译： 本发明的一个实施例是使用自动生成的决策树来辅助设计和审查过程。 在一个实施例中，从描述系统的数据（在设计过程的情况下）或审查工件（在审查过程的情况下）自动提取决策树。 在另一实施例中，然后在设计过程中使用决策树，并且决策树中的属性顺序提出了写入设计文档的新顺序。
-
23.发明申请System, Method and Computer Program Product for Checking a Software Entity 有权用于检查软件实体的系统，方法和计算机程序产品公开(公告)号：US20080052692A1
公开(公告)日：2008-02-28
申请号：US11456226
申请日：2006-07-10
IPC分类号： G06F9/45
CPC分类号： G06F9/44589
摘要： System, method and computer program product for checking a software entity, the method includes: providing a direct acyclic graph representative of possible execution paths of the software entity; wherein multiple successor nodes that succeed a certain parent node are associated with different execution probabilities; randomly selecting a successor node out of the multiple successor nodes in response the execution probabilities; and checking the software entity in response to the selection.
摘要翻译： 用于检查软件实体的系统，方法和计算机程序产品，所述方法包括：提供表示所述软件实体的可能执行路径的直接非循环图; 其中继承某个父节点的多个后继节点与不同的执行概率相关联; 响应于执行概率，随机选择多个后继节点中的后继节点; 并根据选择检查软件实体。
-
公开(公告)号：US09600347B2
公开(公告)日：2017-03-21
申请号：US12626654
申请日：2009-11-26
CPC分类号： G06F9/52 , G06F11/3688
摘要： A computer implemented system and method for measuring synchronization coverage for one or more concurrently executed threads is provided. The method comprises updating an identifier of a first thread to comprise an operation identifier associated with a first operation, in response to determining that the first thread has performed the first operation; associating the identifier of the first thread with one or more resources accessed by the first thread; and generating a synchronization coverage model by generating a relational data structure of said one or more resources, wherein a resource is associated with at least the identifier of the first thread and an identifier of a second thread identifier, such that the second thread waits for the first thread before accessing said resource.
-
公开(公告)号：US20130247062A1
公开(公告)日：2013-09-19
申请号：US13610487
申请日：2012-09-11
IPC分类号： G06F9/52
CPC分类号： G06F9/52 , G06F11/3688
摘要： A computer implemented system and method for measuring synchronization coverage for one or more concurrently executed threads is provided. The method comprises updating an identifier of a first thread to comprise an operation identifier associated with a first operation, in response to determining that the first thread has performed the first operation; associating the identifier of the first thread with one or more resources accessed by the first thread; and generating a synchronization coverage model by generating a relational data structure of said one or more resources, wherein a resource is associated with at least the identifier of the first thread and an identifier of a second thread identifier, such that the second thread waits for the first thread before accessing said resource.
摘要翻译： 提供了一种用于测量一个或多个并行执行的线程的同步覆盖的计算机实现的系统和方法。 响应于确定第一线程已经执行了第一操作，该方法包括更新第一线程的标识符以包括与第一操作相关联的操作标识符; 将第一线程的标识符与由第一线程访问的一个或多个资源相关联; 以及通过生成所述一个或多个资源的关系数据结构来生成同步覆盖模型，其中资源至少与第一线程的标识符和第二线程标识符的标识符相关联，使得第二线程等待 在访问所述资源之前的第一个线程。
-
公开(公告)号：US08516445B2
公开(公告)日：2013-08-20
申请号：US11466487
申请日：2006-08-23
申请人： Shmuel Ur , Eitan Daniel Farchi
发明人： Shmuel Ur , Eitan Daniel Farchi
CPC分类号： G06F11/3676
摘要： A method for testing software under test (SUT), including selecting a type of coverage for testing the SUT, and receiving from a human operator a Boolean predicate to be used in evaluation of the SUT. In response to the type of coverage and the predicate, a test of the SUT is generated. The method also includes performing an execution of the test so as to identify elements of the SUT that belong to the selected type and that are exercised by the test. The method further includes automatically evaluating the predicate for each of the identified elements, and determining the elements exercised by the test for which the predicate evaluates to true to be covered elements of the SUT.
摘要翻译： 一种用于测试测试软件（SUT）的方法，包括选择一种用于测试SUT的覆盖范围，以及从人类操作员接收用于评估SUT的布尔谓词。 响应于覆盖类型和谓词，生成SUT的测试。 该方法还包括执行测试，以便识别属于所选类型并由测试行使的SUT的元素。 该方法还包括自动评估每个识别的元素的谓词，以及确定由谓词评估为真的测试所执行的元素以被覆盖的SUT元素。
-
公开(公告)号：US20130185697A1
公开(公告)日：2013-07-18
申请号：US13350841
申请日：2012-01-16
IPC分类号： G06F9/44
CPC分类号： G06F8/71
摘要： Apparatus, process and product useful for source code patches. The computerized apparatus having a processor, the apparatus comprising: a source code obtainer for obtaining a source code of a computer program; a patch instructions obtainer for obtaining a set of source code patches instructions, wherein a first patch instructions comprise a set of modification instructions to the source code associated with a first source code patch, wherein a second patch instructions comprise a set of modification instruction to the source code associated with a second source code patch; a source code editor configured to display to a user the source code and annotations associated with applying each source code patch simultaneously; and wherein said source code editor is further configured to edit the source code in accordance with user input, wherein based on user input the first and second source code patch instructions are modified.
摘要翻译： 用于源代码补丁的设备，过程和产品。 所述计算机化装置具有处理器，所述装置包括：源代码获取器，用于获得计算机程序的源代码; 用于获得一组源代码补丁指令的补丁指令获取器，其中第一补丁指令包括与第一源代码补丁相关联的源代码的一组修改指令，其中第二补丁指令包括一组修改指令， 与第二源代码补丁相关联的源代码; 源代码编辑器，被配置为向用户显示与代码片段同时应用相关联的源代码和注释; 并且其中所述源代码编辑器还被配置为根据用户输入来编辑源代码，其中基于用户输入修改第一和第二源代码补丁指令。
-
28.发明申请COMPARING DATA SERIES ASSOCIATED WITH TWO SYSTEMS TO IDENTIFY HIDDEN SIMILARITIES BETWEEN THEM 有权比较与两个系统相关的数据系列，以识别他们之间的隐藏类型公开(公告)号：US20110238613A1
公开(公告)日：2011-09-29
申请号：US12748415
申请日：2010-03-28
IPC分类号： G06N5/02
CPC分类号： G06N5/048 , G06F11/3409 , G06F11/3419 , G06F11/3664 , G06F11/3676 , G06F11/3696 , G06F17/15 , G06N7/005
摘要： A method that includes: sampling a plurality of parameters associated with a first and a second system to yield a first and a second set of data series, respectively, each data series being associated with samples of a respective parameter; applying, for each two respective data series, a transformation associated with a specified order selected from a plurality of ordered transformations, such that the selected transformation is applied repeatedly to at least one of the two respective data series, wherein, in each repeated application, the transformation is assigned with a different value of a transformation parameter; determining, for each parameter, a one of the plurality of transformation parameters for which the correlation level of the two respective time series is above a specified value; and repeating the applying and the determining with a transformation that is associated with a higher order of the ordered transformations.
摘要翻译： 一种方法，包括：对与第一和第二系统相关联的多个参数进行采样，以分别产生与相应参数的采样相关联的每个数据系列的第一和第二组数据序列; 对于每个两个相应的数据序列应用与从多个有序变换中选择的指定顺序相关联的变换，使得所选择的变换被重复应用于两个相应数据序列中的至少一个，其中在每个重复的应用中， 变换被赋予变换参数的不同值; 为每个参数确定两个相应时间序列的相关电平高于指定值的多个变换参数之一; 并且通过与有序变换的较高阶相关联的变换来重复应用和确定。
-
公开(公告)号：US07793263B2
公开(公告)日：2010-09-07
申请号：US11345882
申请日：2006-02-02
IPC分类号： G06F9/44
CPC分类号： G06F11/36
摘要： A computer-implemented method for reviewing software includes monitoring a review session held by one or more reviewers for locating errors in a computer program, and automatically detecting a suggestion-triggering event in the monitored session. A suggested action predicted to increase a likelihood of locating the errors is determined based on known bug patterns responsively to the detected suggestion-triggering event. The suggested action is applied in an execution of the review session.
摘要翻译： 用于审查软件的计算机实现的方法包括监视由一个或多个审阅者持有的用于定位计算机程序中的错误的审查会话，并且自动检测所监视的会话中的建议触发事件。 基于已知的响应于所建议的触发事件的错误模式，确定预测增加定位错误的可能性的建议动作。 建议的行动适用于执行审查会议。
-
-
-
-
-
-
-
-
搜索结果
29 条记录 (耗时 0.036 秒)
