Search academic texts

Information × Registration Number 0409U005768, Candidate dissertation Status к.т.н. Date 11-12-2009 popup.evolution o Title The information technology of verification for the information control system software based on the descriptor model Author Petryk Valeriya Leonidivna, popup.head Vartanyan Vasiliy Michailovich popup.opponent Жолткевич Григорій Миколайович popup.opponent Кучук Георгій Анатолійович Description Об'єкт - процеси верифікації, оцінювання якості й підвищення надійності програмного забезпечення (ПЗ) інформаційно-управляючих систем (ІУС). Мета - підвищення надійності ПЗ на основі розробки моделі, методу та інформаційної технології верифікації ПЗ в умовах ресурсних обмежень і неповноти проектної документації (НПД). Новизна - дескрипторна модель ПЗ; метод верифікації ПЗ в умовах ресурсних обмежень і НПД; удосконалено метод оцінки результату верифікації ПЗ; подальший розвиток методу статичного аналізу. Результати - розвиток технології оцінки якості та підвищення надійності ПЗ ІУС. Сфера застосування -розробники ПЗ ІУС, сертифікаційні лабораторії. Registration Date 2009-12-11 popup.nrat_date 2020-04-04 Close