随着现代软件规模的日益膨胀和复杂程度的日益增长,软件测试在科学控制成本、保证软件可靠性等等方面都起着越来越重要的作用,因而受到人们广泛的重视。然而,在软件测试中,一直存在着测试用例集的可靠性问题和oracle问题。随机测试在输入域中随机产生测试用例,是选择测试用例最简单的方法,因其简单有效而被广泛使用。但是,由于其固有的选择用例的盲目性,随机测试的效率不高。近年来,T.Y.Chen提出的自适应随机测试在很大程度提高了随机测试的有效性。FSCS是最重要和最经典的自适应随机测试算法。但是,FSCS的边界效应影响了它的有效性,尤其是在高维输入域的情况下。为此,我们提出了环形FSCS算法,彻底解决了边界效应,从而提高了测试的有效性。所谓oracle问题就是指,在软件测试中,测试人员往往无法判定程序输出结果的正确性。为解决这个问题,T.Y.Chen提出了蜕变测试。蜕变测试通过检查一系列测试用例的输出是否满足蜕变关系来测试程序。原始用例和蜕变关系是影响蜕变测试效果的两个非常重要的因素。我们使用环形FSCS作为原始用例生成策略,为蜕变测试筛选代表性强的测试用例,并通过测试工具(AMT)提供组合蜕变关系的手段,取得了更好的效果。尽管蜕变测试简单实用,但其成功使用仍然离不开合适的工具软件。为此,我们设计并实现了一个蜕变测试工具AMT(Auto-MT),为进行蜕变测试提供了方便,提高了测试效率。AMT基于自适应随机测试产生原始用例,提供对复合蜕变关系的支持,并且是一个开放的系统,为新的原始用例生成策略预留了接口。