Geração automática de dados de teste para programas concorrrentes com meta-heurística

Um framework para avaliação sistemática de técnicas de teste no contexto de programação concorrente

“…Técnicas para geração automática de casos de teste são propostas na tentativa minimizar o problema da explosão do tamanho do domínio de entrada na presença do não determinismo e facilitar o teste de aplicações concorrentes (DING et al, 2008;TAN et al, 2009;XIAOAN et al, 2009;SILVA et al, 2014).…”

Otimização bioinspirada para apoio à geração de dados de teste para software concorrente

“…Apesar das limitações, várias técnicas de geração de dados de teste são encontradas na literatura (AHMED; HERMADI, 2008;BAGNARA et al, 2013;GHIDUK, 2014;SILVA;. Em geral, essas técnicas utilizam informações sobre a cobertura em relação a critérios de teste para avaliar o grau de importância de cada entrada para o programa sob teste.…”

Desenvolvimento De Mapa De Irradiação Solar Global Para O Estado De Pernambuco

“…Inicialmente foi realizado um levantamento das estações solarimétricas com dados disponíveis no Estado de Pernambuco. Baseado em (Silva, 2018), foram identificadas 27 estações que estão contidas no território do Estado. Para a elaboração do mapa, observou-se que é necessário que se utilizem estações que fazem fronteira com os limites do Estado, que foram denominadas estações de borda.…”

“…Sua localização mais afastada proporciona uma cobertura mais completa dos arredores do Estado permitindo que seja possível chegar a médias de radiação mais precisas naqueles locais. Além destas, foi verificado que a APAC disponibilizou dados de mais uma estação, não prevista no trabalho de (Silva, 2018) Após o levantamento das estações, foram utilizados critérios de qualificação de dados:…”