А. А. Красилов, В. Л. Лейтес Вопросы сертификации баз знаний и интеллектуальных систем




Скачать 221.89 Kb.
НазваниеА. А. Красилов, В. Л. Лейтес Вопросы сертификации баз знаний и интеллектуальных систем
страница1/3
Дата публикации14.04.2013
Размер221.89 Kb.
ТипДокументы
vbibl.ru > Информатика > Документы
  1   2   3
А.А.Красилов, В.Л.Лейтес
Вопросы сертификации баз знаний

и интеллектуальных систем

Обсуждаются проблемы сертификации сравнительно нового

класса программных продуктов с позиций организации

соответствующего Центра сертификационных испытаний.

Предлагаются подходы к решению этих проблем. Приводится

рекламная информация об организованном Центре.

1. Введение
Сертификация товаров, работ и услуг в сфере материального

производства в соответствии со стандартами является обязательной.

Важно осознать тот факт, что приближается время, когда

сертификация станет обязательной для товаров, работ и услуг

интеллектуального производства. Важные проблемы сертификации

программного продукта неоднократно рассматривались, имеются самые

необходимые нормативные документы , включая стандарт по оценке

качества программ. Мы рассмотрим некоторые проблемы сертификации

программ и данных ориентируясь, в основном, на базы знаний и

интеллектуальные системы, так как опыт работы с этим сравнительно

новым видом продукции индустрии информатики явно недостаточен и

не нашел своего отражения в соответствующих нормативных

документах.
Выбор проблематики обусловлен созданием на базе нескольких

организаций разных ведомств, включая МО РФ, Центра

сертификационных испытаний программных продуктов следующих

классов: системы автоматизации программирования; САПР

радиоэлектронной аппаратуры, СБИС и устройств СВЧ; базы данных и

знаний; интеллектуальные системы; модели сложных систем; АСУ

специального назначения; системы автоматизации учрежденческой

деятельности. В дальнейшем мы будем говорить о четырех классах

продуктов:программные средства (ПС), базы данных (БД), базы

знаний (БЗ), интеллектуальные системы (ИС).
Цель настоящей работы состоит в выявлении критериев оценки

потребительских свойств и разработке технологии сертификации

указанных видов продукции интеллектуального производства.
Проблемами сертификации занимаются три категории учреждений:

Госстандарт Российской Федерации, органы сертификации

(Всероссийский научно-исследовательский институт сертификации) и

центры испытаний. Мы вкратце рассмотрим функции Центра испытаний

"Москва" недавно аккредитованного на базе трех организаций.


2. Различия проверки, подтверждения,

испытания и сертификации
Все указанные в заголовке понятия связаны с программным

обеспечением, базами данных и знания и интеллектуальными

системами. Они отражают различные уровни контроля дееспособности

этих продуктов. В этом разделе достаточно использовать два

понятия - данные (базы данных и знаний) и программы (программное

обеспечение и интеллектуальные системы). Сертификация

программного продукта известна достаточно хорошо [1 - 3], поэтому

основное внимание будет уделяться БД, БЗ и ИС. В связи с ними

рассмотрим сравнительные определения упомянутых выше понятий,

связанных с сертификацией.
Проверка (правильность, validation) данных и программ - это

процесс установления факта отсутствия искажения данных и программ

путем доказательства идентичности внешнего и внутреннего (в

памяти ВМ) представлений данных и программ (текстов и графики).

Проверка предназначена для реализации надежности процессов

передачи и хранения данных и программ в системе человек-ВМ и

поиск возможного источника ошибок в обработке информации.
Подтверждение (верификация, verification) данных и программ

- это процесс проверки правильности данных и программ,

логического и функционального соответствия предметам, явлениям

или процессам, моделируемым такими данными и программами, и их

программным спецификациям, путем сопоставления результатов

функционирования и установления соответствия данных и программ

правилам средств их представления. Подтверждение является

составной частью процесса эксплуатации и сопровождения данных и

программ.
Испытание (контроль, testing) данных и программ - это

процесс проверки данных и программ по заданным правилам на

соответствие требованиям документов на разработку этих данных и

программ и нормативно-технической документации. Испытание данных

и программ является составной частью процесса перевода данных

или/и программ из сферы разработки в сферу эксплуатации,

сопровождения или продажи.
Сертификация (удостоверение, освидетельствование,

certification) данных и программ - это процесс подготовки и

проведения испытаний, выполняемый третьей стороной (аудитором) и

обеспечивающий пользователя уверенностью в том, что данные и

программы (базы данных, базы знания, информатические работы и

услуги, процессы информационного обеспечения) соответствуют

требованиям нормативно-технической документации проектирования и

