| 查看: 511 | 回复: 2 | |||
[交流]
有没有可能对C代码进行自动分析？找出其中影响程序可靠性的关键代码或者模块？
|
| 从逻辑上，而不是从语法上对程序进行自动分析，该用什么理论或者工具呢？比如对同样功能的两个程序，能够找出设计的弊端，或者可能对性能造成瓶颈的地方。 现在的技术有没有可能实现这一点？ |
回复此楼» 本帖已获得的红花（最新10朵）
oquick» 猜你喜欢
售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急
已经有7人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急
已经有3人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急
已经有6人回复
-
基础研究怎么拉横向，学校到款任务越来越多，难以完成 拉横向，都有哪些途径啊
已经有6人回复
-
HXDI做水性聚氨酯乳液，是不是特别容易出渣
已经有3人回复
-
小木虫看见有人已经知道结果了
已经有19人回复
-
2026年国自然面上资助率
已经有8人回复
-
系统今天又提示维护了，估计离放榜不远了
已经有15人回复
-
微信指数没变化，科研之友没阅读
已经有17人回复
-
申请2027年材料/化学类博士
已经有5人回复
» 抢金币啦！回帖就可以得到:
-
求助2013年-2011年，武汉哪所学校的实验室合成过单价3万/克（或毫升）的剧毒成品？
+5/2365
-
助理研究员——吉林大学-苏州国家实验室光电半导体智能设计与应用团队
+1/479
-
坐标广州，征女友
+2/164
-
西湖大学物理学、光学、电子信息方向博士生招生（长期有效）
+5/105
-
实验室用简易工装、夹具、模具、测试板
+1/82
-
药化高级研究员
+1/82
-
★★★中山大学（深圳）院士团队招收27届推免硕士生（低维材料与器件方向）
+1/79
-
上海 东华大学 刘栋良 招 2027 学术型博士（化学专业）
+1/72
-
希望面上项目顺利
+2/52
-
中国特种设备检测研究院招聘1名高温涂层方向博士后
+2/34
-
西安交通大学补亚忠课题组招聘2027年博士生
+1/27
-
西湖大学拓扑光学、非厄米光学、太赫兹方向博士后招聘（长期有效）
+5/25
-
深圳大学 招收2027级推免研究生 (金属材料/ 3D打印/ 氢能等方向)
+1/24
-
坐标北京，诚征女友
+2/12
-
新西兰坎特伯雷大学招博士后
+1/6
-
西安交通大学补亚忠课题组招收申请考核制博士生
+2/6
-
准现货/原装全新超微整机8x NVIDIA HGX A100 80G
+1/4
-
中科院大连化物所诚聘博士后/科研助理/项目聘用人员
+1/2
-
肠道再生的"隐形推手"
+1/1
-
iThenticate查SCI论文，一般查几次？有没有技巧一次过？
+1/1
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
小木虫: 金币+0.5, 给个红包，谢谢回帖
|
没有自动可靠性分析的工具，最多也只能进行自动单元测试的工具。 有一些软件可靠性测试的工具，但据我所知，要么需要posix接口标准，要么是特定环境下的，但所谓的分析基本是一些统计数据，如api失效率之类的，如ptrace，STToolkit等，基本原理都是插入调试点，进行调用拦截，在统计分析失效次数。还没有见过逻辑层面分析的，逻辑层面分析估计和人工自能的复杂度一样，就相当于用一个程序自动写新程序。 有函数模块和调用的自动分析的工具，这个很多，如calltree，kprof等。 有性能测试的工具，如Intel VTune性能分析器，可以找出瓶颈，就是所谓的性能热点。 软件有很多的可靠性模型，但它们基本上是工程方法，涉及工程管理，bug修复对故障的影响，没有一个是可以在语言级别进行分析的。 语言开发是一种最佳实践问题，不存在最优的实现方法，同时不同的输入会产生不同的输出，因而也不可能有自动优化和分析的工具。要进行分析就得实测，统计需要分析的结果。 这是个人见解，希望有用。 |
2楼2013-03-30 20:03:50
3楼2013-04-02 14:30:04
