测试用例自动生成的研究.docxVIP

测试用例自动生成的研究 通过研究现在自动生成测试用例方法的研究现状，一些外国机构和组织在该领域开展了大量的研究工作，例如美国国家标准办公室（nist），并进行了逐步的研究。一些研究机构正在积极应用自动生成测试用例的方法。目前国内对自动生成测试用例方法的研究还处于起步阶段,与国外相比,存在一定的差距。国内一些高校和研究机构,例如,国防科技大学、南京大学、中科院软件所,正在进行利用形式化方法进行安全性保障的单元技术研究。 在软件领域,形式化方法最初用于对高可靠性软件进行形式化验证,由于其在验证软件特性时可生成反例的特点,逐渐被用于测试用例的生成中。模型检查技术是目前形式化方法在实际运用中的常用形式,基于需求的运用模型检查自动生成测试用例的研究已广泛开展。本文将针对运用模型检查生成测试用例的方法的优缺点及其原理,主要技术途径进行着重的介绍和分析。 1 测试是否为测试结果的问题 测试用例的设计和编制是软件测试中最重要的活动。测试用例是测试工作的指导,能有效地保障软件测试的质量,也是评估测试结果的度量基准。目前的测试用例设计的手段主要以手工方式为主,已有一些关于测试用例自动生成方法的研究。在运用手工方式设计测试用例时,存在测试用例的设计过程不规范的问题。同时,设计的用例的输出结果的正确性(即根据测试输入数据得到测试的输出数据)还需要通过人工结合需求进行判定来保证。 由于软件的复杂性,以目前