A Safe Regression Test Selection Technique for Modelica

Niklas Fors
Department of Computer Science, Lund University, Sweden

Jon Sten
Modelon AB, Sweden

Markus Olsson
Modelon AB, Sweden

Filip Stenström
Modelon AB, Sweden

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp18154131

Ingår i: Proceedings of The American Modelica Conference 2018, October 9-10, Somberg Conference Center, Cambridge MA, USA

Linköping Electronic Conference Proceedings 154:14, s. 131-137

Visa mer +

Publicerad: 2019-02-26

ISBN: 978-91-7685-148-7

ISSN: 1650-3686 (tryckt), 1650-3740 (online)


Running regression tests for Modelica models usually takes a long time. This paper presents a safe regression test selection technique for Modelica based on static analysis. The technique tracks dependencies between classes to compute which tests that need to be run given a change. The dependency rules have been verified using mutation testing. The technique has been evaluated on the Modelica Standard Library and another library with promising results.


regression test selection, mutation testing


Johan Åkesson, Karl-Erik Årzén, Magnus Gäfvert, Tove Bergdahl, and Hubertus Tummescheit. Modeling and optimization with Optimica and JModelica.org—languages and tools for solving large-scale dynamic optimization problem. Computers and Chemical Engineering, 34(11):1737–1749, November 2010a.

Johan Åkesson, Torbjörn Ekman, and Görel Hedin. Implementation of a Modelica compiler using JastAdd attribute grammars. Science of Computer Programming, 75(1-2):21–38, January 2010b.

Yih-Farn Chen, David S. Rosenblum, and Kiem-Phong Vo. Testtube: A system for selective regression testing. In Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May 16-21, 1994., pages 211–220, 1994.

Richard A. DeMillo, Richard J. Lipton, and Frederick G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4):34–41, 1978.

Milos Gligoric, Lamyaa Eloussi, and Darko Marinov. Practical regression test selection with dynamic file dependencies. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pages 211–222, 2015.

Erik Hedblom and Kasper Rundquist. Safe test selection for modelica using static analysis. Master’s thesis, Lund University, 2017. LU-CS-EX 2017-26.

Görel Hedin and Eva Magnusson. JastAdd: an aspectoriented compiler construction system. Science of Computer Programming, 47(1):37–58, 2003. ISSN 0167-6423. doi: http://dx.doi.org/10.1016/S0167-6423(02)00109-0.

Modelica. The Modelica Association, 2018. http://www.modelica.org.

Markus Olsson and Filip Stenström. Improved precision and verification for test selection in Modelica. Master’s thesis, Lund University, 2018. LU-CS-EX 2018-08.

Jesper Öqvist, Görel Hedin, and Boris Magnusson. Extractionbased regression test selection. In Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29 – September 2, 2016, pages 5:1–5:10, 2016.

Gregg Rothermel and Mary Jean Harrold. Analyzing regression test selection techniques. IEEE Trans. Software Eng., 22(8): 529–551, 1996.

Gregg Rothermel and Mary Jean Harrold. A safe, efficient regression test selection technique. ACM Trans. Softw. Eng. Methodol., 6(2):173–210, 1997.

Shin Yoo and Mark Harman. Regression testing minimization, selection and prioritization: a survey. Softw. Test., Verif. Reliab., 22(2):67–120, 2012.

Citeringar i Crossref