Abstract

The trustworthiness of software is crucial to some safety critical areas. Performance is an important attribute of software trustworthiness. Software component technology is the mainstream technology of software development. How to achieve the performance of component systems efficiently and accurately is a challenging issue for component-based software development. In this paper, the performance quantification method of the component is proposed. First, performance specification is formally defined. Second, a refinement relation is introduced and the performance quantification method of the component system is presented. Finally, a case study is given to illustrate the effectiveness of the method.

Highlights

  • The trustworthiness of software is a hot topic of research

  • The graphical models are similar to Reliability Block Diagrams [29], but the computation models are different: the reliability of component system is calculated by series or parallel relation and the reliability of component; the performance of component system instead is calculated by the metric elements of component system, and the metric elements of component system are calculated by relation and the metric elements of component

  • Software component technology plays an important role in constructing software systems

Read more

Summary

Introduction

The trustworthiness of software is a hot topic of research. Software performance is one of the attributes that affect software trustworthiness. Automated assistance for software performance improvement has been described before based on measurements, performance models or both. This paper puts forward a performance quantification method of a component system. Component-Based Software Development (CBSD) has been an important area of research for almost three decades [15,16]. CBSD avoids the repeated emergence of errors and improves the trustworthiness of software [20]. The performance quantification method of the component is proposed. A refinement relation is introduced, and the performance quantification method of the component system is presented.

Performance and Metric Elements
The Refinement Relationship Based on the Specification
Quantification of Performance and the Metric Elements
Performance Computing of Component System
Series Relation
Parallel Relation
Choice Relation
Concurrence Relation
Loop Relation
An Illustrative Example
Conclusions
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.