A framework for practical, automated black-box testing of component-based software

Software Testing Verification and Reliability

Volumn 11, Issue 2, 2001, Pages 97-111

  Edwards, Stephen H ^a  

^a State University   (United States)

Author keywords

Built in test; Integration testing; Modular construction; Self checking software; Test adequacy; Test drivers; Test oracles

Indexed keywords

AUTOMATIC TESTING; BUILT-IN SELF TEST; COMPUTER SOFTWARE REUSABILITY; MATHEMATICAL MODELS;

AUTOMATED BLOCK BOX TESTING; COMPONENT-BASED SOFTWARE DEVELOPMENT; SELF-CHECKING SOFTWARE; TEST ORACLES;

SOFTWARE ENGINEERING;

EID: 0035360392     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/stvr.224     Document Type: Article

References (22)

1. Component-based software engineering using RESOLVE.
2. A specifier's introduction to formal methods
3. On specification of reusable software components
4. Systematic testing of data abstractions based on software specifications
5. A framework for detecting interface violations in component-based software
6. A systematic generator for detecting interface violations in component-based software
7. Validation of results in testing abstract data types: A method for automation
8. Dynamic verification of C++ generic algorithms
9. Black-box testing using flowgraphs: An experimental assessment of effectiveness and automation potential
10. Software unit test coverage and adequacy
11. An experimental determination of sufficient mutant operators
12. A FORTRAN language system for mutation-based software testing
13. The Inscape environment
14. A practical approach to programming with assertions
15. Data-abstraction implementation, specification, and testing
16. The ASTOOT approach to testing object-oriented programs
17. The test-graphs methodology: Automated testing of classes
18. Applying conventional unit testing techniques to abstract data type operations