Реклама:

96. Schneidewind N. F. Application of program graphs and complexity analysis, to software development and testing. — IEEE Trans.,

1979, v. R-28. N 3, p. 192—198.

97. Shooman M. L. Structural models for software reliability prediction.— 2-nd Int. Conf. Software Engineering, 1976, p. 268—280.

98. Shooman ML L. Software engineering: Reliability, Development and Management.— McGrow-Hill Inter. Book Co, 1983. — 672 p,

99. Stikney M. E. An application of graph theory 4o software test date selection.— Software Engineering Notes, 1978, v. 3, N 5, p. 111—115.

100. Stuck! L. G., Walker H. D. Concepts and prototips of ARGUS.— Software Enfineering Environments, North-Holland Publishing Co, 1981, p. 61—79.

101. Sukert A. N. Empirical validation of three software error prediction models. — IEEE Trans., 1979. v. R-28. N 3. p. 199—204.

102. VogesU. et ai. SADAT — an automated testing tool.— IEEE Trans.,

1980, v. SE-6, N 3, p. 286—290.

103. Walker M. G., Harrison R. G. Program portability. — Datamation, 1982, v. 28, N 1, p. 140—144. ,

104. Walters G. E., МсСаІІ I. A. Software quality metrics for lite-cycle cost-rednction.— IEEE Trans., 1979. v. R-28, N'3, p 212—220.

105. Waters R. C. A method for analysing zoop programs. — IEEE Trans., 1979, v. SE-5, N 3, p. 237—247. .

106. Weynker E. I. On testing non-testable programs.—Computer J., 1982, v. 25, N 4, p. 465—470. , •

107. White L. 1., Cohen E. I. A domain strategy for computer program testing. — IEEE Trans., 1980, v. SE.-6, N 3, p. 247—257.

108. Willis R. R. AIDES: Computer aided design of software systems, II. Software engineering environments. — North-Holland Publishing Co, 1981, p. 27—48.

109. Woodward M. R., Hedley D., Hennell M. A:' Experience with path analysis and testing of prog>ams.— IEEE Trans., 1980, v. SE-6, N 3, p. 278—285. -

110. Yin В. H., Winchester J. W. The establishment and use of measures to evaluate the quality of software designs.—Software Engineering News, 1978, v. 3. N 5, p. 45—52. -

111. Martin J., McClure C. Software maintenance, the problems and its solutions.— Prentice-Hall, 1983.—472 p.

112. Valrand C. B. et at. Performance verification, of space shuttle onboard software.— 4-th AIAA/IEEE Digital Avionics Systems Conf., 1981, p. 446—458.

ОГЛАВЛЕНИЕ

I

Предисловие ................ ........

Глава 1. Общие принципы и методы тестирования программ

1.1. Программы как объекты тестирования........

1.2. Основные понятия систематического тестирования программ » характеристики выявляемых ошибок

1.& Категории тестов . : . %..............-•

Глава 2. Основные показатели процесса тестирования про-1 грамм................

2Л. Критерии качества тестирования программ .,". . . .

2.2. Сложность тестирования программ .........

. . -2.З.. Затраты на тестирование программ........., .

Глава 3. Тестирование программных модулей.....

3.1. Методы и методика тестирования программных модулей........................

3.2. Тестирование модулей без исполнения программ . .

3.3. Тестирование структуры программных модулей . . .

3.4. Тестирование обработки данных . . .'........

3.5. Средства автоматизации тестирования программных модулей......"....... ..........

Глава 4. Тестирование прн отладке и испытаниях комплексов программ....................

4.1. Генерирование тестов для. комплексов программ . . .

4.2. Регистрация и обработка данных при тестировании комплексов программ.........•.......

4.3. Некоторые особенности тестирования комплексов программ реального времени ...... ........

4.4. Тестирование при испытаниях программ . . •

Глава 5. Тестирование при сопровождении комплексов программ.............. . . .->. . . -

5.1. Принципы конфигурационного управления и сопровождения комплексов программ....... . .' • ■• • •

5.2. Тестирование Прн сопровождении программ .....

Заключение.........................

Список литературы.................


⇐ Предыдущая страница| |Следующая страница ⇒