Provep - Trực tuyến trên đám mây

CHƯƠNG TRÌNH:

TÊN

chứng minh - Chạy thử nghiệm thông qua dây nịt TAP.

SỬ DỤNG

chứng minh [tùy chọn] [tệp hoặc thư mục]

LỰA CHỌN

Tùy chọn Boolean:

-v, --verbose In tất cả các dòng thử nghiệm.
-l, --lib Thêm 'lib' vào đường dẫn cho các bài kiểm tra của bạn (-Ilib).
-b, --blib Thêm 'blib / lib' và 'blib / vòm' vào đường dẫn cho
bài kiểm tra của bạn
-s, --shuffle Chạy các bài kiểm tra theo thứ tự ngẫu nhiên.
-c, --color Đầu ra kiểm tra màu (mặc định).
--nocolor Không kiểm tra màu đầu ra.
--count Hiển thị số lượng kiểm tra X / Y khi không dài
(Default)
--nocount Tắt đếm thử nghiệm X / Y.
-D - chạy khô. Hiển thị thử nghiệm đã chạy.
-f, --failures Hiển thị các thử nghiệm không thành công.
-o, --comments Hiển thị nhận xét.
--ignore-exit Bỏ qua trạng thái thoát khỏi các tập lệnh thử nghiệm.
-m, --merge Hợp nhất tập lệnh kiểm tra 'STDERR với STDOUT của chúng.
-r, --recurse Đi xuống đệ quy vào các thư mục.
--reverse Chạy các bài kiểm tra theo thứ tự ngược lại.
-q, --quiet Loại bỏ một số đầu ra thử nghiệm trong khi chạy thử nghiệm.
-Q, --QUIET Chỉ in kết quả tóm tắt.
-p, --parse Hiển thị danh sách đầy đủ các lỗi phân tích cú pháp TAP, nếu có.
--directives Chỉ hiển thị kết quả với các lệnh TODO hoặc SKIP.
--timer Print thời gian trôi qua sau mỗi lần kiểm tra.
--trap Trap Ctrl-C và in tóm tắt khi bị gián đoạn.
- chuẩn hóa Chuẩn hóa đầu ra TAP trong đầu ra dài dòng
-T cho phép kiểm tra nhiễm độc.
-t Bật cảnh báo nhiễm độc.
-Kích hoạt cảnh báo nghiêm trọng.
-w Bật cảnh báo.
-h, --help Hiển thị trợ giúp này
- ?, Hiển thị trợ giúp này
-V, --version Hiển thị phiên bản
-H, --man Trang chủ dài hơn để chứng minh
--norc Không xử lý .proverc mặc định

Các tùy chọn nhận đối số:

-Các đường dẫn thư viện để bao gồm.
-P Load plugin (tìm kiếm App :: Prove :: Plugin :: *.)
-M nạp một mô-đun.
-e, --exec Interpreter để chạy các bài kiểm tra ('' để biên dịch
kiểm tra.)
--ext Đặt phần mở rộng cho các bài kiểm tra (mặc định là '.t')
--harness Xác định dây đeo thử nghiệm để sử dụng. Xem TAP :: Khai thác.
--formatter Định dạng kết quả để sử dụng. Xem ĐỊNH DẠNG.
- tải nguồn và / hoặc định cấu hình Trình xử lý nguồn. Nhìn thấy
XỬ LÝ NGUỒN HÀNG.
-a, --archive out.tgz Lưu trữ TAP kết quả trong một tệp lưu trữ.
-j, --jobs N Chạy N công việc thử nghiệm song song (thử 9.)
--state = opts Trạng thái liên tục của Điều khiển chứng minh.
--rc = rcfile Tùy chọn xử lý từ rcfile
--rules Quy tắc xử lý song song và tuần tự.

GHI CHÚ

~ / .proverc / ./.tục ngữ
If ~ / .proverc or ./.tục ngữ tồn tại, chúng sẽ được đọc và bất kỳ tùy chọn nào mà chúng chứa được xử lý
trước các tùy chọn dòng lệnh. Tùy chọn trong .proverc được chỉ định theo cách tương tự như
tùy chọn dòng lệnh:

