| 查看: 474 | 回复: 2 | |||
[交流]
有没有可能对C代码进行自动分析？找出其中影响程序可靠性的关键代码或者模块？
|
| 从逻辑上，而不是从语法上对程序进行自动分析，该用什么理论或者工具呢？比如对同样功能的两个程序，能够找出设计的弊端，或者可能对性能造成瓶颈的地方。 现在的技术有没有可能实现这一点？ |
回复此楼» 本帖已获得的红花（最新10朵）
oquick» 猜你喜欢
【考研调剂】化学专业 281分，一志愿四川大学，诚心求调剂
已经有12人回复
-
一志愿河北工业大学0817化工278分求调剂
已经有12人回复
-
材料调剂
已经有5人回复
-
081700 调剂 267分
已经有8人回复
-
请教下大家 2026年国家基金申请是双盲审吗？
已经有5人回复
-
276求调剂。有半年电池和半年高分子实习经历
已经有10人回复
-
一志愿南航材料专317分求调剂
已经有4人回复
-
求调剂
已经有4人回复
-
生物学学硕求调剂
已经有5人回复
-
284求调剂
已经有10人回复
» 抢金币啦！回帖就可以得到:
-
华南理工-广中医联合招收生物医学与材料交叉学科博士生
+1/82
-
中飞院航空锂电池团队接受硕士生调剂
+1/82
-
双一流南京医科大学招计算机、AI、统计、生物信息等方向26年9月入学博士
+1/79
-
温州大学吕晶晶课题组2026年招生
+1/75
-
散金币，求基金中标！！
+1/60
-
飘在美国，有点想家
+1/51
-
武汉高校接受研究生调剂，材料、化学、纺织方向
+2/44
-
欢迎08或部分07开头的有缘人报考
+1/41
-
浙江大学光电学院、极端光学实验室 阿秒方向 招聘科研助理2名
+1/23
-
春眠不觉晓
+1/21
-
双一流湘潭大学化工学院招收化工、能源动力、工程热物理相关研究生调剂
+1/14
-
南昌一本市政工程接受调剂
+1/12
-
南京林业大学-国家级青年人才团队 招2026级博士、硕士（合成化学、植物化学方向）
+1/12
-
西南某211招27届博士
+1/11
-
诚挚招生（硕士+博士）
+1/10
-
中国中医科学院中医药健康产业研究所（江西中医药健康产业研究院）2026年高层次人才等
+1/6
-
211/双一流---石河子大学---有机化学方向招调剂生
+1/5
-
【科研干货】纳米抗体凭什么成为实验室“新宠”？附优质制备服务商参考
+1/2
-
上海交通大学AIMS-Lab招收AI for Science【智能制造】方向2026级博士生
+1/2
-
招收化工与材料学科点研究生
+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
