![](https://img-blog.csdnimg.cn/20201014180756913.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
测试
qr457535344
这个作者很懒,什么都没留下…
展开
-
java(IEDA)调用z3时遇到java.lang.UnsatisfiedLinkError: no libz3java in java.library.path
在java中调用z3求解器时的环境变量配置问题原创 2022-01-14 11:29:02 · 466 阅读 · 0 评论 -
《开发者测试》读书笔记——单元测试
在传统的结构化编程语言(如C语言)中,单元一般是指函数或者子过程;而在C++或者Java中,单元指类或类所包含的方法;在Ada语言中,单元可为独立的过程、函数或Ada包。此外,单元还可指一个菜单或者显示界面。 在单元测试时要考虑它和其他单元的联系,把辅助模块分为驱动模块(上层如main)和测试桩模块(模拟被测试单元的子模块) 单元测试基本框架如下图所示: ...原创 2019-12-13 16:37:35 · 158 阅读 · 0 评论