Specification-based testing using cause-effect graphs

Annals of Software Engineering

Volumn 4, Issue , 1997, Pages 133-157

  Paradkar, Amit ^a,b   Tai, K C ^a   Vouk, M A ^a  

^a North Carolina State University   (United States)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031498898     PISSN: 10227091     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018979130614     Document Type: Article

References (32)

1. Basili, V.R. and R.W. Selby (1987), "Comparing the Effectiveness of Software Testing Strategies," IEEE Transactions on Software Engineering SE-13, 12, 1278-1296.
2. Beizer, B. (1990), Software Testing Techniques, Second Edition, Van Nostrand Reinhold, New York, NY.
3. Bender, R.A. (1991), Requirements Based Testing CASE Tool, SoftTest, Bender and Associates, Larkspur, CA.
4. Boehm, B. (1989), Tutorial: Software Risk Management, IEEE Computer Society Press, Washington, DC.
5. Elmendorf, W.R. (1973), "Cause-Effect Graphs in Functional Testing," TR-00.2487, IBM Systems Development Division, Poughkeepsie, NY.
6. Foreman, L. and S.H. Zweben (1993), "A Study of the Effectiveness of Control and Data Flow Testing Strategies," Journal of Systems and Software 21, 3, 215-228.
7. Frankl, P. and E.J. Weyuker (1988), "An Applicable Family of Data Flow Testing Criteria," IEEE Transactions on Software Engineering 14, 10, 1483-1498.
8. Hamlet, R. (1995), "Software Testing," In Advances in Computers, M.V. Zelkovitz, Ed., Academic Press, San Diego, CA, pp. 1402-1411.
9. Howden, W.E. (1987), Functional Program Testing and Analysis, McGraw-Hill, New York, NY.
10. IEEE-ANSI (1989), IEEE Guide for the User of IEEE Standard Dictionary of Measures to Produce Reliable Software, IEEE Std 982.2-1988, IEEE Standards Board and ANSI, New York, NY.
11. Institute for Risk Research (1993), Generic Problem Competition: A Component of the International Symposium on Design and Review of Software Controlled Safety-Related Systems, Software Specification for the Generic Problem Competition, Ottawa, Ontario, Canada.
12. Konz, S. (1995), Work Design - Industrial Ergonomics, Fourth Edition, Publishing Horizons, Inc., Scotsdale, AZ.
13. Laski, J. (1989), "Testing in the Program Development Cycle," Software Engineering Journal 4, 2, 95-106.
14. Lyu, M. (1994), Handbook of Software Reliability Engineering, IEEE Computer Society Press and McGraw-Hill, New York, NY.
15. Musa, J.D., A. Iannino and K. Okumoto (1987), Software Reliability: Measurement, Prediction, Appli-cation, McGraw-Hill, New York, NY.
16. Myers, G.J. (1979), The Art of Software Testing, Wiley, New York, NY.
17. Nagle, P.M. and J.A. Skrivan (1982), "Software Reliability: Repetitive Run Experimentation and Modeling," Bsc-40336, Boeing Inc., Seattle, WA.
18. Nursimulu, K. and R.L. Probert (1995), "Cause-Effect Graphing Analysis and Validation of Requirements," In Proceedings of CASCON'95, IBM Canada Ltd. and National Research Council, Toronto, Ontario, Canada, p. 293.
19. Paradkar, A.M. (1996), "Specification Based Testing Using Cause-Effect Graphs," PhD Dissertation, Department of Computer Science, North Carolina State University, Raleigh, NC.
20. Paradkar, A.M., I. Shields and J. Waters (1993), "The NCSU Solution to the Generic Problem Exercise: Boiler Control and Monitoring System," Software Documentation for NCSU Solution to the Generic Problem Exercise, Department of Computer Science, North Carolina State University, Raleigh, NC.
21. Paradkar, A.M. and K.C. Tai (1995), "Test Generation for Boolean Expressions," In Proceedings of International Symposium on Software Reliability Engineering'95, IEEE Computer Society Press, Los Alamitos, CA, pp. 106-115.
22. Paradkar, A.M., K.C. Tai and M.A. Vouk (1996), "Automatic Test Generation for Predicates," IEEE Transactions on Reliability 45, 4, 515-530.
23. Tai, K.C. (1996), "Theory of Fault-Based Predicate Testing for Computer Programs," IEEE Transactions on Software Engineering 22, 8, 552-562.
24. Tai, K.C., M.A. Vouk, A. Paradkar and P. Lu (1994), "Evaluation of a Predicate-Based Software Testing Strategy," IBM Systems Journal 33, 3, 445-457.
25. Vouk, M.A. and R.E. Coyle (1989), "BGG: A Testing Coverage Tool," In Proceedings of 7th Annual Pacific Northwest Software Quality Conference, Lawrence and Craig, Inc., Portland, OR, pp. 212-233.
26. Vouk, M.A., M.L. Helsabeck, D.F. McAllister and K.C. Tai (1986a), "On Testing of Functionally Equivalent Components of Fault-Tolerant Software," In Proceedings of Computer Software and Applications Conference (COMPSAC'86), IEEE Computer Society Press, Los Alamitos, CA, pp. 414-419.
27. Vouk, M.A., D.F. McAllister and K.C. Tai (1986b), "An Experimental Evaluation of the Effectiveness of Random Testing of Fault-Tolerant Software," In Proceedings of Workshop on Software Testing, IEEE Computer Society Press, Los Alamitos, CA, pp. 74-81.
28. Vouk, M.A. and A.M. Paradkar (1993), "Design and Review of Software Controlled Safety-Related Systems: The NCSU Experience with the Generic Problem Exercise," In Proceedings of the 1993 International Invitational Workshop on Design and Review of Software Controlled Safety-Related Systems, Institute for Risk Research, Ottawa, Ontario, Canada, pp. 209-222.
29. Weyuker, E.J. (1988), "An Empirical Study of the Complexity of Data Flow Testing," In Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, IEEE Computer Society Press, Los Alamitos, CA, pp. 188-195.
30. Weyuker, E.J., T. Goradia and A. Singh (1994), "Automatically Generating Test Data from a Boolean Specification," IEEE Transactions on Software Engineering 20, 5, 353-363.
31. White, L. (1995), "Software Testing and Verification," In Encyclopedia of Microcomputers, Volume 16, A. Kent and J. Williams, Eds., Marcel Dekker Inc., New York, NY, pp. 185-241.
32. Yokoi, S. and M. Ohba (1992), "TCG: CEG-Based Tool and Its Experiments," In Proceedings of the 13th Software Reliability Symposium, IEEE Computer Society Press, Los Alamitos, CA, pp. 41-49.