中文摘要：

在这份报纸，我们把软件可信赖与软件设计合并并且与自动地适应的软件更改介绍一条途径给可靠软件设计。首先，软件行为和结果能被期望，行为状态能被监视一个软件是否由在一个软件上介绍可靠行为踪迹并且在可靠软件的每个检查点插入一个检查点传感器跑。第二，为在检查点的水平的软件的可靠行为踪迹的一条更新的途径被介绍。为二个版本的软件的可靠行为踪迹能被构造裂口点足够地合并并且合并在二可靠行为踪迹之间的点。最后，实验和分析显示出那：我们的途径设计的软件能检测并且自动地并且有效地在一个软件报导异例，因此它比传统的软件有可信赖评估的一个更高的能力；并且我们的途径能与软件更新的检查点架空的一个更低的空格认识到可靠行为踪迹的精确更改。

英文摘要：

In this paper, we merge software trustworthiness with software design and present an approach to trustworthy software design with an automatically adapting software update. First, software behavior and results can be expected and behavior states can be monitored when a software runs by introducing a trustworthy behavior trace on a software and inserting a checkpoint sensor at each checkpoint of the trustworthy software. Second, an updated approach of the trustworthy behavior trace for the software at the level of checkpoints is presented. The trustworthy behavior traces of the software for two versions can be merged adequately by constructing split points and merge points between two trustworthy behavior traces. Finally, experiments and analyses show that： （1） the software designed by our approach can detect and report the anomaly in a software automatically and effectively, so it has a higher ability of trustworthiness evaluation than the traditional software; and （2） our approach can realize the accurate update of the trustworthy behavior trace with a lower space overhead of checkpoints when the software updates.