基于测试的软件可信性增长模型及其评估方法研究
基本信息
批准号：90718018
项目类别：重大研究计划
资助金额：50.00
负责人：刘超
学科分类：
依托单位：北京航空航天大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：晏海华,钱红兵,何智涛,李虎,吴际,王晓博,徐珞,刘辉,原子
关键词：
可信软件软件测试软件可信性评估
结项摘要
本课题旨在基于可信软件测试基础研究与成功的工程实践基础上，针对软件可信性基础研究中的关键问题，特别是基于测试的软件可信性数据收集与分析、测试优化，以及可信性增长水平的度量和评估等基本问题，深入探索可信软件测试方法及其对软件可信性增长的贡献规律。针对其非确定性特点，采用模糊逻辑思想和随机过程及统计学原理，重点研究并提出一种基于测试的软件可信性增长模型及其评估方法，包括如何基于测试论域分层划分、测试用
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
2
变可信度近似模型及其在复杂装备优化设计中的应用研究进展
变可信度近似模型及其在复杂装备优化设计中的应用研究进展
DOI：10.3901/jme.2020.24.219
发表时间：2020
3
国际比较视野下我国开放政府数据的现状、问题与对策
国际比较视野下我国开放政府数据的现状、问题与对策
DOI：
发表时间：2016
4
水文水力学模型及其在洪水风险分析中的应用
水文水力学模型及其在洪水风险分析中的应用
DOI：
发表时间：2019
5
海上风电通航风险评估进展
海上风电通航风险评估进展
DOI：
发表时间：2020
刘超的其他基金
批准号：51279173
批准年份：2012
资助金额：82.00
项目类别：面上项目
批准号：51009102
批准年份：2010
资助金额：20.00
项目类别：青年科学基金项目
批准号：21302148
批准年份：2013
资助金额：25.00
项目类别：青年科学基金项目
批准号：30872487
批准年份：2008
资助金额：30.00
项目类别：面上项目
批准号：51505022
批准年份：2015
资助金额：19.00
项目类别：青年科学基金项目
批准号：31271159
批准年份：2012
资助金额：88.00
项目类别：面上项目
批准号：81201970
批准年份：2012
资助金额：23.00
项目类别：青年科学基金项目
批准号：61104003
批准年份：2011
资助金额：24.00
项目类别：青年科学基金项目
批准号：51805325
批准年份：2018
资助金额：26.00
项目类别：青年科学基金项目
批准号：31101173
批准年份：2011
资助金额：23.00
项目类别：青年科学基金项目
批准号：51474069
批准年份：2014
资助金额：83.00
项目类别：面上项目
批准号：61773029
批准年份：2017
资助金额：61.00
项目类别：面上项目
批准号：21601178
批准年份：2016
资助金额：20.00
项目类别：青年科学基金项目
批准号：21904028
批准年份：2019
资助金额：28.00
项目类别：青年科学基金项目
批准号：51808150
批准年份：2018
资助金额：25.00
项目类别：青年科学基金项目
批准号：31371173
批准年份：2013
资助金额：75.00
项目类别：面上项目
批准号：81870173
批准年份：2018
资助金额：57.00
项目类别：面上项目
批准号：50779060
批准年份：2007
资助金额：32.00
项目类别：面上项目
批准号：31170971
批准年份：2011
资助金额：60.00
项目类别：面上项目
批准号：21402242
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
批准号：31600760
批准年份：2016
资助金额：20.00
项目类别：青年科学基金项目
批准号：51874233
批准年份：2018
资助金额：60.00
项目类别：面上项目
批准号：21901256
批准年份：2019
资助金额：24.50
项目类别：青年科学基金项目
批准号：50379045
批准年份：2003
资助金额：7.00
项目类别：面上项目
批准号：81101255
批准年份：2011
资助金额：22.00
项目类别：青年科学基金项目
批准号：21302207
批准年份：2013
资助金额：25.00
项目类别：青年科学基金项目
批准号：60876004
批准年份：2008
资助金额：36.00
项目类别：面上项目
批准号：61308082
批准年份：2013
资助金额：25.00
项目类别：青年科学基金项目
批准号：11202034
批准年份：2012
资助金额：26.00
项目类别：青年科学基金项目
批准号：50902043
批准年份：2009
资助金额：20.00
项目类别：青年科学基金项目
批准号：81471935
批准年份：2014
资助金额：72.00
项目类别：面上项目
批准号：60373016
批准年份：2003
资助金额：20.00
项目类别：面上项目
批准号：81900974
批准年份：2019
资助金额：21.00
项目类别：青年科学基金项目
批准号：31700727
批准年份：2017
资助金额：24.00
项目类别：青年科学基金项目
批准号：81341012
批准年份：2013
资助金额：10.00
项目类别：专项基金项目
批准号：31700509
批准年份：2017
资助金额：23.00
项目类别：青年科学基金项目
批准号：61273230
批准年份：2012
资助金额：80.00
项目类别：面上项目
批准号：60073005
批准年份：2000
资助金额：15.00
项目类别：面上项目
批准号：60506006
批准年份：2005
资助金额：28.00
项目类别：青年科学基金项目
批准号：91745110
批准年份：2017
资助金额：75.00
项目类别：重大研究计划
批准号：51879175
批准年份：2018
资助金额：61.00
项目类别：面上项目
批准号：51101027
批准年份：2011
资助金额：25.00
项目类别：青年科学基金项目
批准号：31871094
批准年份：2018
资助金额：62.00
项目类别：面上项目
批准号：81803468
批准年份：2018
资助金额：21.00
项目类别：青年科学基金项目
批准号：61902367
批准年份：2019
资助金额：27.00
项目类别：青年科学基金项目
批准号：21673261
批准年份：2016
资助金额：65.00
项目类别：面上项目
批准号：81803513
批准年份：2018
资助金额：21.00
项目类别：青年科学基金项目
批准号：41404004
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
批准号：11373032
批准年份：2013
资助金额：88.00
项目类别：面上项目
批准号：31771501
批准年份：2017
资助金额：56.00
项目类别：面上项目
批准号：81172068
批准年份：2011
资助金额：60.00
项目类别：面上项目
批准号：51902282
批准年份：2019
资助金额：25.00
项目类别：青年科学基金项目
批准号：81401199
批准年份：2014
资助金额：22.00
项目类别：青年科学基金项目
批准号：51609160
批准年份：2016
资助金额：20.00
项目类别：青年科学基金项目
批准号：21871283
批准年份：2018
资助金额：65.00
项目类别：面上项目
批准号：59949010
批准年份：1999
资助金额：6.00
项目类别：专项基金项目
批准号：81070646
批准年份：2010
资助金额：10.00
项目类别：面上项目
批准号：30800068
批准年份：2008
资助金额：19.00
项目类别：青年科学基金项目
批准号：81771055
批准年份：2017
资助金额：54.00
项目类别：面上项目
批准号：41505018
批准年份：2015
资助金额：21.00
项目类别：青年科学基金项目
批准号：31571204
批准年份：2015
资助金额：63.00
项目类别：面上项目
批准号：41802184
批准年份：2018
资助金额：24.00
项目类别：青年科学基金项目
批准号：51304154
批准年份：2013
资助金额：25.00
项目类别：青年科学基金项目
批准号：51202170
批准年份：2012
资助金额：25.00
项目类别：青年科学基金项目
批准号：11243003
批准年份：2012
资助金额：10.00
项目类别：专项基金项目
批准号：39970351
批准年份：1999
资助金额：12.00
项目类别：面上项目
批准号：81471010
批准年份：2014
资助金额：75.00
项目类别：面上项目
批准号：81670357
批准年份：2016
资助金额：57.00
项目类别：面上项目
批准号：81672412
批准年份：2016
资助金额：53.00
项目类别：面上项目
批准号：61805169
批准年份：2018
资助金额：25.00
项目类别：青年科学基金项目
批准号：51308446
批准年份：2013
资助金额：25.00
项目类别：青年科学基金项目
批准号：81902266
批准年份：2019
资助金额：21.00
项目类别：青年科学基金项目
批准号：41571348
批准年份：2015
资助金额：60.00
项目类别：面上项目
批准号：60276045
批准年份：2002
资助金额：7.00
项目类别：面上项目
批准号：81901021
批准年份：2019
资助金额：21.00
项目类别：青年科学基金项目
批准号：11802152
批准年份：2018
资助金额：28.00
项目类别：青年科学基金项目
批准号：51878546
批准年份：2018
资助金额：60.00
项目类别：面上项目
批准号：11873057
批准年份：2018
资助金额：63.00
项目类别：面上项目
批准号：21905092
批准年份：2019
资助金额：26.00
项目类别：青年科学基金项目
批准号：31101026
批准年份：2011
资助金额：23.00
项目类别：青年科学基金项目
批准号：31600484
批准年份：2016
资助金额：20.00
项目类别：青年科学基金项目
批准号：11005102
批准年份：2010
资助金额：20.00
项目类别：青年科学基金项目
批准号：41902102
批准年份：2019
资助金额：25.00
项目类别：青年科学基金项目
批准号：61503052
批准年份：2015
资助金额：20.00
项目类别：青年科学基金项目
批准号：51674189
批准年份：2016
资助金额：60.00
项目类别：面上项目
相似国自然基金
1
基于自律计算的软件可信性增长模型与方法
批准号：90718003
批准年份：2007
负责人：王慧强
学科分类：F0201
资助金额：50.00
项目类别：重大研究计划
2
可信软件测试和可信性评估研究
批准号：90718037
批准年份：2007
负责人：杨善林
学科分类：G0103
资助金额：50.00
项目类别：重大研究计划
3
面向软件可信性演进的软件测试技术研究
批准号：90818027
批准年份：2008
负责人：徐宝文
学科分类：F0203
资助金额：260.00
项目类别：重大研究计划
4
基于软件缺陷预测的软件可信性度量方法研究
批准号：90718024
批准年份：2007
负责人：宋擒豹
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划