я где-то читал, что хорошая спецификация должна быть однозначна, полный и соответствует. В чем смысл этих терминов? Как мы можем сказать, что спецификация завершена? Как мы можем сказать, что спецификация однозначна? Как мы можем сказать, что спецификация согласована?Атрибуты хорошей формальной спецификации
Заранее спасибо
Это может быть проще определить их косвенно, определяя их противоположности.
Спецификация является неполной, если она оставляет вещи вне того, что она должна включать или привлекать понятия, которые не рассматриваются явно как примитивные понятия и также не определены в других местах.
Это неоднозначно, если есть более чем один способ интерпретировать его смысл. Например, если спецификация говорит: «В этих обстоятельствах ответственный blort может не содержать farble,« некоторые разумные читатели поймут »« Ответственный блат не должен содержать фарм », а другие поймут« Ответственный блат не гарантированно будет содержать фармел - он может или не может быть ». (Вот почему некоторые организации по разработке стандартов имеют общее правило, запрещающее фразу «не может».) Во многих формальных контекстах существуют формальные определения двусмысленности.
Это противоречиво, если оно содержит или влечет за собой логическое противоречие. Если другой отрывок в спецификации сказал, что каждая битва всегда должна содержать сумасшедший, это будет противоречить либо чтению двусмысленного утверждения, приведенного выше.