Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes
From the perspective of attribute decomposition, there are a variety of software trustworthiness metric models. However, little attention has been paid to using more rigorous methods and to performing theoretical validation. Axiomatic methods formalise the empirical understanding of software attribu...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Taylor & Francis Group
2022-12-01
|
| Series: | Connection Science |
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1080/09540091.2022.2061424 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850229252140564480 |
|---|---|
| author | Hongwei Tao Yixiang Chen Hengyang Wu |
| author_facet | Hongwei Tao Yixiang Chen Hengyang Wu |
| author_sort | Hongwei Tao |
| collection | DOAJ |
| description | From the perspective of attribute decomposition, there are a variety of software trustworthiness metric models. However, little attention has been paid to using more rigorous methods and to performing theoretical validation. Axiomatic methods formalise the empirical understanding of software attributes through defining ideal metric properties. They can offer precise terms for the software attributes' quantification. We have utilised them to assess software trustworthiness on the basis of attribute decomposition, presented four properties, constructed a software trustworthiness measure (STMBDA for short). In this paper, we extend the set of properties, introduce two new properties, namely non-negativity and proportionality, and perfect substitutability and expectability. We verify the theoretical rationality of STMBDA by demonstrating that it conforms to the new property set and the empirical validity by evaluating the trustworthiness of 23 spacecraft software. The validation results show that STMBDA is able to effectively assess the spacecraft software trustworthiness and identify weaknesses in the development process. |
| format | Article |
| id | doaj-art-2852263dd7054ee5a45da1e63f7d765a |
| institution | OA Journals |
| issn | 0954-0091 1360-0494 |
| language | English |
| publishDate | 2022-12-01 |
| publisher | Taylor & Francis Group |
| record_format | Article |
| series | Connection Science |
| spelling | doaj-art-2852263dd7054ee5a45da1e63f7d765a2025-08-20T02:04:18ZengTaylor & Francis GroupConnection Science0954-00911360-04942022-12-013411181120010.1080/09540091.2022.20614242061424Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributesHongwei Tao0Yixiang Chen1Hengyang Wu2Zhengzhou University of Light IndustryEast China Normal UniversityShanghai Polytechnic UniversityFrom the perspective of attribute decomposition, there are a variety of software trustworthiness metric models. However, little attention has been paid to using more rigorous methods and to performing theoretical validation. Axiomatic methods formalise the empirical understanding of software attributes through defining ideal metric properties. They can offer precise terms for the software attributes' quantification. We have utilised them to assess software trustworthiness on the basis of attribute decomposition, presented four properties, constructed a software trustworthiness measure (STMBDA for short). In this paper, we extend the set of properties, introduce two new properties, namely non-negativity and proportionality, and perfect substitutability and expectability. We verify the theoretical rationality of STMBDA by demonstrating that it conforms to the new property set and the empirical validity by evaluating the trustworthiness of 23 spacecraft software. The validation results show that STMBDA is able to effectively assess the spacecraft software trustworthiness and identify weaknesses in the development process.http://dx.doi.org/10.1080/09540091.2022.2061424theoretical validationempirical validationtrustworthiness measurementaxiomatic approaches |
| spellingShingle | Hongwei Tao Yixiang Chen Hengyang Wu Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes Connection Science theoretical validation empirical validation trustworthiness measurement axiomatic approaches |
| title | Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes |
| title_full | Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes |
| title_fullStr | Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes |
| title_full_unstemmed | Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes |
| title_short | Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes |
| title_sort | theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes |
| topic | theoretical validation empirical validation trustworthiness measurement axiomatic approaches |
| url | http://dx.doi.org/10.1080/09540091.2022.2061424 |
| work_keys_str_mv | AT hongweitao theoreticalandempiricalvalidationofsoftwaretrustworthinessmeasurebasedonthedecompositionofattributes AT yixiangchen theoreticalandempiricalvalidationofsoftwaretrustworthinessmeasurebasedonthedecompositionofattributes AT hengyangwu theoreticalandempiricalvalidationofsoftwaretrustworthinessmeasurebasedonthedecompositionofattributes |