高完整性系统工程(四): An Overview of Alloy
在第一章中,我们将解释如何使用 Alloy 来探索一个非常简单的软件组件的设计,即大多数操作系统中存在的众所周知的垃圾箱或回收站。目的是对如何使用 Alloy 指定和分析软件设计进行简要的(有时是肤浅的)概述。Alloy 规范语言和分析技术的全部细节将在以下章节中给出。Trash 的目标是:1. 使已删除的文件仍然可以恢复,直到执行清空 Trash 的(可撤消的)操作a. 当文件被删除时,它存储在 Trash 中;b. 仍在 Trash 中时,可以恢复文件;
原创
2023-04-09 22:14:52 ·
491 阅读 ·
1 评论