公开(公告)号：US20120296753A1

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

申请号：US13270189

申请日：2011-10-10

Applicant: Robert M. Calderoni ,  Kshitij Dayal ,  Bhaskar Himatsingka ,  Robert Mihalko ,  David Louis Morel ,  Henry Robinson

Inventor： Robert M. Calderoni ,  Kshitij Dayal ,  Bhaskar Himatsingka ,  Robert Mihalko ,  David Louis Morel ,  Henry Robinson

IPC: G06Q30/00

CPC classification number: G06Q30/02 ,  G06Q30/0601

Abstract: Embodiments for methods, systems and apparatuses of a supplier/buyer commerce network electronically introducing buyer and suppliers are disclosed. One computer-method includes electronically harvesting information related to characteristics of at least one of the buyers and anonymizing the harvested information. The anonymously harvested information is presented to a selected set of the suppliers, and a formation of a business relationship is facilitated between suppliers who express an interest in the at least one buyer.

Abstract translation: 披露了供应商/买家商业网络的电子介绍买方和供应商的方法，系统和设备的实施例。 一种计算机方法包括电子地收集与至少一个买方的特征相关的信息并对收获的信息进行匿名化。 将匿名收集的信息提供给选定的一组供应商，并且在表达对至少一个买方感兴趣的供应商之间促进形成业务关系。

公开(公告)号：US20060075305A1

公开(公告)日：2006-04-06

申请号：US10957132

申请日：2004-10-01

Applicant: Henry Robinson ,  Michael Corning

Inventor： Henry Robinson ,  Michael Corning

IPC: G06F11/00

CPC classification number: G06F11/3684

Abstract: Disclosed is a method for using source code to create the models used in model-based testing. After exploring the intended behavior of a software package, a test engineer writes source code to model that intended behavior. The source code is compiled into a model, and the model is automatically analyzed to generate numerous test scripts that can exercise the behavior of the software package. When the tests are run, their results are compared against intended behaviors, and discrepancies are used to correct the software package (or to correct the source-code model if it was prepared incorrectly). The model coding, test generation, test execution, and comparison steps are repeated as often as necessary to thoroughly test the software package. In some embodiments, the test scripts generated by the model are written in XML (Extensible Markup Language), allowing the easy integration of the test scripts with a number of XML-based tools.

Abstract translation: 公开了一种使用源代码创建在基于模型的测试中使用的模型的方法。 在探索软件包的预期行为之后，测试工程师将编写源代码以对该预期行为进行建模。 源代码被编译成一个模型，并且模型被自动分析以产生可以行使软件包行为的许多测试脚本。 当测试运行时，将其结果与预期行为进行比较，并使用差异来纠正软件包（或者如果准备不正确，则更正源代码模型）。 经常重复模型编码，测试生成，测试执行和比较步骤，以彻底测试软件包。 在一些实施例中，由模型生成的测试脚本使用XML（可扩展标记语言）进行编写，从而允许将测试脚本与许多基于XML的工具集成起来。

公开(公告)号：US20050268287A1

公开(公告)日：2005-12-01

申请号：US11188606

申请日：2005-07-25

Applicant: Dimitris Achlioptas ,  Christian Borgs ,  Jennifer Chayes ,  Henry Robinson ,  James Tierney

Inventor： Dimitris Achlioptas ,  Christian Borgs ,  Jennifer Chayes ,  Henry Robinson ,  James Tierney

IPC: G06F11/36 ,  G06F9/44

CPC classification number: G06F11/3688

Abstract: Methods and systems of testing software and modeling user actions are described. In some embodiments, multiple different algorithms are provided for operating on a software model. The software model describes behavior associated with software that is to be tested. Different sets of algorithms can be selected for operating on the software model to produce a sequence of test actions that are to be used to test the software. The algorithms can be mixed and matched to achieve a desired testing result. In some embodiments, the different algorithms comprise deterministic algorithms, random algorithms, and various types of algorithms therebetween. In one embodiment, the software model comprises a state graph having nodes that represent state, and links between the nodes that represent actions. The different algorithms that are available for selection can have different graph traversal characteristics such that the state graph can be traversed in different manners. For example, algorithms that are more local in their traversals can be teamed with algorithms that are more global in their traversals, thus covering a wider area of the state space with good local coverage in some areas.

Abstract translation: 描述测试软件和建模用户动作的方法和系统。 在一些实施例中，提供了用于在软件模型上操作的多种不同的算法。 软件模型描述与要测试的软件相关的行为。 可以选择不同的算法集来在软件模型上操作以产生用于测试软件的测试动作序列。 可以混合和匹配算法以实现所需的测试结果。 在一些实施例中，不同的算法包括确定性算法，随机算法以及它们之间的各种类型的算法。 在一个实施例中，软件模型包括具有表示状态的节点和表示动作的节点之间的链接的状态图。 可用于选择的不同算法可以具有不同的图遍历特性，使得可以以不同的方式遍历状态图。 例如，在遍历中更本地化的算法可以与在遍历中更全局化的算法相结合，从而在某些区域覆盖了更广泛的状态空间区域，具有良好的本地覆盖。