разработки этих данных и программ (законам государства,

техническим условиям, техническому заданию, техническому

требованию, исходным данным, правилам изготовления и

эксплуатации, положениям применения, стандартам) путем испытаний.
Сертификат (аттестат, удостоверение, certificate) -

документ, создаваемый и выдаваемый в результате сертификации

данных и программ в соответствии с правилами сертификации,

указывающий, что обеспечивается необходимая уверенность в

соответствии идентифицированных данных и/или программы,

информационных работ или услуг требованиям стандартов или других

нормативно-технических документов.
Первые четыре понятия различаются примерно также как

символьная и лексическая проверка (правильность), синтаксическая

и семантическая проверка (подтверждение) и прагматическая

проверка (сертификация или испытание). Этим сопоставлением

выражен языковый аналог контроля соответствия текстов грамматике

языка, что обеспечивает большее понимание рассматриваемых

процессов. Эти понятия порождают общие требования к данным и

программам: проверяемость, подтверждаемость, испытуемость и

сертифицируемость (понимая под последним - возможность получения

сертификата на данные или программы). Заметим, что эти критерии в

стандарте [3] проявляются только косвенно и как результат

завершенного процесса. С нашей точки зрения эти критерии должны

быть учтены в стандарте.


3. Объекты сертификации
Рассмотрим более подробно объекты сертификации с учетом

оговоренной выше ориентации и на этой основе сформулируем

дополнительные требования, которым должны соответствовать

сертифицируемые продукты. Программные средства хорошо известны и

мы их более подробно рассматривать не будем.
БД включают тексты, одномерные или многомерные массивы и

подразделяются, например на: линейные, реляционные,

иерархические, распределенные.
БЗ могут быть представлены текстами, семантическими сетями,

собраниями концепций, таблицами, описаниями теорий, библиотеками

алгоритмов, программными системами и подразделяются на:

текстовые, формально-языковые, концептуальные, теоретические,

процедурные, системные.
ИС подразделяются на:
. ИС построения ответа на запрос в форме "да-нет"

(доказательство теорем);

. ИС выработки условий истинности запроса (синтез теорем);

. ИС вывода по фактам понятия и разработка характеристик

понятия (синтез понятия);

. ИС вывода ответа на информационный запрос (поисковые и

информационные системы);

. ИС построения дерева логического вывода (синтез

рассуждений);

. ИС построения планов действий (синтез алгоритмов);

. ИС конструирования и синтеза систем.
Имеющийся стандарт [3] предписывает определенную

номенклатуру показателей качества ПС и поддерживающую эти

показатели совокупность измеряемых характеристик ПС. Можно

предложить дополнительные важные характеристики качества ПС,

например, наличие удобного и соразмерного продукту

инструментария, обеспечивающего его сопровождение и модификацию,

степень отторгаемости программного продукта от разработчика.

Известно, что большие комплексы ПС могут сопровождаться только в

соответствующей отработанной вместе с продуктом инструментальной

среде.
С другой стороны, качество - это только одно из

потребительских свойств продукта. Можно предложить другие общие

потребительские свойства, полезные потребителю и которые должны

быть сертифицированны. Для новых информатических продуктов,

например БЗ и ИС, можно сформулировать специфические

потребительские свойства, характеризуемые следующими

показателями:
- непротиворечивость БЗ,

- избыточность (или независимость) знаний,

- полнота БЗ в некоторой проблемной области,

- охват класса задач, характерных для обслуживаемой проблеммной

области.
Приведенный выборочный перечень характеристик может быть

значительно дополнен, если добавить частные характеристики,

исходя из данной выше классификации объектов сертификации.
Возникает дилемма: расширять ли стандарт [3] в части

принятой номенклатуры потребительски ориентированных свойств

продукта (первый уровень показателей качества) или ограничиться

расширением перечня характеристик продукта второго и третьего

уровней.
Можно предложить такую схему. Головным понятием,

определяющим потребительскую ценность продукта, будем считать

сертифицируемость. Продукт представляется на сертификационные

испытания для идентификации (или удостоверения) потребительских

свойств продукта, например:
- лицензионную чистоту,

- безопасность (отсутствие вирусов, наличие прививки),

- качество в смысле [3],

- рыночная актуальность,

- потребительский рейтинг.
Естественно, приведенный перечень свойств является спорным

(особенно две последние позиции).
Далее,в [3] расширим второй уровень характеристик качества

и сопоставим их с показателями первого уровня.
┌─────────────────────────┬────────────────────────────────┐

│ │ │

│ Показатели качества [3] │ Дополнительные характеристики │

│ │ показателей второго уровня │

├─────────────────────────┼────────────────────────────────┤

│ │ │

│ Надежность │ Подтверждаемость │

│ │ │

