Exportar registro bibliográfico

Metodologia de geracao de sequencias de teste de conformidade para protocolos de comunicacao de dados a partir de especificacao formal (1990)

  • Authors:
  • USP affiliated authors: GABOS, DENIS - EP
  • Unidades: EP
  • Sigla do Departamento: PEL
  • Subjects: ENGENHARIA ELÉTRICA
  • Language: Português
  • Abstract: As abordagens tradicionais para geracao de sequencias de teste de conformidade para protocolos de comunicacao de dados utilizam o modelo de maquinas de estados finita, exercitando essa maquina com entradas e observando suas respostas, sem entretanto levar em consideracao, no projeto dessas sequencias, a variacao dos parametros dessas entradas e a alteracao do comportamento da implementacao do protocolo em funcao de variaveis internas. Este trabalho implementa uma metodologia para geracao de sequencias de teste a partir de uma especificacao formal do protocolo na linguagem estelle, metodologia essa que considera a variacao de parametros das unidades de dados e de servico desse protocolo bem como das variaveis internas da entidade que o implementa. O trabalho tambem analisa a metodologia tendo em vista as atividades de orgaos internacionais de padronizacao e faz alguns comentarios a respeito de suas possibilidades como ferramenta de especificacao de cenarios abstratos de teste
  • Imprenta:
  • Data da defesa: 23.08.1990

  • How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      GABOS, Denis; STIUBIENER, Stefania. Metodologia de geracao de sequencias de teste de conformidade para protocolos de comunicacao de dados a partir de especificacao formal. 1990.Universidade de São Paulo, São Paulo, 1990.
    • APA

      Gabos, D., & Stiubiener, S. (1990). Metodologia de geracao de sequencias de teste de conformidade para protocolos de comunicacao de dados a partir de especificacao formal. Universidade de São Paulo, São Paulo.
    • NLM

      Gabos D, Stiubiener S. Metodologia de geracao de sequencias de teste de conformidade para protocolos de comunicacao de dados a partir de especificacao formal. 1990 ;
    • Vancouver

      Gabos D, Stiubiener S. Metodologia de geracao de sequencias de teste de conformidade para protocolos de comunicacao de dados a partir de especificacao formal. 1990 ;


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2020