@inproceedings{fbc0dc02b8a940e4a8bc62c111520b6f,
title = "Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness",
abstract = "In order to analyze the trustworthiness of complex software systems, we propose a model of evidence-based software trustworthiness called trustworthiness derivation tree (TDT). The basic idea of constructing a TDT is to refine main properties into key ingredients and continue the refinement until basic facts such as evidences are reached. The skeleton of a TDT can be specified by a set of rules, which is convenient for automated reasoning in Prolog. We develop a visualization tool that can construct the skeleton of a TDT by taking the rules as input, and allow a user to edit the TDT in a graphical user interface. In a software development life cycle, TDTs can serve as a communication means for different stakeholders to agree on the properties about a system in the requirement analysis phase, and they can be used for deductive reasoning so as to verify whether the system achieves trustworthiness in the product validation phase. We have piloted the approach of using TDTs in more than a dozen real scenarios of software development. Indeed, using TDTs helped us to discover and then resolve some subtle problems.",
keywords = "Trustworthiness, evidence, refinement, visualization",
author = "Yuxin Deng and Zezhong Chen and Wenjie Du and Bifei Mao and Zhizhang Liang and Qiushi Lin and Jinghui Li",
note = "Publisher Copyright: {\textcopyright} 2021 IEEE.; 21st International Conference on Software Quality, Reliability and Security Companion, QRS-C 2021 ; Conference date: 06-12-2021 Through 10-12-2021",
year = "2021",
doi = "10.1109/QRS-C55045.2021.00077",
language = "英语",
series = "Proceedings - 2021 21st International Conference on Software Quality, Reliability and Security Companion, QRS-C 2021",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "487--493",
booktitle = "Proceedings - 2021 21st International Conference on Software Quality, Reliability and Security Companion, QRS-C 2021",
address = "美国",
}