Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Theory of software reliability based on components
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Princples of Computer Programming
Princples of Computer Programming
Art of Software Testing
Software Reliability Engineered Testing
Software Reliability Engineered Testing
Automated black-box testing of functional correctness using function approximation
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Concurrency: State Models And Java Programs
Concurrency: State Models And Java Programs
Subdomain testing of units and systems with state
Proceedings of the 2006 international symposium on Software testing and analysis
Modular verification of code with SAT
Proceedings of the 2006 international symposium on Software testing and analysis
Reliability of the Path Analysis Testing Strategy
IEEE Transactions on Software Engineering
Software component composition: a subdomain-based testing-theory foundation
Software Testing, Verification & Reliability
Verification of component-based software application families
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Performance evaluation of component-based software systems: A survey
Performance Evaluation
Parameterized reliability prediction for component-based software architectures
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Modeling parameter and context dependencies in online architecture-level performance models
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Personalized Reliability Prediction of Web Services
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
Development of software using off-the-shelf components seems to offer a chance for improving product quality and developer productivity. This article reviews a foundational testing-based theory of component composition, describes tools that implement the theory, and presents experiments with functional and nonfunctional component/system properties that validate the theory and illuminate issues in component composition. The context for this work is an ideal form of Component-Based Software Development (CBSD) supported by tools. Component developers describe their components by measuring approximations to functional and nonfunctional behavior on a finite collection of subdomains. Systems designers describe an application-system structure by the component connections that form it. From measured component descriptions and a system structure, a CAD tool synthesizes the system properties, predicting how the system will behave. The system is not built, nor are any test executions performed. Neither the component sources nor executables are needed by systems designers. From CAD calculations a designer can learn (approximately) anything that could be learned by testing an actual system implementation. The CAD tool is often more efficient than it would be to assemble and execute an actual system. Using tools that support an ideal separation between component- and system development, experiments were conducted to investigate two related questions: (1) To what extent can unit (that is, component) testing replace system testing? (2) What properties of software and subdomains influence the quality of subdomain testing?