Basic techniques

• Function Tree

  • 同一层的抽象程度必须一样

  • 只有技术密切相关的才能有一个共同的父亲

• Entity-Relationship Diagram（ERD）

  • Entity

  • Attribute

  • Associations

  • Cardinalities

• State-Machine

  • 输出取决于输入和状态

  • 最终状态也不一定要有，如

• Dicision table

  • 示意图：

  • Redundancy

  • Contradiction

  • Completeness test

    • Number of theoretically possible cases = number of condition combinations

    • 计算有几种情况，表中列出了几种情况，并把没有的情况补齐