公开(公告)号：US08413105B2

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

申请号：US11876785

申请日：2007-10-23

申请人： Asaf Adi ,  Jonathan Bnayahu ,  Inbal Ronen ,  Avi Yaeli

发明人： Asaf Adi ,  Jonathan Bnayahu ,  Inbal Ronen ,  Avi Yaeli

IPC分类号： G06F9/44

CPC分类号： G06Q10/06 ,  G06F8/10

摘要： A method for managing a software development process, the method includes: receiving information representative of instances of simple software development process events; detecting, by a complex event processing (CEP) engine and in response to the received information, at least one complex situation; and invoking at least one software management process reaction responsive to a detection of the at least one complex situation.

摘要翻译： 一种用于管理软件开发过程的方法，所述方法包括：接收表示简单软件开发过程事件的实例的信息; 通过复杂事件处理（CEP）引擎和响应于所接收的信息来检测至少一个复杂情况; 以及响应于所述至少一个复杂情况的检测而调用至少一个软件管理过程响应。

公开(公告)号：US20090106729A1

公开(公告)日：2009-04-23

申请号：US11876785

申请日：2007-10-23

申请人： Asaf Adi ,  Jonathan Bnayahu ,  Inbal Ronen ,  Avi Yaeli

发明人： Asaf Adi ,  Jonathan Bnayahu ,  Inbal Ronen ,  Avi Yaeli

IPC分类号： G06F9/44

CPC分类号： G06Q10/06 ,  G06F8/10

摘要： A method for managing a software development process, the method includes: receiving information representative of instances of simple software development process events; detecting, by a complex event processing (CEP) engine and in response to the received information, at least one complex situation; and invoking at least one software management process reaction responsive to a detection of the at least one complex situation.

摘要翻译： 一种用于管理软件开发过程的方法，所述方法包括：接收表示简单软件开发过程事件的实例的信息; 通过复杂事件处理（CEP）引擎和响应于所接收的信息来检测至少一个复杂情况; 以及响应于所述至少一个复杂情况的检测而调用至少一个软件管理过程响应。

公开(公告)号：US08612954B2

公开(公告)日：2013-12-17

申请号：US12541983

申请日：2009-08-17

申请人： Aharon Abadi ,  Ran Ettinger ,  Yishai Fieldman ,  Jonathan Bnayahu

发明人： Aharon Abadi ,  Ran Ettinger ,  Yishai Fieldman ,  Jonathan Bnayahu

IPC分类号： G06F9/45

CPC分类号： G06F8/433 ,  G06F11/3604

摘要： A method for generating a fine slice for a program is provided. The method comprises receiving a set of slicing criteria, wherein the set of slicing criteria comprises one or more variable occurrences or control dependences; receiving a set of cut points, wherein the set of cut points comprises one or more variable occurrences or control dependences; and generating a slice according to the set of slicing criteria and the set of cut points. The generated slice includes statements related to computation of values for the set of slicing criteria and excludes statements related to computation of values for the set of cut points. Missing information is added to the slice so that the slice is executable.

摘要翻译： 提供了一种用于为程序生成精细切片的方法。 所述方法包括接收一组切片标准，其中所述切片标准集包括一个或多个可变出现或控制依赖性; 接收一组切割点，其中所述切割点集合包括一个或多个可变事件或控制依赖性; 以及根据切片标准和切割点集合生成切片。 生成的切片包括与计算切片标准集合的值相关的语句，并排除与该切割点集合的值的计算相关的语句。 将缺少的信息添加到切片中，以使切片可执行。

公开(公告)号：US20120304161A1

公开(公告)日：2012-11-29

申请号：US13113097

申请日：2011-05-23

申请人： Aharon Ahadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Abraham Feldman ,  Yinnon Avraham Haviv ,  Adi Sharabani

发明人： Aharon Ahadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Abraham Feldman ,  Yinnon Avraham Haviv ,  Adi Sharabani

IPC分类号： G06F9/45

CPC分类号： G06F8/433 ,  G06F21/12 ,  G06F2221/031 ,  G06F2221/033

摘要： A method of determining suitable insertion points for inserting string sanitizers in a computer code is provided herein. The method includes the following stages: obtaining: (i) a computer code associated with a data flow of externally supplied data, from one or more sources to one or more sinks, (ii) locations of the sources, and (iii) locations of the sinks; building a graph representing control paths, data paths and semantic relationships between the control paths and the data paths of the computer code; associating all tainted data paths on the graph, being data paths that go from sources to sinks and do not include a sanitizer; and determining, on the tainted data paths, potential control paths suitable for sanitizer insertion.

