Rezumat articol ediţie STUDIA UNIVERSITATIS BABEŞ-BOLYAI

În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului.

In the life cycle of a large software product the source code often has to be changed to fit to new requirements, which can be aided by refactorings. In order to minimise the possibility of breaking the functionality of the code, various test suites are used. In this paper, we present a method for examining which test cases are affected by doing a refactoring on the code. If we find that the outcome of a particular test case is not changed by the refactoring, the test case does not need to be run, which might make testing more cost effective. Also, we validate the refactoring by checking that the affected functions behave identically pre and post the transformation. This system is based on a language specific model that is designed to capture knowledge about the software product acquired using impact analysis. impact analysis.

Key words and phrases. Erlang, regression test, refactoring validation, property generation.