автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.11, диссертация на тему:Методы и средства улучшения показателей качества специального программного обеспечения систем контроля сложных объектов
Автореферат диссертации по теме "Методы и средства улучшения показателей качества специального программного обеспечения систем контроля сложных объектов"
КМВСЬКНЯ П0Л1Т8ХН1ЧНИЙ Ш статут
РГЕ ОЛ
„ На правах рукопнсу
~ з СЕН '¡дш, удк бв1.з.ов.
КРИЛОВ евГЕН ВОЛОДИМИРОВИЧ
Метод» та аасобн полтшэння покаэтшв яжоат! спаишьиаго програмного аабеапечення систем контролю склалннх об' ект!в.
СпеШальнють: 05.13.11. - Математнчнв та програмне забезлечення обчкслювалышх машин, комплексш, систем та мереж.
05.13.01.- Управлшня в техи!чних системах.
АВТОРЕФЕРАТ дисертацп на здобуття наукоього ступеня кандидата техШчннх наук
КШв - 1994р.
Днсертацы е рукопнсом.
Работа внконана на кафедр! твхн1чно! кгёернетикн Кн1вського пол1техн1чного 1нституту
Науковий кергвннк -кандидат техшчннх наук . доцент Савнцькня Артем Лосипович.
0ф]Щйн1 опонентн: доктор техшчннх наук, професор Зайченко Юр1Я Петрович,
КнГвскому пол!техн1чному шстнтуп иуд. ¿/306 цс/ю.а/18
В1лгукн на автореферат в двох прим1рннках. як! зав!реио печаткою установи, просимо подавати за адресою: . 252056 Кшв-056, проспект Перемоги, 37, КП1. Вченому секретарю.
3 днсерташею можна ознапомнтись у • б1бл!отец! Кшвского пол1техн1чного тституту.
Автореферат роэ1слано
кандидат техн)чних наук, доцент
Дехтярюк Дмнтро бвгенович.
Пров1дна установа - ИД1 автоматиэацп систем буд1вництва.
Захнст дисертацИ В1дбудетъся _1994р.
годин на зас!данн1 спец)ал1зовано1 Ради Д -068.14.09 у
Вченнй секретар спец1ал1зовано1 Ради Д 068.14.09, доктор техШчних наук,
!
АНОТАЩЯ
Мета дисергац]йно5 роботи - розробка метод 1в та засоб¡в пол!пшення показнишв якост! епец1ального програмнсго забезпечення (СЮ) систем контролю (СК).
• Практична мета робоги полягае у реал1зац11 та експерименталь-пому досл1джэнн1 засоб!в гаШпшення яскаэник1в якост1 СПЗ.
Для досягнення мети б у ли Еиршен! наступи 1 задач1: проведений анал!з СШ; сформульовано мету та задачу полтшення показник1в яксст1 СШ; побудовано модель орган1зацП розробки як1сного СПЗ, визначен! функцюналън! елементи модел!; формал13ован1 та вир^шн! наступи! задач!: оптимального добору бажаних аначень показниюв якост! СГО, к! лькюного розпод1лу значень бажаних показниюв якост! СГО по прог-раыних компонентах (ПК), доб!р рекомендаЩй по полшшенню якост1 ПК СШ; -розроблен1 система створення як!сних програм контролю та мова за-пису алгоритм1в контролю; виконаш експериментальн1 досл1дження, шр дозволяють' од¡нити в1рн1сть головних наукових положень.
Науков1 положения, що захищаються:
1. МОДЕЛЬ орган]зац) ] процесу розробки яюсного СШ на лротяэ] всього життевого циклу.
2. ЗАДАЧА оптимального добору бажаних покаэник1в якост1 СШ.
3. МЕТОД к1льк!сного розпод!лу значень Сажаних показшшв якост 1 СГО по програмних компонентах.
4. МЕТОДИКА ранжування 'та добору рекомендации щэдо пол1пшення показник!в якост! СШ.
5. РЕЗУЛЬТАТ!! експериментальних д0сл1джеиь розроблених засоб ¡в, як! шдтверджують можливЮть 1х використання при створенн! систем контролю.
6. ШВА запису алгоритм! в контролю.
ЗАГАЛЬНА ХАРАКТЕРИСТИКА РОБОТИ
Актуальность теми. Впровадження систем автоматизованого контролю функцшнального обладнання, а також эначне шдвищення штересу до 1х як1сних характеристик обумовлге несбх1дн1сть створення засо51в, ш-дед! та програмно! системи, як1 забезпечують моллив!сть проектування СШ з бажаними показниками якост!.
По оценкам фах1вц!в юятевкй цикл СГО склада« десь 10-12 рок1в, з якого 70-90 в1дсотк!в припадае на етап ёксплуатацП та супроводжен-ня. На тдтримку СПЗ у, працездатньому стан! витрачаеться близько 50
в 1дсотк!в кошт1в, в!дведених на нього на протяз1 всього хиттевого циклу, шр значно перевишуе витрати на анализ та розробку. Таким чином, ыае м1сце тенденц!я пост1йного зросту витрат на етап1 експлуатац1i та супроводження СШ. Тому переЫд на промислову основу процес1в створен-ня СИЗ потребуе виршення комплексно! проблеми управл!ння як!стю на протяз! всього лептевого циклу розроСки СГО.
В1Дэначимо, щр незважаючи на численн! досл!дження в облает 1 лроектування як1сних програмних засоб1В ГО (Кулаков Ф. Ф., Л ¡паев КЕ , Боем Б., Д0СЛ1Д*ення ф!рми ORACLE та 1нших ф1рм (CASE)) проблема за-безпечення як1стю СГО з урахуванням сучасних вимог виршена не ,в пов-ному обсяз1.
Тому створення ГО пол!пшення показник1в якост! СГО, яке дозволяло . стзорввати СИЗ з заздалаг!дь заданием показккками якостЗ, уяв-ляеться досить актуальним.
Методи доел!дшнь. При вир!шенш поставлених задачбули вико-ристан! методи теорП математичного програмування та теорП неч1тких иножин.
Наукова новизна роботи полягае у тому, шо вперше:
1. Показана доц1льн1сть включения до складу iнструшнтадьного середовища ЗАС0Б1Е П0Л1ПШЕННЯ П0КАЗНИК1В ЯКОСТI СПЗ.
2. Розроблено ЖЩЕЛЬ оргашзацп процесу розробки як1сного СПЗ.
3. Сформульовано та розв'язано ЗАДАЧУ оптимального добору бала-них значень показник!в якост! СГО.
4. Розроблено МЕТОД к1льк!сного роэпод^лу бажаних показнишв якост! СГО по програмних компонентах.
5. Розроблено МЕТОДИКУ ранжування та добору рекомендаций по пол1пшенню показник!в якост! СПЗ.
Практична ц!кн1сть.
/IT ni.fl^i.^т.ттгг птл» пплллти linvmrn itn ( '"V^CTTTI/A
^icujjchu ^.jfiv-iCMy игиисьДсшлл nrtiLntiA u^lu ^сш rvum^JjiAi v. ^oiuufc/ ,
яка реал!зуе запропоноваш засоби полшшення якост! СПЗ.
2; Створено мову запису алгоритма контролю та ССЯПК доэволяе швидко i без значних зусиль непрограмуичому спец1алисту створювати складн! программ контролю. Це значно розширюе коло фах1вщв, як1 мо-жуть складати программ контролю функц!опального обладнання (ФО).
3. Проведено експериментальне досл]дження використання запропо-нованих sacoSiE для р!зноман1тних Kaxeropjii користувач1в.
Впроваджзиня результат!в. Результата досл^джень знайшли впро-вадження у таких розробках, як! були виконан! при безпосередн!й участ1! автора: п!дсистема автоматизованого формування замовлень у виробниц -
гв1 та обЛ1К IX виконання (головке шдприемство ВО "Заря")"; програмне забезпечення автоматизована! контрольно-ним!рЕвадъно! аларатури виробу А580 (КтЕський завод вим1рювалъно! автоматики !м. Г. I. Петровського); автоматизована система програмування та керування д!лянкою складаль-но-монтажного виробництва (ПНЮ "Лен1нець" (досл^дний завод)); автоматизована система керування техн1чним лщеем (Техн1чний лщей Ки1всько-го пол1техн!чного 1 нет1туту).
Алробащя роботи. Науков1 результата та основн1 положения' робота допов1дагись на кокферекцП "Актуальн] проблема в г ал уз 1 рад;се-' лектрошки, автоматики, обчиелгавально! техн!ки, енергетики, машгаюбу-дування та промислових технолоПй" (м. Ки!в, 1988р.); м1жнародно1 кон-ференцП "Молод! вчеш у вир1шенн1 комплексно'! програми НТП крат КЕВ" (м. Ки!в, 1989р.); конференцП "Використання эасоб!В ОТ, виробляемих КВО "Елекгронмаш" в резник галузях НТ" (м. Ки!в, 1991р.); наукових сем! нарах кафедри ТК КП1, АС01,ТК,НД1 "Спектр";
Публ^каци. Матер^али дисертацП були викладен! у 7 роботах, у тому числГ опубл1ковано 4 наукових статт1, 3 тезиси допов1дей. Крш того де-як1 результата роботи викладен1 у зв^тах НДР (автор е сгЦвви-конавцем).
Об'ем та структура роботи. Дисертащйна робота мае встул, 4 глави, загальн1 висновки, додаткл. Повний об'ем роботи 161 стор1нок, 21 малюнюв, 15 таблиць, список використано! ллератури, в якому приведен! 49 джерел, додатки 27 с.
Вступ мае сформульовану' наукову проблему, яка вир1шуеться у
Лгт* Л тЛпт 1
У перппй глав1 подано огляд опублшоваяих праць в облает! ство-рення як!сного ПЗ. Сформульовано в загальному вигляд1 головну мету та задачу досл1дження.
У друг1й глав! виконаний анал!з СПЗ. Створено модель ор-ган!зацп процесу роэробки яюсного СГО. Наведено опис динашки роботи .. модель Визначен! оптим1зад1йн1 та розрахунков1 задач!, як! необхдао виршувати на р1зних стадиях роэробки СГО.
У трет1й глав! наведен! формал!зован! постановки опт1м!зац1йних та роэрахункових задач. Вибран! методи, розроблен! алгоритми та визна-чен1 К1нцев1 формули вирИлення задач.
У четверий глав! розроблено структуру та алгоритми функцюку-вання головних ПК ССЯПК. Наведен! результата експериментального • досл1дження • ефективност! використання розроблених засоб1В для р!зних кятегор!й користувач!в.
В аагальних висновках наведен! опис мови запису алгоритм¡в контролю, результати вир!шення оптики эац^йних та розрахункових задач, вих!дн! текста програм експерементального досл!дження ефективност1 ви-користання заеоб1в для р1зяоман!тних категорий користувач!в.
3MICT РОБОТИ.
Б результат! огляду встановлено, що б1льш!сть досл1джень в облает! створення HKiCHoro Ш спрямован! на полишення i контроль якост! вмэ розробленюс ЛЗ ( оптим!зац1йне леретворення, система техшчного контролю Кулакова, система атестацП Боема). Тобто BiflcyTHi теоретичн! досл^дження та практична реал!зац1я засоб1В гкшлшення якост! ГО на ранн!х стад1ях його розробки (анал!з, проектування, комплексування).
Система контролю складними об' ектами являе собою програмно-апа-ратний комплекс, функцП контролю якого реал!зухггься в1дпов1дно прог-рамнога та апаратнои складовими.
Тому р1вень якостгСК СО в Ц1Лому залежить Bin эначень яюсних показтшв програмного та техничного забезпечень ,СК СО.
У широкому posyMiHHi терм1н "програмне забезпечення" охоплюе функц!ональн1 та слул5ов1 программ, засоби автомат1зац1i програмуван-ня, тестування, налагодження i т. 1. (див. мал. 1).
Оункщоналып программ, що реалдэують конкретн1 алгоритми взаемодп з об'ектами контролю чи 1х функцшнальн1 ocoCjmbocti , нази-ваюгь спец1алъним програмним забезпеченням (СШ).
Друга компонента ПЗ СК СО - виконавче середовише. до складу якого входять операщйна система та система контролю ЕОМ та зовшшних абонент1в. До складу ¡нсгрумэнгалького середоЕища входять засоби авто-матизоЕаного проектування програмних та ¡нформацгйних систем (CASE).
Об'ектом досл1джэння вибрано СПЕЦ1АЛБНЕ ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ СИСТЕМ КОНТРОЛЮ. Загальна задача досл1Д»йння - створити засоби' пол!пшення показник1в якостi СПЗ, як1 можуть бути включенi до складу !нструментального середовиша.
Введен! настутп позначекня. HaSip можливих локазнитв hkocti СПЗ будемо називати базою показншйв якостi (БПЯ). К1льк1сну величину, яка характер!зуе р!вень показника будемо називати значениям показника якост! (Р) СПЗ, На початков1й фаз1 складання техшчного звдання Замов-нкк визначае потр!бний р!вень якост! СПЗ набором баяаних показнимв якостi (Р^)- Шсля уточнения вимог до якост1 СПЗ з виконавцем маемо наб1р заданих показник1в якост1 (Pj). Шд СПЗ заданого р!вня якост! будемо розум!ти СПЗ, вс! фактичн! значения показниав hkocti якого ма-
вть р1вень не нижче бажаяого ( Pcp¿ ¿ Pj^- \/¿ ¿ = ¿~pj i« m - KiíbiticTb показник1в в БШ). c ? J ' . J
де
m сксо |
r
| Виконавче
I середовищэ
1-1-
t_
i г
СШ
г
|1нструментальне| | середовшце |
Операц1йна| • система |
I
| Система |
(контролю |
|ЕОМ та |
|эовн1шних |
|абонент!в |
|Засоби ав-| | Засоби |
¡томатизова] |пол1пшення) |ного проекГ |показник!в|
¡тування | |якост! |
(систем | | СПЗ |
i
i i
мал. 1. фукц!ональна схема Ш систем контролю СО.
Процес управления яке стю ИВ вдалося подати у виг ляд i двор!вне-во'1 моде л i (див. мал. 2).
На малюнку 2 прийняИ наступи i позначення: Rc- центральний орган керування якёстю (орган керування якестю на протяз! всього етапу роз-робки СПЗ);Ц, ,Dn ,Dk .D^-органи керування першого píbhh (органи керування як1стю СПЗ на р!зних стад1ях етапу розробки СПЗ); 1Ч,,I , -ви-конавч! органи забезпечення як!'стю на р!зноман1тних стад!ях етапу розробки СПЗ;1^ , F, ,FJí -об'екти управления (СПЗ у резних формах свого 1снуваиня);Р^ - тотна баданих значеяъ покаэникев hkoctí; JJ - Шохина эаданих значень показник1в hkoctí; множила заданих значень по ¡саз-ник!в якост! , ПК СПЗ; - множила прогнозуемкх значень показник1в • якост!;^,- множила фактичних значень показник1в якост1;£¿^t L - множина рекомендаций по забеэпеченню hkíctio центрального органа управлшня;^7* , Тое^ £ 7~¿ множила запит1в локальних орган1в
центральному органу для передач! управлпшя яокальним органам б!льш paHHix стад!й; [^J^^^jst яе, R- мномша рекомондац!й_по__ эабеэпеченни- яке стю на резнях стадеях розробки ¿J,?, ¿/х,
U де.и- мкокша вплив1в виконавчих орган1в на сб'ект управл1ння
Z- $
з метою п!двишэння р1вня його ЯКОСТ1; £Ра Рпу Рк } £ Р;
де,Р -тошна вишряних значень показник1в якост! на р!зних стад1ях
розробки СПЗ; • 2 - лроцес розвитку СПЗ; 2/7,2«.? & 2
де. 2 - мнолина оптим!зац! йних задач, вирщуемих органами управления
на р!эних стад!ях розвитку СПЗ.
В*-
лс г
I -
I
Ч
I—1—1
I I
о.
Чи
П гз г
2/7
4 2
2-к *рп
К/т»
I 1/7 I
«а I
- - -Л21
в„1
I——I
I I* I
их I
"Лс
г-^ I 1лг I
£ 1
г
Г*
Н - -Н ^
ос-
юл. 2 Модель орган!эацП лроцесу розробки яюсного СПЗ.
Для досягнеяня бажаного р1вня якост! необх!дно епостер^гати за розвитком СПЗ на ес!х стадиях розробки. Для проведения спотер!гання потр!бн! виконавч! органи (I) , якл в означених точках повикн1 прова-дити зам!р р!вня якостьСПЗ га органи керування (В), як1 повинн1 про-вадиги анал!3 параметра якостI та у випадку р.кявлення в/дхилення вн-даваги рекомендацП виконавчин органам, шрдо IX усування. Коорди-нащйний орган (0о) призначений для оргаьпзацп зворотн1х эв'язклв.
Наведемо формализований опиа пронес1Е розроСю: ягЛского СП?, на р!эяих стадиях розробки (див.табл. Л.
б"
Метою управлшня яюстю на стадП анализу е використання перет-ворення (1). Ф1зичне розум1ння перетворення: виконати погоджування ба-жаних показник1в якость Для цього на стади анал!зу необх1дно вир!шу-вати задачу za: ОПТИМАЛЬНОГО ДОБОРУ ВАЖАНИХ ЗНАЧЕНЬ П0КАЭНИК1В ЯК0СТ1
спа
Таблиця 1
CT АД IЯ ДОРМАЛ1 ЗОВАНИЯ ОПИС i
АНАЛ13 Q*.(*a):Fe (Air)-**-F*, fö) (i) 1
ПРОЕКТУВАННЯ ¿>п Un): Fn (Ж) ~> Fn (2) |
КОМПЛЕКСУВАННЯ Лн (*■«) : FH F« (Prr) (3) |
ДОСЛIДНА ЕКСПЛУАТАЦ1Я (4) | .. ......... . i
Мета управл1ння яшстю на стадп проектування - виконати перетворення (2). Ф1зичне розушння: означити заданi значения вс!х ПК СПЗ. Для цього на стадП проектування необх^дно вир1шувати задачу 2 : К1ЛЬК1СН0Г0 Р03П0Д1ЛУ ЗНАЧЕНЬ ВАЖАНИХ П0КАЗНИК1В ЯК0СТ1 СПЗ ГО ПРОГ-РАШИХ КОМПОНЕНТАХ
Мета управл!ння як^стю на стадИ комплексування - виконати перетворення (3). Ф1зичне розум!ння: необх!дно забезпечити р1вень прогнозу-емих показник!в якост! СПЗ не нижче заданого. Для цього на етат комплексування необх1дно вир!шувати задачу z : ВИБОРУ РЕКОМЕНДАЦШ П0Л1ПШШЯ П0КАЗНИК1В ЯКОСТ1 СПЗ.
Мета управл!ння яюстга на стади дослано! експлуатацп - виконати перетворення (4). ЯНзичне розумшня: довести, що досягнений р1вень якост! не нижче заданого.
Виконан! формализован! постановки задач, HKi необх!дно виршуЕати в процесс управл1ння як!стю СПЗ.
Задача z . Виршуегься на стадп анал!зу з викорисганням методов штематичного програмування.
Необх1дно знайти значения покаэниюв якост1 Pv (г= 1,2. ..ш) та кошти на забезпечення якост! С, HKi забезпечують м!н!мальн1 значения ц!льово1 функцп (5)
та задовольняоть обмеженням (6)
c±(Co-cs)
(6)
де, С - копии на забезпечення якост1;
К0 - коеф!ц1ент окупност!;
С0 - загальш кошти на роэробку СПЭ;
Cf - базов! кошти;
сучасн! витрати на утримання СПЗ у зв'язку з низьким р1внем г-го показника якост i.
Ф1зичне розум1ння обиежть.
Перше обмеження : кошт!в повинно бути достатньо для забезпечення заданого р!вня якост i.
Друге обмеження: коштiв на забезпечення якосТ1 не моде бути больше Hix вид1лено Замовником.
Трете обмеження: бажаний р1вень якост! повинен бути забезпечений.
Задача z^ . Вир1шуеться на стадп проекггування.
Був розглянутий де-який вузол СПЗ, який складаеться з к ПК (див. ыал.3).
Запропонована формула розрахунку заданих значень показник!в якост i ПК в узла (7).
вузол СПЗ
1
2
к
мал. 3 Вузол СПЗ.
р3 - ___(7)
■w /гу . .
де j-l,k, к- к1льк1сть ПК у вузл1;
1=Г7ш, m- к1льк!сть показник1в якост! у ЕГО ПСПЗ;
Pi¿ . - задан1 значения 1-го показника j-ï ПК вузла;
к/. - коеф!Щент структур« j-ï ПК вузла;
Kv¿ . - коефщ1ент валливост! 1-го показника hkoctí j-ï ПК;
Pj . - заданi значения 1-го показника hkoctí вузла.
Запропонован! формули розрахунк1в коеф1ц1ент1в структури, валли-bocti та цишпчност1 (в1дпов1дно 8,9 та 10).
Kv. . = K¿' *- <8)
v Ikí.
fa V де к- к1льк1сть ПК у вузлЬ £
л J_SJ/P . Л-
ч- _ с«
_ ^ЪР ' 2-Sjo pit '
Р
■ с foil С.
К ■ - ^
V ~ д. Д--
Cj.r>
(10)
2/7v,
aw
де,р- к1льк1сть цикл!в вузла;
С- матриця цикл1чност1; 1- к!льк1сть ланцшк1в алгоритма вузла;-S- матриця структури вузла; В- К1ЛЬК1СТЬ умов.
i^-lftf
9
Задача г : виб1р рекомендаций забезпечвння якость
Я7 /
(И)
де, К^ - коеф!ц1енг нормування 3-1 рекомендацаI;
Р^' - перетвореке задане значения 1-го показника якост!;
' Функцхя приналежносг:, яка характеризуе потенфйну виг1дн1стьлвикористання 3-1 рекомендащ1 для 1-го показника якост!;
де/?^ - порогове значения функцп приналежност ]//у ■ ■ Ф1зичний зм!ст виразу (13) метиться у тому,, що з ус1е'1 множини рекомендаций необххдно вибрати Т1, "приоритет" яких вшце якогось порогового значения.
Представлен! структура та алгоритми функц!онування ПК системи створюванни як1сних програм контролю. Була розроблена шва запису алгоритм! в контролю (ЮАК).
Основними операщями контролю СЮ е видача стимул!в,на об'ект контроля 1 контроль значень КП, колена з яких може бути розбита на калька фаз :
п!дготувати до видач1 стимул!в (контролю КП) об'ект контролю; запустити стимули (процес контролю КП); прийняти КП;
спилити процес видачи стимул!в (контролю КП); завершити (скинути) процес видачи стимул!в (контролю КП).
Шрад з операциями видач! стимул1в (вим^рювання КП) в процес! контролю СФО необх^дно викоиувати так! допом1жн1 дп: вим1р часових ¡нтервал^в, затримку процесу контролю, воображения на термшал! поточного стану параметр!в контроля, заборона видач! визначених стимула (контроля КП), документування ходу процеса контроля ! т. !.
Покаж?мо реал1эгац!п СШ засоСамн МЗАК.
ш - юлькхсть показник!в якост! в БПН ПСПЗ. Значения РГ. пов'язан! з величинами Р.". сп!вв1дношенням
-> У
НАЧ ИЗМЕРЕНИЕ; ОБВ ( А ) ЦЕЛ; А-1;
Щ ГОКА А<100;
С5. А; КМГ Выдача стимула 5-й группы с номером А;
КО. A[R]»<10;Klfr Прием КП О-й группы с номером А;
КМТ Измеренное значение КП сравнивается с; КМГ эталонным значением равним 10.; ЕСЛИ PS=1 ТО ERROR(A);
КЦ;
НАЧ ППГ ERROR(A);
_КМГ Подпрограма обработки неисправностей; PS=0; НЦ 3;
Ю. АС Ю-<10;
КЦ;
ЕСЛИ PS-1 ТО
Щ;
ШВ "Фатальная ошибка в параметре Ю. ",А; ДЛГ;
КЦ;
КЦ; КМТ Конец подпрограммы обработки неисправностей; КНЦ;
В поданому фрагмент! розглянута типова ситуац!я,пр зустр!чайться в процес! контроля функц!опального обладнання. На об'ект подаоться сто стшулгв п'ято! групи та перев1ряються сто КП нульово'! грули. Якар хоч би одне з втпряних эначень КП не Суде меньше десяти (гобто зареаерво-вана змшна ."Признак в1дпов!днс',т!" PS буде встановлений в одшгаця), то виконуеться передача управл1ння на п1дпрограму сбробки несправ-ностей. В Н1й виконуеться трикратне вим!рювання КП, в якому вхдбувся зб!й !, яквр помилка повториться знову, на екран оператору видаеться шв!домлення про помилку i програма переходить в спещалышй реким "Диалог", де оператору надаеться мохшв^сть знайти причину збоя (нев!дпов1дност1).
Експериментально досл!дкен1 залежиост1 впливу використаиня засоб!в на ргвень якост! програм контролю id.
Мета екперииенту - виявити доц1льн1сть використання ззсоб!в для pi3Hiix категор1й користувач1в.
Для екперимеитального п!дтвердження ефективност! методики в рам-
ках подано! роботи провадивсн наступний експеримент. Чатири групи приграшспв р1эно1 категорп виконувади контрольне завдання по проек-туванню СШ контролю 00 (див. табл. 2).
Таблица 2
N программста
категор!я
група програм1сг1в 1 трупа програм!ст1в 2 група програшст!в 3 група програшст1в 4
1 категор1я
2 категорЫ
3 кагегор]я
4 категория
Кожний а програм!ст1в проектував СШ у двох вариантах:
1) Без використання засоб1в гюлшшення показнюив якост! СШ;
2) 3 використанням засоб1в шшпшення показ ник ¡в якост1 СШ.
При проектувашп СПЗ по другому вар1анту базовими покаэниками якост! були обран! 4 показника (див. табл. 3).
Таблица 3.
-----!--.---,
ЮИАЗНИК
1 ЗАДАН1 ЗНАЧЕНИИ Ц )
1 1 В1 1 В2 | 1 |
1. ЧАСОВА ЕФЕКТИБШСТЬ 1 1 0.7 1 1-5 |
2. НАДШЮТЬ 1 1.5 1 0.7 |
.3. ЗРУЧН1СТБ В ЕКСПЛУАТАЦП 1 0.8 1 1.6 |
4. юда1куем1сть 1 1.6 | 0.8 |
Остаточш результати експерименту Таблица- 4.
ПОКАЗНИК 1 без викор. |э використ. 1 1 | з використ. 1
методики I методики 1 I методики 2 1
1. ЧАСОВА ЕФЕКТИВШСТЬ 1.0 1 I 0.74 ' 1 1 I 0.97 |
2. НАД1ЯНГСТЬ 1.0 I 3.08 1 1.1 1
3. ЗРУЧШСТЬ В ЕКСПЛУАТАЦП 1.0 | 1.29 1 1.15 |
4. модиФ1КУем1сть 1.0 I 1.26 I 1 1.61 | | 1
И
Узагальнення данних ЕКСПЕРИМЕНТАЛЬНОГО Д0СЛ1ДЖЕННН показало, нр впровадження запропонованих засоб1в niдвишуе 1нтегровану оц1нку якост1 СГО на 37 BlflcoiKiB, щр дозволяв ц1деспрямовано впливати на р!вн! дея-ких показник!в, I використовувати 1х для навчання програм1ст!в.
Р0Л0ВН1 НАУК0В1 РЕЗУЛЬТАТА:
1. На основ! анал1зу структура програмного забезпечення систем контролю показана доц!льн!сть включения до складу !нструмеиталыгого середовища ЗАСОВ IB ШЛ1ПШЕННЯ ГОКАЗНИК1В ЯКОСТ1 СПЗ, як1 побудован1 як розширення систем автоматизоЕаного проектування ГО (CASE).
2. Розроблено МОДЕЛЬ органisaui1 процесу розробки як!сного ГО на ,протяз1 всього життевого циклу, яка в!др!зняеться В1Д !снуючих введениям елемешчв (локалып та координуючий орган керування, виконавч! ор-гани), як! виконують функцП забезпечення необх1дного р1вня показнишв якостi СГО в процес! його розробки.
3. Сформульовано ЗАДАЧУ оптимального добору батаних значень по-казнюив якост!, з метою MiHiMisam'i сукулних витрат на розробку та супровадження СПЗ, яку вир!шено шляхом зведення до стандартно!' форми-задач! лШйного програмування ! роз'язано с!мплекс-методом.
4. Розроблено МЕТОД к!льк!сного розпод!лу значень бажаних показ-ник1в якост! СПЗ по програмних компонентах, з урахуванням вадливост!, ступеню охоплення цишпчними процедурами та навантаженсст! в процес! експлуатащ 'i програмних компонент СПЗ.
5. Розроблено МЕТОДИКУ вибору рекомендашй шШпшення показшпав якост! СГО на основi визначення сукупного впливу на р1вень показштов якост! СГО в!д_ використання рекомендацП.
, 6. Узагальнення данних ЕКСПЕРИМНГГАЛЬГОГО ДОСЛ1ДЖЕННЯ показало, пр Епровадження запропонованих засобев niдвишуе !нтегровану оц!нку якостi СПЗ на 37 BiflcoTKiB, ир дозволяв ц!яеепрямовано впливати на piBHi деягах показник1в, ! використовувати !х для навчання програ-
MiCTiB.
7. Розроблено ШВУ з апис у алгоритм!в контролю, для створення програм, яка реал1зуигь ocuoBHi операцП контролю функц!онального об-ладнання.
Вауков! та практичн! результат« дисертащйно! роботи широко апро-бова!п та Епровадлэн! у 4 науково-техн!чних рогробках.
ПУБЛ1КАЦП Л0 TEMI ДИСЕРТАЦП
1. Крилов 6.а, Савицький А.Л- ¡нструментальш засоби граничного проектування схем алгоритм!в.// У зб.: Bícthhk Мвського пол!техн!чного 1нституту. Техн!чна к!бернетика, вил 14., 1990р. стор БЕ-66.
2. Горбатенко А. I., Крилов е. Е, Савицький А. Я. 1нструментальн! засоби створення СПЗ контролю СФО.// У зб.: Bícthhk Кш'вського пол1техн!чного !нституту. Техн!чна к!бернетика, 1993р.
3. Крилов е. R, Савицький А. Я. Модель управл!ння як!стю СПЗ ситем управл!ння та контролю складними об'ектами.// У зб.: Bícthhk Ки!всько-го пол1техн!чного !нституту. Технична к!бернетика, 1993р.
4. Крилов е. В., Савицький А. Я. Управл1ння як1стю СПЗ систем управляя та контролю.// У зб.: В!стник Ки'!вського пол1твхн1чного !нституту. Техючна к!бернетика, вип 14. ,1993р.
5. Крилов 6. В., Савицький А. Я. Задача проектування як!сного прог-рамного вибору.// Актуальна проблеми в галуз! рад!оелектрон!ки, автоматики, обчисльовально! техн!ки, енергетики, машнобубування та про-мислових технолог!й: Тезиси допов!дей науково-техн!чно! конференц! i. -К. :КП1,1988.-с. 53.
6. Крилов е.В., Савицький А.Я. Задача проектування як1сного СПЗ СУ дискретного типу.//Молод! вчен! у вир!шенн! комплексно! програми HayKOBo-TexHi4Horo прогресу кра!н-член1в КЕЙ Тезиси допов!дей науко-во-техн!чно! конференц!!. К.: КП1,1989р. -с. 242-243.
7. Крилов S. Е , Савицький А. Я. Засоби створення та програмування задач контролю та управлшня складними об'ектами в середовищ! ДОС 1810 10С СЙ1 //Використання засоб!в ОТ, випускаемих КПО "Електронмаш", в pisHHX галуэях НГ. Тезиси допов^дей науково-техшчно! конференц!'!.
Аннотация
ФИО автора: Крылов Евгений Владимирович.
Тема диссертационной работы:" Методы и средства улучшения показателей качества специального программного обеспечения систем контроля сложных объектов".
Вид работы: рукопись.
Работа на соискание ученой степени кандидата технических наук. Специальности: 05.13.11. - Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей.
05.13.01.- Управление в технических системах.
/4
Защита состоится в Киевском политехническом институте корп. 18 ауд. 306, 19 сентября 1994г.
Основная цель работы - создание методов и средств улучшения показателей качества специального программного обеспечения (СШ) систем контроля. В результате - построена модель процесса организации разработки качественного СПО, формализована и решена задача оптимального выбора желаемых значений показателей качества СПО, разработан метод количественного распределения значений желаемых показателей качества СПО по программным компонентам (ПК), получена методика выбора рекомендаций по улучшении качества ПК СПО, разработан язык записи алгоритмов контроля. . •
Annotation
Author's пале: Krilov Yevgeny Vladimirovlch.
The theme of the dissertation work is: "Methods and facilities to improve quantitative indices of special software of complex objects' control systems".
The type of work: ¡nanuscrlpt.
The work is put forward for obtaining candidate's degree of technical science.
Specialities: 05.13.11 - Mathematical support and software of computers, complexes and networks.
05.13. 01 - Control in technical systems.
Defence of the dissertation work is to take place in September,19,1994 at the Kiev Polytechnical Institute, bid. 13,room 305.
The main task of this work is to create methods and facilities to improve quantitative indices of special software (SS) of control systems. The result is that the model of organisation of design process of SS quantitative indice is created, the task of optimum option of desired values of SS quantitative indices Is formalized and accomplished, the method of quantitative distibution of the values of desired SS quantitative indiced on program components (PC) is developed, the high-level language of control algorithms' record is designed.
Ключов! слова; яК1Сть, програмна система, контроль, нова.
IS
-
Похожие работы
- Разработка методов и средств обеспечения качества программ АСУП
- Разработка методов и средств комплексной оценки качества систем защиты программного обеспечения
- Математическое и алгоритмическое обеспечение сервисно-ориентированной среды поддержки управления качеством программных систем
- Разработка методического аппарата эффективной эксплуатации АСУ
- Научно-методические основы оценки уровня безопасности специального программного обеспечения
-
- Системный анализ, управление и обработка информации (по отраслям)
- Теория систем, теория автоматического регулирования и управления, системный анализ
- Элементы и устройства вычислительной техники и систем управления
- Автоматизация и управление технологическими процессами и производствами (по отраслям)
- Автоматизация технологических процессов и производств (в том числе по отраслям)
- Управление в биологических и медицинских системах (включая применения вычислительной техники)
- Управление в социальных и экономических системах
- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Системы автоматизации проектирования (по отраслям)
- Телекоммуникационные системы и компьютерные сети
- Системы обработки информации и управления
- Вычислительные машины и системы
- Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)
- Теоретические основы информатики
- Математическое моделирование, численные методы и комплексы программ
- Методы и системы защиты информации, информационная безопасность