摘要翻译： 本文提供了一种在计算机代码中确定用于插入消毒器的合适插入点的方法。 该方法包括以下阶段：获得：（i）与外部提供的数据的数据流相关联的计算机代码，从一个或多个源到一个或多个汇点，（ii）源的位置，以及（iii） 水槽 构建表示控制路径和计算机代码的数据路径之间的控制路径，数据路径和语义关系的图; 将图中的所有污点数据路径相关联，即从源到汇的数据路径，不包括消毒剂; 并且在污染的数据路径上确定适于消毒剂插入的潜在控制路径。

公开(公告)号：US08621430B2

公开(公告)日：2013-12-31

申请号：US13039342

申请日：2011-03-03

申请人： Aharon Abadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Abraham Feldman

发明人： Aharon Abadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Abraham Feldman

IPC分类号： G06F9/44

CPC分类号： G06F8/72

摘要： A method of code transformation supporting temporal abstraction of parameters is provided herein. The method includes the following stages: extracting a set of statements from an original code and further creating a residual code being the original code without the statements, wherein two or more of the extracted statements are not on a same loop in the original code; adding conditions from the original code to the extracted set of statements, such that the added conditions are sufficient to render the set of statements executable; adding statements from the original code to the residual code, such that the added statements are sufficient to render the residual code executable; and adding code portions and variables to the set of statements and the residual code, such that a passing of values between the enhanced set of statements and the residual code maintains a respective passing of values in the original code.

摘要翻译： 本文提供了支持参数时间抽取的代码转换方法。 该方法包括以下步骤：从原始代码中提取一组语句，并进一步创建一个没有语句的原始代码的残差代码，其中两个或多个提取的语句不在原始代码中的同一个循环中; 从原始代码添加到提取的语句集合的条件，使得添加的条件足以使该组语句可执行; 将原始代码中的语句添加到剩余代码，使得添加的语句足以使剩余代码可执行; 以及将代码部分和变量添加到所述语句集合和所述残余代码中，使得所述增强语句集合与所述残余代码之间的值的传递维持原始代码中的值的相应传递。

公开(公告)号：US20110271252A1

公开(公告)日：2011-11-03

申请号：US12768761

申请日：2010-04-28

申请人： Jonathan Bnayahu ,  Maayan Goldstein ,  Dany Moshkovich ,  Moti Nisenson ,  Yahalomit Simionovici ,  Shmuel Ur

发明人： Jonathan Bnayahu ,  Maayan Goldstein ,  Dany Moshkovich ,  Moti Nisenson ,  Yahalomit Simionovici ,  Shmuel Ur

IPC分类号： G06F9/44

CPC分类号： G06F8/10 ,  G06F11/3676

摘要： A method that includes: running a set of functional tests over a computer code; determining, for each code element of the computer code, which functional test covered it, to yield a tests-elements coverage map; associating portions of the computer code with corresponding design portions or requirements derived from a design document or a requirements document respectively, associated with the computer code, to yield a design/requirements-code tracing map; deriving, from the tests-code coverage map and the design/requirements-code tracing map, a design/requirements-tests coverage map, exhibiting coverage of the computer code by the functional tests, in terms of the design or the requirements, wherein at least one of the running, the determining, the associating, and the deriving is executed by at least one processor.

摘要翻译： 一种方法，包括：通过计算机代码运行一组功能测试; 确定对于计算机代码的每个代码元素，哪个功能测试涵盖了它，以产生测试元素覆盖图; 将计算机代码的部分与分别与计算机代码相关联的设计文档或需求文档的相应设计部分或要求相关联，以产生设计/要求代码跟踪图; 从测试代码覆盖图和设计/需求代码跟踪图导出设计/需求测试覆盖图，通过功能测试在设计或要求方面展示计算机代码的覆盖范围，其中在 至少一个处理器执行运行，确定，关联和导出中的至少一个。

公开(公告)号：US20110041123A1

公开(公告)日：2011-02-17

申请号：US12541983

申请日：2009-08-17

申请人： Aharon Abadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Feldman

发明人： Aharon Abadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Feldman

IPC分类号： G06F9/45

CPC分类号： G06F8/433 ,  G06F11/3604

摘要： A method for generating a fine slice for a program is provided. The method comprises receiving a set of slicing criteria, wherein the set of slicing criteria comprises one or more variable occurrences or control dependences; receiving a set of cut points, wherein the set of cut points comprises one or more variable occurrences or control dependences; and generating a slice according to the set of slicing criteria and the set of cut points. The generated slice includes statements related to computation of values for the set of slicing criteria and excludes statements related to computation of values for the set of cut points. Missing information is added to the slice so that the slice is executable.

摘要翻译： 提供了一种用于为程序生成精细切片的方法。 所述方法包括接收一组切片标准，其中所述切片标准集包括一个或多个可变出现或控制依赖性; 接收一组切割点，其中所述切割点集合包括一个或多个可变事件或控制依赖性; 以及根据切片标准和切割点集合生成切片。 生成的切片包括与计算切片标准集合的值相关的语句，并排除与该切割点集合的值的计算相关的语句。 将缺少的信息添加到切片中，以使切片可执行。

