目前,电子表格（Spreadsheets）已经成为终端用户使用最广泛的编程环境之一,在金融等领域被广泛部署,其正确性至关重要。然而,由于spreadsheets中的数据类型丰富且数量大,可能隐藏着各种类型的缺陷,所以,对这些缺陷进行识别和检测是一项挑战。近二十年来,研究者们提出了各种各样的方法来对spreadsheets进行缺陷检测,目前有两种主流的方法:静态分析和动态分析。静态分析通过分析spreadsheets中的单元格信息来检测缺陷,动态分析通过关注单元格之间的输入输出关系来实现缺陷检测。前者能够实现自动化并找到特定类型的缺陷,然而当spreadsheets中的结构特征复杂或是不整齐时,容易造成误报或是无法准确检测缺陷。后者并不关注单元格的结构信息,而更关注于单元格的值的变化,从而避免了spreadsheets结构复杂对于缺陷检测的影响,但由于此类方法需要特定领域的专业知识,从而难以实现自动化。本文提出并实现了检测spreadsheets公式缺陷的自动化工具MTExcel。MTExcel建立在蜕变测试技术和蜕变关系概念的基础上,创新性的提出了断言蜕变关系,并利用断言蜕变关系描述公式单元格中所期望的计算语义,从而能够通过它们不一致的计算语义来检测异常单元格。MTExcel首先根据公式单元格的空间信息和引用信息对其进行分组。然后,对于每一组单元格,它进一步应用断言蜕变关系来探索计算语义,如果成功探索,可以将异常单元格与其他单元格区分开来。本文做出的主要贡献如下:（1）提出spreadsheets缺陷检测的自动化方法并实现自动化工具MTExcel。创新性的提出断言蜕变关系,并基于spreadsheets的功能和特性构造对应的断言蜕变关系,进而借助断言蜕变关系探索单元格的预期计算语义,此类蜕变关系不需要专业领域知识并且能够实现自动化。在此基础上实现自动化缺陷检测工具MTExcel。（2）使用spreadsheets基准测试集,对MTExcel进行充分实验评估,并验证了MTExcel的有效性。与主流工具Exce Lint进行比较,验证MTExcel的缺陷检测能力。通过实例研究,对比Exce Lint,MTExcel能够找到更多类型的spreadsheets缺陷。