| Full text | |
| Author(s): |
Damasceno, Carlos Diego N.
;
Mousavi, Mohammad Reza
;
Simao, Adenilso da Silva
;
Ahrendt, W
;
Tarifa, SLT
Total Authors: 5
|
| Document type: | Journal article |
| Source: | INTEGRATED FORMAL METHODS, IFM 2019; v. 11918, p. 19-pg., 2019-01-01. |
| Abstract | |
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) | |
| FAPESP's process: | 13/07375-0 - CeMEAI - Center for Mathematical Sciences Applied to Industry |
| Grantee: | Francisco Louzada Neto |
| Support Opportunities: | Research Grants - Research, Innovation and Dissemination Centers - RIDC |