59、顺序内存组件错误行为建模

顺序内存组件错误行为建模

1. 引言

现代计算机系统由软硬件组件构成，这些组件通过接口存储信息并提供服务。整个系统通过组件与环境之间的持续交互不断发展。交互式组件的行为描述了从输入流到输出流的函数关系。输入历史记录了通过组件接口的消息序列。一般来说，交互式组件仅为一部分输入历史（即服务域）提供约定的服务。例如，顺序内存组件在请求的位置未预先初始化时，无法正常执行读操作。

当处理服务域之外的意外输入时，交互式组件应表现出可预测的行为。组件的错误行为可能会对关键输入下的整个系统行为产生重大影响。

顺序内存组件允许写入、读取和重置命令作为输入接口。写入命令将数据存入指定位置，读取命令检索指定位置的数据（如果存在），重置命令清除内存中所有位置的当前内容。我们将所有输入历史分为常规和错误输入流两类，先研究常规输入历史下组件的输入/输出行为，再将其扩展到服务域之外的输入流。

2. 常规行为

顺序内存是一个具有一个输入通道和一个输出通道的通信组件，可在指定位置存储和检索数据。
- 接口 ：内存组件接收写入、读取和重置命令流。
- 输入定义为： Input ＝ write（Address, Data） ∪ read（Address） ∪ {reset}
- 写入命令将数据存入指定位置且不产生输出；读取命令请求指定位置最近存储的数据（如果存在）；重置命令清除内存组件所有位置的当前内容。地址（位置）类型 Address ≠ ∅ 和要存储的数据类型 Data ≠ ∅ 不再进一步指定。
-