Black-box testing using flowgraphs: An experimental assessment of effectiveness and automation potential

Software Testing Verification and Reliability

Volumn 10, Issue 4, 2000, Pages 249-262

  Edwards, Stephen H ^a  

^a State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; FAULT TOLERANT COMPUTER SYSTEMS; GRAPH THEORY; INTERFACES (COMPUTER);

BLACK-BOX TESTING; FLOWGRAPHS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0034478816     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/1099-1689(200012)10:4<249::AID-STVR215>3.0.CO;2-C     Document Type: Article

References (19)

1. Meyer B. Object-Oriented Software Construction. 2nd edn. Prentice Hall PTR: Upper Saddle River, NJ, 1997.
2. Zweben S, Heym W, Kimmich J. Systematic testing of data abstractions based on software specifications. Software Testing-Verification and Reliability 1992: 1(4): 39-55.
3. Edwards S, Shakir G, Sitaraman M, Weide BW, Hollingsworth J. A framework for detecting interface violations in component-based software. Proceedings of the 5th International Conference on Software Reuse. IEEE CS Press: Los Alamitos, CA. 1998: 46-55.
4. Beizer B. Black-Box Testing: Techniques for Functional Testing of Software and Systems. Wiley: New York, 1995.
5. Sitaraman M. Weide BW (eds). Component-based software engineering using RESOLVE. ACM SlGSOFT Software Engineering Notes 1994, 19(4): 21-67.
6. Wing JM. A specifier's introduction to formal methods. IEEE Computer 1990; 29(9): 8-24.
7. Doong R-K. Frankl PG. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology 1994: 3(2): 101-130.
8. Harms DE. Weide BW. Copying and swapping: Influences on the design of reusable software components. IEEE Transactions on Software Engineering 1991: 17(5): 424-435.
9. Offutt J. Lee A. Rothermel G. Untch RH, Zapf C. An experimental determination of sufficient mutant operators. ACM Transactions on Software Engineering and Methodology 1996: 5(2): 99-118.
10. King KN, Offutt J. A Fortran language system for mutation-based software testing. Software-Practice and Experience 1991: 21(7): 686-718.
11. Edwards SH. A framework for practical, automated black-box testing of component-based software. Proceedings of the 1st International Workshop on Automated Program Analysis, Testing and Verification, June 2000: 106-114.
12. Gannon JD, McMullin PR. Hamlet R. Data-abstraction implementation, specification, and testing. ACM Transactions on Programming Languages and Systems 1981; 3(3): 211-223.
13. Hoffman D. Strooper P. The test-graphs methodology: automated testing of classes. Journal of Object-Oriented Programming 1995: 8(7): 35-41.
14. Offutt J. Abdurazik A. Generating tests from UML specifications. 2nd International Conference on the Unified Modeling Language (UML99). Fort Collins. CO, October 1999.
15. Offutt J, Xiong Y. Liu S. Criteria for generating specification-based tests. 5th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99), Las Vegas. NV. October 1999.
16. Zhu H. Hall PAV. May JHR. Software unit test coverage and adequacy. ACM Computing Surveys 1997; 29(4): 366-427.
17. Frankl PG. Weiss SN. An experimental comparison of the effectiveness of branch testing and data flow testing. IEEE Transactions on Software Engineering 1993: 19(8): 774-787.
18. Frankl PG. Weiss SN. Hu C. All-uses versus mutation testing: an experimental comparison of effectiveness. Journal of Systems of Software 1997; 38(3): 235-253.
19. Mathur AP, Wong WE. Comparing the fault detection effectiveness of mutation and data flow testing: an empirical study. Technical Report SERC-TR-146-P, Software Engineering Research Center, December 1993.