Exportar registro bibliográfico

Uma estratégia para a minimização de máquinas de estados finitos parciais (2009)

  • Authors:
  • Autor USP: ALBERTO, ALEX DONIZETI BETEZ - ICMC
  • Unidade: ICMC
  • Sigla do Departamento: SSC
  • Subjects: ENGENHARIA DE SOFTWARE (MODELOS;ESPECIFICAÇÃO;SISTEMAS); SOFTWARES (TESTES;QUALIDADE)
  • Language: Português
  • Abstract: Máquinas de Estados Finitos, além de suas inúmeras aplicações, são amplamente utilizadas na Engenharia de Software para modelar especificações de sistemas. Nesses modelos, projetistas podem inserir, inadvertidamente, estados redundantes, ou seja, que exibem o mesmo comportamento. A eliminação desses estados traz diversos benefícios para as atividades que utilizam o modelo, como menor complexidade e menos recursos físicos para implementação. O processo de eliminação desses estados é denominado minimização, e pode ser realizado em tempo polinomial para máquinas completamente especificadas. Por outro lado, a minimização de máquinas parciais, cuja especificação não cobre todo o domínio de entrada, somente pode ser obtida em tempo polinomial com o uso de abordagens não determinísticas, ou seja, trata-se de um problema NP-Completo. Este trabalho apresenta uma estratégia para a minimização de máquinas de estados finitos parciais que faz o uso de heurísticas e otimizações para tornar o processo mais eficiente. Visando mensurar tal ganho de eficiência, foram realizados experimentos, nos quais os tempos de execução de uma implementação do método proposto foram medidos, juntamente com os tempos de implementações de dois outros métodos conhecidos. Os resultados mostraram vantagens significativas de performance para o novo método em relação aos métodos anteriores
  • Imprenta:
  • Data da defesa: 22.04.2009
  • Acesso à fonte
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ALBERTO, Alex Donizeti Betez; SIMÃO, Adenilso da Silva. Uma estratégia para a minimização de máquinas de estados finitos parciais. 2009.Universidade de São Paulo, São Carlos, 2009. Disponível em: < http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08062009-105244/ >.
    • APA

      Alberto, A. D. B., & Simão, A. da S. (2009). Uma estratégia para a minimização de máquinas de estados finitos parciais. Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08062009-105244/
    • NLM

      Alberto ADB, Simão A da S. Uma estratégia para a minimização de máquinas de estados finitos parciais [Internet]. 2009 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08062009-105244/
    • Vancouver

      Alberto ADB, Simão A da S. Uma estratégia para a minimização de máquinas de estados finitos parciais [Internet]. 2009 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08062009-105244/


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