版块导航: 正在加载中...

登录注册

应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜

返回列表

coid

银虫 (初入文坛)

应助: 0 (幼儿园)
金币: 448.8
帖子: 20
在线: 32.3小时
虫号: 982373
注册: 2010-03-25
专业: 计算机应用技术

[交流] 【求助】硕士：可信软件已有1人参与

各位前辈，关于可信软件我有如下问题要请教：
（1）可信软件国内研究如何？
（2）可信软件研究是否只在逻辑推理、验证的理论研究；
（3）对于硕士研究生研究的意义在哪里？

回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:

【交流】【有奖参与】来分析版的虫友，请大家介绍一下自己的研究方向^_^ 已经有61人回复

1楼 2010-12-22 11:19:40

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

帝国学者

木虫 (著名写手)

应助: 0 (幼儿园)
金币: 2439.1
散金: 290
帖子: 1281
在线: 261.4小时
虫号: 465155
注册: 2007-11-22
性别: GG
专业: 计算机软件

★
小木虫(金币+0.5):给个红包，谢谢回帖交流

（1）国家自然科学基金、863、973投入巨大，研究成果已经有不少，但依然存在许多难题未解决（具体参见可信软件基础研究重大研究计划近两年的申请指南），且成果间集成性有待验证；可信软件本身的理论发展不足，多是老酒装新瓶。
（2）可信性测试、可信性需求分析、可信性度量与评估等，可信软件基础理论与方法还有很多。逻辑推理和形式化验证成为热点，主要是因为国内掌控可信软件研究方向的几个院士，多是做此方向出身。
（3）对于硕士生，建议结合横向课题开展研究，或者结合理论研究的成果开发一些工具。如果仅仅做理论研究或一些简单的仿真验证对以后就业没太大帮助

赞一下(1人)