计算机软件新技术国家重点实验室开放基金(ZZKT2008F12)
- 作品数:3 被引量:3H指数:1
- 相关作者:许蕾李少东严满根李颖更多>>
- 相关机构:南京大学更多>>
- 发文基金:计算机软件新技术国家重点实验室开放基金国家自然科学基金软件工程国家重点实验室开放基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于OWL-S文档的Web服务测试用例生成
- 2012年
- 若从使用者的角度测试Web服务,只能从服务的接口文档中提取信息进行测试工作。现有工作提出通过分析文档中的输入或输出参数获取测试数据的方法。利用OWL-S文档中的输入输出参数信息生成初始的测试数据,同时充分利用文档中的服务过程信息,提取出服务的控制流程图,据此约简测试数据,生成最终的测试用例,从而提高测试用例的生成效率,降低测试成本。
- 李颖许蕾
- 关键词:OWL-SSERVICEMODEL测试用例生成
- 一种基于发生序和锁集的BPEL数据竞争静态检测方法被引量:3
- 2010年
- BPEL利用flow和link提供了并发和同步的机制,而Isolated Scope则提供了并发情况下对共享变量访问的控制,同时BPEL还引入了死路删除等一些新的特性。对BPEL流程进行了建模,把BPEL流程转化为BCFG图,提出了一种结合发生序和锁集的静态检测BPEL流程数据竞争的方法。该方法利用向量时钟计算BPEL基本块的发生序关系,判断BPEL基本块是否可并发执行,然后根据BPEL基本块是否有锁保护以及对共享变量的访问情况,来判断BPEL流程是否存在数据竞争。锁集的引入提高了数据竞争判断的准确度,另外该方法还引入了对共享变量访问事件冗余度的分析,减少了算法的开销。
- 李少东许蕾
- 关键词:BPEL数据竞争
- 基于变异测试和OWL-S文档的Web服务测试用例生成
- 2011年
- 由于缺乏必要的细节信息,针对Web服务的测试难度较大。文章的方法是将变异算子作用到OWL-S文档上,以得出不同输出为目标,从而生成测试用例。该方法避免了生成大量的变异体以及判定等价变异体,能降低测试成本。在保证其有效性的同时,还可以根据具体的应用来调整变异算子,保证方法的通用性和可扩展性。
- 严满根许蕾
- 关键词:WEB服务测试用例生成