Software Testing 阅读笔记（二）离散数学和泛化代码