An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Path analysis testing of concurrent programs
Information and Software Technology
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Applications of feasible path analysis to program testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Residual test coverage monitoring
Proceedings of the 21st international conference on Software engineering
Building Reliable Component-Based Software Systems
Building Reliable Component-Based Software Systems
Essential COM
Systematic Software Testing
Testing Component-Based Software: A Cautionary Tale
IEEE Software
Evolutionary Testing In Component-based Real-time System Construction
GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference
A Component Model for Field Devices
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Test-Case Generation for Concurrent Programs with the Testing Criteria Using Interaction Sequences
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Reviewing 25 Years of Testing Technique Experiments
Empirical Software Engineering
A Practitioner's Guide to Software Test Design
A Practitioner's Guide to Software Test Design
Effective Generation of Test Sequences for Structural Testing of Concurrent Programs
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Regression Testing for Component-based Software Systems by Enhancing Change Information
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
The SAVE approach to component-based development of vehicular systems
Journal of Systems and Software
RTCSA '07 Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
TESTOR: deriving test sequences from model-based specifications
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Hi-index | 0.00 |
Component based development of software systems needs to devise effective test management strategies in order fully achieve its perceived advantages of cost efficiency, flexibility, and quality in industrial contexts. In industrial systems with quality demands, while testing software, measures are employed to evaluate the thoroughness achieved by execution of a certain set of test cases. Typically, these measures are expressed in the form of coverageof different structural test criteria, e.g., statement coverage. However, such measures are traditionally applicable only on the lowest level of software integration (i.e., the component level). As components are assembled into subsystems and further into full systems, general measures of test thoroughness are no longer available. In this context, we formalize the added test effort and show to what extent the coverage of structural test criteria are maintained when components are integrated, in three representative component models. This enables focusing on testing the right aspects of the software at the right level of integration, and achieves cost reduction during testing -- one of the most resource-consuming activities in software engineering.