- •Отчет по курсовой работе
- •Цели и задачи курсовой работы
- •Часть 1. Разработка программы Предметная область
- •Описание алгоритма
- •Описание реализации
- •Часть 2. Тестирование методом «черного ящика» Спецификация программы
- •Ограничения
- •Классы эквивалентности
- •Покрытие тестами классов эквивалентности
- •Часть 3. Тестирование методом «белого ящика». Модульное тестирование Модуль DictionaryParser.Parse() Алгоритм и код
- •Тестирование базового пути
- •Построение потового графа
- •Оценка цикломатической сложности
- •Определение базового множества независимых путей
- •Подготовка тестовых вариантов
- •Тестирование ветвей и операторов отношений
- •Тестирование потоков данных
- •Тестирование циклов
- •Набор модульных тестов.
- •Модуль String.Capitalize() Алгоритм и код
- •Тестирование базового пути
- •Построение потового графа
- •Оценка цикломатической сложности
- •Определение базового множества независимых путей
- •Подготовка тестовых вариантов
- •Тестирование ветвей и операторов отношений
- •Тестирование потоков данных
- •Тестирование циклов
- •Набор модульных тестов
- •Часть 4. Интеграционное тестирование Определение модулей и способа тестирования
- •Набор юнит-тестов
- •Набор интеграционных тестов
- •Часть 5. Регрессионное тестирование Понятие регрессионного тестирования. Основные положения
- •Виды тестов регрессии. Верификационные тесты (Verification Test).
- •Тесты регрессии (Regression Test Pass).
- •Тесты регрессии на "закрытых" багах.
- •Классификация с. Канера
- •Классификация по способу сопровождения
- •Выбор тестов регрессии
- •Автоматизация тестирования
- •Заключение
Ограничения
По умолчанию, суждения записываются на русском языке. Для записи суждений на английском языке следует изменить строку 11 в файле app.config. Допустимые значения: Ru – русский зык (по умолчанию), En – английский язык.
Формат записи суждений:
<Квантор> <Субъект> <Логическая связка> <Предикат>
Все компоненты являются обязательными. Компоненты Субъект и Логическая связка должны состоять из единственного слова.
Формат записи элементов словарей:
<Начальная_форма> ([Форма_слова] [,Форма_слова] … [,Форма_слова])
То есть, в файле должна быть записана начальная форма фразы (слово или словосочетание), затем в скобках через запятую перечислены формы этой фразы, используемые в суждениях.
Предикат должен иметь положительный характер (не должен иметь отрицательной частицы «не»)
При записи результата все компоненты новых суждений должны иметь либо начальную форму фразы, как она указана в словарях компонентов, либо ту же форму, что и в записи исходного суждения. Знаки препинания игнорируются. Выходные суждения записываются в верхнем регистре.
Текстовые файлы должны кодироваться UTF-8 и иметь расширение .txt.
Требование к структуре файловой системы: текстовые файлы для ввода и вывода данных должны находиться в том же каталоге, что и исполняемый файл. Текстовые файлы со словарями компонентов должны располагаться в подкаталоге Data в том же каталоге, что и исполняемый файл и именоваться в формате <Компонент>.txt
При возникновении любой ошибки выполнение программы останавливается.
Классы эквивалентности
Классы эквивалентности будем представлять в виде таблицы (см. Таблица 2)
Таблица 2. Классы эквивалентности
№ |
Ситуация |
Классы эквивалентности |
|
Допустимые |
Недопустимые |
||
1 |
Ввод данных |
Данные успешно считаны из файла |
|
Файл не найден, пользователь вводит данные |
|||
2 |
Синтаксический анализ |
Запись суждения соответствует формату, обнаружены все компоненты в словарях |
Отсутствует любой (любые) из компонентов суждения |
Все компоненты присутствуют, но не могут быть распознаны |
|||
Тип суждения не соответствует заявленному в задании |
|||
Файл со словарем для какого-либо компонента не обнаружен |
|||
3 |
Выполнение операций |
Операции выполнены успешно |
|
4 |
Вывод данных |
Данные успешно записаны в существующий файл |
|
Данные успешно записаны в созданный файл |
|||
Покрытие тестами классов эквивалентности
Тесты, покрывающие классы эквивалентности, приведены в нижеследующей таблице (Таблица 3).
Таблица 3. Используемые тесты1
№ |
Значение входных данных |
Значение выходных данных |
Тип ошибки |
Причина |
1 |
Файл пустой |
Пустая строка |
Ошибки нет |
|
2 |
Файл не существует, пользователь вводит пустую строку |
Пустая строка |
Ошибки нет |
|
3 |
Все студенты учатся хорошо |
I > Входные данные: ВСЕ СТУДЕНТЫ УЧИТЬСЯ ХОРОШО I > Тип: Общеутвердительное I > Превращение: НИ ОДИН ИЗ ТЕХ КТО СТУДЕНТЫ НЕ УЧИТЬСЯ НЕ ХОРОШО I > Обращение: НЕКОТОРЫЕ ИЗ ТЕХ КТО УЧАТСЯ ХОРОШО СТУДЕНТЫ I > Противопоставление: НИ ОДИН ИЗ ТЕХ КТО НЕ УЧАТСЯ ХОРОШО НЕ СТУДЕНТЫ |
Ошибки нет |
|
4 |
Студенты учатся хорошо |
E > Квантор не определен |
Неверный формат ввода |
Отсутствует квантор суждения |
5 |
Почти все студенты учатся хорошо |
E > Не могу считать данные для объекта: Квантор, так как Не обнаружена требуемая форма |
Неверный формат ввода |
Квантор суждения не определен |
6 |
Все учатся хорошо |
E > Субъект не определен |
Неверный формат ввода |
Отсутствует субъект суждения |
7 |
Все студенты хорошо |
E > Не могу считать данные для объекта: Связка, так как Не обнаружена начальная форма |
Неверный формат ввода |
Отсутствует логическая связка |
8 |
Все студенты учатся |
E > Предикат не определен |
Неверный формат ввода |
Отсутствует предикат суждения |
9 |
Некоторые студенты учатся хорошо |
I > Входные данные: НЕКОТОРЫЕ СТУДЕНТЫ УЧИТЬСЯ ХОРОШО I > Тип: Частноутвердительное W > Данное суждение не является общеутвердительным или общеотрицательным |
Несоответствие типа |
Тип суждения не соответствует указанному в задании |
10 |
Все студенты учатся хорошо |
E > Не могу считать данные для объекта: Предикат, так как Файл со справочиком не обнаружен |
Файл не найден |
Отстутствует файл со справочником |
При выполнении тестов использовались следующие записи в словарях компонентов:
Кванторы (Квантор.txt)
Все (Вся, Всё, Всех)
Некоторые (Некоторых, Некоторым, Некоторыми)
Ни один (Ни одного, Ни одному, Ни одна, Ни одно)
Ни один из (Ни одного из, Ни одному из, Ни одна из, Ни одно из)
Ни один из тех кто (Ни одного из тех кто, Ни одному из тех кто, Ни одна из тех кто, Ни одно из тех кто)
Субъекты (Субъект.txt)
Студент (Студента, Студенту, Студентом, Студенте)
Студенты (Студентов, Студентам, Студентами, Студентах)
Логические связки (Связка.txt)
Учиться (учусь, учимся, учишься, учится, учатся)
Быть (есть, был, была, было, были, будет, будут)
Бывать (бывает, бывают, бывал, бывала, бывало, бывали)
Предикаты (Предикат.txt)
Хорошо ()
Плохо ()
Умный (умная, умное, умные, умного, умную, умных, умному, умной, умным, умными, умном, умных)
Используемые тесты покрывают следующие классы эквивалентности (см. Таблица 4):
Таблица 4. Соотношение классов эквивалентности и тестов
№ |
Описание класса эквивалентности |
Допустимый класс? |
Номер(-а) тестов |
1 |
Данные успешно считаны из файла |
+ |
1, 3-9 |
2 |
Файл не найден, пользователь вводит данные |
+ |
2-9 |
3 |
Запись суждения соответствует формату, обнаружены все компоненты в словарях |
+ |
3 |
4 |
Отсутствует любой (любые) из компонентов суждения |
– |
4,6-8 |
5 |
Все компоненты присутствуют, но не могут быть распознаны |
– |
5,7 |
6 |
Тип суждения не соответствует заявленному в задании |
– |
9 |
7 |
Файл со словарем для какого-либо компонента не обнаружен |
– |
10 |
8 |
Операции выполнены успешно |
+ |
3 |
9 |
Данные успешно записаны в существующий файл |
+ |
1-10 |
10 |
Данные успешно записаны в созданный файл |
+ |
1-10 |