MYY:

Верификация программного обеспечения

:

Верификация программного обеспечения

: Литература по курсу
[+]
Опубликован: 28.11.2007 | Уровень: специалист | Доступ: платный | ВУЗ: Национальный исследовательский ядерный университет «МИФИ»
  • 1.
    А.Гаврилов
    Технологии разработки программного обеспечения
    MSF
  • 2.
    Г. Майерс
    Надежность программного обеспечения
    М.: «Мир», 1980. 360 с
  • 3.
    Александр Монахов, Александр Петренко, Елена Бритвина, Ольга Петренко, Сергей Грошев
    Тестирование на основе моделей
    Открытые системы, #09/2003
  • 4.
    Гостехкомиссия России. Руководящий документ. Защита от несанкционированного доступа к информации. Часть 1. Программное обеспечение средств защиты информации. Классификация по уровню контроля отсутствия недекларированных возможностей
    М.: Гостехкомиссия РФ, 1999
  • 5.
    Гостехкомиссия России. Руководящий документ. Средства вычислительной техники. Защита от несанкционированного доступа к информации. Показатели защищенности от несанкционированного доступа к информации
    М.: Гостехкомиссия РФ, 1992
  • 6.
    ГОСТ Р ИСО 9001-2001. Системы менеджмента качества. Требования
    М.: ИПК Изд-во стандартов, 2001, – 140 с
  • 7.
    RTCA/DO-178B. Software considerations in airborne system and equipment certification
    RTCA Inc, 1992, – 138 p
  • 8.
    AS9100A. Quality Management Systems – Aerospace – Requirements
    G-14 Americas Aerospace Quality Group (AAQG), SAE, 2003, – 69 р
  • 9.
    AS9006A. Aerospace Software Supplement for AS9100A
    G-14 Americas Aerospace Quality Group (AAQG), SAE, 2003, – 24 p
  • 10.
    Burnstein I
    Practical Software Testing. A process-oriented approach
    Springer-Verlag, New York, 2003, - 732 p
  • 11.
    Стивенс У
    UNIX. Взаимодействие процессов
    СПб.: Питер, 2002. – 576 с
  • 12.
    Налютин Н.Ю, Синицын С.В.
    Операционные системы: учебное пособие
    М.: МИФИ, 2006. 213 с
  • 13.
    Encontre V, Leblanc P.
    Object-oriented Real-time Techniques: Method Guide
  • 14.
    IEEE 1012-1998. IEEE Standard for Software Verification and Validation
    Institute of Electrical and Electronics Engineers. 01-May-1998, 75 p
  • 15.
    IEEE 829-1998. IEEE Standard for Software Test Documentation
    Institute of Electrical and Electronics Engineers. 01-May-1998, 62 p
  • 16.
    Dart S
    Concepts in Configuration Management Systems
    Proc. 3rd International Workshop on Software Configuration Management, Trondheim, Norway, 1991, – 166 p, pp. 1-18
  • 17.
    M. Mullerburg, U. Linnenkugel
    Test data selection criteria for (software) integration testing
    Proc. First International Conf. Systems Integration, April 1990, pp. 709–717
  • 18.
    Белов С
    Модульное тестирование и Test-Driven Development, или Как управлять страхом в программировании
    IT News, #21/2005
  • 19.
    IEEE 1008-1987. IEEE Standard for Software Unit Testing
    Institute of Electrical and Electronics Engineers. 01-May-1987, 28 p
  • 20.
    Murphy G., Townsend P., Wong P
    Experiences with cluster and class testing
    Communications of the ACM, Vol. 37, No. 9, 1994, pp. 39–47
  • 21.
    ГОСТ 27.002-89. Надежность в технике. Основные понятия. Термины и определения
    М.: Издательство стандартов, 1990. – 37 с
  • 22.
    ГОСТ 13377-75. Надежность в технике. Термины и определения
    М.: Изд-во стандартов, 1975
  • 23.
    ISO 10007. Quality management - Guidelines for configuration management
    International Organization for Standardization. 01-Apr-1995, 14 p
  • 24.
    IEEE 1042-1987. IEEE Guide to Software Configuration Management
    Institute of Electrical and Electronics Engineers. 10-Sep-1987, 92 p
  • 25.
    An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion
    Office of Aviation Research Washington, D.C., 2001, 214 p
  • 26.
    Hayhurst K.J. et al
    A Practical Tutorial on Modified Condition/Decision Coverage
    NASA, 2001, 85 p
  • 27.
    Э. Йордан С. Аргила
    Структурные модели в объектно-ориентированном анализе и проектировании
    М.:Лори, 1999, 288 с
  • 28.
    Майерс Г
    Искусство тестирования программ
    М.:Финансы и статистика, 1982, 176 с
  • 29.
    Rational Unified Process. Методология и технология
    Материалы компании Interface Ltd
  • 30.
    Nielsen J
    Ten Usability Heuristics
  • 31.
    ISO 13407:1999. Human-centred design processes for interactive systems
    International Organization for Standardization. 01-Jun-1999, 26 p.
  • 32.
    ISO/IEC 9126-1:2001. Software engineering -- Product quality -- Part 1: Quality model
    International Organization for Standardization/International Electrotechnical Commission. 01-Jun-2001, 25 p
  • 33.
    Общий оценочный лист тестирования usability web-сайта
    Публикация компании IT-Online
  • 34.
    КТ-178А. Квалификационные требования часть 178А
    АОЗТ "ИСПАС", Жуковский, 1997
  • 35.
    Microsoft Solutions Framework. Методология создания программных решений
    http://www.microsoft.com/Rus/Msdn/msf/Default.mspx
  • 36.
    Бек К
    Экстремальное программирование
    С-Пб.:Питер, 2002, 224 с
  • 37.
    ISO/IEC 15408. Information technology – Security techniques – Evaluation criteria for IT security
    International Organization for Standardization. 50 p. (part 1), 248 p. (part 2), 168 p. (part 3)

Вопросы и ответы

вопросов: 8
Илья Макаренко
Илья Макаренко

Добрый день.

Вопрос №1

Какова стоимость получения диплома о мини-МБА по данному курсу? Или ориентироваться на указанную на сайте?

Вопрос №2

Возможно ли начать обучение без потери результатов, не отправив документы на зачисление, а отправку выполнить позже?

ответить
Александр Медов
Александр Медов

Здравствуйте, какова полная сумма предоставленной услуги с печатью документа и отправкой по почте?

ответить

Студенты

всего: 2
Александр Толкач
Александр Толкач
Беларусь
предложить дружбу
А И
А И
Беларусь
предложить дружбу