分类 Code 下的文章

CPU的虚拟化=机制+策略。

有一类软件负责让程序运行变得更加容易（甚至允许你同时运行多个程序），允许程序共享内存，让程序能够与设备交互，以及其他类似的有趣的工作。这些软件被称为操作系统。

今天简单的学习了一下gdb的用法，现将一些常用操作记录下来。 调试前，要注意利用gcc编译源代码时，需要指定-g选项，以便产生带有调试信息的目标代码。

今天写了一个小的cpp程序，用gcc编译后结果总是不正确，由于自己对gdb不是很熟悉，就用visual studio重新编译了一遍，打算用vs调试一下定位问题。万万没想到，程序在vs里的结果是完全正确的。因此，快速学习了一下gdb，定位到了出问题的地方，是一个简单的for循环，而MSVC和GCC的编译结果竟然是不一样的。但原因还不明确，因此先记录一下，以便后续研究。具体来说，编译结果不一样的...

今天想将一个项目文档提交到自建的Gitea服务器上，但总是报如下错误：HTTP 413 curl 22 The requested URL returned error: 413 Request Entity Too Large百度了一下，由于项目文件比较大，有可能是curl的postBuffer默认值比较小导致的，因此通过以下方式进行了配置项的修改：git config --global ...

在基于模型的系统工程中，谈到MIL、SIL、PIL和HIL这四种在环测试方法，下面简要的记录一下它们各自的功能和联系。定义MIL：Model in loop，验证控制算法模型是否准确地实现了功能需求；SIL：Software in loop，在PC上验证代码实现的功能是否与模型一致；PIL：Processor in loop，在目标处理器上验证代码实现的功能是否与模型一致；HIL：Hardw...

架构FACE将一些基于软件的功能“分段”以组件形式开发。该组件通过定义好的接口向其他组件开放，并且对特定关键接口及“分段”接口之间的差异进行了定义。下图描述了一种FACE的参考架构。FACE功能段操作系统段（OSS）OSS提供对分区、进程、线程及内存管理等功能性支持，所有FACE功能段都是在操作系统段的基础上搭建的，它是所有功能段的底层，OSS使用适当的处理器控制机制来管理控制其他分段访问的...

判定覆盖（Decision Coverage，DC）判定覆盖是设计足够多的测试用例，使得程序中的每一个判断至少获得一次“真”和一次“假”，即使得程序流程图中的每一个真假分支至少被执行一次。以如下程序为例：if (A || B && C) XStatement; else YStatement;A、B、C都是一个条件，而（A or B and C）叫一个Deci...