Search academic texts

Information × Registration Number 0407U001101, Candidate dissertation Status к.т.н. Date 16-02-2007 popup.evolution o Title The semantic models, methods and information technology for increasing of reliability information control system software Author Manzhos Yuriy Semenovich, popup.head Konorev B.M. popup.opponent Жолткевич Г.М. popup.opponent Кучук Г.А. Description Об’єкт дослідження — процеси верифікації та оцінювання якос­ті і надійності програмного забезпечення (ПЗ) інформа­цій­но-управляючих систем (ІУС). Мета – підвищення достовірнос­ті оцінки якості і надійності ПЗ ІУС за допомогою атри­бутів, мет­рик, моделей, методів, заснованих на се­мантич­них інварі­ан­тах. Використані: функ­ціональ­ний аналіз; ви­ща ал­гебра; тео­рії розмір­ностей, груп, графів, абст­рактних типів даних, ймовір­нос­тей; математична статис­ти­ка. Розроблені: семан­тична мо­дель (СМ) ПЗ, що дово­дить доцільність використання семан­тич­­них атрибутів – фізич­них розмірностей для формаль­ної ве­ри­фі­кації ПЗ ІУС; метод ве­ри­фікації, засно­ва­ний на СМ, що до­з­во­ляє підви­щити об'єк­тив­ність оцінки якості та надій­нос­ті ІУС під час неза­леж­ної експер­тизи та серти­фіка­ції; ме­тод статич­но­го аналізу, що до­зволяє вияв­ляти семан­тичні прог­рамні дефекти (ПД) зав­дя­ки дивер­сифі­ка­ції верифі­кації зав­дяки інстру­менту­ван­­ню ПЗ для лінеа­ри­зації та пере­виз­на­чен­ня ти­пів даних на кла­си, що конт­ро­лю­ють семантичну ко­рект­ність на всіх рівнях проек­ту; метод оцін­­ки результату ве­рифікації, що дозво­ляє оцінити змен­шення залишкових ПД зав­дяки вико­рис­танню статис­тич­них характе­рис­тик ПЗ; мо­дель яко­с­ті ПЗ, що обґрун­ту­вала вибір проект­них рішень з ди­верси­фі­­ка­ції інформа­цій­них технологій верифікації як суперпо­зицію множини атри­бутів, завдяки вра­хуванню сту­пеня різно­маніття атри­бутів; адап­тив­ний метод калібрування чутли­вос­ті та ступе­ня різно­маніття, що дозволяє оцінити досто­вір­ність верифікації ін'єк­цією ПД у СМ та уне­можлив­лює ін­тер­ференцію і пород­жен­ня вторинних ПД, через сумі­щен­ня ін'єкції та виявлення ПД. Рі­вень впровадження–галузевий. Сфера застосу­вання – під­при­­ємст­­­ва-розробники ІУС, навчальні заклади.. Registration Date 2007-02-16 popup.nrat_date 2020-04-04 Close