1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 9(49)'2005
  5. Применение статического анализа для оценки критического программного обеспечения

Применение статического анализа для оценки критического программного обеспечения

В. В. Скляр
Системи обробки інформації. — 2005. — № 9(49). — С. 228-230.
УДК 681.324.067
Мова статті: російська

Выполнен анализ возможностей инструментальных средств для статического анализа программного кода и проведен обзор результатов применения таких инструментальных средств для оценки безопасности программного обеспечения критического применения.
Ключові слова: статистический анализ, критическое программное обеспечение
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Скляр В. В. Применение статического анализа для оценки критического программного обеспечения / В. В. Скляр  // Системи обробки інформації. — 2005. — № 9. — С. 228-230.