Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Testability of Software Components
IEEE Transactions on Software Engineering
Incremental testing of object-oriented class structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Design for testability in object-oriented systems
Communications of the ACM
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Developing an object-oriented software testing and maintenance environment
Communications of the ACM - Special issue on object-oriented experiences and future trends
Object oriented software testing: a hierarchical approach
Object oriented software testing: a hierarchical approach
On testable object-oriented programming
ACM SIGSOFT Software Engineering Notes
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Object-Oriented Software Construction
Object-Oriented Software Construction
Art of Software Testing
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
Computer
Making Components Contract Aware
Computer
Software Testability: The New Verification
IEEE Software
Testing Component-Based Software: A Cautionary Tale
IEEE Software
A Theory of Specification-Based Testing for Object-Oriented Software
EDCC-2 Proceedings of the Second European Dependable Computing Conference on Dependable Computing
Mutation Testing Applied to Validate Specifications Based on Petri Nets
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
A Method for Built-in Tests in Component-based Software Maintenance
CSMR '99 Proceedings of the Third European Conference on Software Maintenance and Reengineering
Mutation Testing Applied to Estelle Specifications
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 8 - Volume 8
Mutation Testing Applied to Validate Specifications Based on Statecharts
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Assessment Of Coupling And Cohesion For Component-Based Software By Using Shannon Languages
Journal of Integrated Design & Process Science
Component airbag: a novel approach to develop dependable component-based applications
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Component airbag: a novel approach to develop dependable component-based applications
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Regression test selection for testable classes
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
A method for modeling and testing exceptions in component-based software development
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
ACM SIGSOFT Software Engineering Notes
An analysis of unit tests of a flight software product line
Science of Computer Programming
An analysis of unit tests of a flight software product line
Science of Computer Programming
Hi-index | 0.00 |
Abstract: Component-based software engineering techniques are gaining substantial interest because of their potential to improve productivity and lower development costs of new software applications, yet satisfying high reliability requirements. A first step to address such high reliability requirements consists in reusing reliable components. To merit the attribute "reliable", a component should be extensively validated. As far as testing is the technique most commonly used for validation, this means that reusable components should well tested. For tests to be applied efficiently and on time, a component should be testable. This paper presents an approach to improve component testability by integrating testing resources into it, and hence obtaining a self-testable component. A prototyping tool, Concat, was developed to support the proposed approach. The tool is intended for OO components implemented in C++. Some preliminary results of an empirical evaluation of the fault detection effectiveness of the proposed testing approach are also discussed.