Реклама:

Липаев В. В.

Тестирование программ.

Рассматриваются методы тестирования программных модулей и сложных комплексов программ Анализируются эффективность методов а также средства, автоматизирующие провесе тестирования Деются рекомендации по эффективному применению тестирования на разиык этапах проектирования и сопровождения комплексов программ тестирования

Для инженерно-технических работников занимающихся проектированием и эксплуатацией программного обеспечения. Полезна «спирантам и студентам вузов соответствующих специальностей

ПРЕДИСЛОВИЕ

В последние годы принципиально изменилась роль программ для ЭВМ, что позволило их квалифицировать как продукцию производственно-технического назначения. Это привело к необходимости создания эффективных методов достижения заданного качества комплексов программ (КП) и его оценки.

Высокое качество программ может достигаться безошибочным проектированием («пассивными» методами) и выявлением и устранением ошибок («активными методами»). Методы безошибочного проектирования, точнее предотвращения ошибок, основываются на применении организационных и методологических правил проектирования КП, а также языков программирования высокого уровня. Эти правила определяют организацию технологического процесса проектирования, структурное построение КП и его компонент, методологию проведения системного анализа, подготовку спецификаций требований и т. д. Однако эти методы, способствуя значительному повышению качества программ, не могут гарантировать удовлетворение всех заданных требований к КП, а главное, не полностью предотвращаю! ошибки.

Активные методы поиска и устранения ошибок дополняют пассивные в процессе достижения заданного качества КП и позволяют оценивать ряд показателей качества. Основным активным методом является тестирование, которое состоит в проверке программ на соответствие заданным правилам построения и конкретным результатам их исполнения. На проведение тестирования при создании сложных КП требуется до 30—40 % полных трудовых затрат и от эффективности его выполнения в значительной степени зависят трудоемкость и сроки создания программ.

Современная практика тестирования программ базируется, в основном, на квалификации и интуиции специалистов, что приводит к различию трудоемкости создания программ и достигаемого их качества. Из-за «оптимизма» многих программистов и пренебрежения планомерным, систематическим тестированием в программах остаются ошибки, выявляемые впоследствии при завершении отладки или в процессе эксплуатации. Внедрение в практику методик и средств автоматизации | систематического тестирования сопряжено с большими не толь- 1 ко техническими, но и психологическими трудностями. По- 1 следние особенно ощутимы в коллективах опытных программи- 1 стов, выработавших за многие годы собственные приемы тести- I рования программ. 1

Для эффективного тестирования программ необходима ме- I тодологическая и инструментальная (средства автоматиза-ции) база. В настоящее время наиболее развиты теоретические " основы тестирования и определения качества программных мо- Ч дулей. Теория тестирования групп и комплексов программ по- | ка представлена только отдельными работами, в которых из- 1 ложены некоторые частные методы и в основном без оценки ИХ "1 эффективности. Это объясняется, в частности, трудностями I обобщения методов тестирования, оценки их эффективности и 3 анализа достигаемой корректности программ из-за сложности I современных КП. 5


Оглавление |Следующая страница ⇒