Методы ИИ в программной инженерии. Основы управления качеством

1.

Методы ИИ в Программной
Инженерии
Основы управления качеством:
Разработка и анализ требований
Тестирование и сопровождение

2.

Моделирование предметной
области
В.Н.Коромысличенко каф 43 магистры
2

3.

Алгоритм Производства Программной Продукции
Экспертные
знания
Запросы/
потребности
заказчика.
Условия и
ограничения
Проектирование программной системы
Хранение
исходных и
выявленных
моделей данных и
знаний
Разработка
документации
Интерпретация
Адаптация
Кодирование
Лицо принимающее
решения
Сборка программной системы
Верификация/Валидация/
Тестирование
В.Н.Коромысличенко каф 43 магистры
3

4.

Парадигма трансформации знаний в программной
инженерии
В.Н.Коромысличенко каф 43 магистры
4

5.

Парадигма информации в Программной Инженерии
Цель
информации
Ф
и
л
о
с
о
ф
и
я
Результат
Интерпретация
Понимание
Понимание
Приём
интерпретации
понятия
смысла
знаков
знаков
знака
Действие
информации
Содержание
информации
Изложение
информации
Концепция
информации
Новые знания
Апобетика
Знания
Прагматика
С
е
м
и
о
т
и
к
а
Информация
Семантика
Данные
Синтаксис
Статистика
Источник
Приёмник – Эксперт
предметной области
Цель
информации
Ф
и
л
о
с
о
ф
и
я
Результат
интерпретации
Содержание
информации
Изложение
информации
Концепция
информации
Понимание
Понимание
Приём
понятия
смысла
знаков
знаков
знака
Новые знания
Знания
Прагматика
С
е
м
и
о
т
и
к
а
Информация
Семантика
Данные
Синтаксис
Статистика
Источник
В.Н.Коромысличенко каф 43 магистры
Интерпретация
Апобетика
Действие
информации
Сообщение
Приёмник
5

6.

Парадигма мыследеятельности программного
инженера
Языки проектирования
Формирует
Использует
М
а
т
е
р
и
а
л
и
з
у
ю
т
с
я
Онтология проекта
Онтология предметной
области
Использует
Использует
ЛПР/Эксперт/
Проектировщик
Формирует
Требования
Заказчика
Исходные данные
предметной области
Создают контекст
Достигает
Цели и задачи
Регистрирует
О
н
т
о
л
о
г
и
я
О
н
т
Формирует
т
р
е
б
о
в
а
н
и
й
Модель
предметной
области
М
о
д
п
р
е
д
м
Формирует
Требования
Т
е
х
н
и
ч
З
а
д
формирует
Проект
И
м
е
е
т
с
в
о
й
с
т
в
о
Верификация
о
б
л
Соответствует
Восприятие
требований заказчика
Понимание
Иметь свойство
Соотносится
Неопределенность
Факты
Знания
В.Н.Коромысличенко каф 43 магистры
Методики
6

7.

Парадигма онтологического подхода
Языки проектирования
Формирует
Использует
М
а
т
е
р
и
а
л
и
з
у
ч
а
е
т
с
я
Онтология проекта
Использует
ЛПР/Эксперт/
Проектировщик
Создают
О контекст
Формирует
с
н
о
в
Тезаурус
а
Онтология
н
ПрОбл
и
е
Исходные данные
предметной области
Создают контекст
д
л
я
Материализуется
Достигает
Цели и задачи
О
с
н
о
в
а
н
и
е
Формирует
Онтология
процессов
д
л
я
Материализуется
О
с
н
Формирует
о
в
а
Онтология
н
вычислитель
и
ных задач
е
О
с
н
о
в
а
н
и
е
д
л
я
д
л
я
Материализуется
Формирует
Онтология
архитектурных
решений
О
с
н
о
в
а
н
и
е
формирует
Онтология
Проектных
решений
д
л
я
Материализуется
И
м
е
е
т
с
в
о
й
с
т
в
о
Верификация
Материализуется
Регистрирует
Соответствует
Восприятие
требований заказчика
Понимание
Иметь свойство
Соотносится
Неопределенность
В.Н.Коромысличенко каф 43 магистры
7

8.

Логические отношения программной инженерии
Знак
G-модели
Тезаурус
в)
б)
а)
Денотат
Модель ПрОб на
Смысл Модель ПрОб
Онтология основе экспертных
G-сети
знаний
г)
Данные
Синтаксис
Онтология
Программа
Типы данных
д)
Ж)
Модель
Архитектура
программы экспертных
Модель структуры Код
данных
знаний
Семантика
И)
К)
Внутренняя
форма
Дефиниция
Знак
Прагматика
Фрагмент сети
знаков
Семиотика
Денотат
В.Н.Коромысличенко каф 43 магистры
Признаки
8

9.

Парадигма метаданных в Программной Инженерии
Пример
Уровень концепта
метаданных
4
Концепт метаданных
<Тип структуры> (“<имя структуры>”
[<атрибут структуры>
(“название атрибута ”, значение атрибута)], […])
Уровень
метаданных
3
Метаданные
Метаданные (“Тип”
[метаатрибут(“имя”, строка)
метаатрибут(“поле”, список полей)])
Метаданные (“Поле”…..)
Уровень типа
данных
2
Экземпляр метаданных
Уровень данных
1
Образец экз метаданных
Метаданные (“РКН”,
[поле (“имя”, строка),
поле (“космодром”, строка),
поле (“время”, строка),
поле (“дата”, строка),])
РКН (“СОЮЗ”,
“Бойконур”, ,
“9 час 07мин”,
“12 апреля 1961 года”)
В.Н.Коромысличенко каф 43 магистры
9

10.

Парадигма трансформации знаний на базе Gмоделей
В.Н.Коромысличенко каф 43 магистры
10

11.

Операторские схемы
x1
x3
x2
2
1
Вершинапараметр
in
x1
Вершинаоператор
Вершинапараметр
1
x2
out
x2
x1
x3
В.Н.Коромысличенко каф 43 магистры
11

12.

Операторская схема с управлением
x3
x2
x1
2
1
2p
В.Н.Коромысличенко каф 43 магистры
12