The Performance Quantitative Model Based on the Specification and Relation of the Component

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.

The Trustworthiness Measurement Model of Component Based on Defects

“…end if (18) end for (19) end for (20) for p ∈ S C do (21) for L ∈ L p do (22) DVTA p � DVTA p + w L • DVDT L (23) end for (24)…”

“…For example, Wang et al proposed a component-based trustworthiness measurement model based on component relationships. Te logical relationships among components were analyzed, and the corresponding computational model was established to calculate the software trustworthiness through the trustworthy attributes of the components [23]. Wang et al rationalized the trustworthiness of each component to optimize the software trustworthiness [24].…”