良好形式规范的属性

时间:2014-10-19 18:06:11

标签: attributes specifications formal-verification

我在某处读到一个好的规范应该明确完整一致。这些条款的含义是什么?我们怎么说规范是完整的?我们怎么能说规范是明确的?我们怎么能说规范是一致的呢?

提前致谢

1 个答案:

答案 0 :(得分:0)

通过定义它们的对立面来间接定义它们可能更容易。

规范是不完整的,如果它遗漏了它应该包含或吸引概念,这些概念不是作为原始概念明确采用的,也没有在其他地方定义。

如果解释其含义的方法不止一种,则含糊不清。例如,如果规范说"在这些情况下,负责的 blort 可能不包含 farble ,"一些聪明的读者会理解"负责任的盲人一定不能包含一个好的"和其他人会理解"负责任的blort不能保证包含一个有意义的东西 - 它可能或不可能。" (这就是为什么一些标准制定组织有一条严格的规则禁止短语"可能不会&#34 ;.)在许多形式背景下,存在模糊性的正式定义。

如果它包含或带来逻辑矛盾,则不一致。如果规范中的另一段话说每个blort必须总是包含一个avble,那么它将与读取上面给出的含糊不清的陈述不一致。