公开(公告)号：US08949103B2

公开(公告)日：2015-02-03

申请号：US12433908

申请日：2009-05-01

申请人： Deon Brewis ,  Durham Goode ,  John Joseph Jordan ,  Sadi Khan

发明人： Deon Brewis ,  Durham Goode ,  John Joseph Jordan ,  Sadi Khan

IPC分类号： G06F9/45 ,  G06F11/36

CPC分类号： G06F11/3612 ,  G06F11/3692 ,  G06F11/3696

摘要： A system and method for facilitating simulation of a computer program. A program representation is generated from a computer program. A simulation of the program is performed. Simulation may include applying heuristics to determine program flow for selected instructions, such as a branch instruction or a loop instruction. Simulation may also include creating imaginary objects as surrogates for real objects, when program code to create real objects is restricted, or fields of the objects are unavailable or uncertain, or for other reasons. Data descriptive of the simulation is inserted into the program representation. A visualizer may retrieve the program representation and generate a visualization that shows sequence flows resulting from the simulation.

摘要翻译： 一种便于模拟计算机程序的系统和方法。 从计算机程序生成程序表示。 执行程序的模拟。 模拟可以包括应用启发式来确定所选指令的程序流程，例如分支指令或循环指令。 仿真还可以包括创建虚拟对象作为真实对象的代理，当创建真实对象的程序代码受到限制时，或者对象的字段不可用或不确定，或者出于其他原因。 将描述模拟的数据插入到程序表示中。 可视化程序可以检索程序表示并生成显示由仿真产生的序列流的可视化。

公开(公告)号：US20100281240A1

公开(公告)日：2010-11-04

申请号：US12433908

申请日：2009-05-01

申请人： Deon Brewis ,  Durham Goode ,  John Joseph Jordan ,  Sadi Khan

发明人： Deon Brewis ,  Durham Goode ,  John Joseph Jordan ,  Sadi Khan

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

CPC分类号： G06F11/3612 ,  G06F11/3692 ,  G06F11/3696

摘要： A system and method for facilitating simulation of a computer program. A program representation is generated from a computer program. A simulation of the program is performed. Simulation may include applying heuristics to determine program flow for selected instructions, such as a branch instruction or a loop instruction. Simulation may also include creating imaginary objects as surrogates for real objects, when program code to create real objects is restricted, or fields of the objects are unavailable or uncertain, or for other reasons. Data descriptive of the simulation is inserted into the program representation. A visualizer may retrieve the program representation and generate a visualization that shows sequence flows resulting from the simulation.

摘要翻译： 一种便于模拟计算机程序的系统和方法。 从计算机程序生成程序表示。 执行程序的模拟。 模拟可以包括应用启发式来确定所选指令的程序流程，例如分支指令或循环指令。 仿真还可以包括创建虚拟对象作为真实对象的代理，当创建真实对象的程序代码受到限制时，或者对象的字段不可用或不确定，或者出于其他原因。 将描述模拟的数据插入到程序表示中。 可视化程序可以检索程序表示并生成显示由仿真产生的序列流的可视化。

公开(公告)号：US08578326B2

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

申请号：US12474193

申请日：2009-05-28

申请人： Patrick S. Tseng ,  Durham Goode ,  John Joseph Jordan ,  Bernie Tschirren ,  Arun Abraham ,  Abhishek Shah ,  Andrew Jude Byrne ,  Suhail Dutta

发明人： Patrick S. Tseng ,  Durham Goode ,  John Joseph Jordan ,  Bernie Tschirren ,  Arun Abraham ,  Abhishek Shah ,  Andrew Jude Byrne ,  Suhail Dutta

IPC分类号： G06F9/44

CPC分类号： G06F8/34

摘要： Local areas of a visualized modeling language diagram are viewable at different levels of detail without losing information such as model elements and their connectivity. Multiple elements are associated with a group element, which has a visual portion derived from the appearance of a group member element. Connectors between group member elements and non-member elements are suppressed in favor of replacement connectors between the group element and the non-member element(s). The integrity of incoming and outgoing connections to the group is maintained relative to the rest of the model. Ungrouping elements restores the elements to their original state. Grouping can be applied locally to one or more parts of the visual model.

摘要翻译： 可视化建模语言图的局部区域可以在不同的细节级别上查看，而不会丢失诸如模型元素及其连接性的信息。 多个元素与组元素相关联，组元素具有从组成员元素的外观导出的视觉部分。 抑制组件元件和非元件之间的连接件有利于组元件和非元件之间的替换连接器。 相对于模型的其余部分，保持到组的传入和传出连接的完整性。 取消分组元素将元素恢复到其原始状态。 分组可以在本地应用于视觉模型的一个或多个部分。

公开(公告)号：US20100251187A1

公开(公告)日：2010-09-30

申请号：US12474193

申请日：2009-05-28

申请人： Patrick S. Tseng ,  Durham Goode ,  John Joseph Jordan ,  Bernie Tschirren ,  Arun Abraham ,  Abhishek Shah ,  Andrew Jude Byrne ,  Suhail Dutta

发明人： Patrick S. Tseng ,  Durham Goode ,  John Joseph Jordan ,  Bernie Tschirren ,  Arun Abraham ,  Abhishek Shah ,  Andrew Jude Byrne ,  Suhail Dutta

IPC分类号： G06F3/048

CPC分类号： G06F8/34

摘要： Local areas of a visualized modeling language diagram are viewable at different levels of detail without losing information such as model elements and their connectivity. Multiple elements are associated with a group element, which has a visual portion derived from the appearance of a group member element. Connectors between group member elements and non-member elements are suppressed in favor of replacement connectors between the group element and the non-member element(s). The integrity of incoming and outgoing connections to the group is maintained relative to the rest of the model. Ungrouping elements restores the elements to their original state. Grouping can be applied locally to one or more parts of the visual model.

摘要翻译： 可视化建模语言图的局部区域可以在不同的细节级别上查看，而不会丢失诸如模型元素及其连接性的信息。 多个元素与组元素相关联，组元素具有从组成员元素的外观导出的视觉部分。 抑制组件元件和非元件之间的连接件有利于组元件和非元件之间的替换连接器。 相对于模型的其余部分，保持到组的传入和传出连接的完整性。 取消分组元素将元素恢复到其原始状态。 分组可以在本地应用于视觉模型的一个或多个部分。