Advertisement:

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; #...

crackerjack

crackerjack 2.0.0

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

TestLink

TestLink 1.9.9

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

Advertisement:

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...

databene benerator เป็นกรอบสำหรับการสร้างจริงและถูกต้องปริมาณสูงการทดสอบข้อมูลที่ใช้สำหรับการทดสอบ (หน่วย / บูรณาการ / โหลด) และแสดงการติดตั้งข้อ จำกัด Metadata ที่นำเข้าจากระบบและ / หรือแฟ้มการกำหนดค่า...

SLAMD

SLAMD 1.8.2

รุ่นโหลดกระจาย SLAMD เครื่องยนต์ (SLAMD) เป็นโปรแกรม Java ตามที่ออกแบบมาสำหรับการทดสอบความเครียดและการวิเคราะห์ประสิทธิภาพของการใช้งานบนเครือข่าย ได้รับการพัฒนาขึ้นโดย Sun Microsystems, Inc....

Advertisement:

AutobahnTestSuite เป็น WebSocket บิด-based / WAMP โปรโตคอลการดำเนินการชุดทดสอบAutobahnTestSuite ให้ชุดทดสอบแบบอัตโนมัติอย่างเต็มที่ในการตรวจสอบการใช้งานของลูกค้าและเซิร์ฟเวอร์ของโปรโตคอล WebSocketชุดทดสอบจะตรวจสอบการดำเนินงานด้วยการทำสนทนา WebSocket...

สคริปต์ gprof2dot.py สามารถแปลงออกจาก gprof เป็นกราฟจุด ได้อย่างถูกต้องสามารถแยกชื่อฟังก์ชั่นแม่แบบ C ++ ช่วยให้คุณสามารถตัดโหนดและขอบด้านล่างเกณฑ์บางอย่างสามารถแยก gprof สัญกรณ์พิเศษที่ใช้สำหรับการทำงาน recursive...

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