Квалиметрическая оценка систем автоматизированного проектирования электротехнических изделий
Результаты работы используются на предприятии ПКФ «АВТОМАТИКА», ряд теоретических положений включен в рабочую программу учебного курса «Моделирование» для студентов четвертого курса направления «Механика», учебного курса «Дискретная математика» для студентов специальности «Прикладная информатика в экономике» — работа выполнена в соответствии с фантом РФФИ-Центр № 05−01−96 700ц… Читать ещё >
Содержание
- 1. Проблемы контроля и управления качеством САПР
- 1. 1. Технологический процесс производства 10 электрооборудования
- 1. 2. Современное программное обеспечение и системы 16 автоматизированного проектирования. Вопросы и проблемы, возникающие при его создании
- 1. 3. Определение термина качества для системы САПР. 21 Методы повышения качества создаваемых САПР
- 1. 4. Выбор математического аппарата для построения модели 38 квалиметрической оценки пригодности САПР
- 1. 5. Математический аппарат теории нечетких множеств. 43 1.5. Постановка задачи
- 2. Математическая модель качества САПР
- 2. 1. Критерии качества САПР
- 2. 2. Критерии качества электротехнической продукции
- 2. 3. Термины характеристик качества
- 2. 4. Определение параметров в F-функциях принадлежности
- 2. 4. 1. Выбор лингвистических переменных для контроля 72 параметров САПР и рекомендации по их выбору
- 2. 4. 2. Выбор лингвистических переменных для контроля 76 параметров ЭИ и рекомендации по их выбору
- 2. 5. Построение квалиметрической модели оценки 79 пригодности САПР
- 2. 6. Выбор методов тестирования САПР
- 2. 7. Выводы
- 3. Методическое и программное обеспечение
- 3. 1. Методика применения модели качества САПР
- 3. 2. Техническая реализация алгоритма модели качества
- САПР
- 3. 3. Реализация программы «ВепТ 2.0» на объектно-ориентированном языке Паскаль в среде Borland Delph
- 3. 4. Выводы
- 4. Тестирование и анализ электротехнического изделия, САПР и ПО
- 4. 1. Тестирование ЭИ КСО-393АВ
- 4. 2. Тестирование программных комплексов САПР 122 Solid Works 2005 и КОМПАС-ЗИ
- 4. 3. Тестирование программного продукта 1С: Предприятие 139 7.7 (7.70.25), конфигурация «Производство + Услуги + Бухгалтерия» ред.
- 4. 4. Выводы. 145 Основные
- выводы и результаты
- Список литературы
Квалиметрическая оценка систем автоматизированного проектирования электротехнических изделий (реферат, курсовая, диплом, контрольная)
Актуальность работы.
В настоящее время трудно найти сферу промышленности или деятельности человека, где бы не применялась электроэнергия. Любое производство продукции, добыча и переработка сырья, а также бытовые приборы или уличное освещение требуют подачи электроэнергии. Современная цивилизация полностью зависит от энергоснабжения.
Несмотря на то, что электричество как вид энергии стало применяться еще в 19 веке, вопросы, возникающие с его доставкой, распределением и учетом, остаются актуальными и по настоящее время, поэтому есть постоянная потребность в выпуске нового электрооборудования. Развитие энергетической промышленности всегда идет в ногу с научно-техническим прогрессом, а резкий рост конкуренции на рынке электротехнических изделий (ЭИ) обуславливает жизненную необходимость повышения их качества.
Практическая реализация мероприятий по повышению качества ЭИ требует его обеспечения на всех этапах жизненного цикла продукта, в том числе и на этапе подготовки производства. Качество продукта, т. е. насколько он по своим параметрам качества будет соответствовать ожиданиям потребителя, с точки зрения теории Всеобщего управления качеством (TQM) зависит на ранних этапах жизненного цикла продукта от качества выполнения конструкторско-технологического проектирования.
Широкое распространение программных средств (ПС), в т. ч. автоматических управляющих систем и систем автоматизированного проектирования (САПР), которые используются в промышленности, привело к зависимости качества изделий от качества и надежности работы этих систем.
Применение САПР для информационной поддержки технических процессов на предприятии является одним из условий успешного проектирования изделий. Качественная система САПР, с точки зрения использующего его предприятия, обеспечивает качественное проектирование ЭИ и соответственно достижение необходимого качества выпускаемой продукции.
Конструкторско-технологическая разработка новых изделий с помощью САПР влияет на время создания и качество проектной документации, на точность расчетов себестоимости изделий, на расчеты габаритов и допусков в плане неточности заготовок металлоконструкций. Ошибки в проектировании ЭИ могут привести к негативным последствиям при использовании готовой продукции на объектах.
Как показал обзор существующих методов разработки и оценки качества ПС, в настоящий момент модели качества, в том числе СММ, SPICE — модель, CASE-технологии и многие другие, ориентированы на разработчика программного обеспечения, а не на предприятия, использующие это программное обеспечение (ПО). Таким образом, совершенствование ква-лиметрической оценки систем автоматизированного проектирования при внедрении на предприятии является актуальной задачей.
Актуальность темы
подтверждается также грантом РФФИ-Центр № 05−01−96 700ц. Тема исследований: «Теоретические основы управления качеством программного обеспечения».
В результате проведенных автором исследований было показано, что наиболее подходящим математическим аппаратом при решении задачи квалиметрической оценки САПР является теория нечетких множеств, нашедшая широкое применение при распознавании образов, построении экспертных систем, разработке систем искусственного интеллекта.
Автор защищает:
1. Новая система оценки качества САПР, позволяющая учесть не только количественные, но и качественные критерии.
2. Математическая модель качества САПР, основанная на применении теории нечетких множеств и предназначенная для обработки критериев пригодности.
3. Программно-методический комплекс контроля и тестирования САПР и ПС.
4. Результаты и выводы сравнительных исследований различных программных комплексов (ПК).
Цель работы заключается в улучшении качества процесса конструк-торско-технологической подготовки производства ЭИ с помощью квали-метрической оценки САПР, предназначенных для внедрения на предприятии.
Для достижения этой цели в диссертации решаются следующие задачи:
1. Разработка системы оценки пригодности САПР, включающей критерии качества для средств автоматизированного проектирования.
2. Разработка новой квалиметрической модели оценки САПР, в основу которой положен математический аппарат теории нечетких множеств.
3. Разработка методики и программного обеспечения контроля качества САПР.
Общая методика исследования заключается в анализе уже существующих моделей разработки качественного САПР, обзоре литературных источников, посвященных вопросам качества программных продуктов (ПП), в том числе и САПР, и выборе адекватного математического аппарата для описания критериев качества САПР и создания единой квалиметрической модели, характеризующей состояние конечного продукта и необходимой для его оценивания и контроля.
Автор исследовал подготовку производственного процесса (на примере электротехнического изделия камеры сборной серии КСО-393АВ производственного предприятия «Автоматика»), разработал критерии качества для ЭИ и САПР, соответствующие метрикам из выбранных ГОСТов, определил этапы технологического процесса, подлежащие модификации.
На основе понятия нечеткого множества были введены лингвистические переменные или функции принадлежности //(х), которые будут ставить в соответствие значения выбранных критериев определенному значению лингвистической переменной.
Разработана методика вычисления «контрольных границ».
На основе анализа отклонений функции от заданных границ методика позволяет дать заключение о состоянии продукта, а также получить реко-^ мендации, на что необходимо обратить внимание пользователю при внедрении, найти недостатки в собственном технологическом процессе и определить пригодность аппаратной базы для внедрения подходящих САПР.
Научная новизна состоит в разработке и теоретическом обосновании новых квалиметрических методов оценки качества САПР, базирующихся на применении теории нечетких множеств и учитывающих критерии, полученные в виде суждений экспертов.
Практическая ценность и реализация работы заключается в следующих результатах:
— проведен анализ существующих моделей разработки ПО;
— разработана система оценки качества для САПР и ЭИ, для которых создаются с помощью САПР конструктивы и документация;
— создана модель для квалиметрической оценки САПР, которая предназначена для обработки значений критериев, полученных с помощью системы оценки;
— разработан программно-методический комплекс, использующий квалиметрическую модель и обеспечивающий необходимый анализ САПР и других изделий;
— результаты анализа и тестирования ЭИ и САПР были использованы при определении недостатков процесса конструкторско-технологической подготовки производства и выборе системы САПР на производственном предприятии ООО «ПКФ «Автоматика».
Апробация работы.
Результаты диссертационной работы изложены на международной конференции и ежегодных научно-технических конференциях профессорско-преподавательского состава ТулГУ, в том числе на.
1. Первой международной электронной научно-технической конферен-ft* ции «Технологическая системотехника» (г. Тула, февраль-март 2002 г.).
2. Ежегодной научно-технической конференции профессорско-преподавательского состава ТулГУ (г. Тула, 2003;2005 гг.).
3. Межрегиональной технической конференции «Интеллектуальные и информационные системы (Интеллект-2005)» (г. Тула, май-сентябрь 2005 г.).
Публикации.
Основное содержание работы изложено в 9 публикациях. ft.
Результаты работы используются на предприятии ПКФ «АВТОМАТИКА», ряд теоретических положений включен в рабочую программу учебного курса «Моделирование» для студентов четвертого курса направления «Механика», учебного курса «Дискретная математика» для студентов специальности «Прикладная информатика в экономике» — работа выполнена в соответствии с фантом РФФИ-Центр № 05−01−96 700ц.
Список литературы
- Алтунин А.Е., Семухин М. В. Модели и алгоритмы принятия решений в нечетких условиях: Монография. — Тюмень: Издательство Тюменского государственного университета, 2000. 352 с.
- Богданов Д.В., Путилов В. А., Фильчаков В. В. Стандартизация процессов обеспечения качества программного обеспечения. Апатиты, КФ ПетрГУ, 1997.- 174 с.
- Богословская Н.В., Бржезовский А. В., Жаков В. И., Фильчаков В. В. Системы автоматизации разработки программного обеспечения. Учебное пособие. СПб.: СПВУРЭ ПВО, 1996. — 86 с.
- Борисов А.Н., Алексеев А. В., Меркурьева Г. В. и др. Обработка нечеткой информации в системах принятия решений. М.: Радио и связь, L989.-304 с.
- Боэм Б.У. Инженерное проектирование программного обеспечения: Пер. с англ. /Под ред. А. А. Красилова. М.: Радио и связь, 1985. — 510 с.
- Бояршинова А.И., Рудаков И. В. Определение требований к технологическому процессу разработки программного обеспечения. //Информационные технологии, № 3, 2003, с. 18−26.
- Бронштейн И.Н., Семендяев К. А. Справочник по математике для инженеров и учащихся ВТУЗОВ. М.: Наука, 1980. — 976 с.
- Вендров A.M. Один из подходов к выбору средств проектирования баз данных и приложений. // «СУБД», 1995, № 3. с. 44−46
- Всеобщее управление качеством: Учебник для вузов. Глудкин О. П., Горбунов Н. М., Гуров А. И., Зорин Ю. В. М.: Радио и связь, 1999. — 600 с.
- Гантер Р. Методы управления проектированием программного обеспечения: Пер. с англ. /Под ред. Е. К. Масловского. — М.: Мир, 1981. 134 с.
- Герасименко В. А. Защита информации в автоматизированных системах обработки данных. Кн. 1 и 2. М.: Энергоатомиздат, 1994.
- ГОСТ Р ИСО/МЭК 9126−93 «Оценка программной продукции. Характеристики качества и руководства по их применению» — М.: Изд-во стандартов, 1994 27 с.
- ГОСТ Р ИСО 9000−2001 «Основные положения и словарь» М.: ИПК Изд-во стандартов, 2001 — 26 с.
- ГОСТ 28 195–89 «Оценка качества программных средств» — М.: Изд-во стандартов, 1989 38 с.
- ГОСТ 28 806–90 «Качество программных средств. Термины и определения» — М.: Изд-во стандартов, 1991 11 с.
- Грибков В.В. «Программно-инструментальные средства анализа качества программного обеспечения в жизненном цикле информационных систем» http://vww.fostas.ru/library/shovvarticle.php.
- Дарахвелидзе П.Г., Марков Е.П. Delphi 4. СПб.: БХВ-Санкт-Петербург, 1999. — 816 с.
- Елисеева И.И., Юзбашев М. М. Общая теория статистики: Учебник. -М.: Финансы и статистика, 2002. 480 с.
- Заде JI.A. Понятие лингвистической переменной и его применение к принятию приближенных решений. — М.: Мир, 1976. 165 с.
- Заде JT.A. Размытые множества и их применение в распознавании образов и кластер-анализе. В сб.: Классификация и кластер. — М: Мир, 1980 — с.208−247.
- Зиндер Е.З. Бизнес-реинжиниринг и технологии системного проектирования. Учебное пособие. М.: Центр Информационных Технологий, 1996.- 191 с.
- Калянов Г. Н. CASE структурный системный анализ (автоматизация и применение). М: ЛОРИ, 1996. — 242 с.
- Карлбертсон Р., Браун К., Кобб Г. Быстрое тестирование М.: Издательский дом «Вильяме», 2002 — 384 с.
- Карповский Е.Я., Чижов С. А. Оценка показателей качества программных средств с использованием лингвистических переменных. -Управляющие системы и машины, N 2, 1987. с. 17−19.
- Кот Н.Н., Олексенко И. А. «Создание качественных программных средств» // Корпоративные системы. 1999. № 3. стр. 45−47
- Карповский Е.Я., Сагач В. В., Чернецкий А. А. Надежность алгоритмов управления. К.: Техника, 1983. — 240 с.
- Кейн JI.A. Искусственный интеллект в обрабатывающих отраслях промышленности. // Нефть, газ и нефтехимия за рубежом, N 9, 1986. -с. 117−122.
- Ключ к Успешному Тестированию: Планирование Тестов. — h tl р ://www. i n te rt’ace. ru/ross/ke ys ucc. h tm.
- Колмогоров A.H. Теория информации и теория алгоритмов. М.: Наука, 1987.-304 с.
- Коршунов Ю.М. Математические основы кибернетики: Учеб. пособие для вузов. М.:Энергия, 1980.-424 с.
- Котляров В.П. CASE-технология и возможности современных CASE-средств в поддержке этапов проектирования программного продукта. // Системная информатика. Новосибирск. ВО «Наука». Сибирская издательская фирма. Вып.4. 1995.-с. 150−189.
- Куртис В. «Программисты и профессиональные спортсмены». // Открытые системы, № 1, 1998.
- Кучин Б.Л., Алтунин А. Е. Управление системой газоснабжения в осложненных условиях эксплуатации. М: Недра, 1987 — 209с.
- Лебедев А.Н. Защита банковской информации и современная криптография // Вопросы защиты информации, 2(29), 1995. с. 23 — 26.
- Леонтьев В.П. ПК: универсальный справочник пользователя — М.: Изд-во «Питер», 2000 — 256 с.
- Липаев В.В. Анализ рисков в жизненном цикле сложных программ-средств. // Информационные системы. 2003. № 3 27−3 I с.
- Липаев В. В. Выбор и оценивание характеристик качества программных средств. М.: СИНТЕГ. 2001. 279 с.
- Липаев В. В. Документирование и управление конфигурацией программных средств. М.: СИНТЕГ. 1998. — 272 с.
- Липаев В.В. Концепция управления качеством жизненного цикла программных средств на основе международных стандартов. // Информационные технологии. Приложение. 2002. № 12. 24 с.
- Липаев В.В., Филинов Е. Н. Мобильность программ и данных в открытых информационных системах. М.: РФФИ. 1997. — 198 с.
- Липаев В.В. Надежность программных средств М.: СИТЕГ, 1998 г. -232 с.
- Липаев В.В. О проблемах оценивания качества программных средств // Информационные технологии. 2002. № 4 стр. 19−23.
- Липаев В.В. Отладка сложных программ. — М.: Энергоатомиздат, 1993.-320 с.
- Липаев В.В., Серебровский Л. А. Оценка эффективности разработки переносимых (мобильных) программ. // УСиМ. 1987. № 2 — 3−8 с.
- Липаев В.В. Стандартизация характеристик и оценивания качества программных средств // Информационные технологии. Приложение. 2001. № 4, 24 с.
- Липаев В.В. Стандартизация верификации программных средств. // Информационные технологии. 2001. № 3 стр. 2−6.
- Липаев В.В. Сравнение требований к характеристикам качества различных типов программных средств // Информационные технологи. 2002. № 8. стр. 48−54.
- Лонгботтом Р. Надежность программного обеспечения: Пер. с англ. /Под. ред. П. П. Пархоменко. М.: Энергоатомиздат, 1985. — 512 с.
- Магомедов И.А. и др. Применение теории нечетких множеств к задачам управления нестационарными процессами. В сб.: Методы и системы принятия решений. Рига: РПИ, 1984 — с.60−65.
- Майерс Г. Искусство тестирования программ. М.: Финансы и статистика, 1982. — 176 с.
- Майерс Г. Надежность программного обеспечения. М.: Мир, 1980. — 444 с.
- Международные стандарты, поддерживающие жизненный цикл программных средств. М.: МП «Экономика», 1996. — 159 с.
- Мобильность программного обеспечения: Пер. с ан гл. /Под ред. Д. Б. Подшивалова. — М.: Мир, 1980. — 284 с.
- Моисеев Н.Н. Математические задачи системного анализа. М: Наука, 1981. — 488с.
- Орлов С.А. Технологии разработки программного обеспечения. -СПб.: Питер, 2002. 464 с.
- Октябрьский ПЛ. Статистика. М.: ТК Велби, Изд-во Проспект, 2003.-328 с.
- Пальчун Б.П., Юсупов P.M. Оценка надежности программного обеспечения. СПб.: Наука, 1994. — 296 с.
- Правила устройства электроустановок. Составление и оформление ЗАО «Энергосервис» М.: Главгосэнергонадзор России, 1998 — 608 с.
- Сертификация продукции. Международные стандарты и руководства ИСО/МЭК в области сертификации и управления качеством. М.: Изд-во стандартов, 1990.
- Терехов А.А., Вероника Туньон. Современные модели качества программного обеспечения. — http://www.interface.ru/fset.asp?Url=/misc/qs.htm.
- Управление качеством: Книга 4: Учебное пособие. Пер. с англ. -Жуковский МИМ У 68 ЛИНК, 2003. — 82 с.
- Федоров А.Г. Delphi 2.0 для всех. М.: КомпьютерПресс, 1997. — 464 с.
- Хирагава С. Вероятностная модель для оценки запасов нефти. Перевод Ц-8373. М., 1973. — 376 с.
- Хлунов А.В., Юдин С. В., Корабельников А. Б. Контроль малых партий с позиций интегрального риска. // Технологическая системотехника. Первая электронная международн. научн.-технич. конференция. Сб. трудов. ТулГУ, Тула, 2002. с. 3
- Хлунов А.В., Юдин С. В., Григорович В. Г., Юдин А. С., Корабельников А. Б. Статистический приемочный контроль малых партий // Известия ТулГУ, серия «Машиностроение», вып. 7, 2002-с 3.
- Хлунов А.В., Юдин С. В., Корабельников А. Б., Современные методы, повышающие качество программного обеспечения. // Известия ТулГУ, серия «Математика. Механика. Информатика», вып. 3, 2003 с. 239−250
- Хлунов А.В., Юдин С. В., Корабельников А. Б. Надежность программных продуктов. // Депонирование в ВИНИТИ 19.04.05 № 545-В2005 -7 с.
- Хлунов А.В. Модель контроля качества программных продуктов. // Депонирование в ВИНИТИ 19.04.2005 № 544-В2005 6 с.
- Хлунов А.В., Корабельников А. Б., Юдин С. В. Один из принципов обеспечения гибкости программной продукции. // Известия ТулГУ. Серия «Математика. Механика. Информатика», вп. 3, том 8, 2002. с. 66−68
- Шаракшанэ А.С., Шахин В. П., Халецкий А. К. Испытания программ сложных автоматизированных систем. М. Высшая школа, 1982. — 650 с.
- Шеннон К. Работы по теории информации и кибернетике. М.: ИЛ, 1963. 829 с.
- Шиндовский Э., Шюрц О. Статистические методы управления качеством. Контрольные карты и планы контроля. М.: Мир, 1976. — 597 с.
- Шокин И.Ю. Интервальный анализ. Новосибирск: Наука, 1981. -112 с.
- Штрик А.А., Осовецкий Л. Г., Мессих И. Г. Структурное проектирование надежных программ встроенных ЭВМ.- Л. Машиностроение, 1989. -248 с.
- Шураков В.В. Надежность программного обеспечения систем обработки данных. М.: Статистика, 1981. — 367 с.
- Щербо В.К., Козлов В. А. Функциональные стандарты в открытых системах. Часть 1. Концепция открытых систем. М.: Изд. МЦНТИ. 1997. -232 с.
- Юдин С.В., Григорович В. Г., Юдин А. С., Корабельников А. Б., Хлу-нов А.В. Статистический приемочный контроль в массовом производстве на базе понятия «Интегральный риск». // Известия ТулГУ, серия «Машиностроение», вып. 7, 2002 с 6.
- Andres A., Ferrer P., Gutierrez P., Satriani G. «ISO 9000 Sertification as a Business Driver: The SPICE Road», Second International Conference on ISO 9000 and TQM, April 1997.
- Beckford, J. (1998) Quality: A Critical Introduction, London, Routledge.
- Beizer B. Software testing techniques. N.Y.: Van Nostrand Reinhold. 1990.-p. 381
- Dale, B.C. and Cooper, C. (1992) Total Quality and Human Resources: An Executive Guide, Oxford, Blackwell.
- Dellana, S.E. and Hauser, R.D. (1999) Toward denning the quality culture, Engineering Management Journal, Vol. 11, No. 2, pp. 11 —15.
- Fisher A.S. CASE: using the newest tools in software development. N.Y.: John Wiley & Sons, 1988.
- Gilb T. Principles of software engineering management. Wokingham, England: Addison-Wesley, 1988.-p. 187
- Horovitz, J. and Panak, M.J. (1992) Total Customer Satisfaction: Lessons From 50 Companies with Top Quality Customer Service, London, Financial Times/Pitman.
- Kickert W.Y.M. and oth. Application of Fuzzy Controller in a Warm Water Plent. «Automatica», v. 12, N4, 1976, p.301−308.
- Kit E. Software Testing in the Real World Improving the Process. Addison-Wesley. 1996.
- Kitowski J. Zastosowanie relacyjnych rownan rozmytych. «Zesz. nauk. AGH: Autom.», 1984, N37 107p.
- Ng P.A., Yeh R.T. ed. Modern software engineering. Foundations and current perspectives. N.Y.: Van Nostrand Reinhold, 1990. — p. 311.
- Quarterman J. S., Wilhelm S. Unix, Posix and open systems: The open standards puzzle. N. Y., Addison — Wesley. 1993.
- Schulmeyer, G. Gordon and Garth R Mackenzie Verification and Validation of Modern Software-Intensive Systems. Upper Saddle River, NJ: Prentice Hall, 2000.
- Sommerville I. Software engineering. Addison Wesley. Lancaster University. 1992.
- Sullivan L.P. The Seven Stages in Company Wide Quality Control // Quality Progress, 19, May 1986.
- Tanaka H., Fan L.T., Lai F.S., Toguchi K. Fault-tree analysis by fuzzy probability. «IEEE Trans. Reliab.», 1983, N5. p.453−457.