静态方法是指不运行被测程序本身，仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。静态方法通过程序静态特性的分析，找出欠缺和可疑之处，例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过...
VC++动态链接库DLL编程深入浅出 概论 静态链接库 库的调试与查看 非MFC DLL MFC规则DLL MFC扩展DLL的创建
在软件测试的单元测试中，需要找出满足某种覆盖率（如分支覆盖）的测试数据（函数参数值）来判断被测函数是否有bug。源程序利用遗传算法的全局寻优特性实现了测试数据的自动产生而不用人工凭经验输入参数值。程序中被测试函数用的是三角函数。源码用C++...
在电力设备维护与检测项目中，真空度测试仪通过磁控放电法精确测量灭弧室内的真空度。该方法利用脉冲高压和磁场使带电离子产生螺旋运动，并与残余气体分子碰撞电离，从而形成与真空度成比例的离子电流。适用于不同型号真空开关的检测，通过实验标定出特定管型...
孙鑫老师VC视频第十九课代码：动态链接库程序的编写。静态库与动态库的区别，以及调用程序在链接静态库和动态库时的区别。如何利用工具查看动态链接库输出的函数，Depends工具的使用，C++编译器名字改编技术对动态链接库输出函数的影响，exte...
白盒测试作为测试人员常用的一种测试方法，越来越受到测试工程师的重视。白盒测试并不是简单的按照代 码设计用例，而是需要根据不同的测试需求，结合不同的测试对象，使用适合的方法进行测试。因为对于不同复杂度的代码逻辑，可以衍生出许多种执行路径，只有...