- •I. Вступ.
- •Загальні поняття.
- •Основні визначення.
- •II. Основна частина.
- •Філософія тестування
- •Інтеграція модулів.
- •Висхідне тестування.
- •Низхідне тестування.
- •Модифікований низхідний метод
- •Метод великого стрибка.
- •Метод сандвіча
- •Модифікований метод сандвіча.
- •Порівняльна характеристика методів тестування.
- •III. Випробування програмних продуктів (аналіз).
- •Мета і особливості випробуванні.
- •Технологічна схема випробування.
- •Планерування і оцінка завершеності випробувань.
- •Стенди відладки і випробування програм.
- •IV. Сертифікація програмних продуктів.
- •Стандартизація систем якості.
- •Класифікація показників якості
- •Вибір номенклатури показників якості
- •Групи показників якості
- •Список використаної літератури:
- •Майерс. Мистецтво тестування програмного забезпечення.
- •Майерс. Надійність програмного забезпечення.
- •Кулаків. Управління якістю програмного забезпечення.
Стенди відладки і випробування програм.
Ідея імітаційного моделювання покладена в основу создания комплексних імітаційно-моделюючих випробувальних стендів, використовуваних для відладки і випробування складних систем управління в реальному масштабі часу.
Комплексний імітаційно-моделюючий випробувальний стенд (КИМІС) є сукупністю засобів испытываемой системи і їх моделей, моделями зовнішнього середовища і программ обробки результатів моделювання, функціонально об'єднаних на основі випробовуваного програмного комплекса. Комплексні імітаційно-моделюючі испытательные стенди використовуються при полігонних випробуваннях складних систем.
Загальна ідея створення КИМІС заснована на тому, що для испытания (дослідження) ПС, реалізованого безпосередньо на ЕОМ, що управляє, необхідно моделювати управляемый процес і імітувати вступ в ЕОМ інформації про цей процес. Випробовуване ПС байдуже до непосредственным джерел інформації. Поважно лише, аби вся информация була розподілена по реальних фізичних каналах ЕОМ і тимчасових тактових інтервалах, а також відповідала заданному (очікуваному) діапазону умов зовнішнього середовища. Сопряженіє моделей з реальними засобами системи необхідно для оцінки результатів моделювання шляхом їх порівняння з реальними даними. Використання у складі КИМІС непосредственно самого ПС, а не його моделі, дозволяє отримати достовірніші результати при моделюванні і уникнути великих додаткових трудовитрат на розробку моделі ПС.
Для створення КИМІС, окрім основної ЕОМ, на якій реалізується випробовуване ПС, використовують ЕОМ приблизно такой же продуктивності для реалізації комплексу моделей відповідного призначення. Першу ЕОМ (ВС) зазвичай называют технологічною, вторую—инструментальной. Інструментальная ЕОМ і програмне забезпечення утворюють КИМІС. Такие КИМІС є кросовою системою (КРОСС-КИМІС). Модельовані (імітовані) на інструментальній ЕОМ данные передаються в технологічну ЕОМ, де і обробляються як реальні дані. Програмне забезпечення КИМІС може бути реалізоване і на технологічній ЕОМ (РЕЗІДЕНТ-КИМІС). Але такий варіант використовується порівняно рідко із-за дефицита пам'яті і продуктивності в технологічних (управляющих) ЕОМ.
Автоматизований технологічний комплекс (АТК) состоит з елементів наступних типів: керований технологический агрегат (УТА), автоматизована система управління технологічним процесом (АСОВІ ТП), датчики інформації (ДІ) про стан керованого процесу. На вхід АТК поступает об'єкт обробки (00), на выход—результат обробки (РО). Якщо припинити доступ інформації в ЕОМ від реальних фізичних об'єктів АТК, а замість неї вводити адекватну ин формацію, імітовану по КИМІС на інструментальній ЕОМ, то процес функціонування ПО АСОВІ ТП будет адекватний реальному. Оператор УТА в принципі може брати участь в обох режимах.
Програмне забезпечення КИМІС в загальному випадку складається з наступних підсистем: моделювання, аналізу результатів випробування, реєстрації подій (документування), планирования і управління і бази даних (мал. 20). До складу підсистеми моделювання входять: модель заявок на обробку (МЗ), модель об'єкту обробки (МОО); моделі датчиків інформації (МДІ); імітатор перешкод (ІП); модель керованого технологічного агрегату (МТА).
Модель заявок імітує потік заявок на обробку (например, потік слябів) виходячи з планових і виробничих міркувань
Відповідно до заданого пріоритету або случайным чину вибирається 00, що приймається на обслуговування, з сукупності 00, імітованою МЗ, і його характеристики. Моделі датчиків інформації є інформаційними моделями конкретних типів датчиків інформації, використовуваних в системе управління АТК. Вони імітують видачу поточних координат що характеризують стан технологічного процесу. Модель керованого технологічного агрегату (наприклад, прокатного стану) імітує керований технологічний процес (например, плющення стали) з видачею відповідній інформації про цей процес. Імітатор перешкод відповідно до заданих імовірнісних характеристик імітує дію случайных чинників на елементи модельованої системи і управляемый процес. При цьому використовується датчик випадкових чисел, що дозволяє реалізувати процедуру «розиграш».
Таким чином, підсистема моделювання, імітуючи технологический процес в керованому агрегаті, забезпечує воспроизведение потоку вхідної інформації в ЕОМ, що управляє, адекватного цьому потоку в реальних умовах експлуатації АТК.
Імітований потік вхідної інформації подається' на вхід випробовуваного ПО АСОВІ і ініціює його функціонування, результатом якого є потік вихідної (що управляє) інформації, що видається на УТА або його модель. Утворюється замкнутий контур управління, адекватний контуру управління в реальному ДТК.
Основними компонентами підсистеми аналізу результатів випробувань є: програма вибірки результатів преобразования вхідних даних, програми формування еталонних значень для аналізу правильності результатів, програма порівняння фактичних результатів з еталонними і оцінки їх прийнятності (правильності).
Підсистема реєстрації подій забезпечує документирование ходу випробувань і реєстрацію всіх тих характеристик, які можуть бути корисні як для визначення значень показателей якості випробовуваного ПС, так і для оцінки эффективности і стани самого процесу випробувань.
Підсистема планерування і управління на основі аналізу стану випробувань, отриманих результатів, перевірених путей граф-схеми випробовуваного ПС і завдань, що поступають, від програмістів-випробувачів здійснює планерування экспериментов і підготовку відповідних вихідних даних для підсистеми моделювання. На цю ж підсистему покладається координація дій (ініціалізація) всіх елементів КИМІС.
Достоїнства КИМІС очевидні. Його використання дозволяє здійснювати комплексну стиковку об'єктів випробовуваної системи і перевірку принципів управління задовго до створення всіх елементів системи (елемент системи, розробка якого не завершена, замінюється моделлю). Вживання моделювання дозволяє різноманітити умови випробування і заощадити материальные ресурси. Комплексні випробувальні моделюючі стенди можна використовувати не лише для випробування програм, але і для відробітку взаємодії всіх елементів системи.
Сполучення реальних засобів випробовуваної системи з їх моделями дозволяє різноманітити умови випробування і провести напівнатурні експерименти. Можна, наприклад, перевірити роботу технологічного агрегату, що автоматизується, моделюючи поведінку об'єкту обробки або, навпаки, промоделировать роботу технологічного агрегату при роботі з реальним объектом обробки. Такі варіації дозволяють, з одного боку, проверять адекватність моделей своїм оригіналам і тим самим
переконуватися в достовірності результатів статистичних испытаний, а, з іншого боку, використовувати КИМІС на найраніших етапах розробки дослідного зразка ПС для вибору і апробації найкращих проектних рішень.
