Dissertação

Analysis of IoT devices via API Exploitation and Model Extraction EVALUATED

Ao longo dos últimos anos temos assistido a uma grande expansão dos dispositivos IoT´s (Internet of Things) em diferentes áreas, levando a um aumento exponencial na produção de dispositivos como smartwatches, smart TVs, frigoríficos inteligentes, carros inteligentes entre outros. A grande maioria dos utilizadores de IoT´s não está ciente, que o desenvolvimento e produção de muitos destes produtos são apressados de forma a chegarem ao mercado o mais rápido possível, pelo por vezes os testes poderão não ser efectuados de forma adequada. Este problema poderá ser exacerbado no futuro devido à previsível explosão na utilização dos IoT´s e ao aumento da complexidade na sua utilização. Nesta tese desenvolvemos uma ferramenta que vai efetuar testes automáticos aos dispositivos IoT´s através de uma combinação de sequências de métodos com testes do tipo black-box. No final a ferramenta produz um modelo que contém as sequências onde foram detetados problemas. As sequências em conjunto com os logs produzidos pela ferramenta, ajudam a recriar os problemas. Esta ferramenta testa todos os métodos presentes na API do IoT em diferentes estados internos. Testes black-box são utilizados para testar o último método da sequência, uma vez que o objetivo destas sequências é alterar o estado interno do dispositivo de modo a testarmos os métodos em diferentes condições. Esta metodologia de testes permite maximizar o número de situações que se possam expor comportamentos não desejados no dispositivo que está a ser testado.
IoT, Testes de API, Testes de caixa-preta, Inferência de modelos, fuzzing, REST

novembro 8, 2018, 10:30

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

Pedro Miguel dos Santos Alves Madeira Adão

Departamento de Engenharia Informática (DEI)

Professor Auxiliar