蜕变测试和断言检查的比较与实验研究

ＩＳＳＮ１０００－９８２５，ＣＯＤＥＮＪｏｕｒｎａｌ

ＲＵＸＵＥＷ

ｏｆＳｏｆｔｗａｒｅ，Ｖ０１．２０，Ｎｏ．１０，Ｏｃｔｏｂｅｒ２００９。ＰＰ．２６３７－２６５４

Ｅ－ｍａｉｌ：ｊｏｓ＠ｉｓｃｕｓ．ａｃ．ｃｎｈｔｔｐ：／／ｗｗｗ．ｊｏｓ．ｏｒｇ．ｃｎ

Ｔｅｌ／Ｆａｇ：＋８６一１０－６２５６２５６３

ｄｏｉ：１０．３７２４／ＳＰ．Ｊ．１００１．２００９．００５７８

ｏｂｙＩｎｓｔｉｔｕｔｅｏｆＳｏｆｔｗａｒｅ．ｔｈｅＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅｓ．Ａｌｌｄｇｈｔｓｒｅｓｅｒｖｅｄ．

蜕变测试和断言检查的比较与实验研究

张震宇１，陈荣光２＋９谢俊谦１，胡佩锋３

’（香港大学计算机科学系，香港）２（香港城市大学电脑科学系，香港）３（招商银行香港分行，香港）

ＥｘｐｅｒｉｍｅｎｔａｌＳｔｕｄｙ

ｔｏ

ＣｏｍｐａｒｅｔｈｅＵｓｅｏｆＭｅｔａｍｏｒｐｈｉｃＴｅｓｔｉｎｇａｎｄＡｓｓｅｒｔｉｏｎＣｈｅｃｋｉｎｇＷＫ２＋，ＴＳＥ

ＴＨｌ，ＨＵＰｅｉ．Ｆｅｎ９３

ＺＨＡＮＧＺｈｅｎ．Ｙｕｌ，ＣＨＡＮ

１（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＴｈｅＵｎｉｖｅｒｓｉｔｙｏｆＨｏｎｇＫｏｎｇ，ＨｏｎｇＫｏｎｇ，Ｃｈｉｎａ）

２（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＣｉｔｙＵｎｉｖｅｒｓｉｔｙｏｆＨｏｎｇＫｏｎｇ，ＨｏｎｇＫｏｎｇ，Ｃｈｉｎａ）

３（ＣｈｉｎａＭｅｒｃｈａｎｔｓＢａｎｋ，ＨｏｎｇＫｏｎｇ，Ｃｈｉｎａ）

＋Ｃｏｒｒｅｓｐｏｎｄｉｎｇ

ａｕｔｈｏｒ：Ｅ－ｍａｉｌ：ｗｋｃｈａｎ＠ｅｓ．ｃｉｔｙｕ．ｅｄｕ．ｈｋ．ｈｔｔｐ：／／ｗｗｗ．ｃｓ．ｃｉｔｙｕ．ｅｄｕ．ｈｋ／～ｗｋｃｈａｎ／

ＺｈａｎｇＺ，Ｃｈａｎ

Ｗｌ（＇Ｔｓｅ

ＴＨ，ＨｕＰ．Ｅｘｐｅｒｉｍｅｎｔａｌｓｔｕｄｙｔｏｃｏｍｐａｒｅｔｈｅ

ｕｓｅ

ｏｆｍｅｔａｍｏｒｐｈｉｃｔｅｓｔｉｎｇａｎｄ

ａｓｓｅｒｔｉｏｎｃｈｅｃｋｉｎｇ．ＪｏｕｒｎａｌｏｆＳｏｆｔｗａｒｅ，２００９，２０（１０）：２６３７—２６５４．ｈｔｔｐ：／／ｗｗｗ．ｊｏｓ．ｏｒｇ．ｃｎ／１０００—９８２５／５７８．ｈｔｍ

ａ

Ａｂｓｔｒａｃｔ：Ａｔｅｓｔｏｒａｃｌｅｉｎｓｏｆｔｗａｒｅｔｅｓｔｉｎｇｉｓｃｏｒｒｅｃｔｌｙ

ｍｅｃｈａｎｉｓｍｆｏｒｃｈｅｃｋｉｎｇｗｈｅｔｈｅｒｔｈｅｐｒｏｇｒａｍｕｎｄｅｒ

Ｃａｌｌ

ＳＯ

