On test oracles for Simulink-like models (2013)
- Authors:
- Autor USP: NARDI, PAULO AUGUSTO - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS EMBUTIDOS; TESTE E AVALIAÇÃO DE SOFTWARE; SIMULINK; SISTEMAS EMBUTIDOS
- Keywords: Embedded system; Oráculo de teste; Simulink; Software engineering; Software testing; Test oracle
- Language: Inglês
- Abstract: Sistemas embarcados estão presentes em diversas áreas de aplicação em que falhas podem ser críticas. Tais sistemas frequentemente possuem características que tornam a fase de teste particularmente desafiadora, como a produção de grande quantidade de dados e requisitos temporais que precisam ser validados de acordo com a especificação. Existem ferramentas que auxiliam no desenvolvimento de modelos para análise e simulação do comportamento de sistemas embarcados ainda na fase de design. Após ser avaliado, o modelo pode ser usado como base para a implementação. Neste caso, deve-se buscar garantir que um modelo esteja de acordo com a especificação. Do contrário, tal divergência será propagada para a implementação. Portanto, e importante que o modelo seja testado antes da fase de implementação. Simulink é uma ferramenta-padrão de desenvolvimento e simulação de modelos de sistemas embarcados. Sua ampla aplicação na indústria incentivou a criação de alternativas de software livres como XCos. Na literatura, existem pesquisas que visam a aprimorar a atividade de teste de modelos Simulink-like. As soluções propostas geralmente focam em estratégias de seleção de casos de teste. Mas pouco esforço tem sido direcionado ao problema do oráculo, isto e, na dificuldade em avaliar se a execução está de acordo com a especificação. O objetivo desta proposta de doutorado é prover uma abordagem de geração de oráculos de teste para modelos simulink-like que contemple as características previamenteresumidas. Especificamente, é proposto um processo, métodos, procedimentos e uma ferramenta que viabilizem a geração parcialmente automatizada de oráculos de teste para modelos Simulink-like. Como contribuição principal, é esperada a melhora da qualidade, custo e tempo do processo de validação de sistemas embarcados suportados por modelagem em Simulink e ferramentas similares
- Imprenta:
- Publisher place: São Carlos
- Date published: 2013
- Data da defesa: 12.12.2013
-
ABNT
NARDI, Paulo Augusto. On test oracles for Simulink-like models. 2013. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26032014-104734/. Acesso em: 14 out. 2024. -
APA
Nardi, P. A. (2013). On test oracles for Simulink-like models (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26032014-104734/ -
NLM
Nardi PA. On test oracles for Simulink-like models [Internet]. 2013 ;[citado 2024 out. 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26032014-104734/ -
Vancouver
Nardi PA. On test oracles for Simulink-like models [Internet]. 2013 ;[citado 2024 out. 14 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26032014-104734/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas