Toward an integration of data flow and domain testing

Journal of Systems and Software

Volumn 45, Issue 1, 1999, Pages 19-30

  Jeng, Bingchiang ^a  

^a NATIONAL SUN YAT SEN UNIVERSITY   (Taiwan)

Author keywords

Data flow testing; Domain testing; Fault based testing; Software testing; Structure based testing

Indexed keywords

DATA FLOW ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS;

DOMAIN TESTING;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0033079482     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(98)10065-1     Document Type: Article

References (29)

1. ACM, 1980. Collected Algorithms from ACM, vol. 1, Association for Computing Machinery, New York.
2. Boyer, R.S., Elspas, B., Levitt, K.N., 1975. SELECT - A Formal System for Testing and Debugging Programs by Symbolic Execution. Proceedings of the International Conference on Reliable Software, Los Angeles, CA, pp. 234-245.
3. Clarke L.A. A System to Generate Test Data and Symbolically Execute Programs. IEEE Trans. Software Eng. 2(3):1976;215-222.
4. Clarke L.A., Hassell H., Richardson D.J. A close look at domain testing. IEEE Trans. Software Eng. 8(4):1982;380-398.
5. Clarke L.A., Podgurski A., Richardson D.J., Zeil S.J. A formal evaluation of data flow path selection criteria. IEEE Trans. Software Eng. 15(11):1989;1318-1332.
6. Frankl P.G., Weyuker E.J. An applicable family of data flow testing criteria. IEEE Trans. Software Eng. 14(10):1988;1483-1498.
7. Herman P.M. A data analysis approach to program testing. Australian Comput. J. 8(3):1976;92-96.
8. Howden W.E. Reliability of the path analysis testing strategy. IEEE Trans. Software Eng. 2(3):1976;208-215.
9. Hutchins, M., Foster, H., Goradia, T., Ostrand, T., 1994. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. Proceedings of the 14th ICSE, Italy, pp. 191-200.
10. Jeng, B., 1990. A new approach to domain testing, Ph.D. Thesis, Department of Computer Sciences, Courant Institute of Mathematical Sciences, New York University.
11. Jeng B., Weyuker E.J. A simplified domain testing strategy. ACM Trans. on Soft. Eng. and Methodology. 3(3):1994;254-270.
12. Laski J.W., Korel B. A data flow oriented program testing strategy. IEEE Trans. Software Eng. 9(3):1983;347-354.
13. Laski J.W. Data flow testing in STAD. The Journal of Systems and Software. 12(1):1990;3-14.
14. Ntafos S. On required element testing. IEEE Trans. Software Eng. 10(6):1984;795-803.
15. Ntafos S. A comparison of some structural testing strategies. IEEE Trans. Software Eng. 14(6):1988;868-874.
16. Rapps S., Weyuker E.J. Selecting software testing data using data flow information. IEEE Trans. Software Eng. 11(4):1985;367-375.
17. Richardson, D.J., Thompson, M.C., 1988. The RELAY Model of Error Detection and Its Application. Proceedings of the ACM SIGSOFT/IEEE second workshop on Software Testing, Analysis and Verification (TAV2), Banff, Canada.
18. Richardson, D.J., Aha, S.L., Osterweil, L.J., 1989. Integrating testing techniques through process programming. Proceedings of the third Symposium on Software Testing, Analysis and Verification (TAV3), Keywest, Florida, pp. 219-228.
19. Richardson D.J., Thompson M.C. An analysis of test data selection criteria using the RELAY model of fault detection. IEEE Trans. Software Eng. 19(6):1993;533-553.
20. Tai K.C. What to do beyond path testing. ACM SIGSOFT Software Engineering Notes. 14(2):1989;58-61.
21. Weyuker E.J. The complexity of data flow criteria for test data selection. Information Processing Letters. 19(2):1984;103-109.
22. Weyuker E.J. The cost of data flow testing: An empirical study. IEEE Trans. Software Eng. 16(2):1990;121-128.
23. Weyuker E.J. More experience with data flow testing. IEEE Trans. Software Eng. 19(9):1993;912-919.
24. Weyuker, E.J., 1995. Personal communication.
25. White L.J., Cohen E.I. A domain strategy for computer program testing. IEEE Trans. Software Eng. 6(3):1980;247-257.
26. White, L.J., Cohen, E.I., Zeil, S.J., 1981. A domain strategy for computer program testing. In: Chandrasekaran, B., Radicchi, S. (Eds.), Computer Program Testing, North-Holland, Amsterdam.
27. Zeil, S.J., White, L.J., 1981. Sufficient test sets for path analysis testing strategies. Proceedings of 5th ICSE, San Diego, CA, pp. 184-191.
28. Zeil S.J. Perturbation techniques for detecting domain errors. IEEE Trans. Software Eng. 15(6):1989;737-746.
29. Zeil S.J., Afifi F.H., White L.J. Detection of linear errors via domain testing. ACM Transactions on Software Engineering and Methodology. 1(4):1992;422-451.