软件构造笔记——Type checking

Type checking

Static checking Dynamic checking
The bug is found automatically before the program even runs.静态检查针对类型,与变量特定值无关的错误。 The bug is found automatically when the code is executed.动态检查怎对由特定值引起的错误。
eg. Syntax errors, Wrong names, Wrong number of arguments, Wrong argument types, Wrong return types eg. 非法的参数,超出范围的索引值,调用空对象的方法…

你可能感兴趣的:(HIT软件构造)