ｔｅｓｔｂｅｈａｖｅｓ

ｆｏｒａｎｙｅｘｅｃｕｔｉｏｎ．Ｉｎｓｏｍｅｐｒａｃｔｉｃａｌｓｉｔｕａｔｉｏｎｓ，ｏｒａｃｌｅｓ

ｂｅ

ｕｎａｖａｉｌａｂｌｅ

Ｏｒｃａｎ

ｔＯＯ

ｅｘｐｅｎｓｉｖｅｔｏａｐｐｌｙ．

Ｍｅｔａｍｏｒｐｈｉｃｔｅｓｔｉｎｇ（ＭＴ）ｗａｓｐｒｏｐｏｓｅｄｔＯａｌｌｅｖｉａｔｅｔｈｉｓｐｒｏｂｌｅｍｔｉｍｅ－ｔｏ－ｍａｒｋｅｔｐｒｅｓｓｕｒｅ．Ｈｏｗｅｖｅｒ，ｔｈｅｅｆｆｅｃｔｉｖｅｎｅｓｓｏｆＭＴｈａｓ

ｎｏｔ

ｔｈａｔｓｏｆｔｗａｒｅｂｅｄｅｌｉｖｅｒｅｄｕｎｄｅｒｔｈｅ

ｐａｐｅｒｃｏｎｄｕｃｔｓ

ａ

ｂｅｅｎｓｔｕｄｉｅｄ

ａｄｅｑｕａｔｅｌｙ．ｍｓ

ｃｏｎｔｒｏｌｌｅｄｅｘｐｅｒｉｍｅｎｔｔｏｉｎｖｅｓｔｉｇａｔｅｔｈｅｃｏｓｔｅｆｆｅｃｔｉｖｅｎｅｓｓｏｆｕｓｉｎｇ０ｆＭＴ

ａｒｅ

ＭＴ．Ｔｈｅ

ｆａｕｌｔｄｅｔｅｃｔｉｏｎｃａｐａｂｉｌｉｔｙａｎｄｔｉｍｅｃｏｓｔ

ｃｏｍｐａｒｅｄｗｉｔｈ也ｅｓｔａｎｄａｒｄａｓｓｅｒｔｉｏｎｃｈｅｃｋｉｎｇｍｅｔｈｏｄ．ＴｈｅｒｅｓｕｌｔｓｓｈｏｗｔｈａｔＭＴｈａｓｐｏｔｅｎｔｉａｌｓｔＯｄｅｔｅｃｔ

ａａ

ｍｏｒｅｆａｕｌｔｓｔｈａｎｔｈｅａｓｓｅｒｔｉｏｎｃｈｅｃｋｉｎｇｍｅｔｈｏｄ．Ｔｈｅｅｘｐｅｒｉｍｅｎｔａｌｒｅｓｕｌｔｓａｌｓｏｓｈｏｗｔｅｓｔｉｎｇ

ｔｒａｄｅ．ｏｆｆｂｅｔｗｅｅｎｔｈｅｔｗｏｃｏａｒｓｅｒｌｅｖｅｌｏｆｇｒａｎｕｌａｒｉｔｙ

ｍｅｔｈｏｄｓ：ＭＴ

ｃａｎ

ｂｅｌｅｓｓ

ｅｆｆｉｃｉｅｎｔｂｕｔｍｏｒｅｅｆｆｅｃｔｉｖｅ，ａｎｄ

ｃａｎ

ｂｅｄｅｆｉｎｅｄａｔ

ｔｈａｎｔｈｅａｓｓｅｒｔｉｏｎｃｈｅｃｋｉｎｇｍｅｔｈｏｄ．

Ｋｅｙｗｏｒｄｓ：ｍｅｔａｍｏｒｐｈｉｃｔｅｓｔｉｎｇ；ａｓｓｅｒｔｉｏｎｃｈｅｃｋｉｎｇ；ｔｅｓｔｏｒａｃｌｅ；ｃｏｎｔｒｏｌｌｅｄｅｘｐｅｒｉｍｅｎｔ；ｅｍｐｉｒｉｃａｌｅｖａｌｕａｔｉｏｎ

摘要：在软件测试中，测试预言是一种用于检查程序在测试中是否正常运行的机制．然而在某些实际情况下，还

无法制定测试预言或者难以有效地应用测试预言．针对此类测试预言问题，蜕变测试 …… 此处隐藏：51538字，全部文档内容请下载后查看。喜欢就下载吧 ……