186
3. Липаев В.В. Тестирование программ.–М: Радио и связь,–1986.–295с.
4. Канер С., Фолк Д., Нгуен Е.К. Тестирование программного обеспечения: Пер с англ.
– К.: DiaSoft. – 2000. – 544 с.
5. Weyuker E.J., Ostrand T.J. Theories of program testing and the application of revealing
subdomains // IEEE Trans.Soft.Eng. – 1980, –V.6, –№. 3, – P. 236–246.
6. Software unit test coverage and adequacy. / Zhu H., Hall P. A. // ACM Computing
Surveys, 29, –№ 4, Dec. 1997. –P. 336–427.
7. Коул Дж., Горем Т. и др. Принципы тестирования ПО //Открытые системы. – 1998.–
№2. www.osp.ru/os/1998/02/60.htm
8. Burstall R.M. Program proving as hand simulation with a little induction. – Proc. IFIP
Congress 74, North–Holland, 1974. –P.80 – 89.
9. Dijkstra T.W. Finding the Correctness proof of a concurrent program. – Proc.Konf.
Nederland Acad.Wetenach, 1978. – 81. – N2. – p.207– 215.
10. Clint M., Hoare C.A.R
. Program proving: jumps and functions. — Acta Informatikee,
1972. — 1. — N3. — P.214—224.
11. Pfleeger S.L. Software Engineering. Theory and Practice. – Prentice Hall, 1998. – 576p.
12. Grossman D., McCobe C. Perfomance Testing a Large Finance Аpplication. – IEEE
Software. – 1996. – Sept. – P.50 –60.
13. Y.Wang, J.King, J.Kourt, M.Ross, S.Staples. On testable odject–oriented programming//
Software Engineering Notes, volume 22, N4. –1997.– pp.84–90
14. Perry D.E. and Kaiser C.E. Adequate testing and object–oriented programming //
Journal of Object–Oriented Programming, January /Febrary. –1990. – p.13–19.
15. ANSI / IEEE Std. 10122–1986. Standard for Software Verification and Validation
Plans // IEEE . – New York . – 1986. – 61p.
16. Dolores R. Wallase M. Ippolito, b. Cuthill. Reference Information for the Software
Verification and Validation Process // NIST Special Publication . – 1996 . – 500–234. – 80p.
17. Herhart S.L. Program Verification in the 90’s.// Proc.Conf. on Computing in the 1980’s,
1978.– P.80–89.
18. ISO/IEC 12207: 1995.– Information technology - Software life cycle processes)
Информационные технологии - Процессы жизненного цикла программного
обеспечения..
19. CASE–93. Proceeding Sixth Intern.//Workshopon Computer Aided Software
Engineering.– Singapure. –1993. – July 19–23.–418p.
20. Jacobson J. Object–oriented Software Engineering. – Revised Printing. – Addison–
Wesley. – 1995. – 528p.
21. Коротун Т.М. Совершенствование процессов тестирования программного
обеспечения // Проблемы программирования.–1998.–№3.–С.59–64.
22. Бабенко Л.П., Лаврищева Е.М. Основы программной инженерии.– Киев, 2001.–
Знання.– 269с.
23. Koomen, T., and M. Pol. 1998. Improvement of the test process using TPI.
http://www.iquip.nl
24. Андон Ф.И., Лаврищева Е.М. Методы инженерии распределенных компьютерных
систем. –К.: Наукова думка, 1997. –229с.
25. Липаев В.В. Методы обеспечения качества крупномасштабных программных
средств. – М.: СИНТЕГ.– 2003.–520 с.
26. Drabick R. Growth of maturity in the testing process. International Software Testing
Institute 1999. http://www.softtest.org/articles/rdrabick3.htm
.
27. Software Engineering Body of Knowledge (SWEBOK). // ISO/IEC JTC1/SC7 N2517.
Software & System Engineering Secretariat, Canada, 2001. – 220 p.