软件工程国家重点实验室开放基金(SKLSE20080717)
- 作品数：4 被引量：8H指数：2
- 相关作者：许蕾徐宝文陈林李少东尹恒更多>>
- 相关机构：南京大学东南大学更多>>
- 发文基金：软件工程国家重点实验室开放基金国家自然科学基金计算机软件新技术国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种恢复状态模式的状态转换图的方法
- 2010年
- 现有研究不能从状态模式的代码中恢复状态转换图这一状态模式的核心语义信息。针对状态驱动的转换这种典型实现方式,通过分析类型传播图确定状态模式的状态变量在各次赋值前后所属的具体状态类,并由此恢复该模式的状态转换图。给出了具体算法,通过实例分析验证了方法的可行性。
- 尹恒周晓宇
- 关键词：设计模式状态转换图
- 一种基于发生序和锁集的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服务测试用例生成
- 用户需求驱动的Web服务测试被引量：5
- 2011年
- Web服务涉及开发者、提供者、注册中心、用户等多方,各方测试目的、所掌握的资源以及所使用的测试方法各异.以用户需求来驱动Web服务测试,更切合现状且能提升测试效率.文中建立了用户需求特征模型,引入层次关系、控制结构、约束条件等要素;对照目标级、服务组合、原子服务需求,分别进行基于等价类划分、数据流分析和变异测试的测试用例生成选择;当需求变动时,通过波动分析能迅速定位到服务的相关路径和变量,保证回归测试的效率;最后通过行程安排实例展示了工作流程和实验结果.
- 许蕾陈林徐宝文
- 关键词：WEB服务测试用户需求测试用例生成
