ด้านบน การประกันคุณภาพและการทดสอบซอฟต์แวร์ เพื่อ Linux

HOL สั้น ๆ จากที่สูงขึ้นการสั่งซื้อลอจิกเป็นสภาพแวดล้อมการเขียนโปรแกรมที่ทฤษฎีบทสามารถพิสูจน์หลักฐานและเครื่องมือในการดำเนินการในการสร้างขั้นตอนการตัดสินใจและ provers ทฤษฎีบทโดยอัตโนมัติสามารถสร้างทฤษฎีง่าย ๆ อีกมากมาย...

TestManager เป็นปลั๊กอิน Trac การสร้างกรณีทดสอบจัดระเบียบพวกเขาในแคตตาล็อกสร้างแผนทดสอบและการติดตามสถานะการดำเนินการของพวกเขาและผลแตกต่างจากปลั๊กอินการจัดการทดสอบอื่น ๆ สำหรับ Trac...

EXQUIRES - ประเมินและขยายปริมาณรูปภาพ Re-ขยายสวีท เอกสารและคำแนะนำ กรุณาเยี่ยมชม: http://exquires.rivetsforbreakfast.com คำแนะนำในการติดตั้งพื้นฐาน EXQUIRES สามารถติดตั้งจาก PyPI ใช้จุด:PIP ติดตั้ง -U exquiresหรือดาวน์โหลดการกระจายแหล่งที่มาจาก PyPI,...

Py.Saunter เป็นโครงการที่ขึ้นอยู่ในปัจจุบันในจมูก & nbsp;. มันจะต้องอยู่บนพื้นฐาน Py.Test จริงๆเร็ว ๆ นี้ การติดตั้ง เพื่อที่จะทำให้มากที่สุดของซีลีเนียมและ Python; และใช้งานรหัสตัวอย่างที่นี่คุณจะต้อง& nbsp; sudo จุดติดตั้งจมูก& nbsp; sudo จุดติดตั้ง...

noseOfYeti เป็นปลั๊กอินสำหรับจมูกแรงบันดาลใจจาก http://github.com/fmeyer/yeti ซึ่งใช้รูปแบบการแปลงสัญญาณเพื่อให้รูปแบบ RSpec BDD DSL สำหรับการทดสอบหลาม. ต้องการ หลาม ...

ลาวาแดชบอร์ดเป็นที่เก็บสำหรับผลการทดสอบเอกสารแพคเกจ ต้องการ ...

จมูกซ็อกเก็ตรายการที่อนุญาตเป็นปลั๊กอินจมูกที่แพทช์ socket.getaddrinfo...

eutester เป็นกรอบสำหรับการทดสอบ AWS เมฆที่เข้ากันได้เอกสารแพคเกจ ต้องการ หลาม Boto ...

jstestnetlib เป็นโมดูลหลามที่ออกแบบมาเพื่อดำเนินการทดสอบใช้งาน JavaScript กับเซิร์ฟเวอร์ JavaScript Testnet ติดตั้ง ใช้ PIP ดำเนินการ:PIP ติดตั้งคอมไพล์ + คอมไพล์: //github.com/kumar303/jstestnetlib.git#egg=jstestnetlib การทดสอบการใช้งาน การทดสอบใช้งาน...

pyfix เป็นโมดูลหลามออกแบบมาโดยเฉพาะสำหรับการเขียนฟังก์ชั่นการทดสอบ ติดตั้ง & nbsp; จุดติดตั้ง pyfix การใช้งาน นี่คือตัวอย่างที่สำคัญจากการทดสอบการนำเข้า pyfix, หลักจากการนำเข้า pyassert assert_that@testdef ensure_that_two_plus_two_equals_four ():& nbsp;...