毕业论文 - 基于WITNESS的生产物