# .tục ngữ
--state = nóng, nhanh, tiết kiệm
-j9

Các tệp tùy chọn bổ sung có thể được chỉ định bằng tùy chọn "--rc". Tệp tùy chọn mặc định
tùy chọn "--norc" vô hiệu hóa quá trình xử lý.

Trong Windows và VMS, tệp tùy chọn được đặt tên _câu châm ngôn chứ không phải là .proverc và được tìm kiếm
chỉ trong thư mục hiện tại.

Reading từ "STDIN"
Nếu bạn có danh sách các bài kiểm tra (hoặc URL, hoặc bất kỳ thứ gì khác mà bạn muốn kiểm tra) trong một tệp, bạn
có thể thêm chúng vào các bài kiểm tra của bạn bằng cách sử dụng dấu '-':

chứng minh - <my_list_of_things_to_test.txt

Xem "README" trong thư mục "ví dụ" của bản phân phối này.

Mặc định Thử nghiệm thư mục
Nếu không có tệp hoặc thư mục nào được cung cấp, "chứng minh" sẽ tìm kiếm tất cả các tệp phù hợp với mẫu
"t / *. t".

màu Thử nghiệm Đầu ra
Đầu ra kiểm tra màu sử dụng TAP :: Định dạng :: Màu là mặc định, nhưng nếu đầu ra không phải là
thiết bị đầu cuối, màu bị tắt. Bạn có thể ghi đè điều này bằng cách thêm công tắc "--color".

Hỗ trợ màu sắc yêu cầu Điều khoản :: ANSIColor trên các nền tảng giống Unix và Win32 :: Console trên
các cửa sổ. Nếu mô-đun cần thiết không được cài đặt, đầu ra màu sẽ không khả dụng.

Ra Mã
Nếu các bài kiểm tra không thành công "chứng minh" sẽ thoát ra với trạng thái khác không.

Lập luận đến Kiểm tra
Có thể cung cấp các đối số cho các bài kiểm tra. Để làm như vậy, hãy tách chúng khỏi chứng minh của riêng
các đối số với các phát sinh, '::'. Ví dụ

chứng minh -vt / mytest.t :: --url http://example.com

sẽ chạy t / mytest.t với các tùy chọn '--url http://example.com'. Khi chạy nhiều
mỗi bài kiểm tra chúng sẽ nhận được các đối số giống nhau.

"--exec"
Thông thường, bạn chỉ có thể vượt qua danh sách các bài kiểm tra Perl và bộ khai thác sẽ biết cách thực thi
họ. Tuy nhiên, nếu các bài kiểm tra của bạn không được viết bằng Perl hoặc nếu bạn muốn tất cả các bài kiểm tra được gọi ra
chính xác theo cùng một cách, sử dụng chuyển đổi "-e" hoặc "--exec":

chứng minh --exec '/ usr / bin / ruby -w 't /
chứng minh --exec '/ usr / bin / perl -Tw -mstrict -Ilib 't /
chứng minh --exec '/ path / to / my / customer / executive'

"- hợp nhất"
Nếu bạn cần đảm bảo rằng chẩn đoán của bạn được hiển thị theo đúng thứ tự liên quan đến
kết quả kiểm tra, bạn có thể sử dụng tùy chọn "--merge" để hợp nhất STDERR của tập lệnh thử nghiệm thành
GIỚI THIỆU.

Điều này đảm bảo rằng STDOUT (nơi kết quả thử nghiệm xuất hiện) và STDERR (nơi
chẩn đoán xuất hiện) sẽ vẫn đồng bộ. Dây nịt sẽ hiển thị bất kỳ chẩn đoán nào mà bạn kiểm tra
phát ra trên STDERR.

