课题基金 / 基金详情

基于软件形式规格说明的软件测试自动化方法研究

批准号：
60173030
项目类别：
面上项目
资助金额：
18.0 万元
负责人：
缪淮扣
依托单位：
上海大学
学科分类：
软件理论、软件工程与服务
结题年份：
2004
批准年份：
2001
项目状态：
已结题
项目参与者：
朱关铭、李刚、曾红卫、刘玲、高晓雷、沈俊、李莉、胡芸、羊冬昭
关键词：
软件测试自动化软件规格说明.形式方法.

项目摘要

结项摘要

缪淮扣的其他基金

相似基金

相关文献

中文摘要
研究基于软件形式规格说明的软件测试自动化的方法。构造一个测试类框架来应用各种测试策略推导测试数据、预测测试结果和具体化测试用例；研究测试用例的自动运行，探索测试用例的自动评估。该测试方法比基于代码的测试方法更严格，所产生的测试用例更系统、叽硇裕谷砑馐杂肴砑杓埔约笆迪滞苯校岣呷砑煽啃院腿砑馐缘男省
英文摘要
基于概率模型检验的Web服务动态自适应配置
  • 批准号：
    61572306
  • 项目类别：
    面上项目
  • 资助金额：
    66.0万元
  • 批准年份：
    2015
  • 负责人：
    缪淮扣
  • 依托单位：
    上海大学
基于模型的测试用例优化生成与自动执行
  • 批准号：
    61170044
  • 项目类别：
    面上项目
  • 资助金额：
    57.0万元
  • 批准年份：
    2011
  • 负责人：
    缪淮扣
  • 依托单位：
    上海大学
可信网络软件的形式验证
  • 批准号：
    60970007
  • 项目类别：
    面上项目
  • 资助金额：
    32.0万元
  • 批准年份：
    2009
  • 负责人：
    缪淮扣
  • 依托单位：
    上海大学
基于规格说明的Web应用测试方法研究
  • 批准号：
    60673115
  • 项目类别：
    面上项目
  • 资助金额：
    25.0万元
  • 批准年份：
    2006
  • 负责人：
    缪淮扣
  • 依托单位：
    上海大学
国内基金
海外基金