国家自然科学基金(61073050)
- 作品数：7 被引量：4H指数：1
- 相关作者：曾红卫贺斌朱静田野陈颖更多>>
- 相关机构：上海大学上海市计算机软件评测重点实验室更多>>
- 发文基金：国家自然科学基金上海市教育委员会重点学科基金上海市自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 构件组合的集成测试
- 2013年
- 模型检验是一种自动化验证技术,其应用主要的困难在于状态空间爆炸问题。针对构件组合形成的状态空间爆炸问题,结合构件抽象组合原理及反例引导的抽象精化框架,提出了一种测试用例自动生成的方法。根据某个待集成构件抽象已集成的其他构件,并通过组合各个抽象构件生成抽象组合模型。利用模型检验工具对组合模型进行集成测试,生成抽象测试用例,再通过精化得到原模型对应的具体测试用例。实验结果表明该方法减小了状态空间,在一定程度上减缓了状态空间爆炸的问题。
- 邓永杰陈颖
- 关键词：测试用例生成
- 用模型检验产生约简测试集被引量：1
- 2012年
- 基于模型检验的自动化测试技术已经得到普遍应用,由于测试用例自动化生成过程中会产生巨大的资源消耗,优化问题越来越受到软件测试行业的广泛关注。提出一种基于节点权重的性质覆盖度计算方法,在模型检验器自动化生成测试用例之前对测试目标排序,能够更有效地检测到冗余性质,从而减少模型检验器被调用执行次数并且避免大规模的测试用例生成。
- 田野曾红卫
- GUI回归测试的测试脚本修复技术研究被引量：3
- 2016年
- 回归测试对修改后的软件重新进行测试,确认修改没有引入新的错误或导致其他代码产生错误。研究图形用户界面(GUI)回归测试脚本的自动化修复技术,采用有限状态机描述GUI的交互行为,并基于有限状态机(FSM)产生测试用例集;使用自动化测试工具生成测试脚本,建立状态迁移和测试脚本的映射关系表;通过比较GUI新旧版本的FSM得到GUI的变化信息,根据变化信息和映射表对原测试脚本自动修复。实例验证了脚本修复方法的可行性和有效性,修复了失效的测试脚本,保证了修复后的测试脚本的完备性和一致性。
- 朱静曾红卫
- 关键词：图形用户界面有限状态机
- 基于CEGAR的Web应用验证
- 2014年
- Web应用导航行为的建模和验证是可信Web工程研究的重点和难点.在深入分析用户和Web浏览器交互行为的基础上,文中引入On-the-fly策略并基于反例引导的抽象精化验证方法 CEGAR对Web应用的导航行为进行建模和验证.在On-the-fly导航模型展开的过程中,根据检验性质采用增量式状态抽象方法构造Web应用导航抽象模型,通过确认抽象反例来识别伪反例,借助等价类精化方法消除抽象模型上的伪反例.这一方法可有效地缓解Web应用验证过程中出现的状态爆炸问题.
- 高洪皓缪淮扣曾红卫
- 关键词：WEB应用导航模型
- WEB应用测试执行引擎的设计与实现
- 2011年
- 基于模型的测试以系统的抽象模型为依据,自动生成可执行的测试用例,自动地执行测试并自动评价测试结果,实现测试过程的自动化。论文主要研究测试执行自动化技术,设计实现一个自动化测试执行工具。工具的核心是设计基于XML的自动化测试脚本并实现了一个测试执行引擎。脚本拥有良好的结构定义,便于编辑和扩展,由自动化测试工具自动生成。引擎使用多线程技术模拟多用户的并行使用,解决了数据驱动测试执行方式和线程并行操作时的同步问题。
- 贺斌曾红卫冯振华
- 关键词：自动化测试测试脚本
- 一种基于特征迁移系统的软件产品线测试方法
- 2014年
- 为了在软件产品线的应用工程阶段最大程度地复用领域工程的测试用例,领域测试用例需要覆盖领域模型中的变化性。针对此问题,提出了一种以特征模型为出发点的软件产品线测试方法,通过扩展特征迁移系统建立软件产品线的领域行为模型,对模型中的变化性迁移进行抽象,得到精简的测试模型;应用迁移覆盖准则,导出包含变化性的领域测试用例;在应用工程阶段,根据具体应用所包含的特征,绑定领域测试用例中的变化性,复用领域测试用例导出针对具体应用的测试用例。最后通过一个咖啡机产品线验证了该测试方法,导出了可复用的领域测试用例。
- 杨华北曾红卫
- 关键词：软件产品线软件测试
- 一种Web应用测试生成与约简方法
- 2012年
- 软件测试是保证软件质量的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全性质所输出的反例分化模型,然后根据分化模型产生测试序列,依据Web应用的特性对测试序列集进行约简.实例演示表明该方法的有效性.
- 晏霞敏曾红卫刘攀贺斌
- 关键词：WEB应用
