公开(公告)号：US20060150026A1

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

申请号：US11350371

申请日：2006-02-07

申请人： Adam Kolawa ,  James Clune ,  Wendell Hicken ,  Luke Chen

发明人： Adam Kolawa ,  James Clune ,  Wendell Hicken ,  Luke Chen

IPC分类号： G06F11/00

CPC分类号： G06F11/3688 ,  H04L41/22 ,  H04L43/50 ,  H04L67/02 ,  H04L67/36

摘要： The present invention is a module testing tool for Web services. In one embodiment, the present invention automates the testing of Web services that use SOAP as a wire protocol and HTTP as a transport protocol. The invention provides an easy interface for exercising Web services and testing their functionality. The invention helps users confirm the responses to SOAP messages with such features as fault detection, textual comparisons, XML validation by DTDs or XML Schemas, and the ability to express and flag complex patterns in XML. The invention lets the users validate responses that require application-specific verification (such as business logic validation) by plugging in their own code. It also provides the capability to perform regression testing of web services. The invention can automatically creates regression test controls from SOAP Client responses, or users can create their own regression tests.

摘要翻译： 本发明是用于Web服务的模块测试工具。 在一个实施例中，本发明使用SOAP作为有线协议和HTTP作为传输协议的Web服务的自动测试。 本发明提供了用于行使Web服务和测试其功能的简单接口。 本发明帮助用户确认对SOAP消息的响应，包括故障检测，文本比较，DTD或XML模式的XML验证等功能，以及在XML中表示和标记复杂模式的能力。 本发明允许用户通过插入自己的代码来验证需要特定于应用程序的验证（例如业务逻辑验证）的响应。 它还提供执行Web服务的回归测试的功能。 本发明可以自动从SOAP客户端响应中创建回归测试控件，或者用户可以创建自己的回归测试。

公开(公告)号：US20060225124A1

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

申请号：US11352079

申请日：2006-02-10

申请人： Adam Kolawa ,  Alexander Smolen ,  Marek Pilch ,  Wayne Ariola

发明人： Adam Kolawa ,  Alexander Smolen ,  Marek Pilch ,  Wayne Ariola

IPC分类号： H04L9/00

CPC分类号： G06F21/6218

摘要： A method and system for enforcing functionality in computer software through policy including converting a natural language policy to sample code, wherein the natural language policy is represented by logical patterns; creating one or more static analysis rules from the sample code to enforce the natural language policy at a centralized location of the computer software; and enforcing the created one or more static analysis rules for the computer software.

摘要翻译： 一种用于通过策略执行计算机软件功能的方法和系统，包括将自然语言策略转换为样本代码，其中自然语言策略由逻辑模式表示; 从示例代码创建一个或多个静态分析规则，以在计算机软件的集中位置实施自然语言策略; 并为计算机软件执行创建的一个或多个静态分析规则。

公开(公告)号：US07028223B1

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

申请号：US10214209

申请日：2002-08-07

申请人： Adam Kolawa ,  James Edmond Clune, III ,  Wendell T. Hicken ,  Luke Li-Ming Chen

发明人： Adam Kolawa ,  James Edmond Clune, III ,  Wendell T. Hicken ,  Luke Li-Ming Chen

IPC分类号： G06F11/00

CPC分类号： G06F11/3688 ,  H04L41/22 ,  H04L43/50 ,  H04L67/02 ,  H04L67/36

摘要： The present invention is a module testing tool for Web services. In one embodiment, the present invention automates the testing of Web services that use SOAP as a wire protocol and HTTP as a transport protocol. The invention provides an easy interface for exercising Web services and testing their functionality. The invention helps users confirm the responses to SOAP messages with such features as fault detection, textual comparisons, XML validation by DTDs or XML Schemas, and the ability to express and flag complex patterns in XML. The invention lets the users validate responses that require application-specific verification (such as business logic validation) by plugging in their own code. It also provides the capability to perform regression testing of web services. The invention can automatically creates regression test controls from SOAP Client responses, or users can create their own regression tests.

公开(公告)号：US20070271483A1

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

申请号：US11833866

申请日：2007-08-03

申请人： Adam Kolawa ,  Roman Salvador

发明人： Adam Kolawa ,  Roman Salvador

IPC分类号： H04L1/22

CPC分类号： G06F11/3664 ,  G06F11/3684 ,  G06F11/3688

摘要： A method and system for dynamically invoking and/or checking conditions of a computer test program. Test cases that verify class/component functionality are automatically created from the DbC contracts. When the classes/components that contain DbC contracts are added to the system, the invention automatically verifies whether the system uses them correctly. The information in the contract comments is used to generate more comprehensive and better quality test cases. In one embodiment, a code's specification information is analyzed and a class with extra bytecodes that describe how the class is supposed to work and be used is generated. Next, the instrumented class is integrated into the system, and the system is run. The system is monitored as it runs and contract violations are automatically detected.

