Санкт-Петербургский государственный университет
Опубликован: 25.07.2014 | Доступ: свободный | Студентов: 1041 / 81 | Длительность: 17:26:00
Лекция 15:

Visual Studio 2013 и ее возможности для надежных и безопасных вычислений (trustworthy computing)

< Лекция 14 || Лекция 15: 123 || Лекция 16 >

18.3. Резюме

Надежные и безопасные вычисления (trustworthy computing) - актуальное направление исследований и разработок в области ИТ, так как от него зависит надежность и безопасность подчас жизненно важных приложений повседневного использования. Составные части инициативы Trustworthy Computing фирмы Microsoft - это безопасность, надежность, соблюдение конфиденциальности информации, оперативность и корректность бизнеса по разработке и сопровождению программ.

В среде Visual Studio 2013 имеется очень удобная и развитая поддержка trustworthy computing - коррекция кода при его вводе и диагностика его недочетов; контроль многих проблем надежности и безопасности компилятором; анализатор кода проекта на типичные ошибки дизайна и безопасности; мощная поддержка генераторов тестов и тестирования проектов.

Ключевые термины

Анализатор кода в среде Visual Studio 2013 - часть интегрированной среды, обеспечивающая анализ кода проекта (решения) на типичные ошибки и проблемы безопасности, надежности и другие проблемы truatworthy computing.
Надежные и безопасные вычисления (trustworthy computing) - актуальное направление ИТ, имеющее целью на улучшение надежности и безопасности кода, соблюдение конфиденциальности информации, оперативность и корректность бизнеса по разработке и сопровождению программ.
Безопасность (security) - устойчивость кода программного продукта к внешним угрозам и атакам, способность к их предотвращению и отражению (ослаблению их эффекта).
Надежность (reliability) - способность кода программного продукта обеспечивать специфицированное для него ожидаемое поведение в заданных условиях.
Соблюдение конфиденциальности информации (privacy) - сохранение кодом программного продукта конфиденциального статуса для любой используемой им частной или корпоративной информации о пользователе, его приложениях и инфраструктуре.
Оперативность и корректность бизнеса (business integrity) - быстрота, качественность и полнота сопровождения программного продукта, а также соблюдение фирмой-разработчиком программного продукта всех законодательных актов и юридических установлений.
lint - классический верификатор исходного кода в системе UNIX.

Краткие итоги

Надежные и безопасные вычисления (trustworthy computing) - актуальное направление исследований и разработок в области ИТ, так как от него зависит надежность и безопасность подчас жизненно важных приложений повседневного использования. Составные части инициативы Trustworthy Computing фирмы Microsoft - это безопасность, надежность, соблюдение конфиденциальности информации, оперативность и корректность бизнеса по разработке и сопровождению программ.

В среде Visual Studio 2013 имеется очень удобная и развитая поддержка trustworthy computing - коррекция кода при его вводе и диагностика его недочетов; контроль многих проблем надежности и безопасности компилятором; анализатор кода проекта на типичные ошибки дизайна и безопасности; мощная поддержка генераторов тестов и тестирования проектов.

Набор для практики

Вопросы

  1. Что такое надежные и безопасные вычисления (trustworthy computing)?
  2. Что такое (компьютерная) безопасность (security)?
  3. Что такое надежность (reliability)?
  4. Что такое соблюдение конфиденциальности информации (privacy)?
  5. Что такое оперативность и корректность бизнеса (business integrity)?
  6. Что такое Security Development LifeCycle (SDLC)?
  7. Что такое эксперт по безопасности (security buddy)?
  8. Что такое безопасность по умолчанию?
  9. Что такое безопасность при развертывании?
  10. Что такое принцип наименьших привилегий?
  11. Что такое минимизация атакуемой поверхности?
  12. Какова поддержка надежных и безопасных вычислений в среде VS 2013?
  13. Какие проверки надежности и безопасности выполняются при наборе (вводе) кода в редакторе?
  14. Какие проверки надежности и безопасности выполняются компилятором?
  15. Что такое анализатор кода в среде VS 2013 и какие проверки он выполняет?
  16. Какие инструменты тестирования используются в среде VS 2013?
  17. Что такое lint?

Упражнения

  1. Создайте консольный проект в среде VS 2013 и выполните анализ его кода.
  2. Инсталлируйте с помощью утилиты NuGet и попробуйте в действии генератор тестов NUnit.
  3. Изучите детально на практике на нескольких примерах анализатор кода в среде VS 2013.

Темы для курсовых работ, рефератов, эссе

  1. Концепция надежных и безопасных вычислений (trustworthy computing) (реферат).
  2. Инструменты поддержки надежных и безопасных вычислений в среде Visual Studio 2013 (реферат).
  3. Возможности верификатора lint (реферат).

Дополнительные материалы, презентации

Презентация к данной лекции: VS_2013_Course_18.pptx.

< Лекция 14 || Лекция 15: 123 || Лекция 16 >
Александр Калинин
Александр Калинин

Осенью прошёл курс и получил ключ. Но т.к. уже имел действующую подписку, то ключом не воспользовался. Сейчас захожу сюда, а про DreamSpark вообще ни слова. Где же мой ключ?