搜索结果
查询Tags标签： Proj，共有 13条记录-
Proj FuzzViz Paper Reading: An Architecture-Tracking Approach to Evaluate a Modular and Extensible F
Abstract 背景：确认飞行软件在航天器嵌入式系统中按照计划正确开发并且达到了非功能需求很难 本文：CubeSat(基于原先的CubeSat) 目的：展示飞行软件架构 提出了一个architecture tracking方法论来验证已经带到了需求 方法: Git+Jenkins+Mosse+Roassal 效果：已被应用在S…
2022/2/10 23:20:31 人评论 次浏览 -
sharpen配置文档的配置说明
1，正则表达式不包括字段的总长度，总长度在数据库表中取，正则只在"增改查"时验证。正则表达式为java中的正则表达式 2，"增改查表排空"中的"增改查"为是否允许用户输入， "表"，是否在列表中显示。 "排"为查询时能否…
2022/1/13 6:07:36 人评论 次浏览 -
sharpen配置文档的配置说明
1，正则表达式不包括字段的总长度，总长度在数据库表中取，正则只在"增改查"时验证。正则表达式为java中的正则表达式 2，"增改查表排空"中的"增改查"为是否允许用户输入， "表"，是否在列表中显示。 "排"为查询时能否…
2022/1/13 6:07:36 人评论 次浏览 -
Proj EULibHarn Paper Reading: IntelliGen: Automatic Driver Synthesis for FuzzTesting
Abstract 1. Intro 2. Related Work 3. Design 4. Implementation 5. Evaluation 6. Case Study on Real Projects 7. Lesson Learned
2021/12/26 6:07:18 人评论 次浏览 -
Proj EULibHarn Paper Reading: IntelliGen: Automatic Driver Synthesis for FuzzTesting
Abstract 1. Intro 2. Related Work 3. Design 4. Implementation 5. Evaluation 6. Case Study on Real Projects 7. Lesson Learned
2021/12/26 6:07:18 人评论 次浏览 -
ubuntu 下virtualenv的使用
一、virtualenv安装 sudo apt install virtualenv 二、以python2.7构建一个独立的环境 1、创建一个工作目录 mkdir proj_ws && cd proj_ws 2、创建独立的虚拟python环境 virtualenv -p /usr/bin/python2.7 venv 3、激活虚拟环境 source ./venv/bin/active 4、退出…
2021/12/6 7:20:43 人评论 次浏览 -
ubuntu 下virtualenv的使用
一、virtualenv安装 sudo apt install virtualenv 二、以python2.7构建一个独立的环境 1、创建一个工作目录 mkdir proj_ws && cd proj_ws 2、创建独立的虚拟python环境 virtualenv -p /usr/bin/python2.7 venv 3、激活虚拟环境 source ./venv/bin/active 4、退出…
2021/12/6 7:20:43 人评论 次浏览 -
GDAL使用PROJ坐标转换相关问题的总结
目录1. 概述2. 详论2.1. 数据2.2. PROJ库2.3. 参考 1. 概述 GDAL是使用PROJ进行坐标转换的，但是很容易出现转换不了的问题，这里总结一二，以供参考。 2. 详论 总的来说，要保证两个大致的方向不要出错。 2.1. 数据 PROJ库本身只是坐标转换的运算库，空间参考的定义依赖于…
2021/11/4 23:40:01 人评论 次浏览 -
GDAL使用PROJ坐标转换相关问题的总结
目录1. 概述2. 详论2.1. 数据2.2. PROJ库2.3. 参考 1. 概述 GDAL是使用PROJ进行坐标转换的，但是很容易出现转换不了的问题，这里总结一二，以供参考。 2. 详论 总的来说，要保证两个大致的方向不要出错。 2.1. 数据 PROJ库本身只是坐标转换的运算库，空间参考的定义依赖于…
2021/11/4 23:40:01 人评论 次浏览 -
nginx发布项目
1，新建一个proj目录存放项目cd /home mkdir proj2，将项目上传到proj目录alt+p put d:/web.zip 文件在/home/用户/3，解压项目mv web.zip /home/proj 将压缩包移动到proj目录下unzip web.zip 解压4，编辑Nginx配置文件nginx-1.17.5/conf/nginx.confserver {listen …
2021/9/4 7:09:01 人评论 次浏览 -
nginx发布项目
1，新建一个proj目录存放项目cd /home mkdir proj2，将项目上传到proj目录alt+p put d:/web.zip 文件在/home/用户/3，解压项目mv web.zip /home/proj 将压缩包移动到proj目录下unzip web.zip 解压4，编辑Nginx配置文件nginx-1.17.5/conf/nginx.confserver {listen …
2021/9/4 7:09:01 人评论 次浏览 -
win10下使用VS2019编译PROJ6
1.准备需要使用cmake工具，下载链接：https://cmake.org/download/需要sqlite库，下载及编译参考之前博文，sqlite3编译 2.下载源码https://download.osgeo.org/proj/proj-6.3.1.tar.gz3.cmake生成项目文件1).解压源码，在源码目录下创建build目录。2).打开cmake-gui，选择…
2021/6/4 10:23:59 人评论 次浏览 -
Proj IoTDBFuzz: Testing Java Exceptions: An Instrumentation Technique
2021/4/24 20:25:47 人评论 次浏览
