Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Software reuse: emerging technology
Software reuse: emerging technology
Markov analysis of software specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Planning and Certifying Software System Reliability
IEEE Software
Operational Profiles in Software-Reliability Engineering
IEEE Software
Building reusable components in the public administration domain
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Characterizing and modeling the cost of rework in a library of reusable software components
ICSE '97 Proceedings of the 19th international conference on Software engineering
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking
IEEE Transactions on Software Engineering
A methodology for certification of modeling and simulation applications
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A formal approach for specification and classification of software components
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Software quality through domain-driven certification
Annals of Software Engineering
Reliability Certification of Software Components
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Designing reliable systems from reliable components using the context-dependent constraint concept
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
An inexact model matching approach and its applications
Journal of Systems and Software
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Software Component Certification: A Survey
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Mining Open Source Component Behavior for Reuse Evaluation
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Towards certifying the testing process of Open-Source Software: New challenges or old methodologies?
FLOSS '09 Proceedings of the 2009 ICSE Workshop on Emerging Trends in Free/Libre/Open Source Software Research and Development
PROFES'11 Proceedings of the 12th international conference on Product-focused software process improvement
Hi-index | 0.00 |
Reuse is becoming one of the key areas in dealing with the cost and quality of software systems. An important issue is the reliability of the components, hence making certification of software components a critical area. The objective of this article is to try to describe methods that can be used to certify and measure the ability of software components to fulfil the reliability requirements placed on them. A usage modeling technique is presented, which can be used to formulate usage models for components. This technique will make it possible not only to certify the components, but also to certify the system containing the components. The usage model describes the usage from a structural point of view, which is complemented with a profile describing the expected usage in figures. The failure statistics from the usage test form the input of a hypothesis certification model, which makes it possible to certify a specific reliability level with a given degree of confidence. The certification model is the basis for deciding whether the component can be accepted, either for storage as a reusable component or for reuse. It is concluded that the proposed method makes it possible to certify software components, both when developing for and with reuse.