Object-oriented integration testing
Communications of the ACM
Model-based testing in practice
Proceedings of the 21st international conference on Software engineering
Shimba—an environment for reverse engineering Java software systems
Software—Practice & Experience
Architecture-based approach to reliability assessment of software systems
Performance Evaluation
Early reliability assessment of UML based software models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
The 4+1 View Model of Architecture
IEEE Software
Automated Support for Modeling OO Software
IEEE Software
A survey on software architecture analysis methods
IEEE Transactions on Software Engineering
Automated Software Engineering
Runtime Checking of Multithreaded Applications with Visual Threads
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Visualizing the Execution of Java Programs
Revised Lectures on Software Visualization, International Seminar
Software Component Reliability Analysis
ASSET '99 Proceedings of the 1999 IEEE Symposium on Application - Specific Systems and Software Engineering and Technology
Tool Support for Testing Concurrent Java Components
IEEE Transactions on Software Engineering
Reliability prediction for component-based software architectures
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Architecture-level modifiability analysis (ALMA)
Journal of Systems and Software
An Overview of the Runtime Verification Tool Java PathExplorer
Formal Methods in System Design
Program Comprehension for the Purpose of Testing
IWPC '04 Proceedings of the 12th IEEE International Workshop on Program Comprehension
A survey of trace exploration tools and techniques
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
A Tool for Reliability and Availability Prediction
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
The VPC Trace-Compression Algorithms
IEEE Transactions on Computers
A Basis for Analyzing Software Architecture Analysis Methods
Software Quality Control
Software Reliability Growth Modeling: Models and Applications
IEEE Transactions on Software Engineering
Trustworthiness Evaluation and Testing of Open Source Components
QSIC '07 Proceedings of the Seventh International Conference on Quality Software
Quantitative evaluation in embedded system design: trends in modeling and analysis techniques
Proceedings of the conference on Design, automation and test in Europe
OntoArch Approach for Reliability-Aware Software Architecture Development
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Knowledge based quality-driven architecture design and evaluation
Information and Software Technology
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
ICSTW '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
Architecture in the age of compositionality
ECSA'10 Proceedings of the 4th European conference on Software architecture
Software reliability estimation under certainty: generalization of the method of moments
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Reliability prediction in model-driven development
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Architecture-based run-time fault diagnosis
ECSA'11 Proceedings of the 5th European conference on Software architecture
An approach to software reliability prediction based on time series modeling
Journal of Systems and Software
Reliability analysis in symbolic pathfinder
Proceedings of the 2013 International Conference on Software Engineering
Diagnosing architectural run-time failures
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Hi-index | 0.00 |
Reliability is a key driver of safety-critical systems such as health-care systems and traffic controllers. It is also one of the most important quality attributes of the systems embedded into our surroundings, e.g. sensor networks that produce information for business processes. Therefore, the design decisions that have a great impact on the reliability of a software system, i.e. architecture and components, need to be thoroughly evaluated. This paper addresses software reliability evaluation during the design and implementation phases; it provides a coherent approach by combining both predicted and measured reliability values with heuristic estimates in order to facilitate a smooth reliability evaluation process. The approach contributes by integrating the component-level reliability evaluation activities (i.e. the heuristic reliability estimation, model-based reliability prediction and model-based reliability measuring of components) and the system-level reliability prediction activity to support the incremental and iterative development of reliable component-based software systems. The use of the developed reliability evaluation approach with the supporting tool chain is illustrated by a case study. The paper concludes with a summary of lessons learnt from the case studies.