HOL

HOL 7

HOL從短高階邏輯是其中的定理可以證明和防爆工具實現的編程環境。內置的決策程序和定理證明能自動建立很多簡單的定理。一個oracle的機制可以訪問外部程序，如SAT和BDD引擎。HOL 4特別適合作為實現的扣除，執行和檢查物業組合的平台 什麼在此版本中是新的： 在HolSmtLib現在還支持Z3證明重建目標涉及固定寬度的文字和翻譯HOL進入SMT-LIB 2格式。在HolQbfLib支持檢查既有效性和證書Squolem 2.02的無效。...

20 Feb 15 在 開發者工具, 質量保證和軟件測試
Linux
閱讀更多
openstack.nose_plugin

openstack.nose_plugin 0.11

openstack.nose_plugin是鼻子的插件提供nosetests輸出模仿開棧的run_tests.py的輸出。安裝＆NBSP; PIP安裝openstack.nose_plugin用法下列選項菱：＆NBSP; - 與-的OpenStack＆nbsp;啟用插件的OpenStack：新星風格輸出發電機[NOSE_WITH_OPENSTACK]＆NBSP; - OpenStack的紅色= OPENSTACK_RED＆NBSP;著色運行時間大於值紅色。...

20 Feb 15 在 開發者工具, 質量保證和軟件測試
Linux
閱讀更多
expecter

expecter 0.2.2

expecter幫助你寫斷言。你再也不會忘記預計，哪些是實際的！基本期望很簡單：＆NBSP;從>>>進口expecter期待＆NBSP; >>>預期（'一些'+'的東西'）=='東西'＆NBSP;希望（'東西'）＆NBSP; >>>預期（1）> 100＆NBSP;回溯（最近通話最後一個）：＆NBSP; ...＆NBSP; AssertionError的：預期的東西大於100，但拿到1只是讀起來就像一個句子的期望。 “預期（2）== 1 +...

20 Feb 15 在 開發者工具, 質量保證和軟件測試
Linux
閱讀更多
proboscis

proboscis 1.2.5.3

長鼻是鼻子的擴展，有利於更高級別的測試。它們在如何變化的測試類被發現通過迫使它們通過含有有用的元數據裝飾登記諸如什麼基團，不管它們是否有其他的測試相關性，並且如果它們應該被忽略。長鼻各種各樣的所有已註冊的測試到所需的運行順序，然後構建一個測試套件，它傳遞給鼻子。它也可以過濾列表，以便它可以指定您希望在不傳遞準確的測試類運行的測試組。在運行時，如忽略這取決於有沒有其他的測試測試自動標記。大部分功能是通過TestNG的“靈感”。如果你從這個框架內來，主要特點目前長鼻報價依賴測試順序（目前僅限於類級別），並安排你...

20 Feb 15 在 開發者工具, 質量保證和軟件測試
Linux
閱讀更多
Pulse

Pulse 2.5.7

脈衝項目是一個自動化的構建（或連續集成）服務器設計的與您合作，以確保代碼的完整性。脈衝定期檢查你的源代碼，從你的供應鏈管理，構建項目，並通知您結果 特點： 生成任何項目：運行任意命令或使用支持螞蟻，製作或行家在捕獲打造神器：文件，目錄，HTML報告。使用通配符過濾器收集的文件。在提取信息：發現錯誤和警告使用正則表達式或內置了螞蟻的支持，使和Maven...

20 Feb 15 在 開發者工具, 質量保證和軟件測試
Linux
閱讀更多
Testify

Testify 0.5.3

作證是一種替代Python的unittest模塊和鼻子。單元測試證明是仿照，並測試用於編寫單元測試將根據運行作證用最少的調整，但它具有超越單元測試功能：＆NBSP; *這是一個整套的測試方法運行一次每類級別的安裝和拆卸夾具的方法。＆NBSP; *為夾具的方法，省去了超A的裝飾為基礎的方法（）調用。＆NBSP; *更Python，Java的少＆NBSP; *增強的測試發現 - 證明可以深入到包找到測試用例（類似的鼻子）。＆NBSP; *收集和收集模塊，類或方法到測試套件運行測試的支持。＆NBSP;...

20 Feb 15 在 開發者工具, 質量保證和軟件測試
Linux
閱讀更多
pytest-marker-bugzilla

pytest-marker-bugzilla 0.06

pytest-標記的Bugzilla是一個py.test插件Bugzilla的集成和NBSP;該插件目前承擔以下工作流程：bug_status在['新'，'分配'，'ON_DEV']表示是已知的bug，並正在研發中，因此測試應該跳過會。bug_status不是['新'，'分配'，'ON_DEV']指的是錯誤的狀態準備QE和測試將運行和報告。請隨時通過分叉並提交拉的請求或通過提交功能要求或問題，以問題作出貢獻。安裝...

20 Feb 15 在 開發者工具, 質量保證和軟件測試
Linux
閱讀更多
Marathon GUI Test Tool

Marathon GUI Test Tool 3.3.8.2

馬拉松是一個框架，它提供支持所有Java / Swing組件，包括標準的腳本語言＆ndash的; Ruby和Python。馬拉松還可以用來記錄和測試腳本和記錄上的組件，而不是原始的操作語義動作 特點： 靈活在智能腳本記錄在探索性測試在標準的腳本語言在靈活，功能強大的對象識別在半自動測試 什麼在此版本中是新的： 在此版本包含重大的功能改進和錯誤修正 什麼在2.0.1版本新： 在發生了NPE當一個表頭返回NULL是固定的。 什麼版本的新 2.0 Beta版5： ...

20 Feb 15 在 開發者工具, 質量保證和軟件測試
Linux
閱讀更多
TestLink

TestLink 1.9.9

TestLink的是使用PHP，MySQL和其他一些開源技術的基於Web的測試用例管理和執行跟踪系統創建一個開源。TestLink的使Q＆A＆NBSP;（質量保證）團隊輕鬆管理和創建自己的測試案例，以及將它們組織成測試計劃，允許團隊成員執行測試用例，並動態地跟踪測試結果。它的特點，我們可以提需求管理，測試規範，測試執行任務，測試執行，測試報告，度量，圖表，測試執行監控，集中用戶管理，角色管理，高度可定制的，XML-RPC API，以及更多。 什麼在此版本中是新的： ...

20 Feb 15 在 開發者工具, 質量保證和軟件測試
Linux
閱讀更多
按類別搜索
熱門軟件