可信软件测试和可信性评估研究
基本信息
批准号：90718037
项目类别：重大研究计划
资助金额：50.00
负责人：杨善林
学科分类：
依托单位：合肥工业大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：马溪骏,阚红星,胡小建,胡笑旋,余本功,马华伟,褚伟,付超,潘若愚
关键词：
软件可信性代价估算/控制可信评估自动测试测试用例
结项摘要
软件测试和可信评估是保证软件可信的重要手段。研究可信软件多个性质的测试需求和相应层次的评价指标；利用FSM、RSL对测试用例进行形式化描述，在评价指标约束下，保证用例的完备性并消除冗余，寻求较小的可信性测试用例向量集，构造综合测试模型；分析ROI模型，研究可信软件的自动测试代价；考虑自动测试维护过程，提出平均维护代价因子概念，并用决策方法求出其阈值；基于COCOMO度量结果，采用专家Delphi法
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
2
端壁抽吸控制下攻角对压气机叶栅叶尖 泄漏流动的影响
端壁抽吸控制下攻角对压气机叶栅叶尖 泄漏流动的影响
DOI：
发表时间：2020
3
基于ESO的DGVSCMG双框架伺服系统不匹配 扰动抑制
基于ESO的DGVSCMG双框架伺服系统不匹配 扰动抑制
DOI：
发表时间：2018
4
多源数据驱动CNN-GRU模型的公交客流量分类预测
多源数据驱动CNN-GRU模型的公交客流量分类预测
DOI：10.19818/j.cnki.1671-1637.2021.05.022
发表时间：2021
5
变可信度近似模型及其在复杂装备优化设计中的应用研究进展
变可信度近似模型及其在复杂装备优化设计中的应用研究进展
DOI：10.3901/jme.2020.24.219
发表时间：2020
杨善林的其他基金
批准号：71071045
批准年份：2010
资助金额：30.00
项目类别：面上项目
批准号：70631003
批准年份：2006
资助金额：85.00
项目类别：重点项目
批准号：70471046
批准年份：2004
资助金额：16.00
项目类别：面上项目
批准号：70171033
批准年份：2001
资助金额：12.00
项目类别：面上项目
批准号：71131002
批准年份：2011
资助金额：240.00
项目类别：重点项目
批准号：79970058
批准年份：1999
资助金额：9.00
项目类别：面上项目
相似国自然基金
1
基于测试的软件可信性增长模型及其评估方法研究
批准号：90718018
批准年份：2007
负责人：刘超
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
2
面向软件可信性演进的软件测试技术研究
批准号：90818027
批准年份：2008
负责人：徐宝文
学科分类：F0203
资助金额：260.00
项目类别：重大研究计划
3
高可信软件的测试与评估
批准号：60633010
批准年份：2006
负责人：蔡开元
学科分类：F0203
资助金额：200.00
项目类别：联合基金项目
4
主客观相结合的网构软件可信性评估方法研究
批准号：61402264
批准年份：2014
负责人：司冠南
学科分类：F0203
资助金额：26.00
项目类别：青年科学基金项目