可信软件测试和可信性评估研究
基本信息
批准号：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：10.13197/j.eeev.2019.05.95.fuwq.009
发表时间：2019
2
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
3
新产品脱销等待时间对顾客抱怨行为的影响:基于有调节的双中介模型
新产品脱销等待时间对顾客抱怨行为的影响:基于有调节的双中介模型
DOI：
发表时间：2023
4
机电控制无级变速器执行机构动态响应特性仿真研究
机电控制无级变速器执行机构动态响应特性仿真研究
DOI：10.3969/j.issn.1004-132X.2020.03.001
发表时间：2020
5
汽车侧倾运动安全主动悬架LQG控制器设计方法
汽车侧倾运动安全主动悬架LQG控制器设计方法
DOI：
发表时间：2017
杨善林的其他基金
批准号：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
项目类别：青年科学基金项目