侯可佳
- 作品数：6 被引量：21H指数：3
- 供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
- 发文基金：北京市自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于接口语义契约模型的Web服务建模与测试方法
- 一种基于接口语义契约模型的Web服务建模与测试方法，涉及软件测试建模与测试用例自动生成领域，所述方法适用于Web服务测试，可以扩展现有服务接口描述能力、用于生成测试数据和测试用例，通过知识描述和推理技术，提高测试生成的自...
- 白晓颖侯可佳李树芳
- 文献传递
- 一种基于多约束组合的多租户系统配置测试技术被引量：6
- 2016年
- 通过灵活配置实现在线软件定制是多租户(Multi-Tenancy Architecture,MTA)软件即服务(Software-asa-Service,SaaS)系统的一个重要特征.由于参数和行为配置的复杂多样,配置错误是系统质量所面临的主要风险之一.对各种配置的组合测试,是MTA SaaS系统测试的一个重要内容.该文针对配置之间的约束依赖关系,提出建立约束依赖图,利用图搜索算法获取具有依赖关联的配置项集合,采用组合测试算法,生成不同的配置测试场景,满足多配置组合覆盖率要求.实验以多租户游戏系统为例,对比多种测试生成算法,实验显示该方法在检测由约束违反引起的系统缺陷方面有显著改善效果.
- 侯可佳白晓颖周立柱
- 关键词：数据生成
- 基于接口语义契约的Web服务测试数据生成被引量：9
- 2013年
- 测试是Web服务质量保证的主要手段之一,测试自动化是降低测试代价的有效途径,测试数据生成是测试自动化研究的一个重要内容.提出采用本体及规则的知识描述语言,建立服务接口的语义契约模型(interface semantic contract,简称ISC),并探讨了基于ISC的测试数据生成技术,给出了分区生成算法以及测试数据生成的模拟退火算法.实验结果表明,与随机测试相比,该方法能够采用10%的测试用例数量达到同样的测试覆盖率;在同样的测试用例数量上,最高可提高50%的测试覆盖率.
- 侯可佳白晓颖陆皓李树芳周立柱
- 关键词：数据生成本体模型OWL-S
- 一种位置服务测试数据生成技术研究被引量：6
- 2016年
- 随着移动互联网的高速发展,移动服务越来越成为人们生活、工作中不可或缺的一部分,绝大部分移动服务都要以用户的位置信息为基础,位置服务(Location-Based Services,LBS)则通过调用GPS等服务在确定用户位置的基础上,向用户提供导航、服务推荐等功能.位置服务的基础性使得其正确性和完整性至关重要,同时其开放性和复杂性对测试提出了更高的要求.文中以反地理编码服务为例,探讨了位置空间测试数据的生成方法.基于模拟退火算法(Simulated Annealing,SA)的优化过程,提出了两种适应度函数定义方法,一种是基于有效点密集区假设,以提高位置空间覆盖率为优化目标;另一种是基于LBS故障模式假设,以提高潜在故障的检测能力为优化目标.研究引入了贝叶斯分类器,将预测值作为探索点的能量值,指导搜索过程.研究选取了实际应用的位置服务平台进行了实验验证,实验表明,与简单随机算法相比,该方法在可容忍的时间代价下,可以有效提高测试效率和错误检测能力.
- 侯可佳黄军白晓颖周立柱
- 关键词：数据生成模拟退火算法
- 一种基于接口语义契约模型的Web服务建模与测试方法
- 一种基于接口语义契约模型的Web服务建模与测试方法，涉及软件测试建模与测试用例自动生成领域，所述方法适用于Web服务测试，可以扩展现有服务接口描述能力、用于生成测试数据和测试用例，通过知识描述和推理技术，提高测试生成的自...
- 白晓颖侯可佳李树芳
- 文献传递
- 基于接口语义契约的服务化软件自动测试技术研究
- 服务化已成为互联网软件一种新的基本形态。由于其具有开放性、动态性、协同性的特点,软件服务测试通常需要大量的测试用例、多样的测试环境,代价高且测试充分性难以保证。为增强服务软件测试的自动化和智能化能力,本论文遵循模型驱动测...
- 侯可佳
- 关键词：测试数据生成
- 文献传递
