Професор SIT Мауро Пецце (Mauro Pezzè) опублікував статтю про тестування, верифікацію та надійність програмного забезпечення

Професор SIT та завідувач кафедри тестування та аналізу програмного забезпечення Мауро Пецце (Mauro Pezzè) нещодавно опублікував статтю про тестування, верифікацію та надійність програмного забезпечення під назвою "Статично керована генерація паралельних тестів для потокобезпечних класів". У статті розглядається тестування паралельності, ключовий компонент у виявленні помилок паралельності в безпечних для потоків класах, і відзначаються труднощі генерації паралельних тестів, що виявляють помилки, в рамках доступного бюджету через величезний простір пошуку можливих паралельних тестів.

Разом зі своїм колегою Валеріо Террані Пецце презентує DepCon+, новий підхід, який зменшує простір пошуку паралельних тестів, використовуючи статично обчислені залежності між загальнодоступними методами. Прототип DepCon+ було розроблено для Java, де підхід оцінювався на 19 відомих помилках паралелізму безпечних класів, які призводять до порушень безпеки потоків типу винятків або тупикових ситуацій. У статті показано, що DepCon+ ефективніше за сучасні підходи виявляє дефекти паралелізму, значно зменшуючи простір пошуку можливих паралельних тестів, не пропускаючи при цьому жодного порушення безпеки потоків.

Повну версію статті можна прочитати тут.