摘要： Abstract [TOC] Introduction This article is P12 of BUAA OO course, which integrates the work of us in JML section. Firstly, we will introduce JML’s th 阅读全文