An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
Data Diversity: An Approach to Software Fault Tolerance
IEEE Transactions on Computers - Fault-Tolerant Computing
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
Generating a test oracle from program documentation: work in progress
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Testing a safety-critical application
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Designing programs that check their work
Journal of the ACM (JACM)
Handbook of software reliability engineering
Handbook of software reliability engineering
Software reliability and system reliability
Handbook of software reliability engineering
Handbook of software reliability engineering
On subdomains: Testing, profiles, and components
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
IEEE Transactions on Software Engineering
Software Component Independence
HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
On The Estimation Of Reliability Of A Software System Using Reliabilities Of Its Components
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Building a System Failure Rate Estimator by Identifying Component Failure Rates
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Packaging Predictable Assembly
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Journal of Systems and Software - Special issue on: Component-based software engineering
Reliability prediction for component-based software architectures
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
An analytical approach to architecture-based software performance and reliability prediction
Performance Evaluation
Subdomain testing of units and systems with state
Proceedings of the 2006 international symposium on Software testing and analysis
QoS analysis for component-based embedded software: Model and methodology
Journal of Systems and Software
Early quality prediction of component-based systems - A generic framework
Journal of Systems and Software
Evaluating Dependability Attributes of Component-Based Specifications
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Reliability models in architecture description languages
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
An optimization framework for "build-or-buy" decisions in software architecture
Computers and Operations Research
Managing change and reliability of distributed software system
International Journal of Information Systems and Change Management
Software Component Selection Algorithm Using Intelligent Agents
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Tools and experiments supporting a testing-based theory of component composition
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Performance improvement of software-based system using an integrated approach – a case study
International Journal of Information Systems and Change Management
Parameter Dependencies for Component Reliability Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
A Petri net-based approach to modeling and analysis of component-based distributed real-time systems
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Architecture-based software reliability modeling
Journal of Systems and Software
Architecting dependable systems IV
Path-based error propagation analysis in composition of software services
SC'07 Proceedings of the 6th international conference on Software composition
Dependability metrics
Performance evaluation of component-based software systems: A survey
Performance Evaluation
A taxonomy of software architecture-based reliability efforts
Proceedings of the 2010 ICSE Workshop on Sharing and Reusing Architectural Knowledge
Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations
Electronic Notes in Theoretical Computer Science (ENTCS)
Using allopoietic agents in replicated software to respond to errors, faults, and attacks
Proceedings of the 48th Annual Southeast Regional Conference
Selection algorithm using artificial ant colonies
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
On the estimation of software reliability of component-based dependable distributed systems
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Finding upper bounds for software failure probabilities – experiments and results
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Architectural design decisions for achieving reliable software systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Assembling Components using SysML with Non-Functional Requirements
Electronic Notes in Theoretical Computer Science (ENTCS)
Software testing with an operational profile: OP definition
ACM Computing Surveys (CSUR)
Adaptation space exploration for service-oriented applications
Science of Computer Programming
Hi-index | 0.00 |
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce measurements that are later used by system designers to calculate composite system reliability — without implementation and test of the system being designed. The theory describes how to make component measurements that are independent of operational profiles, and how to incorporate the overall system-level operational profile into the system reliability calculations. In principle, the theory resolves the central problem of assessing a component, which is: a component developer cannot know how the component will be used and so cannot certify it for an arbitrary use; but if the component buyer must certify each component before using it, component-based development loses much of its appeal. This dilemma is resolved if the component developer does the certification and provides the results in such a way that the component buyer can factor in the usage information later, without repeating the certification. Our theory addresses the basic technical problems inherent in certifying components to be released for later use in an arbitrary system.Most component research has been directed at functional specification of software components; our theory addresses the other, equally important, side of the coin: component quality.