摘要翻译： 一种用于动态调用和/或检查计算机测试程序条件的方法和系统。 验证类/组件功能的测试用例将自动从DbC合同创建。 当将包含DbC合同的类/组件添加到系统时，本发明将自动验证系统是否正确使用它们。 合同评论中的信息用于生成更全面和更好的质量测试用例。 在一个实施例中，分析代码的规范信息，并且生成描述类应如何工作和被使用的具有额外字节码的类。 接下来，将仪表级集成到系统中，并运行系统。 系统在运行时进行监控，并自动检测违规违规。

公开(公告)号：US20060026048A1

公开(公告)日：2006-02-02

申请号：US11236274

申请日：2005-09-26

申请人： Adam Kolawa ,  Wendell Hicken ,  Marek Kucharski

发明人： Adam Kolawa ,  Wendell Hicken ,  Marek Kucharski

IPC分类号： G06F9/44 ,  G06Q30/00

CPC分类号： G06Q30/02 ,  G06Q10/063

摘要： A computer system representing user preferences in an N-dimensional preference topography and making recommendations based on such topography. The preference topography depicts user ratings of products in a recommendation database. Each product is represented by a product vector associated with N objectively measurable characteristics. The user rating of a product, therefore, represents the user's preference for the particular combination of the N objectively measurable characteristics making up the product. In making a recommendation of products to the user, the system assigns a rating to each product in the recommendation database based on the preference topography. The system then selects a plurality of maximally unique choices from the rated products for recommendation to the user. These maximally unique choices are calculated to be as diverse from one another as possible but still to the user's liking. In another embodiment of the invention, the system identifies portions of the N-dimensional rating space for which the user has indicated a positive association (a positive preference cluster) or a negative association (a negative preference cluster). In making a recommendation of a potential product, the system determines the similarities of products that fall in the positive preference cluster with the potential product. The system also takes into account the products that fall in the nearest negative cluster and determines the similarities with such products and the potential product. In one particular aspect of the invention, the system presents a virtual character for making the usage of the system more user-friendly and interesting. The virtual character is programmed to interact with the user for obtaining user ratings of products and thus determining where the user preferences lie.

公开(公告)号：US08504440B1

公开(公告)日：2013-08-06

申请号：US11529895

申请日：2006-09-29

申请人： Adam Kolawa ,  Marc Elroy Campbell

发明人： Adam Kolawa ,  Marc Elroy Campbell

IPC分类号： G06Q30/00

CPC分类号： G06Q30/00

摘要： An electronic shopping system recommending recipes and creating shopping lists. A user selects items for purchase and proceeds to a point-of-sale terminal for checkout. The point-of-sale terminal transmits information of the purchased items to a network computer which uses the information to update a taste profile for the user. Based on the taste profile, the network computer recommends recipes that may be prepared using the items just purchased. The network computer also creates the user's meal plan for the week based on the user's taste profile, and provides the meal plan along with a shopping list.

摘要翻译： 电子购物系统推荐食谱和创建购物清单。 用户选择要购买的物品，并进入销售点终端进行结账。 销售点终端将购买的物品的信息发送到网络计算机，网络计算机使用该信息来更新用户的口味简档。 根据品味信息，网络计算机推荐使用刚刚购买的商品准备的食谱。 网络计算机还根据用户的口味资料创建用户一周的餐饮计划，并提供餐饮计划以及购物清单。

公开(公告)号：US08429026B1

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

申请号：US09792343

申请日：2001-02-23

申请人： Adam Kolawa ,  Marc Elroy Campbell

发明人： Adam Kolawa ,  Marc Elroy Campbell

IPC分类号： G06Q30/00

CPC分类号： G06Q30/00

摘要： A system and method for creating and submitting for a user an electronic shopping list. The system presents to the user a meal list and a shopping list of ingredients contained in the meal list. The meals are preferably selected based on the food preferences of the user. The user accepts the meal list and the shopping list, causing an order request with the ingredients to be automatically created and submitted to a retailer. The user may alternatively decide to manually exclude certain ingredients in the list that the user has already purchased prior to accepting the shopping list. The exclusion may also be automatic based on past purchase information contained in the user's home inventory database. The retailer fulfills the order and delivers the ingredients to the user based on a pre-determined delivery time.

摘要翻译： 一种用于为用户创建和提交电子购物清单的系统和方法。 系统向用户呈现膳食清单和膳食清单中所含成分的购物清单。 膳食优选地基于用户的食物偏好来选择。 用户接受餐单和购物清单，从而产生订单请求，并自动创建并提交给零售商。 用户可以选择手动排除用户在接受购物清单之前已经购买的列表中的某些成分。 根据用户的家庭清单数据库中包含的过去的购买信息，排除也可以是自动的。 零售商根据预先确定的交付时间完成订单并将成分交付给用户。

