Діаграми послідовностей дій (Sequence diagram)

Взаємодія об'єктів в системі відбувається за допомогою прийому і передачі повідомлень об'єктами-клієнтами і обробки цих повідомлень об'єктами-серверами. При цьому в різних ситуаціях одні і ті ж об'єкти можуть виступати і як клієнти, і як сервери.

Даний тип діаграм дозволяє відобразити послідовність передачі повідомлень між об'єктами.

Цей тип діаграми не акцентує увагу на конкретній взаємодії, головний акцент приділяється послідовності прийому/передачі повідомлень. Для того, щоб охопити всі взаємозв'язки об'єктів, використовуються Collaboration diagram.

Діаграми співпраці (Collaboration diagram)

Цей тип діаграм дозволяє описати взаємодії об'єктів, абстрагуючись від послідовності передачі повідомлень. На цьому типі діаграм в компактному вигляді відображаються всі повідомлення конкретного об'єкту, що приймаються і передаються, і типи цих повідомлень.

Унаслідок того, що діаграми Sequence і Collaboration є різними поглядами на одні і ті ж процеси, Rational Rose дозволяє створювати з Sequence діаграми діаграму Collaboration і навпаки, а також проводить автоматичну синхронізацію цих діаграм.

Діаграми класів (Class diagram)

Цей тип діаграм дозволяє створювати логічне представлення системи, на основі якого створюється початковий код описаних класів.

Значки діаграми дозволяють відображати складну ієрархію систем, взаємозв'язки класів (Classes) і інтерфейсів (Interfaces). Даний тип діаграм протилежний за змістом діаграмі Collaboration, на якому відображаються об'єкти системи. Rational Rose дозволяє створювати класи за допомогою даного типу діаграм в різних нотаціях. Таким чином, звертаючись до класиків, Г.Буч намагається показати, що клас - це лише шаблон, по якому надалі буде створений конкретний об'єкт.

Нотація OMT, на мій погляд, строгіша.

І звичайно ж, Rational Rose дозволяє створювати діаграму класів в уніфікованій нотації.

Діаграми компонентів (Component diagram)

Цей тип діаграм призначений для розподілу класів і об'єктів по компонентах при фізичному проектуванні системи. Часто даний тип діаграм називають діаграмами модулів.

При проектуванні великих систем може опинитися, що система повинна бути розкладена на декілька сотень або навіть тисяч компонентів, і цей тип діаграм дозволяє не загубитися у великій кількості модулів і їх зв'язків.

Структура звіту з лабораторної роботи № 4

1. Титульна сторінка (див. Додаток А)

2. Тема, мета, завдання.

3. Копії екранів з результатами виконання завдання.

4. Висновок.

Основні запитання

1. Що таке моделі даних?

2. Нотації в моделях даних за допомогою UML та нотації Чена.

3. Нотації в об'єктних моделях за допомогою UML.

4. Опишіть прецендент з моделі прецендентів.

Лабораторна робота № 5

Тема:Дослідження середовищ тестування ПЗ.

Мета: Дослідження можливостей стандартних засобів тестування ПЗ.

Завдання

1. Написати програму відповідно до варіанту.

2. Дослідити процес компіляції програми в середовищі тестування AutomatedQA TestComplete7.50.Ent.

Варіанти завдання 1 до лабораторної роботи № 5

1. Дано натуральне число. Визначити:

     а) чи є воно парним;

    б) чи закінчується на 7.

2. Дано двозначне число. Визначити:

    а) яка з його цифр більша: перша чи друга;

    б) чи однакові його цифри.

3. Дано двозначне число. Визначити, чи дорівнює квадрат цього числа,збільшений у 4 рази, сумі кубів його цифр.

4. Дане двозначне число.Визначити:

    а) чи є сума його цифр двузначним числом;

    б) чи більша сума його цифр від числа а.

5. Дано трьохзначне число. Визначити,яка з його цифр більша:

    а) перша чи третя;

    б) друга чи третя;

    в) перша чи друга.

6. Дано трьохзначне число. Визначити, чи дорівнює квадрат числа сумі кубів його цифр.

