首页|Reasoning about Software Trustworthiness with Derivation Trees

Reasoning about Software Trustworthiness with Derivation Trees

扫码查看
原文链接
  • NETL
  • NSTL
  • 万方数据
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 are 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.

trustworthinessrefinementevidencevisualization

邓玉欣、陈泽众、汪洋、杜文杰、毛碧飞、梁智章、林秋诗、李静辉

展开 >

Shanghai Key Laboratory of Trustworthy Computing,East China Normal University,Shanghai 200062,China

Shanghai Normal University,Shanghai 200233,China

Trustworthiness Theory Research Center,Huawei Technologies Co.,Ltd.,Shenzhen 518129,Guangdong,China

National Natural Science Foundation of ChinaNational Natural Science Foundation of ChinaInria-CAS Joint Project Quasar and Shanghai Trusted Industry Internet Software Collaborative Innovation Center

6183201562072176

2024

10.1007/s12204-022-2515-5

上海交通大学学报(英文版)
上海交通大学

上海交通大学学报(英文版)

影响因子：0.151
ISSN：1007-1172
年,卷(期)：2024.29(3)