基于软件形式规格说明的软件测试自动化方法研究
基本信息
批准号：60173030
项目类别：面上项目
资助金额：18.00
负责人：缪淮扣
学科分类：
依托单位：上海大学
批准年份：2001
结题年份：2004
起止时间：2002-01-01 - 2004-12-31
项目状态： 已结题
项目参与者：朱关铭,李刚,曾红卫,刘玲,高晓雷,沈俊,李莉,胡芸,羊冬昭
关键词：
软件测试自动化软件规格说明形式方法
结项摘要
研究基于软件形式规格说明的软件测试自动化的方法。构造一个测试类框架来应用各种测试策略推导测试数据、预测测试结果和具体化测试用例；研究测试用例的自动运行，探索测试用例的自动评估。该测试方法比基于代码的测试方法更严格，所产生的测试用例更系统、叽硇裕谷砑馐杂肴砑杓埔约笆迪滞苯校岣呷砑煽啃院腿砑馐缘男省
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
2
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
DOI：10.19762/j.cnki.dizhixuebao.2021191
发表时间：2021
3
黄曲霉毒素B1检测与脱毒方法最新研究进展
黄曲霉毒素B1检测与脱毒方法最新研究进展
DOI：10.3969/j.issn.1000-4440.2021.03.031
发表时间：2021
4
区块链技术:从数据智能到知识自动化
区块链技术:从数据智能到知识自动化
DOI：
发表时间：2017
5
油源断裂输导和遮挡配置油气成藏有利部位预测方法及其应用
油源断裂输导和遮挡配置油气成藏有利部位预测方法及其应用
DOI：10.16509/j.georeview.2021.02.010
发表时间：2021
缪淮扣的其他基金
批准号：61170044
批准年份：2011
资助金额：57.00
项目类别：面上项目
批准号：60673115
批准年份：2006
资助金额：25.00
项目类别：面上项目
批准号：60373072
批准年份：2003
资助金额：24.00
项目类别：面上项目
批准号：61572306
批准年份：2015
资助金额：66.00
项目类别：面上项目
批准号：60970007
批准年份：2009
资助金额：32.00
项目类别：面上项目
批准号：69773038
批准年份：1997
资助金额：11.00
项目类别：面上项目
相似国自然基金
1
面向对象软件规格说明的形式化验证与确认
批准号：60373072
批准年份：2003
负责人：缪淮扣
学科分类：F0203
资助金额：24.00
项目类别：面上项目
2
嵌入式控制软件的形式化规格说明构建的工程方法
批准号：61402178
批准年份：2014
负责人：缪炜恺
学科分类：F0201
资助金额：24.00
项目类别：青年科学基金项目
3
基于规格说明的Web应用测试方法研究
批准号：60673115
批准年份：2006
负责人：缪淮扣
学科分类：F0203
资助金额：25.00
项目类别：面上项目
4
基于形式化方法的多域软件定义网络测试研究
批准号：61802092
批准年份：2018
负责人：姚姜源
学科分类：F0207
资助金额：24.00
项目类别：青年科学基金项目