Реализация процесса верификации для разработки надежного программного обеспечения

• Published in: Математичні машини і системи
• Date: 2006
• Main Authors: Скляр, В.В., Харченко, В.С.
• Format: Article
• Language: Russian
• Published: Інститут проблем математичних машин і систем НАН України 2006
• Subjects: Моделювання і управління великими системами
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/84059
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Реализация процесса верификации для разработки надежного программного обеспечения / В.В. Скляр, В.С. Харченко // Мат. машини і системи. — 2006. — № 3. — С. 137-145. — Бібліогр.: 9 назв. — рос.

Обобщены требования стандартов к процессу верификации программного обеспечения (ПО), что позволило структурировать данный процесс и разработать метод комплексной верификации, направленный на обеспечение надежности ПО. Метод комплексной верификации является универсальным и может быть применен для ПО любого типа. Узагальнені вимоги стандартів до процесу верифікації програмного забезпечення (ПЗ), що дозволило структурувати цей процес та розробити метод комплексної верифікації, спрямований на забезпечення надійності ПЗ. Метод комплексної верифікації є універсальним і може бути застосований для ПЗ будь - якого типу. Requirements of standards to verification of software are generalised, that permits to structure this process and to develop a method of integrated verification which is directed to assurance of software reliability. The method of integrated verification is universal and can be used for any type of software.