editor@inter-nauka.com
Personal cabinetПорівняльний аналіз детермінованих та імовірнісних методів верифікації архітектурних обмежень у мікросервісних системах
Бібліографічний опис статті:
Жумік Владислав. Порівняльний аналіз детермінованих та імовірнісних методів верифікації архітектурних обмежень у мікросервісних системах//Наука онлайн: Міжнародний електронний науковий журнал - 2025. - №12. - https://nauka-online.com/publications/technical-sciences/2025/12/05-37/
Анотація: У статті вирішено актуальне завдання автоматизації контролю архітектурної якості мікросервісних систем, спроєктованих за методологією Domain-Driven Design (DDD). Проведено порівняльний аналіз ефективності детермінованих та імовірнісних методів верифікації. На прикладі змодельованої системи електронної комерції з контрольованим набором дефектів виконано кількісну оцінку метрик точності та повноти для обох підходів. Експериментально підтверджено, що детерміновані методи забезпечують абсолютну точність при виявленні структурних порушень меж контекстів, але демонструють "семантичну сліпоту" щодо складних патернів DDD. Водночас імовірнісні методи показали високу ефективність у виявленні семантичних дефектів, таких як анемічна модель домену та протікання контексту, при допустимому рівні хибних спрацювань. На основі отриманих результатів обґрунтовано необхідність впровадження гібридної стратегії верифікації, де статичний аналіз виступає жорстким фільтром у CI/CD, а AI-інструменти виконують роль інтелектуального асистента архітектор.