Tự do đảm bảo chất lượng và kiểm thử phần mềm Cho Linux

HOL ngắn từ hơn sinh Logic là một môi trường lập trình trong đó các định lý có thể được chứng minh và các công cụ bằng chứng thực hiện.Thủ tục ra quyết định xây dựng trong và provers lý có thể tự động thiết lập nhiều định lý đơn giản. Một cơ chế oracle...

openstack.nose_plugin là một plugin mũi cung cấp nosetests đầu ra để bắt chước các đầu ra của run_tests.py OpenStack của. Cài đặt & Nbsp; pip cài đặt openstack.nose_plugin Cách sử dụng Các tùy chọn sau availible:& Nbsp; - với-OpenStack& Nbsp; Bật cắm...

expecter giúp bạn viết khẳng định. Không bao giờ một lần nữa bạn sẽ quên được mong đợi và đó là thực tế!Mong đợi cơ bản là dễ dàng:& Nbsp; >>> từ nhập khẩu expecter mong đợi& Nbsp; >>> mong đợi ('một số' + 'điều') == 'cái gì'&...

noseenv là một plugin mũi để thêm tùy chọn của hình thức "--env ENVIRONMENT_VARIABLE = VALUE".- PyPI: http://pypi.python.org/pypi/noseenv- Travis CI: http://travis-ci.org/#!/msabramo/python-noseenvRequirements:Python...

vòi là một phần mở rộng Nose tạo điều kiện thử nghiệm mức độ cao hơn.Thay đổi như thế nào lớp học thử nghiệm được phát hiện bằng cách buộc họ phải đăng ký thông qua trang trí có chứa siêu dữ liệu hữu ích như những gì họ đang có trong nhóm, cho dù họ có...

dự án Pulse là một tự động xây dựng (hoặc hội nhập liên tục) máy chủ được thiết kế để làm việc với bạn để đảm bảo tính toàn vẹn của mã của bạn.Xung thường xuyên kiểm tra mã nguồn của bạn ra khỏi SCM của bạn, xây dựng các dự án của bạn, và thông báo cho...

Làm chứng là một sự thay thế cho mô-đun unittest Python và mũi.Làm chứng được mô hình hóa sau khi unittest, và kiểm tra viết cho unittest sẽ chạy theo làm chứng với tối thiểu điều chỉnh, nhưng nó có nhiều tính năng trên và vượt ra ngoài unittest:& Nbsp; *...

pytest-marker bugzilla là một plugin cho py.test Bugzilla hội nhập & nbsp; Plugin này hiện đang đảm nhiệm công việc sau đây.:bug_status trong ['NEW', 'GIAO', 'ON_DEV'] có nghĩa là các lỗi được biết đến và được làm việc và do đó các...

Marathon là một khuôn khổ cung cấp hỗ trợ cho tất cả các thành phần Java / Swing, bao gồm cả ngôn ngữ kịch bản tiêu chuẩn & ndash; Ruby và Python.Marathon cũng có thể được sử dụng để ghi lại và kịch bản thử nghiệm và ghi lại các hành động ngữ nghĩa vào...

TestLink là một mã nguồn mở quản lý testcase web dựa trên hệ thống theo dõi và thực hiện tạo ra bằng cách sử dụng PHP, MySQL, và một số công nghệ nguồn mở khác.TestLink phép Q & A & nbsp; (Quality Assurance) đội để dễ dàng quản lý và tạo ra các trường hợp...