Реклама:

Относительное быстродействие и степень использования процессорного времени ЭВМ определяют среднее число подходов к ЭВМ и средствам автоматизации тестирования, которое обеспечено каждому специалисту за рабочий день. Для эффективного использования рабочего времени быстродействие вычислительных машин и число терминалов должны обеспечивать каждому специалисту по крайней мере три-четыре подхода к ЭВМ за рабочий день [57]. На практике эффективное использование развитых средств, автоматизации тестирования возможно при применении ЭВМ с быстродействием порядка 1 млн. операций в. секунду. При этом одновременно с такими ЭВМ в режиме разделения времени могут продуктивно работать 6—8 специалистов. В результате один дисплей должен приходиться не более чем на трех-четырех ра/зработчиков программ. В принципе'возможно монопольное использование дисплея каждым разработчиком в течение всего рабочего времени. Однако пока это не всегда рационально с позиции эффективного использования дорогостоящей аппаратуры.

Рациональная аппаратурная и программная «энерговооруженность» тестирования тесно связаны. Ограниченность их характеристик совместно определяет практические возможности автоматизации тестирования, достигаемое, при этом "качество программ и производительность труда "разработчиков. Встречаются ситуации, когда программные средства; обеспечивающие высокий уровень автоматизации тестирования программ,. базируются' на ЭВМ с недостаточным быстродействием к слабым периферийным оборудованием. В результате высокоэффектинные методы и средства.не используются специалистами систематически и практически не способствуют повышению производительности труда и качества, создаваемых программ. Такие ситуации, в частности, дискредитируют Весьма эффективные методы и средства. Согласованность аппаратурной и программной «энерговооружённости» тестирования программ является важнейшим фактором эффективного применения существующих и создаваемых методов я средств автоматизации. Систематическое тестирование гарантирует высокое качество программ при соответствующем -уровне его комплексного обеспечения.

*

СПИСОК ЛИТЕРАТУРЫ

Л .. -

1. Айзенберг Я. Е., Вельбнцкий И. В., Конорев Б. М., Сто гни й А. А*

Автоматизированная система производства программ СИНТЁРМ. —ь Управляющие системы и машины, 1980, №'1, с. 16—21.,

2. Андерсон Р. Доказательство правильности программ:. Пер. с • англ. — М.: "Мир, 1982. — 168' с.

3. Архангельский Б. В., Никитин А. И., Черняховский В. В. Устойчивые типы семантических ошибок программ. — В кн.: Синтез,

' тестирование, верификация и отладка программ/Латв. гос. ун-т. — Рига. 1981,. с. 17.

4. Бабаева И. Б., Рехии Н. К- Формализация процесса масштабирования при решении задач на малоразрядиых ■ ЦВМ. — Программирование, 1975, №6; с. 12— Г9.

5. Безбородой Ю. М. Индивидуальная .отладка программ. — М.: Наука, 1982. — 192 с.

6. Бичевский Я. Я., Борзов Ю. В. Развитие методов символического' тестирования программ ЭВМ. — Автоматика и телемеханика, 1982, №8, с. 93—101. *


⇐ Предыдущая страница| |Следующая страница ⇒