题目内容
(请给出正确答案)
[单选题]
项目组A的任务是开发某网络传真应用系统的电话簿部分。该电话簿可以存储多达MaxNames个地址名、相关的公司名、传真号码,以及其他相关信息。使用形式化方法描述这一规格说明,以下说法错误的是______
A.该电话簿的数据不变式是:电话簿中包含的公司数不超过MaxNames个
B.该电话簿可能的操作是:添加、删除、编辑和获取等
C.该电话簿的状态是:禁用、只读和读写等
D.该电话簿的数据不变式是:电话簿中不会有重复的名字
提问人:网友lixin080108
发布时间:2022-01-07