7


 

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. 236246.

6. Software unit test coverage and adequacy. / Zhu H., Hall P. A. // ACM Computing Surveys, 29, 4, Dec. 1997. P. 336427.

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, NorthHolland, 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.214224.

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 odjectoriented programming// Software Engineering Notes, volume 22, N4. 1997.­­ pp.8490

14. Perry D.E. and Kaiser C.E.

Adequate testing and objectoriented programming // Journal of ObjectOriented Programming, January /Febrary. 1990. p.1319.

15. ANSI / IEEE Std. 101221986. 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 .