退出
我的积分:
中文文献批量获取
外文文献批量获取
徐克圣; 王兰;
大连交通大学软件学院 辽宁大连116028;
Web服务组合测试; 测试路径; 建模; 数据流分析; BPEL;
机译:BPEL的扩展,用于基于标准的Web服务组合
机译:在基于BPEL的Web服务组合过程中验证并发属性
机译:WS-BPEL的基础路径测试套件和测试过程
机译:使用有色Petri网为基于BPEL的Web服务组合生成测试用例
机译:过渡故障和过渡路径延迟故障:测试生成,路径选择以及功能性侧面测试的内置生成。
机译:基于变异的和声搜索算法用于Web服务组合的混合测试
机译:使用高级petri网测试基于BpEL的Web服务组合
机译:基于连续曲率路径生成和非线性跟踪控制的水下航行器避雷与定位。
机译:基于扩展的无上下文语法测试规范模型和新型测试生成算法的基于规范的测试中的路径覆盖标准
机译:基于自动生成路径覆盖测试用例的单元测试方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。