5.7.3. Опис моделі онтології ПрО «Обчислювальна геометрія»

Під онтологією розуміється система понять предметної області, яка визначається як набір сутностей і відношень між ними, яка виконана для обчислювальної геометрії (см. рис.13).

В ІТК онтологія обчислювальної геометри була розроблена в середовищі Protege 4.1. Це вільний, відкритий редактор онтологій і фреймворк для побудови баз знань.

Платформа Protege підтримує два основних способи моделювання онтологій за допомогою редакторів Protege-Frames і Protege-OWL. Онтології, побудовані в Protege, можуть бути експортовані в безліч форматів, включаючи RDF (RDF Schema), OWL і XML Schema.

Protege має відкриту, легко розширювану архітектуру за рахунок підтримки модулів розширення функціональності.

Protege підтримується значним співтовариством, що складається з розробників і вчених, урядових і корпоративних користувачів, що використовують його для вирішення завдань, пов'язаних зі знаннями, в таких різноманітних галузях, як біомедицина, збір знань і корпоративне моделювання.

Зокрема, в проекті представлені наступні базові сутності:

• Алгоритми

  • Алгоритм Джарвіса

  • Метод смуг

  • …

• Термінологія

  • Точка

  • Коло

  • Відрізок

  • …

• Базові проблеми

  • Бінарний пошук

  • Сортування

  • …

• Проблеми

  • Локалізація точки

• Методи

• Структури даних

В роботі наведені такі відношення як «Включає», «Еквівалентно», «Вирішує» для організації логічного зв’язку між сутностями

Рис.5.13. Опис моделі онтології ПрО

5.7.4. Опис програми домену «Обчислювальна геометрія» мовою owl

Наведено текст моделі мовою OWL і її виконання.

5.8. Оцінка якості пс

5.8.1. Якість ПС

Якість характеризує його придатність до використання по призначенню. Для різних типів ПС задається номенклатура показників і встановлюються їхні базові значення, що повинні бути досягнуті при розробці окремих прикладних компонентів за їх моделями [11–13].

Модель якості М_qv – це формалізоване представлення характеристик (чи показників) якості, їхніх властивостей і способів оцінки на процесах ЖЦ (чи лінії). Згідно стандартів ISO/IEC 9126–2, ISO/IEC 9000 (1–4) і ядра знань SWEBOK модель якості отримала стандартний вигляд для усіх видів і типів програмних компонентів і ПС і має такий вид:

М_gv = {Q, A, M, W},

де Q = {q₁, q_2, …, q_i}_{i = 1,…, 6} – множина характеристик якості (Quality – Q);

A = {a₁, a₂,…,a_j}_j=1,…,J – множина атрибутів (Attributes – A), кожний з яких фіксує окрему властивість q_i – характеристики якості;

M = {m₁, m₂,…,m_k}_k=1,…,K – множина метрик (Metrics – M) для кожного a_j атрибута, використовуваного після виміру цього атрибута;

W = {w₁, w₂,…,w_n}_n=1,…,N­ – множина вагових коефіцієнтів (Weights – W) для нівелювання метрик цієї множини.

У стандарті ISO/IEC 9126–2 визначено шість базових характеристик якості ПЗ:

q₁: функціональність (functionality),

q₂: надійність (realibility),

q₃: ефективність (efficiency),

q₄: эргономічність (usability),

q₅: супроводженість (maitainnability),

q₆: переносність (portability).

Кожна з характеристик (показників) має властивості й атрибутами, що визначають різні її властивості, які необхідно знати користувачеві при бажанні використовувати відповідні КПВ чи ПС.

Модель М_як – чотирьохрівнева. На першому рівні знаходяться характеристики (показники) якості, що відображають властивості, який повинна володіти створена ПС Показники другого рівня – це атрибути показників (коректність, безвідмовність і ін.), необхідні для розроблювальної ПС, щоб досягти задані характеристики якості першого рівня. Кожен атрибут представляється набором одиничних властивостей, що уточнюють показники якості першого рівня, тобто кожен показник визначається набором окремих атрибутів, які необхідно досягти в процесі розробки ПС на деякому процесі лінії ЖЦ і використовувати них при комплексній оцінці якості продукту за сумою усіх присутніх показників за формулами формулою для окремого компонента (com) і системи (sys) в загалі:

_{h N}

Q_com=  q_{j ,} Q_sys =  Qⁱ_com ,

^{J =1 i =1}

де показник q_j , як і інші, має такий загальний вигляд:

₅

q₆ =  a_6j m_6j w _6j .

^j=1

На третьому рівні знаходяться так називані метрики. Метрика – це сукупність оцінних елементів, що дозволяють визначити ступінь досягнення групи атрибутів по кожнім показнику окремо. Іншими словами, метрика, що характеризує показник якості, може мати один або кілька оцінних елементів.

На четвертому рівні знаходяться оцінні елементи, що є елементарними характеристиками (q_j) з окремих властивостей створюваного ПС. Набір оцінних елементів групується і розподіляється по відповідних процесах технології розробки ПС.

Дані формули є прикладом розрахунків якісних показників. Крім того, розроблені методи оцінки показників витрат на розробку програм, а такою вартості ПС.