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

• Datum: 2006
• Hauptverfasser: Скляр, В.В., Харченко, В.С.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Інститут проблем математичних машин і систем НАН України 2006
• Schriftenreihe: Математичні машини і системи
• Schlagworte: Моделювання і управління великими системами
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/84059
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Реализация процесса верификации для разработки надежного программного обеспечения / В.В. Скляр, В.С. Харченко // Мат. машини і системи. — 2006. — № 3. — С. 137-145. — Бібліогр.: 9 назв. — рос.

Обобщены требования стандартов к процессу верификации программного обеспечения (ПО), что позволило структурировать данный процесс и разработать метод комплексной верификации, направленный на обеспечение надежности ПО. Метод комплексной верификации является универсальным и может быть применен для ПО...