Taxonomia de Falhas em Programas Concorrentes em Elixir

Abstract

Computer processing capacity is becoming increasingly insufficientand it encourages the use of concurrent programming to developapplications that reduce the computing time. Due to features suchas communication, synchronization and non-determinism, concurrentprograms may present concurrency-related errors. This paperpresents a defect taxonomy for Elixir concurrent programs consideringthe functions present on Kernel and Task modules. Defectpatterns were identified from the insertion of small disturbancesinto concurrent functions present in a benchmark of concurrentElixir programs. The association between entered defects and concurrentprogramming errors has resulted in defect taxonomy forconcurrent Elixir programs. The defined taxonomy will be used tosupport the definition of criteria and testing tools for concurrentElixir programs.