
 
 
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.