В статье рассматривается метод определения входных данных для модульного и интеграционного тестирования объектно-ориентированного программного обеспечения на основе моделирования классов конечными автоматами. Приведен пример построения автоматной граф-модели.
модульное тестирование, конечные автоматы, объектно-ориентированный