UPPAAL

UPPAAL 4.0.6

UPPAAL เป็นสภาพแวดล้อมแบบบูรณาการเครื่องมือสำหรับการสร้างแบบจำลองการตรวจสอบและการตรวจสอบระบบเรียลไทม์จำลองเป็นเครือข่ายของออโตหมดเวลาขยายประเภทข้อมูล (จำนวนเต็มกระโดดอาร์เรย์ ฯลฯ )UPPAAL CORA เป็นสาขาของ UPPAAL สำหรับค่าใช้จ่ายที่เหมาะสม reachability...

rgf

rgf 0.2.0.1

Rgf เป็นความพยายามในการทดลองในขณะนี้ที่ RSpec ฟีเจอร์กรอบการทดสอบสำหรับ BDD หลามโดยทั่วไปเรากำลังเล็งสำหรับไวยากรณ์ตามเส้นเหล่านี้:จากการนำเข้า Rgf อธิบายมันพร้อมกับอธิบาย ("สิ่งนั้น"):& nbsp; @it ("การทดสอบเรียง")& nbsp; จำเพาะ def (บริบท):& nbsp; #...

TestLink

TestLink 1.9.9

TestLink เป็นโอเพนซอร์สการจัดการ testcase web-based และระบบการติดตามการดำเนินการสร้างขึ้นโดยใช้ PHP, MySQL, และอื่น ๆ อีกหลายเทคโนโลยีโอเพนซอร์สTestLink ช่วย Q & A & nbsp; (Quality Assurance)...

Acovea

Acovea 1.0.1

Acovea ดำเนินการขั้นตอนวิธีพันธุกรรมสำหรับการหา "ดีที่สุด" ตัวเลือกสำหรับการรวบรวมโปรแกรมกับ GCC C และ C ++ คอมไพเลอร์ACOVEA (การวิเคราะห์ตัวเลือกคอมไพเลอร์ผ่านทางวิวัฒนาการขั้นตอนวิธี) ดำเนินการขั้นตอนวิธีพันธุกรรมเพื่อหาสิ่งที่ "ดีที่สุด"...

crackerjack

crackerjack 2.0.0

มือหนึ่งให้ถดถอยเคอร์เนลกรอบทดสอบซึ่งมีวิธีการที่จะหาระบบการถดถอยของลินุกซ์เคอร์เนลลินุกซ์เคอร์เนลระบบปฏิบัติการ Unix เหมือน มันเป็นชื่อของครอบครัวลินุกซ์ของระบบปฏิบัติการ ภายใต้รุ่นใบอนุญาตสาธารณะทั่วไป 2 (GPLv2)...

JProfiler

JProfiler 8.0.3

JProfiler เป็นเชิงพาณิชย์และข้ามแพลตฟอร์มที่ได้รับรางวัลทั้งหมดในหนึ่งเดียว Java Profilerเพราะมันถูกเขียนใน Java JProfiler สามารถนำมาใช้บน Linux, Mac OS & nbsp; X & nbsp; และแพลตฟอร์ม Windows คุณสมบัติ . < li> โปรไฟล์สดของเซสชั่นท้องถิ่น ...

YourKit Java Profiler

YourKit Java Profiler 2015 Build 15068 การปรับปรุง

YourKit Java Profiler เป็นซีพียูและหน่วยความจำในเชิงพาณิชย์รวมข้อมูลซอฟต์แวร์ที่ช่วยให้ผู้ใช้สามารถแก้ปัญหาที่หลากหลายของ CPU และหน่วยความจำที่เกี่ยวข้องกับปัญหาประสิทธิภาพการทำงานYourKit Java Profiler...

Tcpreplay

Tcpreplay 4.1.1 การปรับปรุง

Tcpreplay (TCP (Transmission Control Protocol) Replay) เป็นโอเพนซอร์สและโครงการซอฟต์แวร์ฟรีดำเนินการใน C และออกแบบมาเพื่อทำหน้าที่เป็นเครื่องมือบรรทัดคำสั่งที่ประกอบด้วยสาธารณูปโภคหลายอย่างสำหรับการระวัง * ระบบปฏิบัติการช่วยให้ผู้ใช้...

pagerunit

pagerunit 0.0.3

pagerunit เป็นทางเลือกที่ง่าย Nagios ทำให้ดูเหมือนทดสอบหน่วยความคิดเห็นของนักพัฒนานี่อาจจะเป็นความคิดที่ดี แต่ฉันต้องการที่จะได้รับบางสิ่งบางอย่างบนกระดาษ (มันเป็น) ดังนั้นฉันสามารถกลับไปทำงานจริง การใช้งาน กำหนดค่า PagerUnit เพื่อที่จะสามารถส่งอีเมล์ใน...

inFusion

inFusion 1.7.2

Infusion เป็นเชิงพาณิชย์, การประยุกต์ใช้คราสตามที่เขียนใน Java ช่วยให้นักพัฒนาในการควบคุมอย่างเต็มที่สถาปัตยกรรมซอฟต์แวร์ที่มีคุณภาพเช่นเดียวกับคุณภาพการออกแบบความสามารถในการจัดการกับ Java, C ++ & nbsp; และโครงการ C,...

ค้นหาตามหมวดหมู่