公开(公告)号：US08977533B2

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

申请号：US13023900

申请日：2011-02-09

申请人： Ulka Shrotri ,  Venkatesh Ramanathan ,  Ravindra Metta

发明人： Ulka Shrotri ,  Venkatesh Ramanathan ,  Ravindra Metta

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

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

摘要： The present invention provides a system and method for detecting unreachable states in a large commercial Statemate Statechart model. A system for checking the reachability of any given state in a Statemate Model, the said system comprises: an input means for receiving an Original Statemate Model (OSM), output means for displaying the result to a user, and a processor, wherein the processor is capable of executing the programmed instructions to: transform the OSM into First Statemate Model (FSM) by using translator; transform the OSM into Second Statemate Model (SSM) based on the determined length of the super step such that the set of all initial configurations of the SSM is a superset of all the stable configurations of the OSM by using translator; check the reachability of states of the OSM in the SSM by using bounded model checker (BMC); and send the result to the output means.

摘要翻译： 本发明提供了一种用于在大型商业状态状态图模型中检测不可达状态的系统和方法。 一种用于在状态模型中检查任何给定状态的可达性的系统，所述系统包括：用于接收原始状态模型（OSM）的输入装置，用于向用户显示结果的输出装置和处理器，其中所述处理器 能够执行编程指令：通过使用翻译器将OSM转换为第一语态模型（FSM）; 基于所确定的超级步长的长度，将OSM转换为第二状态模型（SSM），使得SSM的所有初始配置的集合是通过使用翻译器对OSM的所有稳定配置的超集; 通过使用有界模型检查器（BMC）检查SSM中OSM状态的可达性; 并将结果发送到输出装置。

公开(公告)号：US08589736B2

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

申请号：US13208999

申请日：2011-08-12

申请人： Vijay Suman Pasupuleti ,  Tukaram Muske ,  Prasad Bokil ,  Ulka Shrotri ,  Venkatesh Ramanathan ,  Priyanka Darke

发明人： Vijay Suman Pasupuleti ,  Tukaram Muske ,  Prasad Bokil ,  Ulka Shrotri ,  Venkatesh Ramanathan ,  Priyanka Darke

IPC分类号： G06F11/00

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

摘要： An automated system and method for test data generation for software testing. The present application relates to management of software testing by generating test data automatically. Further the system and method generate test data automatically with respect to two coverage criteria Boundary Value Coverage (BVC) and Masking Boundary Value Coverage (MBVC) in the white-box setting.

摘要翻译： 用于软件测试的测试数据生成的自动化系统和方法。 本申请涉及通过自动生成测试数据来管理软件测试。 此外，系统和方法会根据白盒设置中的两个覆盖标准边界值覆盖（BVC）和屏蔽边界值覆盖（MBVC）自动生成测试数据。

公开(公告)号：US20060142989A1

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

申请号：US11361368

申请日：2006-02-23

申请人： Venkatesh Ramanathan ,  Ulka Shrotri

发明人： Venkatesh Ramanathan ,  Ulka Shrotri

IPC分类号： G06F9/45

CPC分类号： G06F8/38

摘要： A software tool for modeling and generating user windows of a graphical user interface of a software application has a modeling component for creating models of window types and instances thereof, a conversion component for converting model information into ASCII code, a library component for storing reusable code, and a window generation component for generating graphical user interfaces windows. The tool is characterized in that graphical user interface windows are generated in a batch process wherein certain fields shared by the windows are automatically populated with the appropriate application code taken from or inherited from the wintype model.

公开(公告)号：US07369975B2

公开(公告)日：2008-05-06

申请号：US11361368

申请日：2006-02-23

申请人： Venkatesh Ramanathan ,  Ulka Shrotri

发明人： Venkatesh Ramanathan ,  Ulka Shrotri

IPC分类号： G06F9/445 ,  G06F13/00

CPC分类号： G06F8/38

摘要： A software tool for modeling and generating user windows of a graphical user interface of a software application has a modeling component for creating models of window types and instances thereof, a conversion component for converting model information into ASCII code, a library component for storing reusable code, and a window generation component for generating graphical user interfaces windows. The tool is characterized in that graphical user interface windows are generated in a batch process wherein certain fields shared by the windows are automatically populated with the appropriate application code taken from or inherited from the wintype model.

摘要翻译： 用于建模和生成软件应用程序的图形用户界面的用户窗口的软件工具具有用于创建窗口类型和实例的模型的建模组件，用于将模型信息转换为ASCII代码的转换组件，用于存储可重用代码的库组件 以及用于生成图形用户界面窗口的窗口生成组件。 该工具的特征在于，在批处理过程中生成图形用户界面窗口，其中由Windows共享的某些字段将自动填充从wintype模型中获取或继承的适当应用程序代码。

公开(公告)号：US07072810B2

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

申请号：US10078964

申请日：2002-02-19

申请人： Venkatesh Ramanathan ,  Ulka Shrotri

发明人： Venkatesh Ramanathan ,  Ulka Shrotri

IPC分类号： G06F9/45 ,  G06F13/00

CPC分类号： G06F8/38

摘要： A software tool for modeling and generating user windows of a graphical user interface of a software application has a modeling component for creating models of window types and instances thereof, a conversion component for converting model information into ASCII code, a library component for storing reusable code, and a window generation component for generating graphical user interfaces windows. The tool is characterized in that graphical user interface windows are generated in a batch process wherein certain fields shared by the windows are automatically populated with the appropriate application code taken from or inherited from the wintype model.