НОУ ИНТУИТ | Литература | Верификация программного обеспечения

Учитесь и получайте официальные документы БЕСПЛАТНО. Вы можете поддержать наш проект.

Регистрация Вход

Твой путь к знаниям!

Национальный исследовательский ядерный университет «МИФИ»

Опубликован: 28.11.2007 | Доступ: свободный | Студентов: 5143 / 801 | Оценка: 4.53 / 3.65 | Длительность: 22:18:00

ISBN: 978-5-94774-825-3

Тема: Программирование

Специальности: Программист, Тестировщик

Теги: msf for agile software development, unit testing, автоматизации тестирования, базы данных, безопасность, документация, допустимая область, драйверы, жизненный цикл программного обеспечения, интерфейсы, компоненты, нагрузочное тестирование, отладка, поддержка, программирование, программное обеспечение, производительность, процедуры, разработка, ручное тестирование, спецификации, стандарты, тестирование, тестирование пользовательского интерфейса, тестирования удобства использования, треугольник приоритетов, элементы

|

Вам нравится? Нравится 58 студентам

| Поделиться |

Поддержать курс

| Скачать электронную книгу

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)

Авторизоваться

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

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