Lưu ý: đây là một chút k bùn. Đặc biệt lưu ý rằng nếu bất cứ điều gì xuất hiện trên
STDERR trông giống như một kết quả thử nghiệm mà dây đeo thử nghiệm sẽ bị nhầm lẫn. Chỉ sử dụng tùy chọn này
nếu bạn hiểu hậu quả và có thể sống chung với rủi ro.

"--cạm bẫy"
Tùy chọn "--trap" sẽ cố gắng bẫy SIGINT (Ctrl-C) trong quá trình chạy thử nghiệm và hiển thị
tóm tắt kiểm tra ngay cả khi quá trình chạy bị gián đoạn

"--tiểu bang"
Bạn có thể yêu cầu "chứng minh" để ghi nhớ trạng thái của các lần chạy thử nghiệm trước đó và chọn và / hoặc đặt hàng
các bài kiểm tra sẽ được chạy dựa trên trạng thái đã lưu đó.

Chuyển đổi "--state" yêu cầu một đối số phải là một danh sách được phân tách bằng dấu phẩy của một hoặc
nhiều tùy chọn sau đây.

"Cuối cùng"
Chạy các bài kiểm tra tương tự như lần cuối cùng trạng thái được lưu. Điều này làm cho nó có thể, cho
ví dụ, để tạo lại thứ tự của một bài kiểm tra xáo trộn.

# Chạy tất cả các bài kiểm tra theo thứ tự ngẫu nhiên
$ chứng minh -b --state = lưu --shuffle

# Chạy lại chúng theo thứ tự
$ chứng minh -b --state = cuối cùng

"thất bại"
Chỉ chạy các bài kiểm tra không thành công trong lần chạy cuối cùng.

# Chạy tất cả các bài kiểm tra
$ chứng minh -b --state = lưu

# Chạy không thành công
$ chứng minh -b --state = không thành công

Nếu bạn cũng chỉ định tùy chọn "lưu" các bài kiểm tra mới vượt qua sẽ bị loại trừ khỏi
những lần chạy tiếp theo.

# Lặp lại cho đến khi không còn lỗi nào nữa
$ chứng minh -b --state = không thành công, lưu

"đi qua"
Chỉ chạy các bài kiểm tra đã vượt qua từ lần trước. Hữu ích để đảm bảo rằng không có vấn đề mới
đã được giới thiệu.

"tất cả các"
Chạy tất cả các bài kiểm tra theo thứ tự bình thường. Nhiều tùy chọn có thể được chỉ định, do đó, để chạy tất cả các thử nghiệm
với những thất bại từ lần trước đầu tiên:

$ chứng minh -b --state = không thành công, tất cả, lưu

"nóng bức"
Chạy các bài kiểm tra gần đây nhất không thành công trước. Thời gian thất bại cuối cùng của mỗi bài kiểm tra là
được lưu trữ. Tùy chọn "nóng" làm cho các bài kiểm tra được chạy theo thứ tự lỗi gần đây nhất.

$ chứng minh -b --state = nóng, tiết kiệm

Các bài kiểm tra chưa từng thất bại sẽ không được chọn. Để chạy tất cả các bài kiểm tra với nhiều nhất
gần đây đã thất bại trong lần sử dụng đầu tiên

$ chứng minh -b --state = nóng, tất cả, tiết kiệm

Do đó, sự kết hợp của các tùy chọn cũng có thể được chỉ định

$ chứng minh -b --state = adrian

"làm"
Chạy bất kỳ bài kiểm tra nào với todos.

"chậm"
Chạy các bài kiểm tra theo thứ tự chậm nhất đến nhanh nhất. Điều này rất hữu ích khi kết hợp với "-j"
chuyển đổi kiểm tra song song để đảm bảo rằng các bài kiểm tra chậm nhất của bạn bắt đầu chạy trước.

$ chứng minh -b --state = slow -j9

"Nhanh"
Chạy các bài kiểm tra thử nghiệm theo thứ tự nhanh nhất đến chậm nhất.

"Mới"
Chạy các bài kiểm tra theo thứ tự mới nhất đến cũ nhất dựa trên thời gian sửa đổi của bài kiểm tra
tập lệnh.

