Одним из главных принципов уникальной «системы Физтеха», заложенной в основу образования в МФТИ, является тщательный отбор одаренных и склонных к творческой работе представителей молодежи. Абитуриентами Физтеха становятся самые талантливые и высокообразованные выпускники школ всей России и десятков стран мира.

Студенческая жизнь в МФТИ насыщенна и разнообразна. Студенты активно совмещают учебную деятельность с занятиями спортом, участием в культурно-массовых мероприятиях, а также их организации. Администрация института всячески поддерживает инициативу и заботится о благополучии студентов. Так, ведется непрерывная работа по расширению студенческого городка и улучшению быта студентов.

Адрес e-mail:

Обеспечение полноты тестирования конформности компиляторов стандартам языков программирования

Ю.В.Баскаков, аспирант МГУ

 

Тестирование конформности системы ИТ представляет собой особый вид тестирования, имеющий своей целью выявление степени соответствия системы спецификации, реализацией которой она является. Вопрос о достоверности получаемых результатов напрямую связан с полнотой производимого тестирования. Поэтому выбор и соблюдение критерия полноты при формировании тестовых комплектов является первоочередной задачей.

Компиляторы языков программирования как системы с синтаксически и семантически сложным программным входом составляют отдельный класс реализаций, для каждого представителя которого характерна потенциальная бесконечность множества входных значений.

В качестве конечной цели тестирования конформности компилятора следует определить достаточно прагматичный критерий, позволяющий достичь конечного результата за разумную плату, и, в то же время, обеспечивающий уверенность в достаточно полной проверке компилятора на соответствие языковому стандарту. В качестве такого критерия выбирается критерий так называемого обстоятельного или полного тестирования (thorough testing) [1], применяемый, в частности, к тестированию API, и подразумевающий обязательную проверку каждого специфицируемого в стандарте элемента в отдельности, а также возможную проверку их некоторых комбинаций.

Итак, тестовый комплект, предназначенный для тестирования конформности компилятора стандарту языка программирования, должен создаваться таким образом, чтобы обеспечить соблюдение критерия полного тестирования. Поэтому при создании тестового комплекта целесообразно сначала разработать тестовые спецификации, а только затем производить непосредственное кодирование [2].

Автором была разработана методика систематического проектирования тестовых спецификаций, которая представляет собой развитие метода Майерса [3], соответствующее рекомендациям POSIX [1], и учитывающее эмпирические принципы, сформулированные на основе результатов анализа ассемблерного представления оттранслированных с языка С на ряде промышленных компиляторов тестовых программ.

 

Литература

ISO/IEC JTC1/SC22 DIS 13210: 1996, Information Technology – Requirements and Guidelines for Test Methods Specifications and Test Method Implementation for Measuring Conformance to POSIX Standard. Баскаков Ю. В., “Принципы построения тестовых комплектов для тестирования конформности компиляторов стандартам языков программирования”, Теоретические и прикладные проблемы информационных технологий, Сборник трудов. – М., Изд-во Моск. ун-та, 2001, с. 93-100 Майерс Г., “Искусство тестирования программ”, М., Мир, 1982
Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

© 2001-2016 Московский физико-технический институт
(государственный университет)

Техподдержка сайта

МФТИ в социальных сетях

soc-vk soc-fb soc-tw soc-li soc-li
Яндекс.Метрика