Метод резюме для разработки универсального многоцелевого анализатора кодов программ с возможностью обнаружения различных классов дефектов в программах, созданных с использованием языков С и С++

Просьба ссылаться на эту статью следующим образом:

Романова Т.Н., Сидорин А.В. Метод резюме для разработки универсального мно-

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

классов дефектов в программах, созданных с использованием языков С и С++ //

Вестник МГТУ им. Н.Э. Баумана. Сер. Приборостроение. 2015. № 5. C. 75–96.

Please cite this article in English as:

Romanova T.N., Sidorin A.V. Summary-based interprocedural analysis method for

implementation in multi-purpose static C/C++ code analyzer.

Vestn. Mosk. Gos. Tekh.

Univ. im. N.E. Baumana, Priborostr.

[Herald of the Bauman Moscow State Tech. Univ.,

Instrum. Eng.], 2015, no. 5, pp. 75–96.

В Издательстве МГТУ им. Н.Э. Баумана вышла в свет книга

МОДЕЛИ И МЕТОДЫ ОЦЕНКИ ОСТАТОЧНОГО РЕСУРСА

ИЗДЕЛИЙ РАДИОЭЛЕКТРОНИКИ

Определены количественные

показатели остаточного ресурса и

установлены их точечные, довери-

тельные и гарантированные оцен-

ки. Исследована достижимость

гарантированных непараметриче-

ских оценок, найдены их коэффи-

циенты смещения. Получены асим-

птотические и предельные оценки

показателей остаточного ресурса,

доказаны их экстраполяционные и

интерполяционные оценки. С ис-

пользованием физических моделей

расходования ресурса изделий ра-

диоэлектроники получены форму-

лы для расчета и оценки показа-

телей ресурса в штатном режиме

эксплуатации через показатели для

форсированного режима. Приведе-

ны примеры схемной избыточности радиоэлектронной аппаратуры в

качестве источника увеличения ресурса.

Для научных работников. Может быть полезна преподавателям,

аспирантам и студентам старших курсов технических вузов, а также

специалистам в области надежности радиоэлектронной аппаратуры.

96 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 5