7. Дано трьохзначне число. Визначити:

    а) чи є сума його цифр двузначним числом;

    б) чи є добуток його цифр трьхзначним числом.

8. Дано трьохзначне число. Визначити:

    а) чи більший добуток його цифр за число а;

    б) чи ділиться сума його цифр на 5.

9. Дано натуральне число. Визначити:

    а) чи закінчується воно парною цифрою;

    б) чи закінчується воно непарною цифрою.

10. Перевірити,чи належить число,введене з клавіатури,інтервалу [-5;3] і знайти суму цифр цього числа.

11. Дано три числа a, b, i c. Перевірити:

    а) чи виконується нерівність a < b < c;

    б) чи виконується нерівність b > a > c.

12. Дано трьохзначне число. Визначити:

    а) чи належить йому цифра 4;

    б) чи належить йому цифра а.

13. Дано двозначне число. Знайти:

а) число десятків у ньому;

б) суму його цифр.

14. Дано двозначне число. Знайти:

а) число, утворене при перестановці цифр заданого числа;

б) число одиниць у ньому;

15. Дано тризначне число. Знайти:

а) число, отримане при прочитанні його цифр справа наліво;

б) суму його цифр.

16. Дано тризначне число.

а) знайти число одиниць в ньому;

б) у ньому закреслили першу зліва цифру і приписали її в кінці, знайти отримане число.

17. Дано тризначне число.

а) знайти добуток його цифр;

б) у ньому закреслили останню справа цифру і приписали її на початку; знайти отримане число.

18. Дано тризначне число. Знайти:

а) число десятків у ньому;

б) число, отримане при перестановці першої і другої цифр заданого числа.

19. Дано тризначне число. Знайти:

а) суму його першої та другої цифр;

б) число, отримане при перестановці другої і третьої цифр заданого числа.

20. Дано тризначне число, в якому всі цифри різні. Отримати п’ять чисел, утворених при перестановці цифр заданого числа.

21. Дано чотиризначне число. Знайти:

а) суму його цифр;

б) число десятків в ньому.

22. Дано чотиризначне число. Знайти:

а) число, отримане при прочитанні його цифр справа наліво;

б) число, що утворюється при перестановці першої і другої, третьої і четвертої цифр заданого числа.

23. Дано чотиризначне число. Знайти:

а) число, що утворюється при перестановці другої і третьої цифр заданого числа;

б) число, що утворюється при перестановці два перших і двох останніх цифр заданого числа. Наприклад, з числа 4566 отримати 6645, з числа 7304 — 473.

24. З тризначного числа х відняли його останню цифру. Коли результат розділили на 10, а зліва приписали останню цифру числа х, то вийшло число 237. Знайти число х і суму його цифр.

25. У тризначному числі х закреслили його другу цифру. Коли до утвореного при цьому двозначного числа зліва приписали другу цифру числа х, то вийшло число 546. Знайти число х і суму його цифр.

26. Дано двозначне число. Визначити:

    а) чи є сума його цифр двузначним числом;

    б) чи більша сума його цифр від числа a.

27. Дано тризначне число. Визначити:

    а) чи ділиться добуток його цифр на 3;

    б) чи є сума його цифр тризначним числом.

28. Дано двозначне число. Визначити:

    а) чи більша сума його цифр від числа а;

    б) чи є сума його цифр двузначним числом.

29. Дано двозначне число. Визначити:

    а) яка з його цифр більша;

    б) число десятків.

30. Перевірити,чи належить число,введене з клавіатури,інтервалу [-4;2] і знайти суму цифр цього числа.

31. Дано двозначне число. Визначити:

    а) чи є добуток його цифр двузначним числом;

    б) чи більша сума його цифр від числа 30.

32. Дано тризначне число. Перевірити:

    а) чи є в ньому цифра 5;

    б) чи закінчуеться воно парною цифрою.

Теоретичні відомості

