A. Примеры сгенерированных тестовых данных
Пример 1. Тестовые данные для оптимизации SwitchBlock.
Графическая модель тестовых данных для примера 1 изображена на
В этой модели Swith2.threshold = Switch3.threshold = -1. Оба блока всегда будут передавать на выход сигнал с верхнего входа; в результате оптимизации блок Switch2 может быть удален из модели. Величина сигнала на входе control блока Switch1 не может быть оценена на основе анализа данной системы, поскольку этот сигнал подается извне.
Пример 2. Тестовые данные для оптимизации Flowchart.
Графическая модель тестовых данных для примера 2 изображена на Рис. 5.
Рис. 5. Графическая модель сгенерированных тестовых данных для оптимизации Flowchart (пример 2).
Этот граф содержит два простых цикла. Условия переходов таковы, что в процессе исполнения ни при каких значениях входного сигнала на верхнем цикле зацикливания не произойдет, а на нижнем зацикливание возникнет при любых входных сигналах.
