我们把软件本身当成是研究的对象，在微观的层次上分析它：首先我们就需要一个显微镜，显微镜可以看到软件内部的结构；有显微镜还不够，还需要一台分析数据的仪器，直接查看底层的代码无疑是一种愚蠢的想法。软件体现了逻辑性，而逻辑的形态是不能穷举的，因此完善的分析仪器是不可企及的。怎么样才能制作一种有效的分析仪，可以对付无穷的逻辑形态呢？我想了很久，最有效的办法是定义一种可以无限扩展的框架，至于这个框架是什么样子的，正是我请大家讨论的问题所在。欢迎有兴趣的人参加讨论，也可以与我联系：
我们把软件本身当成是研究的对象，在微观的层次上分析它：首先我们就需要一个显微镜，显微镜可以看到
阅读背景：
有没有人对分析软件的软件感兴趣？请跟贴
来源：互联网
分享到：
