Методы построения конечных автоматов на основе ...

19ГЛАВА 1. АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ И ПОИСКОВАЯИНЖЕНЕРИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯВ настоящей главе приводятся результаты обзора работ,посвященных автоматному программированию, поисковой инженерии ПОи применению эволюционных алгоритмов для построения конечныхавтоматов. На основании результатов обзора формулируются задачи,решаемые в диссертации.1.1. АВТОМАТНОЕ ПРОГРАММИРОВАНИЕВ настоящем разделе приводятся результаты обзора работ,посвященных автоматному программированию.1.1.1. Сущности со сложным поведениемВ процессе разработки программного обеспечения часто возникаетнеобходимость реализации сущностей со сложным поведением. Такимповедением обладают многие устройства и системы управления, сетевыепротоколы и т. д.Сущность обладает сложным поведением, если в ответ на одно и тоже входное воздействие она может сгенерировать в зависимости отпредыстории различные выходные воздействия. Сущность с простымповедением в ответ на одно и то же входное воздействие всегда генерируетодно и то же выходное воздействие (рис. 1).входныевоздействиясущностьx 1 z 1x 2 z 2выходныевоздействиявходныевоздействиясущностьx 1z 1z 2z 3x 2z 2выходныевоздействияz 4Рис. 1. Сущность с простым поведением и сущность со сложнымповедением