С++ Problems and How Test Frameworks Actually Work

1. www.luxoft.com
Magic uncovered: test frameworks.
Dmitry Dolzhenko
30-03-2017

2. www.luxoft.com
About:
 Probabilistic perception
 Computer vision
 Machine learning
 Systems architecture
 Formal proof systems
 Autonomous driving
 Failsafe software development

3. www.luxoft.com
Зачем писать тесты?

4. www.luxoft.com
Unit testing. Получаем первое задание:
 Написал код?
 Протестируй.
 В нашей комманде все сами пишут тесты.
 А как?
 Ну посмотри там как у других написано в CPPUnit

5. www.luxoft.com
Unit testing. Получаем первое задание:

6. www.luxoft.com
Тут я понял что тесты мне не нравятся...

7. www.luxoft.com
Эффект Даннинга — Крюгера
Когнитивное искажение которое заключается в том, что люди, имеющие низкий уровень
квалификации, делают ошибочные выводы, принимают неудачные решения и при этом не
способны осознавать свои ошибки в силу низкого уровня своей квалификации
Конфуций («Истинное знание — в том, чтобы знать пределы своего невежества»)

8. www.luxoft.com
Зачем писать тесты? Научный подход

9. www.luxoft.com
Зачем писать тесты? Научный подход

10. www.luxoft.com
Зачем писать тесты? Инженерный подход

11. www.luxoft.com
Зачем писать тесты? Инженерный подход

12. www.luxoft.com
Зачем писать тесты? Процесс разработки

13. www.luxoft.com
Какие бывают тесты?

14. www.luxoft.com

15. www.luxoft.com
TDD or not TDD?

16. www.luxoft.com
TDD or not TDD?

17. www.luxoft.com
Попытка номер 1:
// attempt 1.
void test_min_element() {
assert(0 == min_element({4}));
assert(0 == min_element({1, 0, 3, 4}));
// ...
}

18. www.luxoft.com
Попытка номер 1:
// attempt 1.
void test_min_element() {
assert(0 == min_element({4}));
assert(0 == min_element({1, 0, 3, 4}));
// ...
}

19. www.luxoft.com
// attempt 2.
bool test_equals(int expected, int computed) {
using namespace std;
bool ok = expected == computed;
if(!ok) {
cerr << "failed: " << expected << " != " << computed << endl;
}
return result;
}
void test_min_element() {
test_equals(0, min_element({4}));
test_equals(0, min_element({1, 0, 3, 4}));
// ...
}

20. www.luxoft.com
// attempt 3.
void expect_true(const char* file, int line,
const char* expected, bool ok) {
if(!ok) {
cerr << file << ":" << line << ": failed: " << expected << endl;
}
return result;
}
#define EXPECT_TRUE(expr)
expect_true(__FILE__, __LINE__, #expr, expr)
#define EXPECT_EQ(expr1, expr2)
EXPECT_TRUE((expr1) == (expr2))
void test_min_element() {
EXPECT_EQ(0, min_element({4}));
EXPECT_EQ(0, min_element({1, 0, 3, 4}));
// ...
}

21. www.luxoft.com
// attempt 4.
#define EXPECT_TRUE(expr)
expect_true(__FILE__, __LINE__, #expr, expr)
#define EXPECT_EQ(expr1, expr2)
EXPECT_TRUE((expr1) == (expr2))
class TestCase {
public:
void expect_true(const char* file, int line,
const char* expected, bool ok);
};
class TestMinElement : public TestCase
public:
void test1() {
EXPECT_EQ(0, min_element({4}));
EXPECT_EQ(0, min_element({1, 0, 3, 4}));
// ...
}
}

22. www.luxoft.com
// attempt 5:
#define TEST(name, ...) test_ ## name = [__VA_ARGS__]()
TEST(my_min_element) {
EXPECT_EQ(0, min_element({4}));
EXPECT_EQ(0, min_element({1, 0, 3, 4}));
};
int main(int argc, char const *argv[])
{
test_my_min_element();
}

23. www.luxoft.com
int my_sqare(int x) { return x*x; }
LTEST(my_sqare) {
LTEST(degenarated) {
EXPECT_EQ(0, my_sqare(0));
};
LTEST(trivial) {
EXPECT_EQ(1, my_sqare(1));
};
LTEST(positive) {
EXPECT_EQ(4, my_sqare(2));
EXPECT_EQ(16, my_sqare(4));
};
LTEST(negative) {
EXPECT_EQ(4, my_sqare(-2));
EXPECT_EQ(16, my_sqare(-4));
};
};

24. www.luxoft.com
Что же делать?
 Осознать
 Учиться
 Повторить

25. www.luxoft.com
Опыт что-то значит

26. www.luxoft.com
Thank you