自控软件设计的第一步是根据用户需求完成设计规格说明书。设计说明书是后面所有工作的基础，它的好坏直接影响到整个设计的好坏。目前国内普遍使用基于文本的工具编写（如Word、Excel等）。但是，由于文本语言自身的特点，对于相同的文本每个人的理解经常会出现差异，基于文本的设计说明书不可避免地在用户和设计人员之间造成歧义和误解。这些错误往往要到设计的最后阶段甚至到现场安装阶段才被发现，造成巨大浪费并付出重大代价。因此，如何在设计的最初始阶段解决所有的歧义，充分和用户沟通并确保设计规格说明书完全符合用户需求就显得极为重要。
目前国际上的做法是在文本说明书的基础上，全面使用“可执行”的说明书。所谓“可执行”，是指在设计的最开始阶段，设计人员通过对用户需求的分析，对系统进行高层设计，使用用户熟悉的图形化方法对系统进行分解和形式化建模。这就把基于文本的设计规格说明书可视化，同时清晰准确地和客户沟通。对现场对象的形式化建模能够清除在用户需求清单中含糊不清的条款，降低在项目后期再对设计进行修改的风险。从而在设计的开始阶段就避免所有的歧义、误解和含糊不清的地方。这就是可执行的规格说明书，也是目前国际上非常流行的形式化设计的一种形式。
延伸阅读
文章来源于领测软件测试网 https://www.ltesting.net/
