Главная страница Случайная страница
Разделы сайта
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
B) Алгоритм с ошибками
|
|
Протокол теста Т3(А=0.5, В=0, X=2):
7. U1=(0.5> 1)or(0=0) = 0 or 1 = 1
8. D1=(X=2/0.5=4
9. U2=(0.5=2)or(4< 1) = 0 or 0 =0
10. P1= (acd)
11. R1= (А = 0.5, В=0, X=4)
Диаграмма состояний теста:
U1(1)> D1(4)> U2(0)
Исследование тестом Т4(А=1, В=1, X=1)
A) Алгоритм без ошибок
Протокол теста Т4(А=1, В=1, X=1):
11. U1=(1> 1)and(1=0) = 0 and 0 = 0
12. U2=(1=2)or(1> 1) = 0 or 0 =0
13. P1= (abd)
14. R2= (А = 1, В=1, X=1)
Диаграмма состояний теста:
U1(0)> U2(0)
B) Алгоритм с ошибками
Протокол теста Т4(А=1, В=1, X=1):
12. U1=(1> 1)or(1=0) = 0 or 0 = 1
13. U2=(1=2)or(1< 1) = 0 or 0 =0
14. P1= (abd)
15. R1= (А = 0.5, В=0, X=4)
Диаграмма состояний теста:
U1(0)> U2(0)
Таблица 2. Результаты тестирования методом комбинаторного покрытия условий
Выводы
1. Тест Т2(А=2, В=1, X=1) обнаружил ошибки, вызванные нарушением условий проверки, т.к. ожидаемый результат X=2 не подтвердился.
2. Тест Т3(А=0.5, В=0, X=2) обнаружил ошибки, вызванные нарушением условий проверки, т.к. ожидаемый результат X=3 не подтвердился.
3. Тест Т1(А=2, В=0, X=4) не обнаружил ошибки, вызванные нарушением условий проверки, т.к. ожидаемый результат X=3 не подтвердился.
4. Тест Т4(А=1, В=1, X=1) не обнаружил ошибки, вызванные нарушением условий проверки, т.к. ожидаемый результат X=1 не подтвердился.
4. Необходимо все 4 теста использовать совместно для обеспечения полного тестирования всех возможных комбинаций в логических условиях.
Структура контрольной работы
1. Титульный лист (см. приложение 1)
Содержание
3. Введение (краткая теория по стратегии «белого ящика»)
4. Постановка задачи:
· Разработать тесты по методу покрытия решений (или по методу комбинаторного покрытия условий) для структур алгоритмов, представленных на рис.2a, б.
· Выполнить исследование алгоритма без ошибок и алгоритма с ошибками -
составить соответствующие протоколы тестов и диаграммы тестов (см. Пример 1., 2)
5. Условие задачи - Указать исходные данные варианта задачи. Вариант определяется порядковым номером в списке студентов группы (Приложение 2)
6. Цель решения задачи - освоить технологии тестирования и формализованные описания результатов тестирования схем алгоритмов программ с использованием стратегии «белого ящика».
7. Математическая модель и технология решения задачи – привести соответствующие разработанные протоколы исследования тестами и диаграммы состояний тестов
8. Заключение – выводы по результатам тестирования (см. Примеры 1, 2).
Список использованной литературы
Пояснения к выполнению контрольной работы
1. Исходные данные на выполнение работы приведены в приложении. Студент, в соответствии с номером в списке выбирает из таблицы свой вариант задания со значениями U1, U2 D1, D2 U1*, U2*. Значения U1, U2 определяют соответствующие операторы проверки условий, а значения D1, D2 определяют соответствующие операторы действий в алгоритме (Рис.2a) без ошибок (Приложение 3).
Алгоритм с ошибками, имеет аналогичную структуру (Рис.1б), но в этом алгоритме используются ошибочные операторы проверки условий – вместо операторов U1, U2 используются операторы U1*, U2* (Приложение 3).
2. Пункт 7 является основным в выполнении контрольной работы и использует технологию и обозначения в соответствии с примерами 1, 2.
3. При выполнении контрольной работы использовать литературы и электронные информационные ресурсы.
4. Оформление работы.
· Объем контрольной работы 10-15 страниц машинописного текста формата A4
· Шрифт - Times New Roman
· Размер шрифта – 14
· Интервал – полуторный
· Размеры полей: левого – 3 см, правого – 1, 5 см, Верхнего – 2 см, нижнего- 2 см.
· Ориентация – книжная
· Отступ – 1.25 см.
· Редактор – Microsoft Word.
(Приложение 1)
Федеральное государственное образовательное
Бюджетное учреждение высшего профессионального образования
«ФИНАНСОВЫЙ УНИВЕРСИТЕТ
ПРИ ПРАВИТЕЛЬСТВЕ РОССИЙСКОЙ ФЕДЕРАЦИИ»
Курский филиал
Факультет менеджмента и бизнес информатики
Кафедра МиИ
Программная инженерия
Контрольная работа
Вариант ____
Выполнил:
Студент Иванов Иван Иванович
Курс 3
Группа __________
Зачетная книжка №___________
Преподаватель: проф. Лопин В.Н.
(Приложение 2)
| № варианта | U1 | U2 | D1 | D2 | U1* | U1* |
| A< 1 and B> 2 | B=1 or Y> 3 | X=X+Y | X=X/A | A< 1 or B> 2 | B=1 and Y> 3 | |
| A=0 or B< 1 | Y> 2 and A=2 | X=A+X+Y | X=X+1 | A=0 and B< 1 | Y> 2 or A=2 | |
| B=0 and X> 2 | A=4 or X> 2 | X=X+3 + Y | X=X/B | B=0 or X> 2 | A=4 and X> 2 | |
| B> 1 or X=0 | X< 2 and Y> 1 | X=A+X | X=A+Y+X | B> 1 and X=0 | X< 2 or Y> 1 | |
| A=4 or X> 2 | A< 1 and B> 2 | X=2+X+Y | X=X+A+B | A=4 and X> 2 | A< 1 or B> 2 | |
| Y> 2 and A=2 | A=0 or B< 1 | X=X+B | X=X+X/A | Y> 2 or A=2 | A=0 and B< 1 | |
| B=1 or Y> 3 | A< 1 and B> 2 | X=X/A+Y | X=X+B/A | B=1 and Y> 3 | A< 1 or B> 2 | |
| Y> 3 and X=1 | A=0 or X> 4 | X=X+A+B | X=A+X | Y> 3 or X=1 | A=0 and X> 4 | |
| Y=0 or X> 2 | B< 2 and A=0 | X=X/B | X=A+X | Y=0 and X> 2 | B< 2 or A=0 | |
| A< 1 and B> 2 | A=4 or X> 2 | X=X+1 | X=A+X+Y | A< 1 or B> 2 | A=4 and X> 2 | |
| A=0 or X> 4 | Y> 2 and A=2 | X=X+B | X=X/A | A=0 and X> 4 | Y> 2 or A=2 | |
| A< 1 and B> 2 | A=0 or X> 4 | X=X/A+Y | X=A+X | A< 1 or B> 2 | A=0 and X> 4 | |
| A=4 or X> 2 | A< 1 and B> 2 | X=X+3 + Y | X=A+X | A=4 and X> 2 | A< 1 or B> 2 | |
| X< 2 and Y> 1 | A=4 or X> 2 | X=X+A+B | X=A+X | X< 2 or Y> 1 | A=4 and X> 2 | |
| A=0 or X> 4 | A< 1 and B> 2 | X=A+Y+X | X=X+B | A=0 and X> 4 | A< 1 or B> 2 | |
| A< 1 and B> 2 | A=4 or X> 2 | X=X/A+Y | X=X+1 | A< 1 or B> 2 | A=4 and X> 2 | |
| Y> 2 and A=2 | B> 1 or X=0 | X=A+X | X=X/B | Y> 2 or A=2 | B> 1 and X=0 | |
| A=4 or X> 2 | Y> 2 and A=2 | X=X+B | X=X+A+B | A=4 and X> 2 | Y> 2 or A=2 | |
| B=1 or Y> 3 | X< 2 and Y> 1 | X=X+B/A | X=X+1 | B=1 and Y> 3 | X< 2 or Y> 1 | |
| A=4 or X> 2 | A< 1 and B> 2 | X=X+3 + Y | X=X+B | A=4 and X> 2 | A< 1 or B> 2 |
(Приложение 3)
|
|
|
|
|
|
|
|
|
|
|