конспект лекцій (ТСПП). Конспект лекцій з дисципліни 07 технологія створення програмних продуктів напряму 050101 Компютерні науки
Скачать 14.87 Mb.
|
13.8.Керівництво системного програміста.Документація по супроводу ПС (system documentation) описує ПС з точки зору її розробки. Ця документація потрібна, якщо ПС припускає вивчення того, як воно влаштована (сконструйована), і модернізацію його програм. Як вже відзначалося, супровід - це тривала розробка. Тому у разі потреби модернізації ПС до цієї роботи притягується спеціальна команда розробників-супровідників. Цій команді доведеться мати справу з такою ж документацією, яка визначала діяльність команди первинних (основних) розробників ПС, - з тією лише різницею, що ця документація для команди розробників-супровідників буде, як правило, чужий (вона створювалася іншою командою). Команда розробників-супровідників повинна буде вивчати цю документацію, щоб зрозуміти будову і процес розробки модернізованого ПС, і внести в цю документацію необхідні зміни, повторюючи значною мірою технологічні процеси, за допомогою яких створювалося первинне ПС. Документація по супроводу ПС можна розбити на дві групи: ((1) документація, що визначає будову програм і структур даних ПС і технологію їх розробки; ((2) документацію, що допомагає вносити зміни в ПС. Документація першої групи містить підсумкові документи кожного технологічного етапу розробки ПС. Вона включає наступні документи: Зовнішній опис ПС (Requirements document). Опис архітектури ПС (description of the system architecture), включаючи зовнішню специфікацію кожної її програми. Для кожної програми ПС - опис її модульної структури, включаючи зовнішню специфікацію кожного включеного в неї модуля. Для кожного модуля - його специфікація і опис його будови (design description). Тексти модулів на вибраній мові програмування (program source code listings). Документи встановлення достовірності ПС (validation documents), що описують, як встановлювалася достовірність кожної програми ПС і як інформація про встановлення достовірності зв'язувалася з вимогами до ПС. Документи встановлення достовірності ПС включають передусім документацію по тестуванню (схема тестування і опис комплекту тестів), але можуть включати і результати інших видів перевірки ПС, наприклад, докази властивостей програм. Документація другої групи містить Керівництво по супроводу ПС (system maintenance guide), який описує відомі проблеми разом з ПС, описує, які частини системи є аппаратно- і програмно-залежними, і як розвиток ПС врахований в його будові (конструкції). Загальна проблема супроводу ПС - забезпечити, щоб усі його представлення йшли в ногу (залишалися узгодженими), коли ПС змінюється. Щоб цьому допомогти, зв'язки і залежності між документами і їх частинами мають бути зафіксовані в базі даних управління конфігурацією. 13.9. Атестація програмних засобів.Призначення атестації програмного засобу. Випробування і оцінка якості програмного засобу. Види випробувань і методи оцінки якості програмного засобу. Призначення атестації програмного засобу. Атестація ПС - це авторитетне підтвердження якості ПС. Зазвичай для атестації ПС створюється показна (атестаційна) комісія з експертів, представників замовника і представників розробника. Ця комісія проводить випробування ПС з метою отримання необхідної інформації для оцінки його якості. Під випробуванням ПС ми розумітимемо процес проведення комплексу заходів, що досліджують придатність ПС для успішної його експлуатації (застосування і супроводи) відповідно до вимог замовника. Цей комплекс включає перевірку повноти і точності програмної документації, вивчення і обговорення інших її властивостей, а також необхідне тестування програм, що входять до складу ПС, і, зокрема, відповідності цих програм наявній документації. На основі інформації, отриманої під час випробувань ПС, передусім повинно бути встановлено, що ПС виконує функції, що декларують, а також повинно бути встановлено, в якій мірі ПС має примітиви, що декларують, і критерії якості. Таким чином, оцінка якості ПС є основним змістом процесу атестації. Вироблена оцінка якості ПС фіксується у відповідному рішенні атестаційної комісії. Види випробувань програмного засобу. Відомі наступні види випробувань ПС, що проводяться з метою атестації ПС :
Випробування компонент ПС - це перевірка (тестування) працездатності окремих підсистем ПС. Проводяться тільки у виняткових випадках по спеціальному рішенню атестаційної комісії. Системні випробування ПС - це перевірка (тестування) працездатності ПС в цілому. Може включати ті ж види тестування, що і при комплексній відладці ПС. Проводиться за рішенням атестаційної комісії, якщо виникають сумніву як проведення відладки розробниками ПС. Приймально-здавальні випробування є основним видом випробувань при атестації ПС. Саме з цих випробувань починає роботу атестаційна комісія. Ці випробування починаються з вивчення представленої документації, у тому числі, і документація по тестуванню і відладці ПС. Якщо в документації відсутні досить повні результати тестування ПС, атестаційна комісія може прийняти рішення про проведення системних випробувань ПС або про припинення процесу атестації з рекомендацією розробникові провести додаткове (повніше) тестування ПС. Крім того, під час цих випробувань можуть вибірково пропускатися тести розробників, а також контрольні завдання користувачів і додаткові тести, підготовлені комісією для оцінки якості ПС, що атестовується. Польові випробування ПС - це демонстрація ПС разом з технічною системою, якою управляє ця ПС, вузькому кругу замовників в реальних умовах і здійснюється ретельне спостереження за поведінкою ПС. Замовникам має бути надана можливість завдання власних контрольних прикладів, зокрема, з виходів в критичні режими роботи технічної системи, а також з викликом в ній аварійних ситуацій. Це додаткові випробування, що проводяться за рішенням атестаційної комісії тільки для деяких ПС, керівників певними технічними системами. Промислові випробування ПС - це процес передачі ПС в постійну експлуатацію користувачам. Є період дослідної експлуатації ПС користувачами із збором інформації про особливості поведінки ПС і її експлуатаційних характеристиках. Це завершуючі випробування ПС, які проводяться за рішенням атестаційної комісії, якщо на попередніх випробуваннях отримана недостатньо повна або надійна інформація для оцінки якості ПС, що атестовується. Методи оцінки якості програмного засобу. Оцінка якості ПС по кожному з критеріїв зводиться до оцінки кожного з примітивів, пов'язаних з цим критерієм якості ПС, відповідно до їх конкретизації, виробленої в специфікації якості цього ПС. Методи оцінки примітивів якості ПС можна розділити на чотири групи:
Безпосередній вимір показників примітиву якості виробляється шляхом підрахунку числа входжень в той або інший програмний документ характерних одиниць, об'єктів, конструкцій і тому подібне, а також шляхом виміру часу роботи різних пристроїв і об'єму зайнятої пам'яті ЕОМ при виконанні контрольних прикладів. Наприклад, деяким показником ефективності по пам'яті може бути число рядків програми на мові програмування, а деяким показником ефективності за часом може бути час відповіді на запит. Використання яких-небудь показників для примітивів якості може визначатися в специфікації якості ПС. Метод безпосереднього виміру показників примітиву якості може поєднуватися з використанням тестування програм. Для встановлення наявності у ПС деяких примітивів якості можуть використовуватися певні програмні інструментальні засоби. Такі програмні інструменти обробляють тексти програм або програмної документації з метою контролю яких-небудь примітивів якості або отримання деяких показників цих примітивів якості. Для оцінки структурованості програм ПС, якщо вони програмувалися на відповідному структурному діалекті базової мови програмування, досить було б їх пропустити через конвертер структурованих програм, здійснюючий синтаксичний і деякий семантичний контроль цього діалекту і що перекладає тексти цих програм на вхідну мову базового транслятора. Проте таким шляхом нині вдається контролювати лише невелике число примітивів якості, да і то в окремих випадках. У ряді випадків замість програмних інструментів, контролюючих якість ПС, корисно застосовувати інструменти, що здійснюють перетворення представлення програм або програмної документації. Таким, наприклад, являється форматер програм, що приводить тексти програм до легкого для читання виду, - обробка текстів програм ПС таким інструментом може автоматично забезпечити наявність відповідного примітиву якості у ПС. Для оцінки деяких примітивів якості ПС використовується тестування. До таких примітивів відноситься передусім завершеність ПС, а також його точність, стійкість, захищеність і інші примітиви якості. У ряді випадків для оцінки окремих примітивів якості ПС тестування застосовується у поєднанні з іншими методами. Так для оцінки якості документації по застосуванню ПС (П-документированности) тестування застосовується у поєднанні з експертною оцінкою цієї документації. Якщо при комплексній відладці ПС було проведене досить повне тестування, то ці ж тести можуть бути використані і при атестації ПС. В цьому випадку атестаційна комісія може скористатися протоколами тестування, проведеного при комплексної відладки. Проте і в цьому випадку необхідно виконати які-небудь нові тести або хоч би повторно деякі старі. Якщо ж тестування при комплексній відладці буде визнано недостатньо повним, то необхідно провести повніше тестування. В цьому випадку може бути прийняте рішення про проведення випробувань компонент або системних випробувань ПС, а також про повернення ПС розробникам на доопрацювання. Дуже важливо, щоб для оцінки ПС за критерієм легкості застосування було проведено (під час відладки і атестації ПС) повне тестування по тестах, підготовлених на підставі документації по застосуванню, а за критерієм сопровождаемости - по тестах, підготовлених по кожному з документів, пропонованих для супроводу ПС. Для оцінки більшості примітивів якості ПС нині можна застосовувати тільки метод експертних оцінок. Цей метод полягає в наступному: призначається група експертів, кожен з цих експертів в результаті вивчення представленої документації складає свою думку про володіння ПС необхідним примітивом якості, а потім голосуванням членів цієї групи встановлюється оцінка необхідного примітиву якості ПС. Ця оцінка може вироблятися як по двохбальній системі ("володіє" - "не володіє"), так і враховувати міру володіння ПС цим примітивом якості (наприклад, вироблятися по п'ятибальній системі). При цьому група експертів повинна керуватися конкретизацією цього примітиву і вказівкою про спосіб його оцінки, сформульованими в специфікації якості ПС, що атестовується. Література
|