The category-partition method for specifying and generating fuctional tests
Communications of the ACM
A Fortran language system for mutation-based software testing
Software—Practice & Experience
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs
PDSE '99 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Interface Mutation to Assess the Adequacy of Tests for Components and Systems
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Using Component Metacontent to Support the Regression Testing of Component-Based Software
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Testing and Quality Assurance for Component-Based Software
Testing and Quality Assurance for Component-Based Software
An Integrated Testing Technique for Component-Based Software
AICCSA '01 Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications
Coverage Criteria for Logical Expressions
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
JUnit in Action
Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Sufficient mutation operators for measuring test effectiveness
Proceedings of the 30th international conference on Software engineering
Integrated object-oriented framework-based testing environment
ACS'08 Proceedings of the 8th conference on Applied computer scince
Quality assessment of human behavior models
ASC '07 Proceedings of The Eleventh IASTED International Conference on Artificial Intelligence and Soft Computing
Is operator-based mutant selection superior to random mutant selection?
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Testing techniques in software engineering
Testing techniques in software engineering
Dynamic plans for integration testing of self-adaptive software systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
The use of mutation in testing experiments and its sensitivity to external threats
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Hi-index | 0.00 |
Commercial-off-the-Shelf (COTS) components provide a means to construct software (component-based) systems in reduced time and cost. In a COTS component software market there exist component vendors (original developers of the component) and component users (developers of the component-based systems). The former provide the component to the user without source code or design documentation, and as a result it is difficult for the latter to adequately test the component when deployed in their system. In this article we propose a framework that clarifies the roles and responsibilities of both parties so that the user can adequately test the component in a deployment environment and the vendor does not need to release proprietary details. Then, based on this framework we combine and adapt two specification-based testing techniques and describe (and implement) a method for the automated generation of adequate test sets. An evaluation of our approach on a case study demonstrates that it is possible to automatically generate cost effective test sequences and that these test sequences are effective at detecting complex errors.