Terminal de consulta web

Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto

Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto

Adilson Luiz Bonifacio

TESE

Português

T/UNICAMP B641g

[Generating test suites for reactive and real-time systems, with context transformations]

Campinas, SP : [s.n.], 2009.

136 p. : il.

Orientador: Arnaldo Vieira Moura

Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação

Resumo: O objetivo deste trabalho é prover métodos eficientes de geração de casos de teste para sistemas reativos críticos. Sistemas dessa natureza compreendem sistemas de tempo real e com transformações de contexto. Uma das técnicas mais usadas na geração de conjuntos de teste tem sido a abordagem... Ver mais
Abstract: This work aims to provide efficient test case generation methods for reactive and critical systems. In general, reactive and critical systems are real-time systems with context transformations. One of the most promising techniques for generating test suites is model-based testing. The... Ver mais

Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto

Adilson Luiz Bonifacio

										

Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto

Adilson Luiz Bonifacio

    Exemplares

    Nº de exemplares: 2
    Não existem reservas para esta obra