24小时热门版块排行榜

>论坛更新日志 (2084)
>虫友互识 (130)
>导师招生 (43)
>文献求助 (40)
>论文投稿 (30)
>基金申请 (26)
>硕博家园 (24)
>考研 (24)
>公派出国 (22)
>考博 (21)
>找工作 (21)
>休闲灌水 (21)
>教师之家 (19)
>博后之家 (17)
>有机交流 (16)
>招聘信息布告栏 (15)

返回列表

oquick

银虫 (小有名气)

应助: 0 (幼儿园)
金币: 542.1
帖子: 77
在线: 307.3小时
虫号: 347357

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

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

回复此楼

» 本帖已获得的红花（最新10朵）

oquick

» 猜你喜欢

基金申报已经有4人回复
计算机、0854电子信息（085401-058412）调剂已经有4人回复
国自然申请面上模板最新2026版出了吗？已经有9人回复
溴的反应液脱色已经有6人回复
纳米粒子粒径的测量已经有7人回复
常年博士招收(双一流，工科) 已经有4人回复
推荐一本书已经有10人回复
参与限项已经有5人回复
有没有人能给点建议已经有5人回复
假如你的研究生提出不合理要求已经有12人回复

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

查看全部散金贴

1楼 2013-03-30 16:25:40

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

zhphit

木虫 (初入文坛)

应助: 0 (幼儿园)
金币: 2235.3
帖子: 13
在线: 238.5小时
虫号: 1857763

★
小木虫: 金币+0.5, 给个红包，谢谢回帖

没有自动可靠性分析的工具，最多也只能进行自动单元测试的工具。
有一些软件可靠性测试的工具，但据我所知，要么需要posix接口标准，要么是特定环境下的，但所谓的分析基本是一些统计数据，如api失效率之类的，如ptrace，STToolkit等，基本原理都是插入调试点，进行调用拦截，在统计分析失效次数。还没有见过逻辑层面分析的，逻辑层面分析估计和人工自能的复杂度一样，就相当于用一个程序自动写新程序。
有函数模块和调用的自动分析的工具，这个很多，如calltree，kprof等。
有性能测试的工具，如Intel VTune性能分析器，可以找出瓶颈，就是所谓的性能热点。
软件有很多的可靠性模型，但它们基本上是工程方法，涉及工程管理，bug修复对故障的影响，没有一个是可以在语言级别进行分析的。
语言开发是一种最佳实践问题，不存在最优的实现方法，同时不同的输入会产生不同的输出，因而也不可能有自动优化和分析的工具。要进行分析就得实测，统计需要分析的结果。
这是个人见解，希望有用。