"cũ"
Chạy các bài kiểm tra theo thứ tự cũ nhất đến mới nhất.

"mới"
Chạy các tập lệnh thử nghiệm đã được sửa đổi kể từ lần chạy thử nghiệm cuối cùng.

"cứu"
Lưu trạng thái khi thoát. Trạng thái được lưu trữ trong một tệp có tên là .chứng minh (_chứng minh trên Windows
và VMS) trong thư mục hiện tại.

Chuyển đổi "--state" có thể được sử dụng nhiều lần.

$ chứng minh -b --state = hot --state = tất cả, lưu

--quy tắc
Tùy chọn "--rules" được sử dụng để kiểm soát thử nghiệm nào được chạy tuần tự và thử nghiệm nào được chạy
song song, nếu tùy chọn "--jobs" được chỉ định. Tùy chọn có thể được chỉ định nhiều
thời gian và thứ tự quan trọng.

Việc sử dụng thực tế nhất có thể chỉ định rằng một số thử nghiệm không "sẵn sàng song song".
Vì việc đề cập đến một tệp có --rules không khiến nó được chọn để chạy như một bài kiểm tra, bạn
có thể "đặt và quên" một số tùy chọn quy tắc trong tệp .proverc của bạn. Sau đó, bạn sẽ có thể
tận dụng tối đa các lợi ích về hiệu suất của thử nghiệm song song, trong khi một số
các ngoại lệ vẫn được chạy song song.

--quy tắc ví dụ

# Tất cả các bài kiểm tra được phép chạy song song, ngoại trừ những bài kiểm tra bắt đầu bằng "p"
--rules = 'seq = t / p * .t' --rules = 'par = **'

# Tất cả các bài kiểm tra phải chạy theo trình tự ngoại trừ các bài kiểm tra bắt đầu bằng "p", phải chạy song song
--rules = 'par = t / p * .t'

--quy tắc độ phân giải

· Theo mặc định, tất cả các bài kiểm tra đủ điều kiện để chạy song song. Chỉ định bất kỳ của riêng bạn
quy tắc loại bỏ cái này.

· "Trận đầu tiên thắng". Quy tắc đầu tiên phù hợp với thử nghiệm sẽ là quy tắc áp dụng.

· Bất kỳ bài kiểm tra nào không phù hợp với quy tắc sẽ được chạy theo trình tự khi kết thúc quá trình chạy.

· Sự tồn tại của một quy tắc không có nghĩa là lựa chọn một bài kiểm tra. Bạn vẫn phải chỉ định
các bài kiểm tra để chạy.

· Chỉ định một quy tắc để cho phép các bài kiểm tra chạy song song không làm cho chúng chạy trong
song song. Bạn vẫn cần chỉ định số lượng "công việc" song song trong đối tượng Khai thác của mình.

--quy tắc Kiểu toàn cầu Belt Hold phù hợp

Chúng tôi triển khai đối sánh mẫu kiểu hình cầu của riêng mình cho --rules. Đây là những hỗ trợ
các mẫu:

** là bất kỳ số ký tự nào, bao gồm /, trong tên đường dẫn
* không hoặc nhiều ký tự trong tên tệp / tên thư mục
? chính xác là một ký tự trong tên tệp / tên thư mục
{foo, bar, baz} là bất kỳ foo, bar hoặc baz.
\ là một ký tự thoát

Xem thêm tiên tiến thông số kỹ thuật cho song song, tương đông vs trình tự chạy quy tắc

Nếu bạn cần quản lý nâng cao hơn về những gì chạy song song và theo trình tự, hãy xem
tài liệu 'quy tắc' được liên kết trong TAP :: Khai thác và TAP :: Trình phân tích cú pháp :: Bộ lập lịch. Nếu những gì
có thể trực tiếp thông qua "chứng minh" là không đủ, bạn có thể viết khai thác của riêng bạn
truy cập trực tiếp các tính năng này.

