Любой код должен работать без ошибок. Однако в медицине требования к коду возрастают, ведь ошибка в программном обеспечении может быть слишком дорога.
Вспомним два известных случая, когда ошибки в программах, связанных с медициной, стали поводом для печальных новостей.
Во-первых, это череда трагических событий, к которым привели ошибки в аппарате лучевой терапии Therac-25. С июня 1985 года по январь 1987 года этот аппарат стал причиной как минимум шести передозировок радиации, некоторые пациенты получили дозы в десятки тысяч рад. Как минимум двое умерли непосредственно от передозировок. Причиной трагедий были ошибки в программном обеспечении аппарата, а принципиальной проблемой была неверная стратегия обеспечения безопасности.
Во-вторых, ошибки в программном обеспечении могут причинять вред и косвенно. Например, ошибки в программном обеспечении для МРТ-сканеров ставят под сомнение 40 000 научных исследований. В течение нескольких десятилетий нейробиологи и когнитивные психологи использовали для анализа данных фМРТ статистические программы AFNI, SPM и FSL. Как выяснилось, из-за некорректных алгоритмов эти программы могут возвращать до 70 % ложноположительных результатов вместо предполагаемых 5 %.
Таким образом ошибки в коде медицинских приложений могут навредить здоровью людей как непосредственно, так и в отложенной перспективе.
Одним из способов сократить вероятность наличия критических ошибок в коде, является использование статических анализаторов кода, таких как PVS‑Studio.
PVS-Studio – инструмент для выявления ошибок и небезопасных участков в коде, написанном на языках C, C++, C#, Java. Инструмент использует различные технологии для глубокого анализа кода и выявляет широкий спектр ошибочных паттернов, опечаток, дефектов безопасности. Предлагаем взглянуть на коллекцию ошибок, которые наша команда обнаружила при исследовании различных открытых проектов.
PVS-Studio можно одинаково эффективно использовать как для улучшения качества прикладного программного обеспечения, так и для проверки кода, создаваемого для встраиваемых систем. Для удобства анализатор может выдавать предупреждения, классифицируя их согласно следующим стандартам:
”Хочу поделиться с вами историей о том, как мы опробовали статический анализатор кода PVS‑Studio в своем проекте и попытались определить, какую выгоду можно извлечь из этого инструмента. В этой статье не будут описаны уникальные и интересные для специалистов программные ошибки. Все найденные в коде статическим анализом баги и недочёты оказались достаточно прозаичными. Я опишу здесь взгляд на данный инструмент с точки зрения руководителя проекта. Возможно, этот ракурс не так точен и однозначен, как оценка инженера: своё влияние оказывают особенности организации работы в конкретном проекте. Но всё же я думаю, что приведённые в статье мысли могут оказаться интересны тем, кто задумывается об использовании статического анализа в работе. Или тем, кто сталкивается в своих проектах со значительными потерями ресурсов на фиксы ошибок, отлавливаемых на стадии тестирования”.
программист из команды по разработке программного обеспечения для промышленных роботов
Отличная штука. Но в старый проект тяжело впихивать. У нас вот ~9к предупреждений. Правда, там есть режим "игнорировать всё старое и смотреть только новые ошибки."
программист из команды по разработке симулятора лапароскопической хирургии
Неплохая вещь. Хорошо находил неинициализированные указатели и всякую опасную работу с ними.
Мы пришлем ключ на .
Если вы так и не получили ответ, пожалуйста, проверьте, отфильтровано ли письмо в одну из следующих стандартных папок:
