| 查看: 475 | 回复: 2 | |||
[交流]
有没有可能对C代码进行自动分析？找出其中影响程序可靠性的关键代码或者模块？
|
| 从逻辑上，而不是从语法上对程序进行自动分析，该用什么理论或者工具呢？比如对同样功能的两个程序，能够找出设计的弊端，或者可能对性能造成瓶颈的地方。 现在的技术有没有可能实现这一点？ |
回复此楼» 本帖已获得的红花（最新10朵）
oquick» 猜你喜欢
321求调剂
已经有3人回复
-
一志愿北京化工大学材料与化工 264分各科过A区国家线
已经有3人回复
-
277分求调剂，跨调材料
已经有3人回复
-
材料292调剂
已经有6人回复
-
材料与化工考研调剂
已经有6人回复
-
0703化学调剂，求导师收
已经有3人回复
-
生物学学硕求调剂
已经有6人回复
-
305分求调剂（食品工程）
已经有7人回复
-
299求调剂
已经有6人回复
-
085404电子信息284分求调剂
已经有4人回复
» 抢金币啦！回帖就可以得到:
-
中国科学院杭州医学研究-常皓研究员课题组博士后招聘
+1/276
-
福建农林大学材料工程学院高分子材料课题组招生
+1/79
-
国自然面上祈福
+1/77
-
北京-89175-事业单位-诚征女友
+1/73
-
西北大学化学与材料科学学院博士招生（还有两个名额，3月30日截至）
+1/63
-
哈尔滨工业大学（深圳）-何自开教授团队诚招化学工程与技术专业博士研究生
+1/35
-
【实战型】【生物医药】2026青岛大学招博士生 含少数民族骨干计划2名！
+1/23
-
巴黎西岱大学（Université Paris Cité）Fayna MAMMERI 导师寻找CSC公派博士生
+1/22
-
Alicat 层流压差质量流量控制器在新型硅碳负极流化床的应用- 艾里卡特（Alicat）
+3/19
-
湖南大学微生物结构与功能实验室2026年计划招收博士研究生
+1/17
-
中科院物理所二维材料方向招收推免研究生
+1/15
-
湖南大学微生物结构与功能实验室2026年计划招收博士研究生
+1/13
-
2026年中国科学院城市环境所与福建农林大学联合培养硕士研究生项目介绍
+1/13
-
南昌一本市政工程接受调剂
+1/12
-
双一流湘潭大学化工学院招收化工、能源动力、工程热物理相关研究生调剂
+1/12
-
电子信息求调剂
+1/12
-
新加坡国立大学药学系化学生物学课题组招PhD
+1/5
-
上海交通大学招聘：新型X射线管设计仿真计算工程师/博士后/助理研究员
+1/3
-
北京高校副校长团队招收机械类，环境类学硕和专硕
+1/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
