Статья "Верификация программ с помощью моделей"
| Наименование статьи | Верификация программ с помощью моделей |
|---|---|
| Страницы | 45 |
| Аннотация | Чем критичнее для бизнеса программа, тем дороже обходятся дефекты в ней. Но, к сожалению, создание априори безошибочных программ дело чрезвычайно нетривиальное - если не сказать, невозможное. На практике часто используются методы валидации и верификации, т.е. проверки программного обеспечения на корректность реализации поставленной задачи путем сравнения с требуемыми свойствами. |
| Журнал | Открытые системы СУБД |
| Номер выпуска | 12 |
| Автор(ы) | Аграновский А., Зайцев В., Телеснин Б., Хади Р. |