“Geração de Testes de Software para Verificação de Faltas e Funcionalidades”
From Navigators
(Difference between revisions)
(Created page with "{{Publication |type=inproceedings |title=Geração de Testes de Software para Verificação de Faltas e Funcionalidades |author=Francisco Araújo, Ibéria Medeiros, Nuno Ferreira...") |
|||
Line 2: | Line 2: | ||
|type=inproceedings | |type=inproceedings | ||
|title=Geração de Testes de Software para Verificação de Faltas e Funcionalidades | |title=Geração de Testes de Software para Verificação de Faltas e Funcionalidades | ||
- | |author=Francisco | + | |author=Francisco Araujo, Ibéria Medeiros, Nuno Ferreira Neves, |
- | |Project=Project:SEAL, | + | |Project=Project:SEAL, |
|ResearchLine=Fault and Intrusion Tolerance in Open Distributed Systems (FIT) | |ResearchLine=Fault and Intrusion Tolerance in Open Distributed Systems (FIT) | ||
|month=sep | |month=sep | ||
|year=2019 | |year=2019 | ||
- | |abstract= O aumento da complexidade do software empregue em produtos industriais está diretamente relacionada com o crescimento exponencial do número de funcionalidades presentes nestes, introduzidas com vista a responder às exigências do mercado. Essa complexidade cresce quando é necessário criar variantes das aplicações a partir de diversos componentes de software, como acontece em sistemas embebidos. Tal complexidade dificulta o teste e a validação do software para os seus requisitos, bem como pode originar vulnerabilidades de segurança. Programas de software industrial necessitam de ser testados adequadamente, em termos de funcionalidades e de segurança, por forma a garantir elevados níveis de qualidade. Embora já existam ferramentas automáticas de validação de segurança, não existe nenhuma ferramenta que possibilite a reutilização de resultados de testes entre versões de aplicações, de modo a validar estas versões e variantes da maneira mais eficiente possível. Este trabalho propõe uma abordagem que permite testar variantes ainda não testadas a partir de resultados das que já foram avaliadas. A abordagem foi implementada numa ferramenta com base na aplicação de fuzzing American Fuzzy Lop (AFL) e foi validada com um conjunto de programas de diferentes versões. Os resultados experimentais mostraram que a ferramenta consegue obter melhores resultados que o AFL. | + | |abstract=O aumento da complexidade do software empregue em produtos industriais está diretamente relacionada com o crescimento exponencial do número de funcionalidades presentes nestes, introduzidas com vista a responder às exigências do mercado. Essa complexidade cresce quando é necessário criar variantes das aplicações a partir de diversos componentes de software, como acontece em sistemas embebidos. Tal complexidade dificulta o teste e a validação do software para os seus requisitos, bem como pode originar vulnerabilidades de segurança. Programas de software industrial necessitam de ser testados adequadamente, em termos de funcionalidades e de segurança, por forma a garantir elevados níveis de qualidade. Embora já existam ferramentas automáticas de validação de segurança, não existe nenhuma ferramenta que possibilite a reutilização de resultados de testes entre versões de aplicações, de modo a validar estas versões e variantes da maneira mais eficiente possível. Este trabalho propõe uma abordagem que permite testar variantes ainda não testadas a partir de resultados das que já foram avaliadas. A abordagem foi implementada numa ferramenta com base na aplicação de fuzzing American Fuzzy Lop (AFL) e foi validada com um conjunto de programas de diferentes versões. Os resultados experimentais mostraram que a ferramenta consegue obter melhores resultados que o AFL. |
|booktitle=Simpósio de Informática (INFORUM) | |booktitle=Simpósio de Informática (INFORUM) | ||
}} | }} |
Latest revision as of 09:08, 19 July 2019
Francisco Araujo, Ibéria Medeiros, Nuno Ferreira Neves
in Simpósio de Informática (INFORUM), Sept. 2019.
Abstract: O aumento da complexidade do software empregue em produtos industriais está diretamente relacionada com o crescimento exponencial do número de funcionalidades presentes nestes, introduzidas com vista a responder às exigências do mercado. Essa complexidade cresce quando é necessário criar variantes das aplicações a partir de diversos componentes de software, como acontece em sistemas embebidos. Tal complexidade dificulta o teste e a validação do software para os seus requisitos, bem como pode originar vulnerabilidades de segurança. Programas de software industrial necessitam de ser testados adequadamente, em termos de funcionalidades e de segurança, por forma a garantir elevados níveis de qualidade. Embora já existam ferramentas automáticas de validação de segurança, não existe nenhuma ferramenta que possibilite a reutilização de resultados de testes entre versões de aplicações, de modo a validar estas versões e variantes da maneira mais eficiente possível. Este trabalho propõe uma abordagem que permite testar variantes ainda não testadas a partir de resultados das que já foram avaliadas. A abordagem foi implementada numa ferramenta com base na aplicação de fuzzing American Fuzzy Lop (AFL) e foi validada com um conjunto de programas de diferentes versões. Os resultados experimentais mostraram que a ferramenta consegue obter melhores resultados que o AFL.
Export citation
Project(s): Project:SEAL
Research line(s): Fault and Intrusion Tolerance in Open Distributed Systems (FIT)