Програми набувають високої якості не стільки в результаті комплексного тестування кінцевого продукту, скільки в процесі його розроблення. Якщо в методології створення ПЗ закладено «відловлю-вання» помилок на всіх стадіях виконання проекту, то проект буде практично безпомилковим. Корпора­ція IBM пропонує методологію створення складних програмних систем, яка має назву Сlеаnrооm Soft­ware Engineering [1]. Вона дозволяє колективам розробників планувати, вимірювати, специфікувати, проектувати, кодувати, тестувати та сертифікувати програмні продукти. Інструментом автоматизовано­го тестування та оцінки надійності ПЗ в методології Сlеаnrооm є середовище Сlеаnrооm Certification As­sistant, яке використовує статистичні результати тестування для підрахунку метрик надійності ПЗ математичними методами.

На ринку існує багато продуктів, які дозволя­ють автоматизувати процес верифікації: Logiscope, TesteCenter. Purify, IBM Rational Software Group, Hindsight. EzCover.

Пакет Logiscope - це набір програм (Test-Checker. RuleChecker. Audit), які проводять всебічне тестування створюваного ПЗ і покращують його якість. В основі продукту лежить ідея аналізу вихідного коду. Остання ного версія здатна оброб­ляти тексти програм, написані більш ніж на 80 мо­вах програмування. Пакет Logiscope [1] призначе­ний для якісної оцінки кодів та пошуку місць, де поява помилок найбільш ймовірна. Після аналізу коду Logiscope формує масу різноманітної метрич­ної інформації у вигляді кількісних показників (бі­льше 200 тішів метрик) про код. його позитивні та негативні сторони, генерує повний звіт, oо дозволяє робити висновки про якість коду.

Спеціально для професійних програмістів мо­вами С і C++ призначена програма TestCenter компанії CenterLine. Із статистичних даних відомо, шо при звичайному тестуванні перевіряється лише 40-50% загального коду програм. Пакет TestCenter організовує глобальне тестування ПЗ та інтегрує тестування в процес розробки.

Компанія Pure Software, провідний виробник автоматизованих інструментальних засобів створен­ня якісного ПЗ. пропонує розробникам систему Pu­rify, яка дозволяє виявляти різноманітні помилки програм, включаючи помилки виконання (runtime errors) та витоку пам'яті, дозволяє детально контролювати доступ до пам'яті і виявляти такі помилки, як використання неініціалізованих змінних, некоре­ктні операції malloc/free, виходи за межі масивів, невірна робота з вказівниками,. стекові помилки.

Пакет IBM Rational Software Group [2] пропо­нує наступні продукти тестування: IBM Rational Purify (відстежування помилок часу виконання, які важко виявляються - витік пам'яті, виходи за межі масивів): IBM Rational PureCoverage (вистежування код}' тестованого додатку, автоматизація процесу вимірювання метрик повноти тестування). IBM Ra­tional Quantify (аналіз продуктивності працюючого додатку). IBM Rational Robot (автоматизація запису та відтворення сценаріїв тестів, тестування функ-ційності та продуктивності системи). IBM Rational TestManager (планування тестів). IBM Rational Test-Factory (автоматизація процесу тестування графіч­них компонентів). IBM Rational ManualTest (плану­вання тестів, які не підлягають автоматизації). IBM Rational ClearQuest управління запитами на зімни, утворення сховища дефектів, знайдених при тесту­ванні). IBM Rational RequisitePro і керування вимо­гами).

Програма Hindsight компанії IntegriSoft аналізує вихідний код. проводить вимірювання ви­хідного коду і обчислює значення метрик програм­ного продукту для їх використання при оцінці якос­ті. Обчислюються такі метрики, як цикломатична складність. складність даних, метрики Холстеда. складність архітектури.

Інструмент EzCorer - це інструмент тес­тового покриття. Він проводить вимірювання про­грамного продукту та обчислює: наступні метрики: цикломатична складність, видозмінена складність, складність даних, розгалуження за входом, розгалу­ження за виходом, кількість рядків порожніх, з ко­ментарями, виконуваних.

Програма IBM Rational ClearCase [3] дозволяє: точно визначати поточний стан проекту, видавати завдання, контролювати іх виконання і вистежувати стан проекту за такими метриками, як кількість запитів в роботі, кількість версій в розробці і кількість дефектів.