在软件再工程过程模型中，（）通过用重构工具分析源代码，标注出和结构化程序设计概念相违背的部分，然后重构有问题的代码，复审和测试生成的重构代码以保证没有引入异常并更新代码文档。