Em Direção ao Teste em Tempo de Execução de Sistemas Dinamicamente Adaptativos baseado em Propriedades Comportamentais
Resumo
Sistemas Dinamicamente Adaptativos (DAS, da sigla em inglês) suportam adaptações em tempo de execução para lidar com mudanças nos requisitos de usuários e restrições do ambiente. Um DAS pode ter alta dinamicidade de suas configurações em tempo de execução, portanto, um grande desafio é a realização de atividades de garantia de qualidade. Na literatura, as abordagens que executam testes de tempo de execução usam principalmente o contexto operacional do DAS para gerar planos de teste, o que pode levá-los a perder outros dados relevantes do tempo de execução (por exemplo, violação de propriedades comportamentais) no processo. Portanto, esta dissertação de mestrado propõe uma abordagem que monitora propriedades comportamentais e usa seus resultados para melhorar a seleção e execução de testes em tempo de execução. Assim, a principal contribuição é a identificação de falhas no mecanismo de adaptação durante a execução do DAS.
Referências
Fredericks, E. M. and Cheng, B. H. (2015). Automated generation of adaptive test plans for self-adaptive systems. In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pages 157–168. IEEE Press.
Lahami, M., Krichen, M., and Jmaiel, M. (2016). Safe and efficient runtime testing framework applied in dynamic and distributed systems. Science of Computer Programming, 122:1–28.
Lemos, R. d., Giese, H., Muller, H. A., Shaw, M., Andersson, J., Litoiu, M., Schmerl, B., Tamura, G., Villegas, N. M., Vogel, T., et al. (2013). Software engineering for self-adaptive systems: A second research roadmap. In Software Engineering for Self-Adaptive Systems II, pages 1–32. Springer.
Lim, Y. J., Jee, E., Shin, D., and Bae, D.-H. (2015). Efficient testing of self-adaptive behaviors in collective adaptive systems. In 2015 IEEE 39th Annual Computer Software and Applications Conference, volume 2, pages 216–221. IEEE.
Santos, I. d. S., Santos, E. B. d., Andrade, R. M. d. C., and Neto, P. d. A. d. S. (2018). Control: Context-based reconfiguration testing tool. In Brazilian Conference on Software – Tools Session, page 6. ACM.
Santos, I. S., Rocha, L. S., Neto, P. A. S., and Andrade, R. M. C. (2016). Model verification of dynamic software product lines. In Proceedings of the 30th Brazilian Symposium on Software Engineering, SBES ’16, pages 113–122, New York, NY, USA. ACM.
Tamura, G., Villegas, N. M., Muller, H. A., Sousa, J. P., Becker, B., Karsai, G., Mankovskii, S., Pezze, M., Sch ` afer, W., Tahvildari, L., et al. (2013). Towards practical runtime verification and validation of self-adaptive software systems. In Software Engineering for Self-Adaptive Systems II, pages 108–132. Springer.
Wohlin, C., Runeson, P., Host, M., Ohlsson, M. C., Regnell, B., and Wesslën, A. (2012). Experimentation in software engineering. Springer Science & Business Media.
Xu, C., Cheung, S., Ma, X., Cao, C., and Lu, J. (2012). Adam: Identifying defects in context-aware adaptation. Journal of Systems and Software, 85(12):2812–2828.