Формальні методи — це свого роду математичний підхід, призначений для специфікації, розробки та верифікації програмних і апаратних систем. Використання формальних методів при розробці програмного і апаратного забезпечення мотивовано розрахунком на те, що, як і в інших інженерних дисциплінах, належний математичний аналіз забезпечить надійність і стійкість проекту. Формальні методи є важливою теоретичною основою при розробці програмного забезпечення, особливо у випадках, коли справа стосується надійності або безпеки. Формальні методи є корисним доповненням до тестування програмного забезпечення, позаяк вони допомагають уникнути помилок, а також є основою для тестування. Для їх широкого використання потрібна розробка спеціального інструментарію. Однак висока вартість використання формальних методів вказує на те, що вони, як правило, використовуються тільки при розробці високоінтегрованих і життєво-важливих систем, де надійність і безпеку мають першорядне значення. Формальні методи мають досить широке застосування: від теоретичних основ інформатики (зокрема, логіки обчислень, формальних мов, теорії автоматів, програм і семантики) до систем типів і проблем алгебраїчних типів даних в задачах специфікації і верифікації програмного і апаратного забезпечення.
Комментариев нет:
Отправить комментарий