c++ - 如何从复杂算法中提取事件代码路径

Question

最近我被一个有趣的想法弄糊涂了。

我想知道是否有一种(已知的)方法可以从大型复杂算法中提取执行的源代码。我将尝试详细说明这个问题:

场景:有很多人已经研究了很多年的复杂算法。该算法为复杂的测量设备创建测量描述。

算法的输入是一大组输入参数，我们称之为配方。基于此配方，执行算法，配方确定算法中遵循哪些函数、循环和 if-then-else 结构。当算法完成时，一组计算的测量参数将形成输出。通过这些输出测量参数，设备可以执行其测量。

现在，有一个问题。由于算法随着时间的推移变得如此复杂和庞大，当您想为食谱添加新功能时，很难在算法中找到自己的方法。基本上，一个人只想修改受其配方影响的功能和代码块，但他/她必须深入研究整个算法并分析代码以查看哪些代码与他或她的配方相关，并且仅在此之后可以在正确的地方添加新功能。即使是简单的添加，人们也往往会迷失在大量复杂的代码中。

解决方案:提取事件代码路径？我一直在为这个问题集思广益，我认为如果有一种方法可以用输入参数(配方)处理算法，并且只将事件函数和代码块提取到一组新的源文件中，或者代码结构。我实际上是在谈论在这里提取真正的源代码。

当事件代码被提取和隔离时，这将导致源代码的子集只是原始源代码结构的一小部分，并且对于分析代码、理解代码的人来说会容易得多, 并进行他或她的修改。最终，更改可以合并回算法的原始源代码，或者修改后的提取源代码也可以自己执行，就好像它是原始算法的“精简版”一样。

额外信息:我们谈论的是一种包含 C 和 C++ 代码、大约 200 个文件和可能 10 万行代码的算法。代码是使用基于 Visual Studio 的自定义构建环境编译和构建的。

所以……:我真的不知道这个想法是否只是幼稚和愚蠢，或者通过适量的软件工程是否可行。我可以想象在软件工程的世界中有更多类似的情况，但我不知道。

我在软件工程方面有不少经验，但绝对不是设计大型复杂系统的水平。

我将不胜感激任何类型的回答、建议或评论。

提前致谢!

Answer 1

其他反对者说你不能这样做。我不同意。

标准静态分析是通过代码确定控制和数据流路径。有时，此类工具必须对可能发生的情况做出假设，因此此类分析往往是“保守的”，并且可能包含比真实最小值更多的代码。但是，任何不相关代码的删除听起来都会对您有所帮助。

此外，您可以提取特定 程序输入的控制和数据流路径。然后，在提取算法不确定可能发生什么的情况下，它可以检查特定输入会导致发生什么。这以必须向工具提供有效输入为代价提供了更精确的结果。

最后，使用测试覆盖率工具，您可以相对轻松地确定针对感兴趣的特定输入执行的代码，以及针对不太感兴趣的情况由另一个输入执行的代码，并计算集合差异。这给出了由有趣的案例执行的代码，这与无趣的案例不同。

我的公司构建构建程序分析工具(参见我的简介)。我们进行静态分析以提取 C++ 源代码上的控制和数据流路径，并且可以相当容易地点亮所涉及的代码。我们还制作了 C++ 测试覆盖工具，可以收集有趣和不感兴趣的集合，并显示叠加在源代码上的差异。