Методика сертифікації програмного забезпечення на прикладі автоматизованої системи керування транспортними потоками

Abstract

В області створення і застосування нових інформаційних технологій вже давно ведуться дослідження, присвячені оцінюванню якості відповідної продукції. Результати вказаних досліджень знаходять своє віддзеркалення у відповідних Міжнародних стандартах і вітчизняних ДСТУ. Наприклад, в міжнародному стандарті ISO 9126:1991 «Інформаційна технологія. Оцінка програмного продукту. Характеристики якості і керівництво по їх застосуванню» і подальших стандартах, що його розвивають (ISO 9126:1-4, ISO 14598 – 1-6: 1998-2000), приводяться моделі і метрики якості програмних продуктів. Аналіз отриманих в даній області результатів показує, що до теперішнього часу для рівня машинної моделі (програми); існують методичні засоби, що дозволяють оцінювати її якість. Потрібна розробка такого ж роду засобів оцінювання якості моделей (методів, моделей, алгоритмів і методик), але тепер уже для більш ранніх етапів моделювання об'єктів-оригіналів. Більш того, потрібна розробка моделей, методів, алгоритмів і методик оцінювання якості самих технологій моделювання. Провідним поняттям є поняття якості моделі, під котрим (по аналогії з ДСТУ та Міжнародними стандартами) ми в подальшому розумітимемо властивість або сукупність властивостей моделі, що обумовлюють її придатність для використання за призначенням. Відносно оцінювання якості необхідно враховувати наступне: самі моделі є основним предметом розробки і створюються як з метою аналізу вже існуючих об'єктів-оригіналів, так і з метою їх синтезу. Даний аспект визначає необхідність узгодження позицій оцінювання якості продукції взагалі. Це є предметом одного з напрямів подальших досліджень.