Skip Navigation LinksБасок

Басок Борис Моисеевич

Басок.jpg


Басок Борис Моисеевич, к.т.н., доцент

В 1971 году закончил Московский ордена Трудового Красного Знамени институт нефтехимической и газовой промышленности имени И.М. Губкина по специальности “Автоматика и телемеханика”.

С 1976 года по 1979 год обучался в аспирантуре Института электронных управляющих машин (ИНЭУМ).

В 1980 году защитил диссертацию на соискание ученой степени кандидата технических наук. Тема диссертации: « Аналитические методы исследования эффективности тестов».

В 1987 году присвоено ученое звание «Старший научный сотрудник» по специальности «Вычислительные машины, комплексы и сети».

В 2001 году присвоено ученое звание «Доцент» по кафедре «Математического обеспечения вычислительных систем».


Трудовая деятельность:

1971 – 1972 - Институт метрологической службы: Инженер по автоматизации испытаний радиоэлектронной аппаратуры.

1973 – 1995 - ИНЭУМ, Отдел диагностического контроля: инженер, старший инженер, младший научный сотрудник, старший научный сотрудник, начальник лаборатории.

1996 – по настоящее время доцент МГТУ МИРЭА кафедры «Математического обеспечения и стандартизации информационных технологий» (МОСИТ) (до 2013 кафедра «Математического обеспечения вычислительных систем» (МОВС)).

1996 – по настоящее время ООО «Форм»: руководитель группы тестирования веб-приложений, тестер.


Профессиональная деятельность:

1971 – 1972 - Разработка тестов функционального контроля электронной аппаратуры, предназначенной для автоматизации метрологических испытаний. Обязанности: Инженер – испытатель.

1973 – 1979 - Разработка контрольно-диагностических тестов функционирования первых в СССР программируемых автоматических тестеров. Обязанности: Ответственный исполнитель.

1973 – 1981 - Разработка функциональных тестов программных систем моделирования, синтеза и анализа тестов дискретных систем. Обязанности: Ответственный исполнитель.

1976 – 1981 - Разработка программ логического и временного моделирования и анализа тестов дискретных систем. Обязанности: Ответственный исполнитель.

1981 – 1983 - Разработка тестов и программного обеспечения многотерминальных комплексов функционального контроля на базе СМ ЭВМ. Обязанности: Ответственный исполнитель.

1984 - 1989 - Разработка программного и тестового обеспечения адаптера аппаратной библиотеки БИС и СИС, предназначенного для моделирования дискретных устройств повышенной сложности. Обязанности: Ответственный исполнитель, руководитель группы, руководитель лаборатории.

1985 –1993 - Разработка программного и тестового обеспечения первого отечественного программно-аппаратного комплекса-ускорителя моделирования СБИС. Обязанности: ответственный исполнитель, руководитель группы, руководитель лаборатории.

1994 - 1997 - Разработка программной подсистемы расчета тарифов на электроэнергию для РАО ЕЭС РФ. Обязанности: ответственный исполнитель.

1996 – по настоящее время - тестирование специализированного сервера клиент-серверной системы генерации контекстной рекламы. Обязанности: тестер.


Преподавательская деятельность:

1987 – 1990 - МГТУ МИРЭА, Факультет повышения квалификации специалистов с высшим инженерным образованием, старший преподаватель. Читал курс лекций «Система команд мини и микро ЭВМ» и разработанный автором оригинальный курс «Методы и средства диагностического контроля микропроцессорных устройств».

1994 – 1995 - МГТУ МИРЭА, базовая кафедра «Малых и управляющих машин», доцент, разработал оригинальный курс «Тестовый контроль и диагностика цифровых устройств», проводил лекции, практические занятия, руководил курсовым и дипломным проектированием, был одним из авторов учебного пособия «Применение ЭВМ в автоматизированных системах».

1996 – по настоящее время - МГТУ МИРЭА, кафедра математического обеспечения и стандартизации информационных технологий, доцент. Читал лекции, проводил семинары и лабораторные работы, руководил курсовым проектированием по курсам: «Информатика», «Языки программирования (Turbo Pascal, С, Delpi)», «Средства и методы программирования».

Разработал оригинальный курс «Логико-функциональное моделирование дискретных устройств» читал лекции, разработал лабораторный практикум и проводил лабораторные работы, руководил курсовым и дипломным проектированием, является автором двух учебных пособий: «Моделирование вычислительных устройств» и «Модели дискретных систем».

С 2005 г. по настоящее время преподает оригинальные, разработанные автором курс ы «Тестирование программного обеспечения» и «Системы тестирования программного обеспечения», читает лекции, проводит лабораторные работы, руководит курсовым и дипломным проектированием студентов и бакалавров, является одним из авторов трех учебных пособий: «Тестирование программных средств», «Тестирование программных средств. Издание второе, дополненное», «Тестирование программного обеспечения». Все перечисленные учебные пособия рекомендованы УМО вузов по университетскому политехническому образованию в качестве учебного пособия для студентов Вузов. Разработал и опубликовал методические указания по курсовому проектированию и выполнению лабораторных работ в рамках курсов «Тестирование программного обеспечения» и «Системы тестирования программного обеспечения».


Общественная деятельность:

В течение десяти лет был Ученым секретарем секции “Математического обеспечения, методов и средств автоматизации проектирования” научно-технического совета ИНЭУМ.


Публикации:

64 публикации по разработке методов анализа и синтеза тестов для дискретных устройств и программных систем (включая публикации докладов на международных, всесоюзных и всероссийских конференциях).


Среди публикаций следует выделить:

1. Басок Б.М. Дедуктивные методы определения отказов, проверяемых заданным тестом, АН СССР, Автоматика и Телемеханика, М., 1980 г., №3.

2. Басок Б.М. Об одном методе оценки качества тестов дискретных компонентов вычислительных сетей, АН ЛССР, Автоматика и Вычислительная техника., Рига, 1985 г., №1.

3. Сергеев Б.Г., Басок Б.М. Контроль и диагностика ЭВМ. Знание, Серия “Радиоэлектроника и связь”, М., 1986г.

4. Сергеев Б.Г., Басок Б.М., Бродский М.А. Использование аппаратных средств моделирования в САПР СБИС. Автоматизация логического проектирования средств вычислительной техники, труды I Международной научно-практической конференции "САПР СВТ 89", М., 1989г.

5. Сергеев Б.Г., Басок Б.М. Использование адаптера аппаратной библиотеки БИС для моделирования сложных цифровых блоков. Вопросы радиоэлектроники, серия ЭВТ., вып. 17, М., 1990г.

6. Басок Б.М., Красовский В.Е, Песелев К.В., Прохоров Н.Л., Тювин В.Д. Применение ЭВМ в автоматизированных системах. Учебное пособие. МИРЭА, М., 1998г.

7. Басок Б.М., Гречин А.А. О едином подходе при анализе тестов дискретных устройств и программ. Вопросы радиоэлектроники, Серия ЭВТ., вып. 3, М., 2010г.

8. Басок Б.М., Гречин А.А. Анализ тестов программ и устройств методом моделирования кратных отказов. Вопросы радиоэлектроники, Серия ЭВТ., вып. 3, М., 2011г.

9. Басок Б.М., Гречин А.А. Применение моделей кратных отказов для проверки полноты тестов программных и аппаратных средств. Технические и программные средства систем управления, контроля и измерения, ИПУ, УКИ'12, М, 2012 г.