| 查看: 454 | 回复: 2 | |||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||
[交流]
有没有可能对C代码进行自动分析？找出其中影响程序可靠性的关键代码或者模块？
|
|||
| 从逻辑上，而不是从语法上对程序进行自动分析，该用什么理论或者工具呢？比如对同样功能的两个程序，能够找出设计的弊端，或者可能对性能造成瓶颈的地方。 现在的技术有没有可能实现这一点？ |
回复此楼» 本帖已获得的红花（最新10朵）
oquick» 猜你喜欢
Materials Today Chemistry审稿周期
已经有5人回复
-
溴的反应液脱色
已经有7人回复
-
国自然申请面上模板最新2026版出了吗？
已经有11人回复
-
推荐一本书
已经有12人回复
-
基金申报
已经有4人回复
-
计算机、0854电子信息（085401-058412）调剂
已经有4人回复
-
纳米粒子粒径的测量
已经有7人回复
-
常年博士招收(双一流，工科)
已经有4人回复
-
参与限项
已经有5人回复
-
有没有人能给点建议
已经有5人回复
» 抢金币啦！回帖就可以得到:
-
辽宁材料实验室高热通量框架复合材料方向招聘科研骨干2名
+5/410
-
南京大学智能驱动与感知材料实验室诚招硕士/科研助理
+1/277
-
限广州，征女友
+2/180
-
上海科技大学物质科学与技术学院｜王平鸾课题组长期招聘（博后/博硕/科研助理）
+1/172
-
中国科学院大连化学物理研究所-环境催化工程研究组（DNL 902组）事业编外项目聘用人员
+2/80
-
26博士申请-药物化学方向
+1/78
-
北京航空航天大学教授课题组招生启事
+1/76
-
双一流南京医科大学招计算机、AI、统计、生物信息等方向26年9月入学博士
+1/76
-
成会明院士团队｜钱希堂（国家青年人才）招博后啦！二维材料和固态电池
+1/76
-
南京林业大学木质纤维功能材料国际联合创新中心招收2025级博士生（申请-考核制）
+2/40
-
昆士兰科技大学（QUT）博士招生信息 导师：李志勇教授
+1/34
-
北京林业大学林学院——昆虫病毒/病毒组——博士招生
+1/26
-
华中科技大学 煤燃烧全重 紧急招博士生报考 （1月19日截止）
+1/16
-
深圳市中西医结合医院博士后招聘【药理学/中药学/天然药物/生物技术】
+1/9
-
深圳大学何传新课题组诚聘博士后
+1/3
-
重庆医科大学-药学院-新靶标教育部医药基础研究创新中心-药物化学2026年博士招生
+1/2
-
博士后招聘（高薪40万+）
+1/2
-
选型指南|易度气体质量流量控制器如何选型？轻松告别选型焦虑！
+1/2
-
澳门科技大学纳米递送系统/生物材料方向招收2026年秋季入学全奖博士研究生
+1/1
-
华中科技大学 煤燃烧全重 紧急招博士生报考 （1月19日截止）
+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