В последние годы принципиально изменилась роль программ для ЭВМ, что позволило их квалифицировать как продукцию производственно-технического назначения. Это привело к необходимости создания эффективных методов достижения заданного качества комплексов программ (КП) и его оценки.
Высокое качество программ может достигаться безошибочным проектированием («пассивными» методами) и выявлением и устранением ошибок («активными» методами). Методы безошибочного проектирования, точнее предотвращения ошибок, основываются на применении организационных и методологических правил проектирования КП, а также языков программирования высокого уровня. Эти правила определяют организацию технологического процесса проектирования, структурное построение КП и его компонент, методологию проведения системного анализа, подготовку спецификаций требований и т. д. Однако эти методы, способствуя значительному повышению качества программ, не могут гарантировать удовлетворение всех заданных требований к КП, а главное, не полностью предотвращают ошибки.
Активные методы поиска и устранения ошибок дополняют пассивные в процессе достижения заданного качества КП и позволяют оценивать ряд показателей качества. Основным активным методом является тестирование, которое состоит в проверке программ на соответствие заданным правилам построения и конкретным результатам их исполнения. На проведение тестирования при создании сложных КП требуется до 30—40 % полных трудовых затрат и от эффективности его выполнения в значительной степени зависят трудоемкость и сроки создания программ.
Из-за «оптимизма» многих программистов и пренебрежения планомерным, систематическим тестированием в программах остаются ошибки, выявляемые впоследствии при завершении отладки или в процессе эксплуатации.Внедрение в практику методик и средств автоматизации систематического тестирования сопряжено с большими не только техническими, но и психологическими трудностями. Последние особенно ощутимы в коллективах опытных программистов, выработавших за многие годы собственные приемы тестирования программ.
Цель данного сайта — изложить для создателей КП основные методы и средства автоматизации систематического тестирования программ, освоение которых должно способствовать достижению заданного их качества, что является определяющим для программ, рассматриваемых как промышленная продукция. Значительная часть материала представляет собой оригинальные результаты. Они содержатся в разделах, посвященных систематизации и анализу эффективности методов и средств тестирования, структурному тестированию программных модулей, тестированию при испытаниях н сопровождении сложных КП реального времени.
