[轉]osgconv工具簡介
osgconv是一種用來讀取3D數據庫以及對它們實施一些簡單的操作的實用應用程序，同時也被稱作 一種專用3D數據庫工具。用osgconv把其他格式的文件轉換為OSG所支持的格式 osgconv是一種非常有用的的工具來讀取標准的3D格式，如OpenFlight,3DS,Alias ...
原文：【轉】ModelChecking工具UPPAAL安裝與簡介
UPPAAL是使用較多的基於時間自動機的驗證工具。它是由丹麥Aalborg大學和瑞士Uppsala大學聯合開發的對實時系統模擬和驗證的工具。時間自動機是對自動機理論的擴展，提供了形式化的方法來建立和分析實時系統的行為，在模型檢測方面有着重要的應用。時間自動機為實時系統的自動化分析和驗證提供了一種形式化的理論模型。 在http: www.uppaal.org 網站下載UPPAAl安裝包，安裝UPPA ...
2019-05-12 18:33 0 691 推薦指數：
相關推薦
內核工具 – Sparse 簡介【轉】
轉自：https://www.cnblogs.com/wang_yb/p/3575039.html Sparse是內核代碼靜態分析工具, 能夠幫助我們找出代碼中的隱患. 主要內容： Sparse 介紹 Sparse 使用方法 Sparse 在編譯內核中的使用 補充 ...
【轉】selenium簡介及安裝方法
轉自：http://www.cnblogs.com/fnng/p/3157639.html 1. selenium 介紹 selenium 是一個web 的自動化測試工具，不少學習功能自動化的同學開始首選 selenium ，相因為它相比QTP 有諸多有點： 免費，也不用再為破解 ...
性能監控的好工具 - NewRelic 簡介(轉)
我們蟬游記服務器端性能監控一直用 http://newrelic.com/ ，用它的免費版本N長時間，有必要為好工具義務宣傳一下。 首先你需要在網站上注冊一個新帳號，根據服務器端的應用框架選擇安裝對應的插件，它提供了很多常見應用框架插件，以Rails為例子，只需要在Gemfile配置，執行 ...
可視化工具Grafana：簡介及安裝
隨着業務的越發復雜，對軟件系統的要求越來越高，這意味着我們需要隨時掌控系統的運行情況。因此，對系統的實時監控以及可視化展示，就成了基礎架構的必須能力。 這篇博客，介紹下開源的可視化套件grafana的安裝及其功能特點。。。 官網地址：Grafana 官方文檔：Grafana文檔 環境 ...
Gerrit - 代碼評審工具Gerrit簡介與安裝
1 - 前言 Code Review 代碼評審是指在軟件開發過程中，對源代碼的系統性檢查，改進代碼質量，查找系統缺陷，保證軟件總體質量和提高開發者自身水平。 簡單的說，Code Review是用來確認方案設計和代碼實現的質量保證機制。 2 - Gerrit簡介 Gerrit 是建立在Git ...
數據采集工具Telegraf：簡介及安裝
接着上一篇博客：InfluxDB簡介及安裝，這篇博客介紹下Linux環境下Telegraf安裝以及其功能特點。。。 官網地址：influxdata 官方文檔：telegraf文檔 環境：CentOS7.4 64位 Telegraf版本：0.11.1-1 一、Telegraf介紹 ...
可視化工具Grafana：簡介及安裝
隨着業務的越發復雜，對軟件系統的要求越來越高，這意味着我們需要隨時掌控系統的運行情況。因此，對系統的實時監控以及可視化展示，就成了基礎架構的必須能力。 這篇博客，介紹下開源的可視化套件grafana的安裝及其功能特點。。。 官網地址：Grafana 官方文檔：Grafana文檔 環境 ...