- 博客(2)
- 收藏
- 关注
原创 基于QNX的Testbed单元测试环境配置过程
1. 本机安装QNX系统:A安装VMware.Workstation.v***.exeB在VMware打开QNX虚拟机(vmware\Qnx\Other.vmx)2. 打开Virtual Box虚拟机中的TestBed,如图1所示将测试的编译器换成QNX 图13. 配置IP地址,使得VM
2016-10-10 09:32:57 2167
转载 代码静态分析工具的误报原因分析
1. 引言本篇文章分析了代码静态分析的基本原理以产生误报的根本原因,并介绍了形式化方法在LDRA工具套件中的应用情况。文章从实际工程应用的角度阐述了这些形式化方法的局限性,在参考文献1《Formal Methods Implemented in the LDRA Tool Suite》中我们详细描述了形式化方法是如何在LDRA工具套件中被实现的,了解到实现这些形式化方法的算法都被内化在
2016-10-10 09:30:11 1700
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人