基于形式化方法的服务自动测试方法

著录项

• 来源
  《系统工程与电子技术》 |2013年第12期|2619-2630|共12页
• 作者

  张迎周; 符炜; 张卫丰;

  展开▼
• 作者单位

  南京邮电大学计算机学院,江苏南京210003;

  桂林电子科技大学广西可信软件重点实验室,广西桂林541004;

  江苏省无线传感网高技术研究重点实验室,江苏南京210003;

  南京邮电大学计算机学院,江苏南京210003;

  南京邮电大学计算机学院,江苏南京210003;

  桂林电子科技大学广西可信软件重点实验室,广西桂林541004;

  江苏省无线传感网高技术研究重点实验室,江苏南京210003;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 程序设计、软件工程;
• 关键词

  Web服务测试; 测试用例表示; 测试数据自动测试; 单子技术; 余代数方法;