Структура звіту з лабораторної роботи № 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] дозволяє: точно визначати поточний стан проекту, видавати завдання, контролювати іх виконання і вистежувати стан проекту за такими метриками, як кількість запитів в роботі, кількість версій в розробці і кількість дефектів.

 


Дата добавления: 2018-05-13; просмотров: 842; Мы поможем в написании вашей работы!

Поделиться с друзьями:






Мы поможем в написании ваших работ!