公开(公告)号：US20090089757A1

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

申请号：US11865610

申请日：2007-10-01

申请人： Sreeranga P. Rajan ,  Oksana I. Tkachuk ,  Indradeep Ghosh ,  Mukul R. Prasad ,  Tadahiro Uehara ,  Kazuki Munakata ,  Kenji Oki

发明人： Sreeranga P. Rajan ,  Oksana I. Tkachuk ,  Indradeep Ghosh ,  Mukul R. Prasad ,  Tadahiro Uehara ,  Kazuki Munakata ,  Kenji Oki

IPC分类号： G06F9/44

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

摘要： In accordance with a particular embodiment of the present invention, a method is offered that includes detecting one or more defects in a software application composed of heterogeneous languages using a configurable web services architecture. The detecting step further includes: capturing use cases associated with the software application and checking their validity; providing an automatic invocation of property monitors for model checking; and visualizing one or more defects in the software application for diagnosis. The detecting can further include transforming a heterogeneous software application into a homogeneous application. In more specific embodiments, the detecting further includes providing an automatic test generation for a presentation layer associated with the software application. The configuration associated with the software application can be a simple properties file. The detecting further includes simulating user behavior and generating drivers to test business logic from the use cases or scenarios.

摘要翻译： 根据本发明的特定实施例，提供了一种方法，其包括使用可配置的web服务架构检测由异构语言组成的软件应用中的一个或多个缺陷。 所述检测步骤还包括：捕获与所述软件应用相关联的使用情况并检查其有效性; 提供模型检查的属性监视器的自动调用; 并可视化软件应用程序中的一个或多个缺陷进行诊断。 该检测还可以包括将异构软件应用程序转换为同构应用程序。 在更具体的实施例中，检测还包括提供与软件应用相关联的表示层的自动测试生成。 与软件应用程序相关的配置可以是一个简单的属性文件。 该检测还包括模拟用户行为并生成驱动程序以从用例或场景测试业务逻辑。

公开(公告)号：US20090089759A1

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

申请号：US11866043

申请日：2007-10-02

申请人： Sreeranga P. Rajan ,  Oksana I. Tkachuk ,  Indradeep Ghosh ,  Mukul R. Prasad ,  Daryl R. Shannon

发明人： Sreeranga P. Rajan ,  Oksana I. Tkachuk ,  Indradeep Ghosh ,  Mukul R. Prasad ,  Daryl R. Shannon

IPC分类号： G06F9/44

CPC分类号： G06F11/3604 ,  G06F11/3684

摘要： In accordance with a particular embodiment of the present invention, a method is offered that includes generating a symbolic string manipulation class library for one or more web applications. The manipulations are generalized into a string manipulation symbolic algebra. The method also includes performing symbolic execution for one or more web applications. Typically, a Java model checker is augmented to check for certain types of requirements or properties in performing the symbolic execution. If an error scenario exists, a solution to a set of symbolic constraints is obtained, and the solution is mapped back to a source code to obtain an error trace and a test case. In still other specific embodiments, requirements or properties are encoded through templates and checked using public domain decision procedures. The properties or requirements can relate to security validation. The symbolic execution can be customized and tuned for Java-based web applications.

摘要翻译： 根据本发明的特定实施例，提供了一种方法，其包括为一个或多个web应用生成符号串操纵类库。 操纵被推广到字符串操作符号代数中。 该方法还包括对一个或多个web应用执行符号执行。 通常，扩展Java模型检查器以检查执行符号执行时的某些类型的要求或属性。 如果存在错误情况，则获得一组符号约束的解决方案，并将解决方案映射回源代码以获取错误跟踪和测试用例。 在其他具体实施例中，通过模板对需求或属性进行编码，并使用公共领域决策程序进行检查。 属性或要求可以与安全验证有关。 可以为基于Java的Web应用程序定制和调整符号执行。

公开(公告)号：US08468537B2

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

申请号：US12836375

申请日：2010-07-14

申请人： Sreeranga P. Rajan ,  Praveen K. Murthy ,  Indradeep Ghosh ,  Mukul Ranjan Prasad ,  Oksana I. Tkachuk

发明人： Sreeranga P. Rajan ,  Praveen K. Murthy ,  Indradeep Ghosh ,  Mukul Ranjan Prasad ,  Oksana I. Tkachuk

IPC分类号： G06F9/46

CPC分类号： G06F11/3604

摘要： In one embodiment, a method includes statically analyzing a validation toolkit environment. The method may also include, identifying a plurality of computational threads that do not share data structures with each other based on analysis of the validation toolkit environment. The method may additionally include calculating computational requirements of the computational threads. The method may further include distributing the threads among a plurality of resources such that the aggregate computational requirements of the computational threads are approximately evenly balanced among the plurality of resources.

摘要翻译： 在一个实施例中，一种方法包括静态分析验证工具包环境。 该方法还可以包括：基于验证工具包环境的分析来识别不共享数据结构的多个计算线程。 该方法可以另外包括计算计算线程的计算需求。 该方法还可以包括在多个资源之间分配线程，使得计算线程的聚合计算需求在多个资源之间近似均衡地平衡。

