Fault injection implementation for testing concurrent C++ code

Abstract

Тестирование многопоточного кода является очень сложной задачей. Проблема заключается в том что ошибки проявляются только на небольшом количестве исполнений и на модульных тестах поведение планировщика получается детерминированным и повторение одного и того же теста дает одни и те же исполнения, не позволяя найти ошибку. Целью данной работы было изучить внесение неисправностей как подход к тестированию многопоточных программ и реализовать подмодуль с реализацией внесения неисправностей, которую можно было бы внедрять в уже существующие проекты и которая поддерживала бы ограниченную воспроизводимость тестов. В данной работе описывается реализация написанного решения и результаты ее внедрения в библиотеку YACLib.

Testing concurrent code is very hard. The problem is that bugs only show up on a small number of executions and in unit tests the scheduler behavior is deterministic and rerunning the same test gives the same executions which leads to dugs not being found when testing. The purpose of this paper was to explore fault injection as an approach to testing concurrent programs and to implement a sub-module with a fault injection implementation that could be adopted by existing projects and that would support limited test reproducibility. This paper describes the implementation of the written solution and the results of its adoption by the YACLib library.