| 查看: 462 | 回复: 2 | |||
[交流]
有没有可能对C代码进行自动分析？找出其中影响程序可靠性的关键代码或者模块？
|
| 从逻辑上，而不是从语法上对程序进行自动分析，该用什么理论或者工具呢？比如对同样功能的两个程序，能够找出设计的弊端，或者可能对性能造成瓶颈的地方。 现在的技术有没有可能实现这一点？ |
回复此楼» 本帖已获得的红花（最新10朵）
oquick» 猜你喜欢
青椒八年已不青，大家都被折磨成啥样了？
已经有14人回复
-
多组分精馏求助
已经有3人回复
-
交叉科学部支持青年基金，对三无青椒是个机会吗？
已经有6人回复
-
免疫学博士有名额，速联系
已经有4人回复
-
国家基金申请书模板内插入图片不可调整大小?
已经有6人回复
-
国家级人才课题组招收2026年入学博士
已经有5人回复
-
Fe3O4@SiO2合成
已经有6人回复
-
青年基金C终止
已经有4人回复
-
26申博求博导推荐-遥感图像处理方向
已经有4人回复
-
西南交通大学国家级人才团队2026年博士研究生招生（考核制）—机械、材料、力学方向
已经有3人回复
» 抢金币啦！回帖就可以得到:
-
丙烯液相
+1/82
-
南方医科大学发育生物学教研室夏来新教授课题组招收26级博士研究生
+1/77
-
“超分子材料交叉研究团队”联合诚聘博士后 [清华/吉大/复旦/北大]
+1/77
-
南京林业大学特聘教授招聘博后和博士研究生
+1/75
-
[求助] 半导体物理PPT课件 东华理工机电学院 彭新村老师
+1/71
-
以色列理工-生物质塑料等催化转化及流体力学方向---全奖博士研究生和科研助理
+2/40
-
招收博士生（大连理工大学，2026.09入学）
+1/35
-
教育部重点实验室和清华大学某国家重点实验室，联合培养硕生、博生，并长期招博士后
+1/29
-
中山大学农业与生物技术学院周潇峰课题组诚聘微生物/植物病理学方向科研助理
+1/28
-
【青岛大学】2026年生物与医药申请考核制博士生招生（含少数民族骨干人才）
+1/28
-
南开大学物理学院张书辉副教授招收凝聚态物理理论方向博士生、硕士生
+1/28
-
诚征女友，非诚勿扰
+3/11
-
博士后, 博士招生 美国大纽约地区 NJIT
+1/10
-
辽宁材料实验室框架复合材料课题组招收联合培养研究生（长期有效）
+2/8
-
M200-A摩擦磨损试验机
+1/8
-
山东大学集成电路学院王凌云研究员招收2026年硕士生及联合培养硕士生
+1/5
-
华南理工大学宋波教授招聘材料和化学方向博士后（长期有效）
+1/3
-
中山大学柔性电子学院黄维院士团队诚招柔性可穿戴电子方向博士生（2026年9月入学）
+1/2
-
层流压差式MFM/MFC在SOFC高温工况中的适配应用
+1/2
-
苏州大学医学院纳米生物医学方向招收申请考核制博士生1名
+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