摘要
{1} F.贝利。 GUI的有限状态测试和分析。 在 第十二届软件可靠性工程国际研讨会论文集 ,第34-43页,2001年。 谷歌学者 数字图书馆 {2} C.Boyapati、S.Khurshid和D.Marinov。 Korat:基于java谓词的自动化测试。 在 ISSTA'02:2002年ACM SIGSOFT软件测试和分析国际研讨会论文集 ,第123-133页,2002年。 谷歌学者 数字图书馆 {3} M.d’Amorim、C.Pacheco、T.Xie、d.Marinov和M.d.Ernst。 面向对象单元测试的自动生成和分类技术的经验比较。 在 第21届IEEE/ACM自动化软件工程国际会议论文集 , 2006. 谷歌学者 数字图书馆 {4} E.达斯汀、J.拉什卡和J.保罗。 自动化软件测试:介绍、管理和性能 . 1999. 谷歌学者 数字图书馆 {5} R.Ferguson和B.Korel。 软件测试数据生成的链接方法。 ACM事务处理。 柔和。 工程方法。 , 5(1):63-86, 1996. 谷歌学者 数字图书馆 {6} M.J.Gallagher和V.L.Narasimhan。 Adtest:Ada软件系统的测试数据生成套件。 IEEE传输。 软件工程。 ,23(8):473-4841997。 谷歌学者 数字图书馆 {7} N.Gupta、A.P.Mathur和M.L.Soffa。 使用迭代松弛方法自动生成测试数据。 在 SIG-软件 ,第231-244页,1998年。 谷歌学者 数字图书馆 {8} D.Hovemeyer和W.Pugh。 查找错误很容易。 SIGPLAN不是。 , 39(12):92-106, 2004. 谷歌学者 数字图书馆 {9} B.科雷尔。 自动化软件测试数据生成。 IEEE传输。 软件工程。 , 16(8):870-879, 1990. 谷歌学者 数字图书馆 {10} A.M.Memon、A.Nagarajan和Q.Xie。 自动化不断发展的GUI软件的回归测试。 软件维护与进化杂志 ,17(1):27-642005年1月。 谷歌学者 数字图书馆 {11} A.M.Memon和Q.Xie。 研究快速发展软件的GUI测试用例的故障检测有效性。 IEEE传输。 柔和。 工程师。 , 31(10):884-896, 2005. 谷歌学者 数字图书馆 {12} C.C.Michael、G.McGraw和M.Schatz。 通过进化生成软件测试数据。 IEEE传输。 软件工程。 , 27(12):1085-1110, 2001. 谷歌学者 数字图书馆 {13} W.Miller和D.L.Spooner。 浮点测试数据的自动生成。 IEEE传输。 软件工程。 , 2(3):223-226, 1976. 谷歌学者 数字图书馆 {14} A.Rountev、S.Kagan和M.Gibas。 评估静态分析的不精确性。 在 ACM-SIGPLAN-SIGSOFT软件工具和工程程序分析研讨会会议记录 ,第14-16页,2004年。 谷歌学者 数字图书馆 {15} Q.Xie和A.M.Memon。 对社区驱动的开源GUI应用程序进行基于模型的自动化测试。 在 第22届IEEE软件维护国际会议论文集 , 2006. 谷歌学者 数字图书馆 {16} T.Xie和D.Notkin。 基于操作抽象的工具辅助单元测试生成和选择。 自动。 柔和。 工程师。 , 13(3):345-371, 2006. 谷歌学者 数字图书馆 {17} C.Yilmaz、M.B.Cohen和A.Porter。 覆盖阵列用于复杂配置空间中的有效故障表征。 在 2004年软件测试与分析国际研讨会论文集 ,第45-54页,2004年。 谷歌学者 数字图书馆
建议
使用GUI运行时状态反馈生成基于事件序列的测试用例 本文提出了一种全自动的模型驱动技术,用于为基于图形用户界面(GUI)的应用程序生成测试用例。 该技术使用来自“种子测试套件”执行的反馈,该测试套件是使用。。。 使用本体为GUI测试生成测试用例 图形用户界面(GUI)测试是一个知识密集型的过程。 本文引入本体来生成以用户为中心的GUI测试用例。 首先,GUI和非GUI组件是通过逆向工程技术捕获的。 接下来,关系。。。