@INC
chứng minh giới thiệu một sự tách biệt giữa "các tùy chọn được chuyển đến perl chạy chứng minh" và
"các tùy chọn được chuyển cho perl chạy thử nghiệm"; sự khác biệt này là do thiết kế. Vì vậy,
perl đang chạy thử nghiệm bắt đầu với @INC mặc định. Thư mục thư viện bổ sung
có thể được thêm thông qua biến môi trường "PERL5LIB", qua -Ifoo trong "PERL5OPT" hoặc qua
Tùy chọn "-Ilib" để chứng minh.

Xé Chế độ
Thông thường khi một chương trình Perl được chạy ở chế độ mờ, nội dung của "PERL5LIB"
biến môi trường không xuất hiện trong @INC.

Vì "PERL5LIB" thường được sử dụng trong quá trình thử nghiệm để thêm thư mục xây dựng vào @INC chứng minh
chuyển tên của bất kỳ thư mục nào được tìm thấy trong "PERL5LIB" khi tôi chuyển đổi. Hiệu ứng ròng của
đây là "PERL5LIB" được tôn vinh ngay cả khi chứng minh được chạy ở chế độ mờ.

ĐỊNH DẠNG

Bạn có thể tải một TAP :: Parser :: Formatter tùy chỉnh:

chứng minh - định dạng MyFormatter

SOURCE NGƯỜI XỬ LÝ

Bạn có thể tải TAP :: Parser :: SourceHandlers tùy chỉnh, để thay đổi cách trình phân tích cú pháp diễn giải
riêng nguồn của TAP.

chứng minh - nguồn MyHandler - nguồn YetA Another t

Nếu bạn muốn cung cấp cấu hình cho nguồn, bạn có thể sử dụng:

chứng minh - nguồn MyCustom \
--source Perl --perl-option 'foo = bar baz' --perl-option avg = 0.278 \
--source File --file-option extensions = .txt --file-option extensions = .tmp t
- nguồn pgTAP --pgtap-option pset = format = html --pgtap-option pset = border = 2

Mỗi tùy chọn "- $ source-option" phải chỉ định một cặp khóa / giá trị được phân tách bằng dấu "=". Nếu một
tùy chọn có thể nhận nhiều giá trị, chỉ cần chỉ định nó nhiều lần, như với "phần mở rộng ="
các ví dụ trên. Nếu tùy chọn phải là tham chiếu băm, hãy chỉ định giá trị dưới dạng giây
cặp được phân tách bằng dấu "=", như trong các ví dụ "pset =" ở trên ("=" thoát "với dấu gạch chéo ngược).

Tất cả "--sources" được kết hợp thành một hàm băm và được chuyển sang "mới" trong "nguồn" của TAP :: Harness
tham số.

Xem TAP :: Parser :: IteratorFactory để biết thêm chi tiết về cách cấu hình được chuyển đến
Trình xử lý nguồn.

PLUGINS

Các plugin có thể được tải bằng cách sử dụng "-Pcắm vào" cú pháp, ví dụ:

chứng minh -PMyPlugin

Thao tác này sẽ tìm kiếm mô-đun có tên "App :: Prove :: Plugin :: MyPlugin" hoặc không thành công,
"MyPlugin". Nếu không tìm thấy plugin, "chứng minh" sẽ khiếu nại & thoát.

Bạn có thể chuyển các đối số vào plugin của mình bằng cách thêm "= arg1, arg2, v.v." vào tên plugin:

chứng minh -PMyPlugin = fou, du, fafa

Vui lòng kiểm tra tài liệu plugin riêng lẻ để biết thêm chi tiết.

Có Sẵn bổ sung
Để có danh sách cập nhật các plugin có sẵn, vui lòng kiểm tra CPAN:

<http://search.cpan.org/search? query = App% 3A% 3AProve + Plugin>

Writing bổ sung
Vui lòng xem "PLUGINS" trong Ứng dụng :: Chứng minh.

Sử dụng minh chứng trực tuyến bằng cách sử dụng các dịch vụ onworks.net