扩展控制流图相关硕士博士期刊学术论文 - 搜论网

扩展控制流图相关论文

BPEL组合服务并发结构的分析与验证

Web服务是一种新型的软件泛型，它具备松耦合、高动态性和可重配置等特点。Web服务组合通过为成员服务制定工作流程来实现具备复杂业......

学位

形式化验证 Web服务组合增值服务 BPEL规范扩展控制流图消息交互

面向对象程序的类测试方法研究和设计

面向对象编程语言提供了继承、封装、多态的特性,提高了代码的重用性、安全性、维护性,给开发人员带来较大便利的同时,也给软件测......

学位

类测试扩展控制流图面向路径约束求解测试用例生成

看过本文同时还关注