设计规约_产品设计spec

作者：花生_TL007 | 2024-05-12 11:58:45

踩

产品设计spec

1设计规约（spec）的作用

spec规定了方法应该做什么，不应该做什么，有了spec就可以编写测试用例了。同时，有了spec，客户端便能轻松读懂方法的作用和前置条件，而无需在意代码的具体实现。
在这里插入图片描述

precondition前置条件：对客户端的约束，在使用方法时必须满足的条件

postcondition后置条件：对开发者的约束，方法结束时必须满足的条件

 @param：说明每个参数的前置条件。
 @return：说明后置条件。
 @throws：说明出现异常的时候会发生什么
1
2
3

例如
在这里插入图片描述

行为等价性：根据规约判断是否行为等价。

spec变强的要求是更宽松的前置条件+更严格的后置条件，在这种情况下，就可以用变强了的spec去替换原来的spec。

注意：包括前置（后置）条件强度相等的情况。

大椭圆表示更弱的spec，小椭圆表示更强的spec，椭圆的大小表示的是开发者的自由度。

在这里插入图片描述

声明：本文内容由网友自发贡献，不代表【wpsshop博客】立场，版权归原作者所有，本站不承担相应法律责任。如您发现有侵权的内容，请联系我们。转载请注明出处：https://www.wpsshop.cn/w/花生_TL007/article/detail/558846