Проверка - процесс
Cтраница 3
 |
Кибернетическая машина общества. Все прямые связи обязательно сопровождаются обратными связями. Искусство, наука и изобретательство нашли свои места. [31] |
Почему с реализацией новых технических идей дело обстоит пока еще далеко не благополучно. Их зачастую встречают с явным и обидным недоверием, и это, понятно, не содействует их быстрой реализации в народном хозяйстве. Недоверие порождает чрезмерную осторожность. Выдвигаются ненужные, а нередко и вредные для дела требования многолетней проверки процессов и машин на опытных установках и карликовых заводах с полным циклом производства. Да и сами работы по реализации разворачиваются удивительно медленно. [32]
В результате составляется список маршрутов, упорядоченных по выбранной стратегии. Полученные данные сопоставляются с реальными ресурсами, которые могут быть выделены на тестирование анализируемой программы. Выделенные маршруты дополняются даГнными о значениях переменных в предикатах условий на каждом маршруте. Для этого используются текст программы на языке программирования и описание переменных. По полученным соотношениям между переменными в предикатах условий строятся границы областей изменения переменных для каждого из маршрутов и для программы в целом. По числу границ областей изменения переменных осуществляется оценка числа тестов, необходимых для проверки процессов обработки данных в анализируемой программе. [33]
Страницы: 1 2 3