24小时热门版块排行榜    

查看: 477  |  回复: 2
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

oquick

银虫 (小有名气)


[交流] 有没有可能对C代码进行自动分析?找出其中影响程序可靠性的关键代码或者模块?

从逻辑上,而不是从语法上对程序进行自动分析,该用什么理论或者工具呢?比如对同样功能的两个程序,能够找出设计的弊端,或者可能对性能造成瓶颈的地方。 现在的技术有没有可能实现这一点?
回复此楼

» 本帖已获得的红花(最新10朵)

» 猜你喜欢

» 抢金币啦!回帖就可以得到:

查看全部散金贴

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

oquick

银虫 (小有名气)


送鲜花一朵
我也认为这个东西应该是跟人工智能相关的。我想要的不是语法或者编写规范层面的分析,而是逻辑的分析,起码应该分析出函数之间的调用关系和运行顺序,最好能够自动画出流程图。但现在好像没有合适的工具来做这个。
3楼2013-04-02 14:30:04
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 3 个回答

zhphit

木虫 (初入文坛)



小木虫: 金币+0.5, 给个红包,谢谢回帖
没有自动可靠性分析的工具,最多也只能进行自动单元测试的工具。
有一些软件可靠性测试的工具,但据我所知,要么需要posix接口标准,要么是特定环境下的,但所谓的分析基本是一些统计数据,如api失效率之类的,如ptrace,STToolkit等,基本原理都是插入调试点,进行调用拦截,在统计分析失效次数。还没有见过逻辑层面分析的,逻辑层面分析估计和人工自能的复杂度一样,就相当于用一个程序自动写新程序。
有函数模块和调用的自动分析的工具,这个很多,如calltree,kprof等。
有性能测试的工具,如Intel VTune性能分析器,可以找出瓶颈,就是所谓的性能热点。
软件有很多的可靠性模型,但它们基本上是工程方法,涉及工程管理,bug修复对故障的影响,没有一个是可以在语言级别进行分析的。
语言开发是一种最佳实践问题,不存在最优的实现方法,同时不同的输入会产生不同的输出,因而也不可能有自动优化和分析的工具。要进行分析就得实测,统计需要分析的结果。
这是个人见解,希望有用。
2楼2013-03-30 20:03:50
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[硕博家园] 北京林业大学硕导招生广告 +3 kongweilin 2026-03-26 3/150 2026-03-26 00:53 by 15723253818
[考研] 一志愿 西北大学 总分282 英语一62 求调剂 +3 18419759900 2026-03-25 3/150 2026-03-25 23:20 by peike
[考研] 材料与化工328分调剂 +6 。,。,。,。i 2026-03-23 6/300 2026-03-25 22:30 by 418490947
[考研] 086000生物与医药292求调剂 +4 小小陈小小 2026-03-22 7/350 2026-03-25 19:07 by 星空星月
[考研] 材料与化工 322求调剂 +6 然11 2026-03-19 6/300 2026-03-25 18:37 by haxia
[考研] 考研一志愿苏州大学初始315(英一)求调剂 +3 sbdksD 2026-03-24 4/200 2026-03-25 18:16 by xcjcqu
[考研] 282求调剂 +3 wcq131415 2026-03-24 3/150 2026-03-25 12:16 by userper
[考研] 271求调剂 +4 生如夏花… 2026-03-22 4/200 2026-03-25 11:25 by userper
[考研] 求调剂323材料与化工 +4 1124361 2026-03-24 4/200 2026-03-25 11:19 by shulmg
[考研] 0856材料专硕353求调剂 +6 NIFFFfff 2026-03-20 6/300 2026-03-24 21:02 by hello七七
[考研] 276求调剂。有半年电池和半年高分子实习经历 +9 材料学257求调剂 2026-03-23 10/500 2026-03-24 07:36 by wangy0907
[考研] 一志愿北京化工大学 070300 学硕 336分 求调剂 +7 vv迷 2026-03-22 7/350 2026-03-23 23:44 by Txy@872106
[考研] 070300,一志愿北航320求调剂 +3 Jerry0216 2026-03-22 5/250 2026-03-23 09:16 by 。。堂堂
[考研] 276求调剂 +3 YNRYG 2026-03-21 4/200 2026-03-23 08:31 by 醉在风里
[考研] 寻找调剂 +4 倔强芒? 2026-03-21 4/200 2026-03-22 16:14 by 木托莫露露
[考研] 275求调剂 +6 shansx 2026-03-22 8/400 2026-03-22 15:27 by barlinike
[考研] 一志愿南大,0703化学,分数336,求调剂 +3 收到VS 2026-03-21 3/150 2026-03-21 18:42 by 学员8dgXkO
[考研] 一志愿南昌大学,327分,材料与化工085600 +9 Ncdx123456 2026-03-19 9/450 2026-03-20 23:41 by lovewei0727
[考研] A区线材料学调剂 +5 周周无极 2026-03-20 5/250 2026-03-20 21:33 by laoshidan
[考研] 086500 325 求调剂 +3 领带小熊 2026-03-19 3/150 2026-03-20 18:38 by 尽舜尧1
信息提示
请填处理意见