标签: testing static analysis
我想对一堆规范文档进行静态分析。规范文件是波士顿房屋管理局 - "入口和筛选","租赁住房"和"检查" (http://www.bostonhousing.org/detpages/deptinfo128.html)。我知道我想检查文件;但这些要求看起来很完美,但我不知道还应该做些什么。请问我应该怎么做?