1. Разработка надежного софта
День 1
Михаил Навернюк

2. История
● Модель «водопада»
– Строго выделенные фазы проекта
● Анализ требований
● Проектирование
● Кодирование
● Тестирование
● Вывод в эксплуатацию
– Жесткое разделение разработчиков и
тестировщиков
– Множество видов тестирования

3. Уровни тестирования
● Модульное (unit)
● На дым (smoke)
● Функциональное (functional)
● Интеграционное (integration)
● Приемочное (acceptance)

4. История
● assert
● Проектирование по договору [Design by
Contract] (Eiffel)
– Пред-условия
– Инварианты
– Пост-условия

5. История
class Animal {
private int headsNum = 1;
private int legsNum = 4;
private int velocity = 0;
public void Run() {
assert(legsNum > 2); // pre-condition
...
assert(headsNum == 1); // invariant
...
assert(velocity > 0); // post-condition
}
}

6. История
● Kent Beck
– eXtreme Programming
● Smalltalk
● Java / junit
● xunit
● nunit

7. ● Задача - повысить
надежность программ, но
при этом уменьшить время
на их разработку и не
увеличить стоимость
● Сделать это можно только
организовав постоянное,
быстрое и
автоматизированное
тестирование

8. Пример использования TDD
Постановка задачи
Нужно разработать класс, который получает на
вход количество в виде числа, превращает его в
русский текст с добавлением указанного слова.
Допустим слово - «посетитель».
Получив на входе число 2 класс должен выдать
строку «2 посетителя». Если на входе 12, то «12
посетителей».

9. Пример использования TDD
[TestFixture]
class ConvertorTest {
[Test]
public void Convert1() {
Assert.AreEqual("1 посетитель",
Convertor.Convert(1));
}
}

10. Пример использования TDD
class Convertor
{
public static string Convert(int num)
{
return "";
}
}

11. Пример использования TDD

12. Пример использования TDD
class Convertor
{
public static string Convert(int num)
{
return num.ToString() + " посетитель";
}
}

13. Пример использования TDD

14. Пример использования TDD
[TestFixture]
class ConvertorTest {
[Test]
public void Convert1() {
Assert.AreEqual("1 посетитель",
Convertor.Convert(1));
}
[Test]
public void Convert2() {
Assert.AreEqual("2 посетителя",
Convertor.Convert(2));
}

15. Пример использования TDD
class Convertor {
public static string Convert(int num) {
string[] words = {"посетителей", "посетитель",
"посетителя"};
if (num == 1)
return num.ToString() + " " + words[1];
if (num >= 2 && num <= 4)
return num.ToString() + " " + words[2];
return num.ToString() + " " + words[0];
}
}

16. Пример использования TDD
[TestFixture]
class ConvertorTest {
...
[Test]
public void Convert21() {
Assert.AreEqual("21 посетитель",
Convertor.Convert(21));
}
}

17. Пример использования TDD
class Convertor {
public static string Convert(int num) {
string[] words = {"посетителей", "посетитель",
"посетителя"};
int n = num % 10;
if (n == 1)
return num.ToString() + " " + words[1];
if (n >= 2 && n <= 4)
return num.ToString() + " " + words[2];
return num.ToString() + " " + words[0];
}
}

18. Пример использования TDD
class Convertor {
public static string Convert(int num) {
...
if (num > 9 && num < 21)
return num.ToString() + " " + words[0];
if (n == 1)
return num.ToString() + " " + words[1];
if (n >= 2 && n <= 4)
return num.ToString() + " " + words[2];
return num.ToString() + " " + words[0];
}

19. Пример использования TDD

20. Задание 1-го дня
● Предусловия:
– у вас уже установлена среда Visual Studio
● Установить у себя на компьютере nunit
– http://www.nunit.org/index.php?p=download
● Проверить, что nunit установлен правильно
– C:Program FilesNUnit 2.6.2
– Запускаются тесты самого nunit
● Прописать путь к nunit в переменной Path
– http://www.kakprosto.ru/kak-75443-kak-propisat-
path