专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US5394347A Method and apparatus for generating tests for structures expressed as extended finite state machines 失效
标题翻译：用于生成表示为扩展有限状态机的结构测试的方法和装置
公开(公告)号：US5394347A
公开(公告)日：1995-02-28
申请号：US100002
申请日：1993-07-29
申请人： Ronald A. Kita , Sylvia C. Tremblay , Thomas M. Lynch
发明人： Ronald A. Kita , Sylvia C. Tremblay , Thomas M. Lynch
IPC分类号： G01R31/3183 , G06F11/36 , G06F17/50 , G06F15/60
CPC分类号： G01R31/318357 , G01R31/318371 , G06F11/3672 , G06F17/504
摘要： A method for generating test programs for an implementation of a specification that has been modeled as an extended finite state machine (EFSM), the EFSM including vertices and transitions, where the transitions represent functions to be performed by the implementation, including predicates and actions such as variable assignments. The method includes traversing the EFSM in a depth-first manner from a root model start state to a root model exit state, through intermediate vertices which may be normal states or models. Models include further vertices and transitions, and may be called as submodels or as go-to models, where a go-to model includes an EFSM exit state. The EFSM may be traversed exhaustively, such that all possible paths are traversed, or in a partial transition coverage mode, where a user-defined subset of the possible paths are traversed. Each traversed path is stored in a path file and converted into a test program in a predetermined language, such as C, for interfacing with the implementation to be tested and testing its functions as represented by the transitions taken. Traversal of the EFSM is made possible by the use of a model stack, a path stack and a variables stack, which keep track of all models called, transitions and vertices encountered, and variable values assigned or altered in the course of the traversal, with cross-referencing to ensure that any desired set of path files can be automatically generated while tracking all parameters necessary to conduct the traversal.
摘要翻译：一种用于生成已被建模为扩展有限状态机（EFSM）的规范的实现的测试程序的方法，EFSM包括顶点和转换，其中转换表示由实现执行的功能，包括谓词和动作作为变量赋值。该方法包括通过可能是正常状态或模型的中间顶点以深度优先的方式从根模型开始状态到根模型退出状态遍历EFSM。模型包括进一步的顶点和过渡，并且可以被称为子模型或作为转到模型，其中转向模型包括EFSM退出状态。可以彻底地遍历EFSM，使得遍历所有可能的路径，或者在部分过渡覆盖模式中遍历可能的路径的用户定义的子集。每个遍历路径存储在路径文件中，并以预定语言（例如C）转换为测试程序，用于与要测试的实现进行接口并测试其所进行的转换所代表的功能。通过使用模型堆栈，路径堆栈和变量堆栈，可以实现EFSM的遍历，跟踪所有被调用的模型，遇到的转换和顶点以及在遍历过程中分配或更改的变量值，交叉引用以确保可以自动生成任何所需的路径文件集，同时跟踪进行遍历所需的所有参数。

2. 发明授权

US5918037A Generating tests for an extended finite state machine using different coverage levels for different submodels 失效
标题翻译：为扩展的有限状态机生成不同子模型的不同覆盖水平的测试
公开(公告)号：US5918037A
公开(公告)日：1999-06-29
申请号：US658344
申请日：1996-06-05
申请人： Sylvia C. Tremblay , Ronald A. Kita
发明人： Sylvia C. Tremblay , Ronald A. Kita
IPC分类号： G06F11/28 , G06F17/00 , G06F17/50
CPC分类号： G06F11/28
摘要： An automatic test generation system in which the coverage levels of the tests can be controlled to tradeoff between the extent of the test conducted and the length of time required to execute the test. The system under test is modeled as an extended finite state machine made up of interconnected models. The coverage level of each model can be controlled to avoid generating paths that differ only be edges within certain models if those differing edges are already included in other paths. The coverage level for each model can be set automatically through a process which computes the effect on the total number of paths generated when the coverage level of selected models is varied.
摘要翻译：一种自动测试生成系统，其中可以控制测试的覆盖水平以在所进行的测试程度与执行测试所需的时间长度之间进行权衡。被测系统被建模为由互连模型组成的扩展有限状态机。如果这些不同的边缘已经包含在其他路径中，则可以控制每个模型的覆盖水平，以避免生成不同于仅某些模型中边缘的路径。可以通过一个过程自动设置每个模型的覆盖水平，该过程计算当所选模型的覆盖水平变化时产生的路径总数的影响。

3. 发明授权

US5408597A Method and apparatus for schematic routing 失效
标题翻译：示意图路由的方法和装置
公开(公告)号：US5408597A
公开(公告)日：1995-04-18
申请号：US100001
申请日：1993-07-29
申请人： Ronald A. Kita , Kaare H. Klevjer , Ramesh H. Vaswani
发明人： Ronald A. Kita , Kaare H. Klevjer , Ramesh H. Vaswani
IPC分类号： G06F17/50 , G06T11/20 , G06F15/00
CPC分类号： G06T11/206 , G06F17/509 , G06F2217/74
摘要： An apparatus and method for generating connected graphs for display on a computer monitor. A data structure and virtual map are defined which provide a linked list of objects appearing at any location in the connected graph, the virtual map being larger than the dimensions of the display monitor if the connected graph demands larger dimensions. Commands carried out with respect to any object on the monitor are correlated with the cell maps in the virtual map, which point to the linked lists of objects, the lists in turn pointing to objects stored in an object records database. This provides rapid access to all objects at any given location on the display or in the connected graph. When a user gives a command to create a connection between two objects in the graph, the method generates the shortest connection possible, in terms of both pixel length and arc length for arc-connections, balanced against a minimization of collisions by the connection with existing objects, including other connections. The method is described in connection with the generation of graphical models of finite state machines (FSMs), but is suitable for use in any system where it is desirable to rapidly produce connected graphs and to maintain a minimum, user-definable level of clarity and legibility of the graph.
摘要翻译：一种生成用于在计算机监视器上显示的连接图的装置和方法。定义了数据结构和虚拟映射，其提供出现在连接图中的任何位置处的对象的链表，如果连接的图需要更大的尺寸，则虚拟映射大于显示监视器的尺寸。对于监视器上的任何对象执行的命令与虚拟映射中的单元格映射相关联，虚拟映射指向对象的链接列表，列表依次指向存储在对象记录数据库中的对象。这可以快速访问显示器或连接图中任何给定位置的所有对象。当用户给出命令以在图中的两个对象之间建立连接时，该方法根据弧连接的像素长度和弧长两者生成最短的连接，通过与现有连接的连接来最小化冲突对象，包括其他连接。该方法与有限状态机（FSM）的图形模型的生成有关，但适用于需要快速产生连通图并保持最小用户可定义的清晰度水平的任何系统中，图表的可读性。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式