dc.creator.ID |
ANDRADE, W. L. |
pt_BR |
dc.creator.Lattes |
http://lattes.cnpq.br/3697205933296303 |
pt_BR |
dc.contributor.advisor1 |
MACHADO, Patricia Duarte de Lima. |
|
dc.contributor.advisor1ID |
MACHADO, P.D.L. |
pt_BR |
dc.contributor.advisor1Lattes |
http://lattes.cnpq.br/2495918356675019 |
pt_BR |
dc.contributor.referee1 |
MASSONI, TIAGO LIMA; |
|
dc.contributor.referee1Lattes |
http://lattes.cnpq.br/3563923906851611 |
pt_BR |
dc.contributor.referee2 |
GHEIL, Rohit. |
|
dc.contributor.referee3 |
SAMPAIO, Augusto Cezar Alves. |
|
dc.contributor.referee3Lattes |
http://lattes.cnpq.br/3977760354511853 |
pt_BR |
dc.contributor.referee4 |
DEHARBE, David Paul Boris. |
|
dc.contributor.referee4Lattes |
http://lattes.cnpq.br/2985658685449858 |
pt_BR |
dc.description.resumo |
Sistemas de tempo real são aqueles cujo correto comportamento não depende somente dos resultados gerados, mas também de quando os resultados são gerados. Sistemas de tempo real são utilizados em diferentes contextos, como por exemplo, monitoramento de pacientes em hospitais, controle de tráfego aéreo e sistemas embarcados em robôs, eletrodomésticos, veículos, etc. Para esses sistemas, confiança é uma importante propriedade que demanda uma aplicação rigorosa das atividades de V & V, pois defeitos podem significar perdas em termos financeiros, ambientais ou humanos. Como custos e consequências de falhas podem ser elevados, verificação formal e verificação de modelos têm sido utilizadas no processo de V & V. Entretanto, como essas abordagens possuem limitações práticas, teste também é utilizado como uma abordagem complementar porque permite a execução de cenários reais em ambientes de execução reais. Consequentemente, há um crescente interesse na busca por metodologias, técnicas e ferramentas para dar suporte ao teste de sistemas de tempo real, que por sua vez possui inúmeros desafios, tais como implementações compostas por atividades paralelas com eventos síncronos e assíncronos (interrupções), diferentes arquiteturas
para instalação, limitação de recursos e restrições de tempo no ambiente de execução. Esta tese foca no teste de conformidade baseado em modelos para sistemas de tempo real. Nesse contexto, a maioria das abordagens atuais baseia-se em máquinas de estados ou em timed automata. Entretanto, a maioria dos sistemas de tempo real manipula dados enquanto estão sujeitos a restrições de tempo. A solução usual consiste em enumerar os valores de dados (em domínios finitos) enquanto o tempo é tratado de forma simbólica, levando ao problema da explosão do espaço de estados. Esta tese propõe um novo modelo para sistemas de tempo real que combina modelos simbólicos com timed automata a fim de tratar dados e requisitos de tempo de maneira simbólica. Uma teoria de teste de conformidade que lida com esse modelo é proposta juntamente com um processo de geração de casos de teste baseado na combinação de execução simbólica e constraint solving para tratar dados e análise simbólica para tratar aspectos temporais. Além disso, a abordagem proposta dá suporte ao teste de interrupções.
Finalmente, dois estudos de caso são executados para avaliar a aplicação prática
da abordagem proposta. |
pt_BR |
dc.publisher.country |
Brasil |
pt_BR |
dc.publisher.department |
Centro de Engenharia Elétrica e Informática - CEEI |
pt_BR |
dc.publisher.program |
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO |
pt_BR |
dc.publisher.initials |
UFCG |
pt_BR |
dc.subject.cnpq |
Ciência da computação. |
|
dc.title |
Teste baseado em modelos simbólicos para sistemas de tempo real. |
pt_BR |
dc.date.issued |
2011-04 |
|
dc.description.abstract |
Sistemas de tempo real são aqueles cujo correto comportamento não depende somente dos
resultados gerados, mas também de quando os resultados são gerados. Sistemas de tempo
real são utilizados em diferentes contextos, como por exemplo, monitoramento de pacientes
em hospitais, controle de tráfego aéreo e sistemas embarcados em robôs, eletrodomésticos,
veículos, etc. Para esses sistemas, confiança é uma importante propriedade que demanda
uma aplicação rigorosa das atividades de V & V, pois defeitos podem significar perdas em
termos financeiros, ambientais ou humanos. Como custos e consequências de falhas podem
ser elevados, verificação formal e verificação de modelos têm sido utilizadas no processo
de V & V. Entretanto, como essas abordagens possuem limitações práticas, teste também é
utilizado como uma abordagem complementar porque permite a execução de cenários reais
em ambientes de execução reais. Consequentemente, há um crescente interesse na busca por
metodologias, técnicas e ferramentas para dar suporte ao teste de sistemas de tempo real,
que por sua vez possui inúmeros desafios, tais como implementações compostas por atividades
paralelas com eventos síncronos e assíncronos (interrupções), diferentes arquiteturas
para instalação, limitação de recursos e restrições de tempo no ambiente de execução. Esta
tese foca no teste de conformidade baseado em modelos para sistemas de tempo real. Nesse
contexto, a maioria das abordagens atuais baseia-se em máquinas de estados ou em timed
automata. Entretanto, a maioria dos sistemas de tempo real manipula dados enquanto estão
sujeitos a restrições de tempo. A solução usual consiste em enumerar os valores de dados
(em domínios finitos) enquanto o tempo é tratado de forma simbólica, levando ao problema
da explosão do espaço de estados. Esta tese propõe um novo modelo para sistemas de tempo
real que combina modelos simbólicos com timed automata a fim de tratar dados e requisitos
de tempo de maneira simbólica. Uma teoria de teste de conformidade que lida com esse
modelo é proposta juntamente com um processo de geração de casos de teste baseado na
combinação de execução simbólica e constraint solving para tratar dados e análise simbólica
para tratar aspectos temporais. Além disso, a abordagem proposta dá suporte ao teste de interrupções.
Finalmente, dois estudos de caso são executados para avaliar a aplicação prática
da abordagem proposta. |
pt_BR |
dc.identifier.uri |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2494 |
|
dc.date.accessioned |
2019-01-10T10:21:08Z |
|
dc.date.available |
2019-01-10 |
|
dc.date.available |
2019-01-10T10:21:08Z |
|
dc.type |
Tese |
pt_BR |
dc.subject |
Teste baseado em modelos |
|
dc.subject |
Sistemas de tempo real |
|
dc.subject |
Modelos simbólicos - computação |
|
dc.subject |
Modelagem computacional |
|
dc.subject |
Teste de software |
|
dc.subject |
Real time systems |
|
dc.subject |
software testing |
|
dc.rights |
Acesso Aberto |
pt_BR |
dc.creator |
ANDRADE, Wilkerson de Lucena. |
|
dc.publisher |
Universidade Federal de Campina Grande |
pt_BR |
dc.language |
por |
pt_BR |
dc.title.alternative |
Test based on symbolic models for real-time systems. |
pt_BR |
dc.identifier.citation |
ANDRADE, Wilkerson de Lucena Andrade. Teste baseado em modelos simbólicos para sistemas de tempo real. 388f. 2011. (Tese de Doutorado em Ciência da Computação), Pós-Graduação em Ciência da computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Brasil, 2011. Disponível em; http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2494 |
pt_BR |