HIT软件构造学习笔记-第三章（中）

3.2注释和规约 一.规约测试 在写测试用例的时候不违反规约就可以 二.设计规约 1.规约的性质： （1）规约的确定性 （2）规约的陈述性 （3）规约的强度* 此处考点：比较两个规约的强度（要注意有一些规约是无法比较强度的–图形交叉） 2.规约的强度： if S2 的前置条件更弱 or S2 的后置条件更强 则：规约强度S2>S1 前置条件弱：对应着用户的输入限制变弱，也就是说，用户的可输入选项增

>>阅读原文<<