Методы и средства инженерии программного обеспечения


         

Майерс Г. Искусство тестирования программ.


 

1. Майерс Г. Искусство тестирования программ. – Пер.с англ.M: Финансы и статистика. – 1982. – 176 с.

 2. Липаев  В.В. Отладка сложных программ.–М.: Энергоатомиздат,  1993.–296с.

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 .

Содержание  Назад  Вперед