利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

68 条记录 (耗时 0.034 秒)

    Conformance testing of multi-threaded and distributed software systems
    1.
    发明申请
    Conformance testing of multi-threaded and distributed software systems 有权
    多线程和分布式软件系统的一致性测试

    公开(公告)号：US20060212759A1

    公开(公告)日：2006-09-21

    申请号：US11085624

    申请日：2005-03-18

    申请人： Colin Campbell ,  Lev Nachmanson ,  Margus Veanes ,  Michael Barnett ,  Nikolai Tillmann ,  Wolfgang Grieskamp ,  Wolfram Schulte

    发明人： Colin Campbell ,  Lev Nachmanson ,  Margus Veanes ,  Michael Barnett ,  Nikolai Tillmann ,  Wolfgang Grieskamp ,  Wolfram Schulte

    IPC分类号： G06F11/00

    CPC分类号： G06F11/36

    摘要： Techniques and tools for testing multi-threaded or distributed software systems are described. For example, a multi-threaded system is instrumented and executed to produce logs of events that are performed by each of its agents. The agent logs contain a totally ordered series of events per agent, as well as information about accesses to resources shared between the agents. With this information, a partial ordering of the events performed by all the agents is described for the execution. The agent logs are then multiplexed into one or more serialized event orderings, which can then be compared to a specification of the system in a conformance testing engine.

    摘要翻译： 描述了用于测试多线程或分布式软件系统的技术和工具。 例如，多线程系统被检测和执行以产生由其每个代理执行的事件的日志。 代理日志包含每个代理的完全有序的事件序列，以及有关访问代理之间共享的资源的信息。 利用该信息，描述所有代理执行的事件的部分排序用于执行。 代理日志然后被复用到一个或多个序列化的事件顺序中，然后可以将其与在一致性测试引擎中的系统的规范进行比较。

    State exploration using multiple state groupings
    4.
    发明申请
    State exploration using multiple state groupings 有权
    国家勘探采用多国分组

    公开(公告)号：US20060161404A1

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

    申请号：US11040187

    申请日：2005-01-20

    申请人： Colin Campbell ,  Lev Nachmanson ,  Margus Veanes ,  Wolfgang Grieskamp ,  Wolfram Schulte ,  Nikolai Tillmann

    发明人： Colin Campbell ,  Lev Nachmanson ,  Margus Veanes ,  Wolfgang Grieskamp ,  Wolfram Schulte ,  Nikolai Tillmann

    IPC分类号： G06F17/10

    CPC分类号： G06F11/3688

    摘要： Exploration algorithms are relevant to the industrial practice of generating test cases from an abstract state machine whose runs define the predicted behavior of the software system under test. Here, a new exploration algorithm allows multiple state groupings to simultaneously guide the search for states that are interesting or relevant for testing. In some cases, the algorithm allows exploration to be optimized from exponential to linear complexity. An extended example is included that illustrates the use of the algorithm.

    摘要翻译： 探索算法与从运行定义被测软件系统的预测行为的抽象状态机生成测试用例的工业实践相关。 这里，新的探索算法允许多个状态分组同时引导搜索对于测试有趣或相关的状态。 在某些情况下，该算法允许探索从指数线性复杂度进行优化。 包括一个扩展示例，说明了算法的使用。

    Generating test cases for software with complex preconditions
    5.
    发明申请
    Generating test cases for software with complex preconditions 有权
    为具有复杂前提条件的软件生成测试用例

    公开(公告)号：US20060242466A1

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

    申请号：US11112282

    申请日：2005-04-21

    申请人： Nikolai Tillmann ,  Colin Campbell ,  Wolfgang Grieskamp ,  Lev Nachmanson ,  Wolfram Schulte ,  Margus Veanes

    发明人： Nikolai Tillmann ,  Colin Campbell ,  Wolfgang Grieskamp ,  Lev Nachmanson ,  Wolfram Schulte ,  Margus Veanes

    IPC分类号： G06F11/00

    CPC分类号： G06F11/3684

    摘要： Techniques and tools for generating test cases for methods or programs with input preconditions are described. For example, after finding feasible control flow paths for a tested method along with each path's associated input conditions, a new program is created which tests these conditions along with the precondition. By analyzing this new program's control flow graph, a class of test cases is found while avoiding inefficiencies created by doing complete searches of paths through the combined control flow graph of the precondition and the method. Additional efficiencies are introduced by partitioning a control flow graph for the precondition into branched and straight sections.

    摘要翻译： 描述用于为具有输入前提条件的方法或程序生成测试用例的技术和工具。 例如，在为每个路径的相关输入条件找到可行的控制流路之后，创建一个与前提条件一起测试这些条件的新程序。 通过分析这个新程序的控制流图，发现了一类测试用例，同时避免了通过前提条件和方法的组合控制流程图完成对路径的搜索而产生的低效率。 通过将前提条件的控制流程图划分为分支和直线部分来引入额外的效率。

    Symbolic program model compositions
    6.
    发明申请
    Symbolic program model compositions 失效
    符号程序模型组成

    公开(公告)号：US20070168927A1

    公开(公告)日：2007-07-19

    申请号：US11322781

    申请日：2005-12-30

    申请人： Colin Campbell ,  Margus Veanes ,  Nicolas Kicillof ,  Nikolai Tillmann ,  Wolfgang Grieskamp ,  Wolfram Schulte

    发明人： Colin Campbell ,  Margus Veanes ,  Nicolas Kicillof ,  Nikolai Tillmann ,  Wolfgang Grieskamp ,  Wolfram Schulte

    IPC分类号： G06F9/44

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

    摘要： A model composition environment can allow for description of fill or partial symbolic system behavior, as well as the combination of models of specific features into compound models. Compositional operators can include intersection, concatenation, substitution, alternating refinement, as well as a set of regular expression-like operators. Models called “action machines” can represent object-oriented, reactive programs, and an action machine may be composed with another action machine using a compositional operator. This can allow for testing of particular scenarios or behaviors.

    摘要翻译： 模型组合环境可以允许对填充或部分符号系统行为的描述，以及将特定特征的模型组合到复合模型中。 组合运算符可以包括交集，连接，替换，交替细化，以及一组正则表达式运算符。 称为“动作机器”的模型可以表示面向对象的，反应性的程序，并且动作机器可以由使用组合操作符的另一动作机构组成。 这可以允许测试特定的场景或行为。

    Feature oriented protocol modeling
    8.
    发明授权
    Feature oriented protocol modeling 有权
    面向特征的协议建模

    公开(公告)号：US08103495B2

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

    申请号：US11835853

    申请日：2007-08-08

    申请人： Margus Veanes ,  Colin Campbell ,  Wolfram Schulte

    发明人： Margus Veanes ,  Colin Campbell ,  Wolfram Schulte

    IPC分类号： G06F9/45

    CPC分类号： H04L69/03

    摘要： Modeling protocols. A method includes accessing a number of model programs. Each model program includes computer-executable instructions. The computer-executable instructions describe the behavior of at least one of another program, system, or component. Model programs may be disjointed in that they have independent meaning or dependent in that they include at least one of a state variable, action, or precondition that is dependent on another model program to impart meaning to the model program. An output model program is composed by unification including substituting state variables into another of the model programs without executing the model programs. Traces are generated from the output model program. Each of the traces includes a path of labels. The labels describe actions of the output model program from an initial state to an accepting state where a run is allowed to stop. The traces are output to a user.

    摘要翻译： 建模协议。 一种方法包括访问多个模型程序。 每个模型程序都包含计算机可执行指令。 计算机可执行指令描述了另一个程序，系统或组件中的至少一个的行为。 模型程序可能会脱节，因为它们具有独立意义或依赖性，因为它们包括依赖于另一模型程序以赋予模型程序意义的状态变量，动作或前提条件中的至少一个。 输出模型程序由统一组成，包括将状态变量替换为另一个模型程序，而不执行模型程序。 轨迹是从输出模型程序生成的。 每条轨迹都包含标签的路径。 标签描述了输出模型程序从初始状态到允许运行停止的接受状态的动作。 轨迹输出到用户。

    FEATURE ORIENTED PROTOCOL MODELING
    9.
    发明申请
    FEATURE ORIENTED PROTOCOL MODELING 有权
    特征面向对象建模

    公开(公告)号：US20090043560A1

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

    申请号：US11835853

    申请日：2007-08-08

    申请人： Margus Veanes ,  Colin Campbell ,  Wolfram Schulte

    发明人： Margus Veanes ,  Colin Campbell ,  Wolfram Schulte

    IPC分类号： G06F9/45

    CPC分类号： H04L69/03

    摘要： Modeling protocols. A method includes accessing a number of model programs. Each model program includes computer-executable instructions. The computer-executable instructions describe the behavior of at least one of another program, system, or component. Model programs may be disjointed in that they have independent meaning or dependent in that they include at least one of a state variable, action, or precondition that is dependent on another model program to impart meaning to the model program. An output model program is composed by unification including substituting state variables into another of the model programs without executing the model programs. Traces are generated from the output model program. Each of the traces includes a path of labels. The labels describe actions of the output model program from an initial state to an accepting state where a run is allowed to stop. The traces are output to a user.

    摘要翻译： 建模协议。 一种方法包括访问多个模型程序。 每个模型程序都包含计算机可执行指令。 计算机可执行指令描述了另一个程序，系统或组件中的至少一个的行为。 模型程序可能会脱节，因为它们具有独立意义或依赖性，因为它们包括依赖于另一模型程序以赋予模型程序意义的状态变量，动作或前提条件中的至少一个。 输出模型程序由统一组成，包括将状态变量替换为另一个模型程序，而不执行模型程序。 轨迹是从输出模型程序生成的。 每条轨迹都包含标签的路径。 标签描述了输出模型程序从初始状态到允许运行停止的接受状态的动作。 轨迹输出到用户。