公开(公告)号：US07266808B2

公开(公告)日：2007-09-04

申请号：US10213684

申请日：2002-08-06

申请人： Adam Kolawa ,  Roman Salvador

发明人： Adam Kolawa ,  Roman Salvador

IPC分类号： G06F9/44

CPC分类号： G06F11/3664 ,  G06F11/3684 ,  G06F11/3688

摘要： A method and system for dynamically invoking and/or checking conditions of a computer test program. Test cases that verify class/component functionality are automatically created from the DbC contracts. When the classes/components that contain DbC contracts are added to the system, the invention automatically verifies whether the system uses them correctly. The information in the contract continents is used to generate more comprehensive and better quality test cases.In one embodiment, a code's specification information is analyzed and a class with extra bytecodes that describe how the class is supposed to work and be used is generated. Next, the instrumented class is integrated into the system, and the system is run. The system is monitored as it runs and contract violations are automatically detected.

摘要翻译： 一种用于动态调用和/或检查计算机测试程序条件的方法和系统。 验证类/组件功能的测试用例将自动从DbC合同创建。 当将包含DbC合同的类/组件添加到系统时，本发明将自动验证系统是否正确使用它们。 合同大陆的信息用于产生更全面和更好的质量测试用例。 在一个实施例中，分析代码的规范信息，并且生成描述类应如何工作和被使用的具有额外字节码的类。 接下来，将仪表级集成到系统中，并运行系统。 系统在运行时进行监控，并自动检测违规违规。

公开(公告)号：US20050015675A1

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

申请号：US10613166

申请日：2003-07-03

申请人： Adam Kolawa ,  Wendell Hicken ,  Arthur Hicken ,  Marek Kucharski ,  Gary Brunnell

发明人： Adam Kolawa ,  Wendell Hicken ,  Arthur Hicken ,  Marek Kucharski ,  Gary Brunnell

IPC分类号： H02H3/05

CPC分类号： G06F11/3688

摘要： In one embodiment, the present invention is a method for automatically preventing errors in computer software. The method includes storing the computer software in a code repository; executing a plurality of software verification tools to verify the computer software, wherein each of the plurality of software verification tools automatically generates one or more test cases; generating verification results responsive to executing the plurality of software verification tools and the automatically generated test cases; processing the verification results for generating an objective criterion of quality of the computer software; and customizing the scope of one or more of the plurality of verification tools responsive to the objective criterion of quality of the computer software.

摘要翻译： 在一个实施例中，本发明是用于自动防止计算机软件中的错误的方法。 该方法包括将计算机软件存储在代码库中; 执行多个软件验证工具以验证所述计算机软件，其中所述多个软件验证工具中的每一个自动生成一个或多个测试用例; 响应于执行多个软件验证工具和自动生成的测试用例产生验证结果; 处理验证结果以产生计算机软件质量的客观标准; 以及响应于计算机软件的质量的客观标准来定制多个验证工具中的一个或多个的范围。

公开(公告)号：US20060123389A1

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

申请号：US11282542

申请日：2005-11-17

申请人： Adam Kolawa ,  Wendell Hicken ,  Arthur Hicken ,  Marek Kucharski ,  Marek Pilch

发明人： Adam Kolawa ,  Wendell Hicken ,  Arthur Hicken ,  Marek Kucharski ,  Marek Pilch

IPC分类号： G06F9/44

CPC分类号： G06F11/3692 ,  G06F11/3616 ,  G06Q10/06

摘要： A system and method for collecting and correlating information about development of a computer software, including software tools reports. The system and method provides overview of entire software development lifecycle, provides decision support engine for project management, allows estimation of project timelines based upon empirical data, allows evaluation of project quality based upon empirical data, and correlates information from previous projects to estimate progress of current project (confidence factors). The system and method for collecting and correlating information about development of a computer software include collecting data from a plurality of software tools during each point in lifecycle of the computer software; storing the collected data in a database; and correlating the stored collected data to monitor the development of the computer software.

摘要翻译： 一种用于收集和关联计算机软件开发信息的系统和方法，包括软件工具报告。 该系统和方法提供了整个软件开发生命周期的概述，为项目管理提供决策支持引擎，允许基于实证数据估计项目时间表，允许基于经验数据评估项目质量，并将以前项目的信息与估计进度进行关联 当前项目（置信因素）。 用于收集和关联计算机软件开发的信息的系统和方法包括在计算机软件的生命周期的每个点期间从多个软件工具收集数据; 将收集的数据存储在数据库中; 并将存储的收集的数据相关联以监视计算机软件的开发。