| 查看: 476 | 回复: 2 | |||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||
[交流]
有没有可能对C代码进行自动分析？找出其中影响程序可靠性的关键代码或者模块？
|
|||
| 从逻辑上，而不是从语法上对程序进行自动分析，该用什么理论或者工具呢？比如对同样功能的两个程序，能够找出设计的弊端，或者可能对性能造成瓶颈的地方。 现在的技术有没有可能实现这一点？ |
回复此楼» 本帖已获得的红花（最新10朵）
oquick» 猜你喜欢
化学工程085602 305分求调剂
已经有10人回复
-
289求调剂
已经有15人回复
-
291 求调剂
已经有7人回复
-
274求调剂
已经有14人回复
-
北京林业大学硕导招生广告
已经有3人回复
-
309求调剂
已经有5人回复
-
292求调剂
已经有8人回复
-
求调剂
已经有4人回复
-
一志愿 西北大学 总分282 英语一62 求调剂
已经有3人回复
-
调剂310
已经有4人回复
» 抢金币啦！回帖就可以得到:
-
温柔善良，重庆女孩，找男友……好像是乱码，内容在40楼看查看
+2/386
-
数一英一硕士调剂（双一流高校）
+1/190
-
马尔文激光粒度+纳米粒径Zeta电位测试原始数据与Origin绘图V131/2039/8821
+1/91
-
南方医科大学中药学院 调剂硕士生一名 中药学专业
+1/84
-
中山大学附属医院实验和生信科研助理招聘
+1/83
-
招收2026年材料与化工专硕调剂，山东省属重点大学，过国家线即可调剂，名额充足
+2/42
-
上海大学 “生物有机电子材料及器件”团队硕士、博士研究生招聘
+1/35
-
春眠不觉晓
+1/20
-
上海中医药大学创新中药研究院 招收审核制博士生一名
+1/19
-
双一流大学湘潭大学“化工过程模拟与强化”国家地方联合工程研究中心招收各类博士生
+1/17
-
中科院物理所二维材料方向招收推免研究生
+1/13
-
0854工学-电子信息考研-302分求调剂，接受跨专业，只求有学上！！！ ! ! ! ！
+1/7
-
教育部长江学者和创新团队发展计划”入选团队招收 材料，化学与化工博士研究生
+1/6
-
欢迎各位同学申请参加澳门大学健康科学学院的2026年夏令营，报名截止4月12号
+1/6
-
中科院科研助理招聘
+1/4
-
香港大学 化学系 博后招聘
+1/4
-
山东重点高校招收08开头工科调剂考生
+1/3
-
上海交通大学化学化工学院张智涛课题组诚聘博士后
+1/2
-
欧洲手性光谱方向ROA/CPL/Raman imaging招收博士研究生及联合培养生（布拉格）
+1/2
-
2026上海电力大学锂资源回收利用团队接受化学、化工、材料、环境、冶金等专业学生调剂
+1/1
3楼2013-04-02 14:30:04
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
小木虫: 金币+0.5, 给个红包，谢谢回帖
|
没有自动可靠性分析的工具，最多也只能进行自动单元测试的工具。 有一些软件可靠性测试的工具，但据我所知，要么需要posix接口标准，要么是特定环境下的，但所谓的分析基本是一些统计数据，如api失效率之类的，如ptrace，STToolkit等，基本原理都是插入调试点，进行调用拦截，在统计分析失效次数。还没有见过逻辑层面分析的，逻辑层面分析估计和人工自能的复杂度一样，就相当于用一个程序自动写新程序。 有函数模块和调用的自动分析的工具，这个很多，如calltree，kprof等。 有性能测试的工具，如Intel VTune性能分析器，可以找出瓶颈，就是所谓的性能热点。 软件有很多的可靠性模型，但它们基本上是工程方法，涉及工程管理，bug修复对故障的影响，没有一个是可以在语言级别进行分析的。 语言开发是一种最佳实践问题，不存在最优的实现方法，同时不同的输入会产生不同的输出，因而也不可能有自动优化和分析的工具。要进行分析就得实测，统计需要分析的结果。 这是个人见解，希望有用。 |
2楼2013-03-30 20:03:50
