一致性、完整性和确定性

一致性、完整性和确定性是针对软件大规模长时间的生产,对生产过程的规范、统一提出的要求。

所谓一致性(Uniformity),是指软件系统各部分中符号的表达使用、

对象及过程的描述和调用形式、操作的控制结构都一致,以免造成混乱。 完整性(Completeness)是说对一对象、过程的表达描述及处理应该完

备,没有遗漏重要的内容或成份。

确定性(Comfirmability),又称可验证性,是指系统中的对象、过程定义明确,无二义性,容易测试。