Autor(es)

Damasceno, Carlos Diego N. ; Mousavi, Mohammad Reza ; Simao, Adenilso da Silva ; Ahrendt, W ; Tarifa, SLT

• Tipo de documento: Artigo Científico
• Fonte: INTEGRATED FORMAL METHODS, IFM 2019; v. 11918, p. 19-pg., 2019-01-01.

Resumo

Software systems undergo several changes along their life-cycle and hence, their models may become outdated. To tackle this issue, we propose an efficient algorithm for adaptive learning, called partial-Dynamic L-M* (partial derivative L-M*) that improves upon the state of the art by exploring observation tables on-the-fly to discard redundant prefixes and deprecated suffixes. Using 18 versions of the OpenSSL toolkit, we compare our proposed algorithm along with three adaptive algorithms. For the existing algorithms in the literature, our experiments indicate a strong positive correlation between number of membership queries and temporal distance between versions and; for our algorithm, we found a weak positive correlation between membership queries and temporal distance, as well, a significantly lower number of membership queries. These findings indicate that, compared to the state-of-the-art algorithms, our partial derivative L-M* algorithm is less sensitive to software evolution and more efficient than the current approaches for adaptive learning. (AU)

• Processo FAPESP: 13/07375-0 - CeMEAI - Centro de Ciências Matemáticas Aplicadas à Indústria
• Beneficiário: Francisco Louzada Neto
• Modalidade de apoio: Auxílio à Pesquisa - Centros de Pesquisa, Inovação e Difusão - CEPIDs