公开(公告)号：US08220645B2

公开(公告)日：2012-07-17

申请号：US12221275

申请日：2008-08-01

Applicant: Henry Robinson

Inventor： Henry Robinson

IPC: B42F17/00 ,  B65D85/28

CPC classification number: B43M99/001 ,  B43M99/006 ,  B43M99/008 ,  B43M99/009 ,  F21V33/0048

Abstract: A desk organizer device having a housing member disposed on a substantially hollow base member having open front and back ends. A plurality of compartments disposed on and within the housing member for storing a plurality of items. An electric pencil sharpener, a digital touch screen, a tape dispenser, and at least one of cork board, foam material, and apertures for holding items being located on the housing member.

Abstract translation: 一种桌子组织器装置，具有设置在具有开放的前端和后端的基本上中空的基座构件上的壳体构件。 多个隔室，设置在壳体内部和壳体内，用于存储多个物品。 一种电动铅笔刀，数字触摸屏，胶带分配器，以及软木板，泡沫材料和用于保持物品的孔的至少一个位于壳体构件上。

公开(公告)号：US20090032479A1

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

申请号：US12221275

申请日：2008-08-01

Applicant: Henry Robinson

Inventor： Henry Robinson

IPC: B42F17/00

CPC classification number: B43M99/001 ,  B43M99/006 ,  B43M99/008 ,  B43M99/009 ,  F21V33/0048

Abstract: A desk organizer device includes a housing member manufactured from a first predetermined material and having a first predetermined shape and a first predetermined size. At least one compartment is disposed at least one of within and on such housing member at a predetermined location for at least one of receiving and storing at least one predetermined item. Such at least one compartment is at least one of a second predetermined size and a plurality of predetermined sizes. Such at least one compartment is at least one of a second predetermined shape and a plurality of predetermined shapes.

Abstract translation: 桌子组织器装置包括由第一预定材料制成且具有第一预定形状和第一预定尺寸的外壳构件。 至少一个隔室设置在这种壳体内部和之中的至少一个在预定位置处，用于接收和存储至少一个预定项目中的至少一个。 这样的至少一个隔室是第二预定尺寸和多个预定尺寸中的至少一个。 这样的至少一个隔室是第二预定形状和多个预定形状中的至少一个。

公开(公告)号：US20060005170A1

公开(公告)日：2006-01-05

申请号：US11207441

申请日：2005-08-19

Applicant: Steven Rosaria ,  Henry Robinson

Inventor： Steven Rosaria ,  Henry Robinson

IPC: G06F9/44

CPC classification number: G06F8/34 ,  G06F11/2257

Abstract: A finite state model-based testing system has a user interface to enable a user to enter state information and transition information about a software application to be tested. The user interface further enables a user to initiate a model generation engine to generate a model of the software application from the state information and transition information. A graph traversal menu enables a user to select a graph traversal program to generate a test sequence of inputs for the software application from the model, and a test execution menu enables a user to select a test driver program to read the test sequence of inputs for the software application, and execute the test sequence of inputs on the software application.

Abstract translation: 基于有限状态模型的测试系统具有用户界面，以使用户能够输入关于要测试的软件应用的状态信息和转换信息。 用户界面还允许用户启动模型生成引擎以从状态信息和转换信息生成软件应用的模型。 图形遍历菜单使用户能够选择图形遍历程序，以从模型生成软件应用程序的输入测试序列，并且测试执行菜单使用户可以选择测试驱动程序来读取输入的测试序列 软件应用程序，并在软件应用程序上执行输入的测试顺序。

公开(公告)号：US20050273767A1

公开(公告)日：2005-12-08

申请号：US11188618

申请日：2005-07-25

Applicant: Dimitris Achlioptas ,  Christian Borgs ,  Jennifer Chayes ,  Henry Robinson ,  James Tierney

Inventor： Dimitris Achlioptas ,  Christian Borgs ,  Jennifer Chayes ,  Henry Robinson ,  James Tierney

IPC: G06F11/36 ,  G06F9/44

CPC classification number: G06F11/3688

Abstract: Methods and systems of testing software and modeling user actions are described. In some embodiments, multiple different algorithms are provided for operating on a software model. The software model describes behavior associated with software that is to be tested. Different sets of algorithms can be selected for operating on the software model to produce a sequence of test actions that are to be used to test the software. The algorithms can be mixed and matched to achieve a desired testing result. In some embodiments, the different algorithms comprise deterministic algorithms, random algorithms, and various types of algorithms therebetween. In one embodiment, the software model comprises a state graph having nodes that represent state, and links between the nodes that represent actions. The different algorithms that are available for selection can have different graph traversal characteristics such that the state graph can be traversed in different manners. For example, algorithms that are more local in their traversals can be teamed with algorithms that are more global in their traversals, thus covering a wider area of the state space with good local coverage in some areas.