Решение для запуска REPL приложения

[vak]

Я придумал решение для запуска REPL приложения, упомянутое в предыдущем посте. Напомню формулировку: есть интерактивная процедура на Си++ со следующим интерфейсом.

void application(std::istream &input, std::ostream &output);

Процедура работает в стиле REPL: берет ввод из входного потока, обрабатывает, выдаёт результат в выходной поток и ждёт следующего ввода. Мы хотим запустить эту процедуру из нашей программы на Си++, посылать ей команды и получать результат. Это, в частности, полезно для автоматического тестирования. Примерно так:

send("foo\n");
std::string reply = receive();
REQUIRE(reply == "bar\n");

Решение выглядит в виде класса Interact и работает следующим образом:

#include "interact.h"

Interact session(application);
REQUIRE(session.receive() == "Hello!\n");

session.send("foo\n");
REQUIRE(session.receive() == "bar\n");

Исходники можно взять на Гитхабе: https://github.com/sergev/interact

• interact.h
• interact.cpp
• test.cpp

Реализация должна быть понятна из комментариев.

Comments

[juan_gandhi]

Я в чисто научном смысле. Как происходит обмен, не столь важно. Важно, что есть вход, и есть выход, и нет никакого внутреннего состояния.

[vak]

Чисто в научном смысле диалоговая процедура есть дискретный ряд функций:

f1(x1)
f2(x1,x2)
f3(x1,x2,x3)
...
fN(x1,x2,...,xN)

Здесь x1 - первый ввод, x2 - второй ввод и так далее.

Результат после ввода xN зависит как от xN, так и от всех предыдущих вводов.

Функция на каждом шаге тоже разная.

[juan_gandhi]

О, т.е. есть State. Ну окей. Можно рисовать как (S,I) => (S,O)

[vak]

Да, но надо учесть, что x2...xN тоже в свою очередь есть функции от предыдущих вводов и выводов:

x2 = g1(x1,f(x1))
x3 = g2(x1,x2,f1(x1),f2(x1,x2))

и так далее. Здесь g1(), g2() и т.д. есть реакция юзера на поведение процедуры.

То есть имеем два дискретных ряда функций со взаимной зависимостью.

[juan_gandhi]

Э не. Это тест будет генерировать в зависимости - если такой тест. Или такой юзер. Но для тестирования собственно функциональности такая гипотеза вредна.

[vak]

Это смотря с какой стороны глядеть. :)
Мы можем тестировать application, а можем тестировать сам тест.

Старая программистская шутка: тестирование есть процесс поиска ошибок в тестах.