公开(公告)号：US20120017220A1

公开(公告)日：2012-01-19

申请号：US12836375

申请日：2010-07-14

申请人： Sreeranga P. Rajan ,  Praveen K. Murthy ,  Indradeep Ghosh ,  Mukul Ranjan Prasad ,  Oksana I. Tkachuk

发明人： Sreeranga P. Rajan ,  Praveen K. Murthy ,  Indradeep Ghosh ,  Mukul Ranjan Prasad ,  Oksana I. Tkachuk

IPC分类号： G06F9/46

CPC分类号： G06F11/3604

摘要： In one embodiment, a method includes statically analyzing a validation toolkit environment. The method may also include, identifying a plurality of computational threads that do not share data structures with each other based on analysis of the validation toolkit environment. The method may additionally include calculating computational requirements of the computational threads. The method may further include distributing the threads among a plurality of resources such that the aggregate computational requirements of the computational threads are approximately evenly balanced among the plurality of resources.

摘要翻译： 在一个实施例中，一种方法包括静态分析验证工具包环境。 该方法还可以包括：基于验证工具包环境的分析来识别不共享数据结构的多个计算线程。 该方法可以另外包括计算计算线程的计算需求。 该方法还可以包括在多个资源之间分配线程，使得计算线程的聚合计算需求在多个资源之间近似均衡地平衡。

公开(公告)号：US20090089810A1

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

申请号：US11865435

申请日：2007-10-01

申请人： Oksana I. Tkachuk ,  Sreeranga P. Rajan

发明人： Oksana I. Tkachuk ,  Sreeranga P. Rajan

IPC分类号： G06F9/44

CPC分类号： G06F11/3664 ,  G06F8/30 ,  G06F11/3608 ,  G06F11/3696

摘要： In accordance with a particular embodiment of the present invention, a method is offered that includes executing processing on an open heterogeneous distributed application, whereby the application is partially written in Java code. The method further includes generating a closed homogeneous non-distributed Java application based on the open heterogeneous distributed application. In more specific embodiments, in generating the closed homogeneous non-distributed Java application, drivers and stubs are generated. Once drivers and stubs are generated, they are combined with an original code base to produce the closed homogeneous non-distributed Java application. Driver generation produces a Java implementation of a user component, along with setting up an event-handling mechanism of the application, which is done at deployment, whereby the stub generation replaces a database and various libraries (e.g., J2EE) with Java implementations that preserve important behaviors.

摘要翻译： 根据本发明的特定实施例，提供了一种方法，其包括在开放的异构分布式应用上执行处理，由此应用部分地用Java代码编写。 该方法还包括基于开放的异构分布式应用生成封闭的均匀非分布式Java应用。 在更具体的实施例中，在生成封闭均匀非分布式Java应用程序时，生成驱动程序和存根。 一旦生成了驱动程序和存根，它们将与原始代码库相结合，以生成封闭的均匀非分布式Java应用程序。 驱动程序生成生成用户组件的Java实现，以及设置应用程序的事件处理机制，这在部署时完成，从而存根生成将使用Java实现来替换数据库和各种库（例如，J2EE） 重要行为。

公开(公告)号：US09069804B2

公开(公告)日：2015-06-30

申请号：US12831730

申请日：2010-07-07

申请人： Oksana I. Tkachuk

发明人： Oksana I. Tkachuk

IPC分类号： G06F17/30 ,  G06F11/36

CPC分类号： G06F17/30294 ,  G06F11/3604

摘要： In accordance with a particular embodiment of the present invention, a method for generating a database model may include analyzing database configuration data for a database. The method may further include analyzing one or more database application programming interfaces for accessing the database. The method may also include generating one or more stubs based on the analyses, the one or more stubs configured to, when executed, model the database as if the database were populated with data.

摘要翻译： 根据本发明的特定实施例，用于生成数据库模型的方法可以包括分析数据库的数据库配置数据。 该方法还可以包括分析用于访问数据库的一个或多个数据库应用编程接口。 该方法还可以包括基于分析生成一个或多个存根，被配置为当被执行时的一个或多个存根被建模成数据库，好像数据库被填充有数据。

公开(公告)号：US20120011168A1

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

申请号：US12831730

申请日：2010-07-07

申请人： Oksana I. Tkachuk

发明人： Oksana I. Tkachuk

IPC分类号： G06F17/30

CPC分类号： G06F17/30294 ,  G06F11/3604

摘要： In accordance with a particular embodiment of the present invention, a method for generating a database model may include analyzing database configuration data for a database. The method may further include analyzing one or more database application programming interfaces for accessing the database. The method may also include generating one or more stubs based on the analyses, the one or more stubs configured to, when executed, model the database as if the database were populated with data.

摘要翻译： 根据本发明的特定实施例，用于生成数据库模型的方法可以包括分析数据库的数据库配置数据。 该方法还可以包括分析用于访问数据库的一个或多个数据库应用编程接口。 该方法还可以包括基于分析生成一个或多个存根，被配置为当被执行时的一个或多个存根被建模成数据库，好像数据库被填充有数据。