【摘要】测试生成在软件测试过程中起到很重要的作用,现有的生成测试例的方法大多依靠测试人员手工进行,不仅生成效率低下,生成的测试例在可用性方面也不尽如人意。着色Petri网(ColoredPetriNets,CIN)模型驱动的一致性测试生成方法是一种成熟的测试生成理论,能够有效地提升测试例的可用性。然而这种测试方法受限于单机环境下的建模工具CPNTools,无法进行自动测试生成。针对此问题,论文使用 […]

【摘要】随着软件产品对于社会影响的加大,软件用户对软件质量的要求也就越来越高。然而,现代软件规模的大型化,软件结构的复杂化加大了软件质量保证的难度,“软件质量困境”表现的越来越突出。随着软件质量意识的提高,众多的软件开发商在开发过程中加大了软件测试费用的比重。云计算平台具有动态可扩展的海量资源,能够节省测试时间和降低测试成本。自动化测试拥有的众多优点,例如：快速、全面、可靠、可编程、可重用等,可有 […]