Автоматизація перевірки програмного забезпечення вбудованих систем керування з використанням технологій штучного інтелекту та пояснювальних механізмів

Abstract

Об'єкт роботи – процес автоматизованої перевірки (рецензування) програмного забезпечення вбудованих систем керування. Предмет роботи – механізми підвищення належного покладання інженера на рекомендації автоматизованої системи верифікації через пояснювальний шар людино-машинного інтерфейсу. Мета роботи – підвищити належне покладання інженера на рекомендації автоматизованої системи перевірки коду шляхом розроблення та емпіричної перевірки пояснювального шару людино-машинного інтерфейсу. Проаналізовано стандарти функціональної безпеки та сучасні інструменти автоматизованого рецензування коду й визначено наукову прогалину. Спроектовано пояснювальний шар на основі дворівневого шаблону подання, промптування за ланцюгом міркувань і контекстного доповнення та реалізовано його у промисловому розширенні Git AutoReview. Проведено контрольоване пілотне емпіричне дослідження за участю восьми кваліфікованих розробників із попередньою реєстрацією плану на платформі OSF. Гіпотези про підвищення довіри та належного покладання під впливом пояснювального шару не підтверджено; водночас більшість учасників визнали пояснення кориснішими, а недостатнє покладання зменшилося. Виявлено розходження між сприйнятою корисністю пояснень і виміряною довірою. Сформульовано практичні рекомендації щодо проектування людино-машинного інтерфейсу автоматизованих систем верифікації коду. З огляду на пілотний обсяг вибірки результати мають попередній, формувальний характер.