Project

General

Profile

EfsmSimulator и ReferenceGeneratorForEfsm как наследники Engine

Added by Igor Melnichenko about 6 years ago

Какие у них должны быть входные/выходные типы?
ReferenceGeneratorForEfsm: EfsmModel -> Test.
EfsmSimulator: Vector -> Vector.
Так?


Replies (5)

RE: EfsmSimulator и ReferenceGeneratorForEfsm как наследники Engine - Added by Sergey Smolov about 6 years ago

Насчет ReferenceGeneratorForEfsm я тоже так думаю.
И ещё, для единообразия, предлагаю переименовать этот класс в EfsmTestGenerator (мне слово Reference кажется не отражающим специфику данного Engine, да и For тут явно не в тему).

RE: EfsmSimulator и ReferenceGeneratorForEfsm как наследники Engine - Added by Igor Melnichenko about 6 years ago

Мне самому "reference" не особо нравится, но ничего лучше я не придумал :)
Надо же как-то отметить, что это не наш генератор, а тот, который мы используем в качестве образца для сравнения.

RE: EfsmSimulator и ReferenceGeneratorForEfsm как наследники Engine - Added by Sergey Smolov about 6 years ago

Можно попробовать отразить в названии основную фишку чужого метода: EfsmBackJumpingTestGenerator\EfsmBackJumpTestGenerator
Или основную особенность генерируемых тестов: EfsmTransitionCoverageTestGenerator или как-то так.

Фамилию автора метода я бы в названии класса не писал:-)

RE: EfsmSimulator и ReferenceGeneratorForEfsm как наследники Engine - Added by Igor Melnichenko about 6 years ago

Я подумаю над этим вопросом, но пока оставлю текущее название.

RE: EfsmSimulator и ReferenceGeneratorForEfsm как наследники Engine - Added by Sergey Smolov about 6 years ago

Мы обсудили вопрос про EfsmSimulator. Считаем, что на вход он должен принимать Sequence, и возвращать тоже Sequence.
Но необходимо учитывать, что EfsmSimulator хоть и является наследником Engine, но и обладает "внутренним состоянием", чего прочие существующие наследники Engine лишены.

    (1-5/5)