On using finite state models for optimizing and testing SDN controller components
Résumé
The paper addresses the use of state models to optimize and test SDN controller components. One of the components, namely a scheduler is taken as a running example and a discussion on the properties of appropriate non-classical state models is introduced.The paper presents how optimization of non-functional parameters and testing of the functional ones can be performed when a state model describes the component of interest
Представлен подход к использованию моделей с конечным числом переходов для оптимизации и тестирования компонентов программно-конфигурируемых сетей. Один из компонентов - планировщик - выбран в качестве иллюстративного примера; для него приводится автоматная модель и исследуются нефункциональные свойства, относительно которых проводится оптимизация. Обсуждается, каким образом интересующий компонент может быть протестирован на соответствие функциональным требованиям и оптимизирован относительно нефункциональных, при наличии адекватной модели, описывающей его поведение.