Abstract interpretation and low-level code optimization
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Winning with software: an executive strategy
Winning with software: an executive strategy
Efficient instrumentation for code coverage testing
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Programming and Computing Software
Software Architecture in Practice
Software Architecture in Practice
Proceedings of a symposium on Compiler optimization
An Architectural Model For Software Reliability Quantification
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Twin Workshops on Architecting Dependable Systems (WADS 2004)
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
Architecture based analysis of performance, reliability and security of software systems
Proceedings of the 5th international workshop on Software and performance
Large Empirical Case Study of Architecture-Based Software Reliability
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
Using scenarios to predict the reliability of concurrent component-based software systems
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
| Hi-index | 0.00 |
Software components and software architectures have emerged as a promising paradigm to improve the construction of software systems. Some attributes, such as reliability, requires evidences about failures in the system. An approach addressing the software reliability estimation problem is based on considering all execution traces collected during the testing process. An execution trace is a sequence of blocks grouping source code statements. Following this approach, early reliability assessment of component assemblies requires addressing an important issue: a precise composition semantics representing the behavior of the assembled components. This paper describes a composition model for sequential component assemblies which uses as basic units of composition a set of empirical evidences generated during the component testing process. These units are named as Component Test Records.