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

Baohua Wang, Danning Li and Shun Zhang
Additional contact information
Baohua Wang: School of Computer Science and Technology, Huaibei Normal University, Huaibei 235000, China
Danning Li: Guizhou Academy of Sciences, Guiyang 55001, China
Shun Zhang: Guizhou Academy of Sciences, Guiyang 55001, China

Mathematics, 2019, vol. 7, issue 8, 1-14

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.

Keywords: performance; metric element; software component; trustworthiness (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2019
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/7/8/730/pdf (application/pdf)
https://www.mdpi.com/2227-7390/7/8/730/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:7:y:2019:i:8:p:730-:d:256628

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().