Тег: статичний аналіз

Аннотация: (Українська) У статті вирішено актуальне завдання автоматизації контролю архітектурної якості мікросервісних систем, спроєктованих за методологією Domain-Driven Design (DDD). Проведено порівняльний аналіз ефективності детермінованих та імовірнісних методів верифікації. На прикладі змодельованої системи електронної комерції з контрольованим набором дефектів виконано кількісну оцінку метрик точності та повноти для обох підходів. Експериментально підтверджено, що детерміновані методи забезпечують абсолютну точність при виявленні структурних порушень меж контекстів, але демонструють "семантичну сліпоту" щодо складних патернів DDD. Водночас імовірнісні методи показали високу ефективність у виявленні семантичних дефектів, таких як анемічна модель домену та протікання контексту, при допустимому рівні хибних спрацювань. На основі отриманих результатів обґрунтовано необхідність впровадження гібридної стратегії верифікації, де статичний аналіз виступає жорстким фільтром у CI/CD, а AI-інструменти виконують роль інтелектуального асистента архітектор.