| 查看: 527 | 回复: 2 | |||
[交流]
有没有可能对C代码进行自动分析？找出其中影响程序可靠性的关键代码或者模块？
|
| 从逻辑上，而不是从语法上对程序进行自动分析，该用什么理论或者工具呢？比如对同样功能的两个程序，能够找出设计的弊端，或者可能对性能造成瓶颈的地方。 现在的技术有没有可能实现这一点？ |
回复此楼» 本帖已获得的红花（最新10朵）
oquick» 猜你喜欢
人气不行了
已经有7人回复
-
今日不放榜？网传国自然预计 8 月 27 日可查结果
已经有18人回复
-
感觉是下周放榜了
已经有12人回复
-
看来今天不会放榜了？
已经有5人回复
-
我面上完蛋了
已经有8人回复
-
只有每年这种时候来逛逛小木虫
已经有25人回复
-
什么时候开奖？
已经有7人回复
-
时间戳又变了
已经有18人回复
-
时间戳又变了8-15
已经有27人回复
-
今天基金会出结果吗？20260819
已经有16人回复
» 抢金币啦！回帖就可以得到:
-
告别流水线爽文！108万字完结仙侠《女娲石之灵石奇缘（仙界篇）》值得细品
+1/4047
-
散金祈福
+5/1405
-
华西生物制药研究院招聘科研助理
+2/412
-
散金求好运
+1/199
-
坐标北京诚征男友
+1/116
-
Polymers 期刊特刊 组稿
+1/82
-
强耀生物金秋开学季活动，2026年8月18日-10月31日，肽库筛选低至2W5
+3/70
-
哈尔滨工业大学（校本部）电子与信息工程学院2027级博士招生
+1/67
-
面上基金祈福
+1/46
-
上海交通大学张航课题组招聘博士后（电化学能量存储与转换）
+1/44
-
流放岭南浮肿了求救
+1/31
-
南京理工大学优青团队催化化学方向招收推免研究生
+1/27
-
南方医科大学深圳医院陈烨/余涛教授课题组联合培养博士后招聘
+1/12
-
南京大学 智能驱动与感知材料实验室 诚招申请考核博士生/科研助理/博士后
+1/8
-
南京医科大学-冯璋课题组-招收2027级生化与分子生物学专业博士和硕士研究生
+1/3
-
北理工集成电路杰青团队 | 诚招科助理
+1/2
-
河海大学海洋环境污染与生态毒理学研究组招收2027级硕士生 及博士研究生
+1/2
-
新审查指南施行半年，AI方向的专利申请是不是更看"技术味"了？
+1/2
-
【产品测评分享】体外转录产量不理想、dsRNA 副产物高？T7 RNA 聚合酶实测体验
+1/1
-
清华大学环境课题组招聘环境工作专业客座生研究生2-3名（应用导向）
+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