│ Сопровождаемость │ Оценка инструментального │

│ │ окружения │

│ │ │

│ Удобство применения │ Проверяемость │

│ │ │

│ Эффективность │ Избыточность │

│ │ │

│ Универсальность │ Комплексируемость │

│ │ Отторгаемость │

│ │ Охват класса решаемых проблем │

│ │ │

│ Корректность │ Испытываемость │

│ │ Непротиворечивость │

│ │ │

└─────────────────────────┴────────────────────────────────┘

Остается вопрос как быть с характеристиками "новизна БЗ",

"полнота БЗ". Новизна характеризуется мерой независимости

испытываемой БЗ относительно имеющихся БЗ данной проблемной

области. Полнота БЗ характеризуется степенью удовлетворения

запросов пользователя к соответствующей ИС в выбранной проблемной

области.
Можно предложить другой подход, более адекватный задаче

сертификации программ и данных, но предполагающий разработку

новой концепции стандартизации этой новой области.
Общие требования к объектам сертификации в равной мере

относятся к любым программным продуктам, они будут представлены

ниже достаточно подробно. Частные требования вытекают из

документов на разработку и сопровождение программного продукта.

Общие требования включают иерархию свойств данных и программ.

Первый уровень иерархии включает следующие свойства (разделы

освидетельствования):
. Степень отторгаемости - мера зависимости данных и программ

от разработчика в процессе эксплуатации (не отторгаемо,

привлечение разработчика при обнаружении нестандартных ситуаций,

необходимость обучения, полностью отторгаемо).
. Рынок - размеры спроса на данные и программы и их цена, а

также сравнительные характеристики аналогов, прототипов или
  1   2   3

Добавить документ в свой блог или на сайт

Похожие:

А. А. Красилов, В. Л. Лейтес Вопросы сертификации баз знаний и интеллектуальных систем iconА. А. Красилов Язык и знание
Устанавливается соотношение между классической грамматикой (совокупность правил образования слов и предложений) и семантической....

А. А. Красилов, В. Л. Лейтес Вопросы сертификации баз знаний и интеллектуальных систем iconА. А. Красилов Отдел интеллектуальных систем
Интеллсист – интеллектуальной системы общего назначения. Именно, решение запроса пользователя системой составляет спецификацию будущей...

А. А. Красилов, В. Л. Лейтес Вопросы сертификации баз знаний и интеллектуальных систем iconПонятие адаптивных информационных систем. Вопросы нечеткой логики
Особенности и признаки интеллектуальности информационных систем. Классификация интеллектуальных информационных систем

А. А. Красилов, В. Л. Лейтес Вопросы сертификации баз знаний и интеллектуальных систем iconК вопросу о дальнейшем развитии
Это относится как к сертификации непосредственно продукции (прежде всего, по качественным характеристикам), так и к сертификации...

А. А. Красилов, В. Л. Лейтес Вопросы сертификации баз знаний и интеллектуальных систем iconЦели и принципы добровольной сертификации в Российской Федерации...
Правилами функционирования Системы добровольной сертификации в электроэнергетике “Энсертико” (сдс “Энсертико”), зарегистрированной...

А. А. Красилов, В. Л. Лейтес Вопросы сертификации баз знаний и интеллектуальных систем iconЦели и принципы добровольной сертификации в Российской Федерации...
Правилами функционирования Системы добровольной сертификации в электроэнергетике “Энсертико” (сдс “Энсертико”), зарегистрированной...

А. А. Красилов, В. Л. Лейтес Вопросы сертификации баз знаний и интеллектуальных систем iconЛабораторной работы выбирается студентом самостоятельно, независимо...
Цель лабораторных работ состоит в закреплении и расширении теоретических знаний студентов и развитии навыков ведения самостоятельной...

А. А. Красилов, В. Л. Лейтес Вопросы сертификации баз знаний и интеллектуальных систем iconЦентр Компьютерного Обучения Nová Škola 2002 г. П рограмма курса...
Приобретение знаний, необходимых для проектирования баз данных (БД), и овладение навыками построения систем управления базами данных...

А. А. Красилов, В. Л. Лейтес Вопросы сертификации баз знаний и интеллектуальных систем iconЛабораторная работа 1 «Работа с базами данных и таблицами»
Приложение Microsoft Access является высокопроизводительной 32-разрядной системой управления реляционными базами данных. Оно предназначено...

А. А. Красилов, В. Л. Лейтес Вопросы сертификации баз знаний и интеллектуальных систем icon     европейских стандартов серии en 45000, охватывающих вопросы...
Российской Федерации "О защите прав потребителей", "О техническом регулировании", "О пожарной безопасности", "Об обеспечении единства...

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
vbibl.ru
Главная страница