公开(公告)号：US20110038542A1

公开(公告)日：2011-02-17

申请号：US12913812

申请日：2010-10-28

申请人： Ella Barkan ,  Jonathan Bnayahu ,  Tal Drory ,  Amnon Ribak

发明人： Ella Barkan ,  Jonathan Bnayahu ,  Tal Drory ,  Amnon Ribak

IPC分类号： G06K9/18

CPC分类号： G06F11/3438 ,  G06F11/3414 ,  G06F11/3476 ,  G06Q10/06 ,  G06Q10/10

摘要： A method, system, and computer program product for computer application analysis are provided. The method for computer application analysis includes monitoring a computer system on which an application to be analyzed is executed and interacted with by a user of the computer system. The monitoring includes: capturing screen data of the application as displayed on a display screen of the computer system including interpreting the screen data using optical character recognition (OCR); and capturing user inputs to the application to input devices of the computer system. The method further includes analyzing the captured screen data and user inputs to generate a summary of the usage of the application.

摘要翻译： 提供了一种用于计算机应用程序分析的方法，系统和计算机程序产品。 用于计算机应用分析的方法包括监视计算机系统，在该计算机系统上，要被分析的应用程序被执行并由计算机系统的用户进行交互。 该监视包括：捕获显示在计算机系统的显示屏幕上的应用程序的屏幕数据，包括使用光学字符识别（OCR）解释屏幕数据; 以及将应用程序的用户输入捕获到计算机系统的输入设备。 该方法还包括分析捕获的屏幕数据和用户输入以生成应用的使用的概要。

公开(公告)号：US08539466B2

公开(公告)日：2013-09-17

申请号：US13113097

申请日：2011-05-23

申请人： Aharon Abadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Abraham Feldman ,  Yinnon Avraham Haviv ,  Adi Sharabani

发明人： Aharon Abadi ,  Jonathan Bnayahu ,  Ran Ettinger ,  Yishai Abraham Feldman ,  Yinnon Avraham Haviv ,  Adi Sharabani

IPC分类号： G06F9/45

CPC分类号： G06F8/433 ,  G06F21/12 ,  G06F2221/031 ,  G06F2221/033

摘要： A method of determining suitable insertion points for inserting string sanitizers in a computer code is provided herein. The method includes the following stages: obtaining: (i) a computer code associated with a data flow of externally supplied data, from one or more sources to one or more sinks, (ii) locations of the sources, and (iii) locations of the sinks; building a graph representing control paths, data paths and semantic relationships between the control paths and the data paths of the computer code; associating all tainted data paths on the graph, being data paths that go from sources to sinks and do not include a sanitizer; and determining, on the tainted data paths, potential control paths suitable for sanitizer insertion.

摘要翻译： 本文提供了一种在计算机代码中确定用于插入消毒器的合适插入点的方法。 该方法包括以下阶段：获得：（i）与外部提供的数据的数据流相关联的计算机代码，从一个或多个源到一个或多个汇点，（ii）源的位置，以及（iii） 水槽 构建表示控制路径和计算机代码的数据路径之间的控制路径，数据路径和语义关系的图; 将图中的所有污点数据路径相关联，即从源到汇的数据路径，不包括消毒剂; 并且在污染的数据路径上确定适于消毒剂插入的潜在控制路径。

公开(公告)号：US20130117725A1

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

申请号：US13290088

申请日：2011-11-06

申请人： Jonathan Bnayahu ,  Moti Nisenson ,  Yahalomit Simionovici

发明人： Jonathan Bnayahu ,  Moti Nisenson ,  Yahalomit Simionovici

IPC分类号： G06F9/44

CPC分类号： G06F11/3604 ,  G06F8/10 ,  G06F8/20 ,  G06F8/30 ,  G06F8/71 ,  G06F8/75 ,  G06F8/77

摘要： A method for monitoring requirements integrity. The method comprises receiving a plurality of requirements for an application development project having a plurality of code elements, computing a first strength for each of a plurality of traceability links each between a certain code element in a current software code version of the application development project and one of the plurality of requirements, computing a second strength for each of said plurality of traceability links in a new software code which includes a revision to the certain code element from said current software version, and generating an inconsistency notification based on a deviation between said second strength and said first strength.

摘要翻译： 一种监控需求完整性的方法。 该方法包括接收对具有多个代码元素的应用开发项目的多个要求，为应用开发项目的当前软件代码版本中的特定代码元素和/或应用开发项目的当前软件代码版本中的每个代码元素计算第一强度， 所述多个要求中的一个要求，为包括对所述当前软件版本的特定代码元素的修订的新的软件代码计算所述多个可跟踪链接中的每一个的第二强度，并且基于所述多个可追溯性链接中的所述 第二力量说第一力量。