Unit Testing

Base.runtests(tests=["all"]; ncores=ceil(Int, Sys.CPU_THREADS / 2),
              exit_on_error=false, revise=false, [seed])

قم بتشغيل اختبارات الوحدة في جوليا المدرجة في tests، والتي يمكن أن تكون إما سلسلة نصية أو مصفوفة من السلاسل النصية، باستخدام معالجات ncores. إذا كانت exit_on_error تساوي false، فعندما يفشل اختبار واحد، ستظل جميع الاختبارات المتبقية في ملفات أخرى قيد التشغيل؛ وإلا سيتم تجاهلها، عندما تكون exit_on_error == true. إذا كانت revise تساوي true، يتم استخدام حزمة Revise لتحميل أي تعديلات على Base أو المكتبات القياسية قبل تشغيل الاختبارات. إذا تم توفير بذور عبر وسيط الكلمة الرئيسية، يتم استخدامها لتوليد الأرقام العشوائية العالمية في السياق الذي يتم فيه تشغيل الاختبارات؛ وإلا يتم اختيار البذور عشوائيًا.

@test ex
@test f(args...) key=val ...
@test ex broken=true
@test ex skip=true

اختبر أن التعبير ex يقيم إلى true. إذا تم تنفيذه داخل @testset، ارجع Pass Result إذا كان كذلك، وFail Result إذا كان false، وError Result إذا لم يكن بالإمكان تقييمه. إذا تم تنفيذه خارج @testset، ارمِ استثناءً بدلاً من إرجاع Fail أو Error.

أمثلة

julia> @test true
Test Passed

julia> @test [1, 2] + [2, 1] == [3, 3]
Test Passed

شكل @test f(args...) key=val... يعادل كتابة @test f(args..., key=val...)، وهو مفيد عندما يكون التعبير عبارة عن استدعاء باستخدام بناء الجملة infix مثل المقارنات التقريبية:

julia> @test π ≈ 3.14 atol=0.01
Test Passed

هذا يعادل الاختبار الأكثر قبحًا @test ≈(π, 3.14, atol=0.01). من الخطأ تقديم أكثر من تعبير واحد ما لم يكن الأول تعبير استدعاء والباقي تعيينات (k=v).

يمكنك استخدام أي مفتاح لوسائط key=val، باستثناء broken و skip، التي لها معاني خاصة في سياق @test:

• broken=cond تشير إلى اختبار يجب أن ينجح ولكن يفشل باستمرار حاليًا عندما يكون cond==true. اختبارات أن التعبير ex يقيم إلى false أو يسبب استثناء. يرجع Broken Result إذا كان كذلك، أو Error Result إذا كان التعبير يقيم إلى true. يتم تقييم @test ex عندما يكون cond==false.
• skip=cond يميز اختبارًا لا ينبغي تنفيذه ولكن يجب تضمينه في تقرير ملخص الاختبار كـ Broken، عندما يكون cond==true. يمكن أن يكون هذا مفيدًا للاختبارات التي تفشل بشكل متقطع، أو اختبارات الوظائف التي لم يتم تنفيذها بعد. يتم تقييم @test ex عندما يكون cond==false.

أمثلة

julia> @test 2 + 2 ≈ 6 atol=1 broken=true
Test Broken
  Expression: ≈(2 + 2, 6, atol = 1)

julia> @test 2 + 2 ≈ 5 atol=1 broken=false
Test Passed

julia> @test 2 + 2 == 5 skip=true
Test Broken
  Skipped: 2 + 2 == 5

julia> @test 2 + 2 == 4 skip=false
Test Passed

@test_throws exception expr

يختبر أن التعبير expr يرمي exception. قد يحدد الاستثناء إما نوعًا، أو سلسلة، أو تعبيرًا عاديًا، أو قائمة من السلاسل التي تحدث في رسالة الخطأ المعروضة، أو دالة مطابقة، أو قيمة (سيتم اختبارها من أجل المساواة من خلال مقارنة الحقول). لاحظ أن @test_throws لا يدعم شكل الكلمة الرئيسية المتأخرة.

أمثلة

julia> @test_throws BoundsError [1, 2, 3][4]
Test Passed
      Thrown: BoundsError

julia> @test_throws DimensionMismatch [1, 2, 3] + [1, 2]
Test Passed
      Thrown: DimensionMismatch

julia> @test_throws "Try sqrt(Complex" sqrt(-1)
Test Passed
     Message: "DomainError with -1.0:\nsqrt was called with a negative real argument but will only return a complex result if called with a complex argument. Try sqrt(Complex(x))."

في المثال الأخير، بدلاً من مطابقة سلسلة واحدة، كان من الممكن بدلاً من ذلك تنفيذ ذلك مع:

• ["Try", "Complex"] (قائمة من السلاسل)
• r"Try sqrt\([Cc]omplex" (تعبير عادي)
• str -> occursin("complex", str) (دالة مطابقة)

@testset [CustomTestSet] [options...] ["الوصف"] begin test_ex end
@testset [CustomTestSet] [options...] ["الوصف $v"] for v in itr test_ex end
@testset [CustomTestSet] [options...] ["الوصف $v, $w"] for v in itrv, w in itrw test_ex end
@testset [CustomTestSet] [options...] ["الوصف"] test_func()
@testset let v = v, w = w; test_ex; end

مع begin/end أو استدعاء دالة

عند استخدام @testset، مع begin/end أو استدعاء دالة واحدة، يبدأ الماكرو مجموعة اختبارات جديدة لتقييم التعبير المعطى.

إذا لم يتم إعطاء نوع مجموعة اختبارات مخصص، فإنه يتضمن افتراضيًا إنشاء DefaultTestSet. تسجل DefaultTestSet جميع النتائج، وإذا كان هناك أي Fails أو Errors، يتم طرح استثناء في نهاية مجموعة الاختبارات الرئيسية (غير المتداخلة)، مع ملخص لنتائج الاختبار.

يمكن إعطاء أي نوع مجموعة اختبارات مخصص (فرعي من AbstractTestSet) وسيتم استخدامه أيضًا لأي استدعاءات متداخلة لـ @testset. يتم تطبيق الخيارات المعطاة فقط على مجموعة الاختبارات حيث تم إعطاؤها. تقبل مجموعة الاختبارات الافتراضية ثلاثة خيارات منطقية:

• verbose: إذا كانت true، يتم عرض ملخص النتائج لمجموعات الاختبارات المتداخلة حتى عندما تمر جميعها (الافتراضي هو false).
• showtiming: إذا كانت true، يتم عرض مدة كل مجموعة اختبارات معروضة (الافتراضي هو true).
• failfast: إذا كانت true، فإن أي فشل في الاختبار أو خطأ سيؤدي إلى عودة مجموعة الاختبارات وأي مجموعات اختبارات فرعية على الفور (الافتراضي هو false). يمكن أيضًا تعيين هذا عالميًا عبر متغير البيئة JULIA_TEST_FAILFAST.

تقبل سلسلة الوصف التداخل من مؤشرات الحلقة. إذا لم يتم تقديم وصف، يتم بناء واحد بناءً على المتغيرات. إذا تم تقديم استدعاء دالة، سيتم استخدام اسمها. تتجاوز سلاسل الوصف الصريحة هذا السلوك.

بشكل افتراضي، سيعيد ماكرو @testset كائن مجموعة الاختبارات نفسه، على الرغم من أنه يمكن تخصيص هذا السلوك في أنواع مجموعات الاختبارات الأخرى. إذا تم استخدام حلقة for، فإن الماكرو يجمع ويعيد قائمة بقيم الإرجاع لطريقة finish، والتي ستعيد افتراضيًا قائمة بكائنات مجموعة الاختبارات المستخدمة في كل تكرار.

قبل تنفيذ جسم @testset، هناك استدعاء ضمني لـ Random.seed!(seed) حيث أن seed هو البذور الحالية لمولد الأرقام العشوائية العالمي. علاوة على ذلك، بعد تنفيذ الجسم، يتم استعادة حالة مولد الأرقام العشوائية العالمي إلى ما كانت عليه قبل @testset. يهدف هذا إلى تسهيل إعادة الإنتاج في حالة الفشل، والسماح بإعادة ترتيب سلس لـ @testsets بغض النظر عن تأثيرها على حالة مولد الأرقام العشوائية العالمي.

أمثلة

julia> @testset "الهويات المثلثية" begin
           θ = 2/3*π
           @test sin(-θ) ≈ -sin(θ)
           @test cos(-θ) ≈ cos(θ)
           @test sin(2θ) ≈ 2*sin(θ)*cos(θ)
           @test cos(2θ) ≈ cos(θ)^2 - sin(θ)^2
       end;
ملخص الاختبار:            | تمر  إجمالي  الوقت
الهويات المثلثية |    4      4  0.2s

@testset for

عند استخدام @testset for، يبدأ الماكرو اختبارًا جديدًا لكل تكرار من الحلقة المقدمة. دلالات كل مجموعة اختبارات متطابقة بخلاف ذلك مع حالة begin/end (كما لو تم استخدامها لكل تكرار حلقي).

@testset let

عند استخدام @testset let، يبدأ الماكرو مجموعة اختبارات شفافة مع الكائن المعطى المضاف ككائن سياق لأي اختبار فاشل يحتوي عليه. هذا مفيد عند إجراء مجموعة من الاختبارات ذات الصلة على كائن أكبر واحد ومن المرغوب فيه طباعة هذا الكائن الأكبر عند فشل أي من الاختبارات الفردية. لا تقدم مجموعات الاختبارات الشفافة مستويات إضافية من التعشيش في تسلسل مجموعات الاختبارات ويتم تمريرها مباشرة إلى مجموعة الاختبارات الأصلية (مع إضافة كائن السياق إلى أي اختبارات فاشلة).

أمثلة

julia> @testset let logi = log(im)
           @test imag(logi) == π/2
           @test !iszero(real(logi))
       end
فشل الاختبار في none:3
  التعبير: !(iszero(real(logi)))
     السياق: logi = 0.0 + 1.5707963267948966im

خطأ: حدث خطأ أثناء الاختبار

julia> @testset let logi = log(im), op = !iszero
           @test imag(logi) == π/2
           @test op(real(logi))
       end
فشل الاختبار في none:3
  التعبير: op(real(logi))
     السياق: logi = 0.0 + 1.5707963267948966im
              op = !iszero

خطأ: حدث خطأ أثناء الاختبار

TestSetException

يتم رميها عندما تنتهي مجموعة الاختبار وليس كل الاختبارات قد نجحت.

@test_logs [log_patterns...] [keywords] التعبير

اجمع قائمة بسجلات السجل التي تم إنشاؤها بواسطة التعبير باستخدام collect_test_logs، تحقق من أنها تتطابق مع تسلسل log_patterns، وأعد قيمة التعبير. توفر keywords بعض التصفية البسيطة لسجلات السجل: يتحكم الكلمة الرئيسية min_level في الحد الأدنى لمستوى السجل الذي سيتم جمعه للاختبار، وتحدد الكلمة الرئيسية match_mode كيفية إجراء المطابقة (الافتراضي :all يتحقق من أن جميع السجلات والأنماط تتطابق بشكل زوجي؛ استخدم :any للتحقق من أن النمط يتطابق على الأقل مرة واحدة في أي مكان في التسلسل).

أكثر نمط سجل مفيد هو مجموعة بسيطة من الشكل (level,message). يمكن استخدام عدد مختلف من عناصر المجموعة لمطابقة بيانات التعريف الأخرى للسجل، والتي تتوافق مع المعاملات المرسلة إلى AbstractLogger عبر وظيفة handle_message: (level,message,module,group,id,file,line). سيتم مطابقة العناصر الموجودة بشكل زوجي مع حقول سجل السجل باستخدام == بشكل افتراضي، مع الحالات الخاصة التي يمكن استخدام Symbols لمستويات السجل القياسية، وRegexs في النمط ستتطابق مع حقول السلسلة أو الرمز باستخدام occursin.

أمثلة

اعتبر وظيفة تسجل تحذيرًا، وعدة رسائل تصحيح:

function foo(n)
    @info "Doing foo with n=$n"
    for i=1:n
        @debug "Iteration $i"
    end
    42
end

يمكننا اختبار رسالة المعلومات باستخدام

@test_logs (:info,"Doing foo with n=2") foo(2)

إذا أردنا أيضًا اختبار رسائل التصحيح، يجب تمكينها باستخدام الكلمة الرئيسية min_level:

using Logging
@test_logs (:info,"Doing foo with n=2") (:debug,"Iteration 1") (:debug,"Iteration 2") min_level=Logging.Debug foo(2)

إذا كنت تريد اختبار أن بعض الرسائل المحددة يتم إنشاؤها مع تجاهل البقية، يمكنك تعيين الكلمة الرئيسية match_mode=:any:

using Logging
@test_logs (:info,) (:debug,"Iteration 42") min_level=Logging.Debug match_mode=:any foo(100)

يمكن ربط الماكرو مع @test لاختبار القيمة المعادة أيضًا:

@test (@test_logs (:info,"Doing foo with n=2") foo(2)) == 42

إذا كنت تريد اختبار غياب التحذيرات، يمكنك حذف تحديد أنماط السجل وتعيين min_level وفقًا لذلك:

# اختبار أن التعبير لا يسجل أي رسائل عندما يكون مستوى السجل تحذير:
@test_logs min_level=Logging.Warn @info("Some information") # ينجح
@test_logs min_level=Logging.Warn @warn("Some information") # يفشل

إذا كنت تريد اختبار غياب التحذيرات (أو رسائل الخطأ) في stderr التي لم يتم إنشاؤها بواسطة @warn، انظر @test_nowarn.

TestLogger(; min_level=Info, catch_exceptions=false)

أنشئ TestLogger الذي يلتقط الرسائل المسجلة في حقل logs::Vector{LogRecord}.

قم بتعيين min_level للتحكم في LogLevel، وcatch_exceptions لتحديد ما إذا كان يجب التقاط الاستثناءات التي تم طرحها كجزء من توليد حدث السجل، وrespect_maxlog لتحديد ما إذا كان يجب اتباع قاعدة تسجيل الرسائل مع maxlog=n لبعض الأعداد الصحيحة n في أقصى حد n مرات.

انظر أيضًا: LogRecord.

أمثلة

julia> using Test, Logging

julia> f() = @info "Hi" number=5;

julia> test_logger = TestLogger();

julia> with_logger(test_logger) do
           f()
           @info "Bye!"
       end

julia> @test test_logger.logs[1].message == "Hi"
Test Passed

julia> @test test_logger.logs[1].kwargs[:number] == 5
Test Passed

julia> @test test_logger.logs[2].message == "Bye!"
Test Passed

LogRecord

يخزن نتائج حدث سجل واحد. الحقول:

• level: LogLevel لرسالة السجل
• message: المحتوى النصي لرسالة السجل
• _module: وحدة حدث السجل
• group: مجموعة السجل (بشكل افتراضي، اسم الملف الذي يحتوي على حدث السجل)
• id: معرف حدث السجل
• file: الملف الذي يحتوي على حدث السجل
• line: السطر داخل الملف لحدث السجل
• kwargs: أي معلمات مفتاحية تم تمريرها إلى حدث السجل

@inferred [AllowedType] f(x)

يختبر أن تعبير الاستدعاء f(x) يُرجع قيمة من نفس النوع الذي استنتجه المترجم. من المفيد التحقق من استقرار النوع.

يمكن أن يكون f(x) أي تعبير استدعاء. يُرجع نتيجة f(x) إذا تطابقت الأنواع، وError Result إذا وجد أنواعًا مختلفة.

اختياريًا، يُخفف AllowedType الاختبار، مما يجعله ينجح عندما يتطابق نوع f(x) مع النوع المستنتج مع مراعاة AllowedType، أو عندما يكون نوع الإرجاع فرعًا من AllowedType. هذا مفيد عند اختبار استقرار النوع للدوال التي تُرجع اتحادًا صغيرًا مثل Union{Nothing, T} أو Union{Missing, T}.

julia> f(a) = a > 1 ? 1 : 1.0
f (generic function with 1 method)

julia> typeof(f(2))
Int64

julia> @code_warntype f(2)
MethodInstance for f(::Int64)
  from f(a) @ Main none:1
Arguments
  #self#::Core.Const(f)
  a::Int64
Body::UNION{FLOAT64, INT64}
1 ─ %1 = (a > 1)::Bool
└──      goto #3 if not %1
2 ─      return 1
3 ─      return 1.0

julia> @inferred f(2)
ERROR: return type Int64 does not match inferred return type Union{Float64, Int64}
[...]

julia> @inferred max(1, 2)
2

julia> g(a) = a < 10 ? missing : 1.0
g (generic function with 1 method)

julia> @inferred g(20)
ERROR: return type Float64 does not match inferred return type Union{Missing, Float64}
[...]

julia> @inferred Missing g(20)
1.0

julia> h(a) = a < 10 ? missing : f(a)
h (generic function with 1 method)

julia> @inferred Missing h(20)
ERROR: return type Int64 does not match inferred return type Union{Missing, Float64, Int64}
[...]

@test_deprecated [pattern] expression

عند استخدام --depwarn=yes، اختبر أن expression يصدر تحذير إهمال وأعد القيمة لـ expression. سيتم مطابقة سلسلة رسالة السجل مع pattern الذي يكون افتراضيًا r"deprecated"i.

عند استخدام --depwarn=no، ببساطة أعد نتيجة تنفيذ expression. عند استخدام --depwarn=error، تحقق من أنه تم طرح ErrorException.

أمثلة

# تم إهماله في جوليا 0.7
@test_deprecated num2hex(1)

# يمكن اختبار القيمة المعادة عن طريق الربط مع @test:
@test (@test_deprecated num2hex(1)) == "0000000000000001"

@test_warn msg expr

اختبر ما إذا كانت تقييم expr ينتج عنه مخرجات stderr تحتوي على سلسلة msg أو تتطابق مع التعبير العادي msg. إذا كانت msg دالة منطقية، يتم اختبار ما إذا كانت msg(output) تعيد true. إذا كانت msg عبارة عن مجموعة أو مصفوفة، يتم التحقق من أن مخرجات الخطأ تحتوي/تتطابق مع كل عنصر في msg. تعيد نتيجة تقييم expr.

انظر أيضًا @test_nowarn للتحقق من عدم وجود مخرجات خطأ.

ملاحظة: لا يمكن اختبار التحذيرات الناتجة عن @warn باستخدام هذه الماكرو. استخدم @test_logs بدلاً من ذلك.

@test_nowarn expr

اختبر ما إذا كانت تقييم expr ينتج عنه إخراج فارغ stderr (لا تحذيرات أو رسائل أخرى). يُرجع نتيجة تقييم expr.

ملاحظة: لا يمكن اختبار غياب التحذيرات الناتجة عن @warn باستخدام هذه الماكرو. استخدم @test_logs بدلاً من ذلك.

@test_broken ex
@test_broken f(args...) key=val ...

تشير إلى اختبار يجب أن ينجح ولكنه يفشل باستمرار في الوقت الحالي. تختبر أن التعبير ex يقيم إلى false أو يسبب استثناء. تعيد Result من نوع Broken إذا حدث ذلك، أو Result من نوع Error إذا قيم التعبير إلى true. هذا يعادل @test ex broken=true.

شكل @test_broken f(args...) key=val... يعمل كما هو الحال في ماكرو @test.

أمثلة

julia> @test_broken 1 == 2
Test Broken
  Expression: 1 == 2

julia> @test_broken 1 == 2 atol=0.1
Test Broken
  Expression: ==(1, 2, atol = 0.1)

@test_skip ex
@test_skip f(args...) key=val ...

يحدد اختبارًا لا ينبغي تنفيذه ولكن يجب تضمينه في تقارير ملخص الاختبار كـ Broken. يمكن أن يكون هذا مفيدًا للاختبارات التي تفشل بشكل متقطع، أو اختبارات الوظائف التي لم يتم تنفيذها بعد. هذا يعادل @test ex skip=true.

يعمل شكل @test_skip f(args...) key=val... كما هو الحال في ماكرو @test.

أمثلة

julia> @test_skip 1 == 2
Test Broken
  Skipped: 1 == 2

julia> @test_skip 1 == 2 atol=0.1
Test Broken
  Skipped: ==(1, 2, atol = 0.1)

Test.Result

تنتج جميع الاختبارات كائن نتيجة. قد يتم تخزين هذا الكائن أو لا، اعتمادًا على ما إذا كانت الاختبار جزءًا من مجموعة اختبارات.

Test.Pass <: Test.Result

كانت حالة الاختبار صحيحة، أي أن التعبير تم تقييمه إلى صحيح أو تم طرح الاستثناء الصحيح.

Test.Fail <: Test.Result

كانت حالة الاختبار خاطئة، أي أن التعبير تم تقييمه إلى خطأ أو لم يتم رمي الاستثناء الصحيح.

Test.Error <: Test.Result

لم يكن من الممكن تقييم شرط الاختبار بسبب استثناء، أو تم تقييمه إلى شيء آخر غير Bool. في حالة @test_broken، يتم استخدامه للإشارة إلى حدوث Pass Result غير متوقع.

Test.Broken <: Test.Result

شرط الاختبار هو النتيجة المتوقعة (الفاشلة) لاختبار معطل، أو تم تخطيه صراحة باستخدام @test_skip.

record(ts::AbstractTestSet, res::Result)

سجل نتيجة لمجموعة الاختبار. يتم استدعاء هذه الدالة بواسطة بنية @testset في كل مرة تكتمل فيها ماكرو @test المحتوى، ويتم إعطاؤها نتيجة الاختبار (التي يمكن أن تكون Error). سيتم استدعاء هذا أيضًا مع Error إذا تم طرح استثناء داخل كتلة الاختبار ولكن خارج سياق @test.

finish(ts::AbstractTestSet)

قم بأي معالجة نهائية ضرورية لمجموعة الاختبار المعطاة. يتم استدعاء هذا بواسطة بنية @testset بعد تنفيذ كتلة الاختبار.

يجب على الأنواع الفرعية المخصصة لـ AbstractTestSet استدعاء record على الوالد (إذا كان موجودًا) لإضافة نفسها إلى شجرة نتائج الاختبار. يمكن تنفيذ ذلك كما يلي:

if get_testset_depth() != 0
    # ربط مجموعة الاختبار هذه بمجموعة الاختبار الوالد
    parent_ts = get_testset()
    record(parent_ts, self)
    return self
end

get_testset()

استرجع مجموعة الاختبار النشطة من التخزين المحلي للمهمة. إذا لم تكن هناك مجموعة اختبار نشطة، استخدم مجموعة الاختبار الافتراضية الاحتياطية.

get_testset_depth()

إرجاع عدد مجموعات الاختبار النشطة، دون احتساب مجموعة الاختبار الافتراضية

TestCounts

يمسك الحالة لجمع نتائج مجموعة الاختبار بشكل متكرر لأغراض العرض.

الحقول:

• customized: ما إذا كانت الدالة get_test_counts قد تم تخصيصها لمجموعة الاختبار AbstractTestSet التي ينتمي إليها كائن العد هذا. إذا تم تعريف طريقة مخصصة، يجب دائمًا تمرير true إلى المُنشئ.
• passes: عدد استدعاءات @test الناجحة.
• fails: عدد استدعاءات @test الفاشلة.
• errors: عدد استدعاءات @test التي حدثت بها أخطاء.
• broken: عدد استدعاءات @test المعطلة.
• passes: العدد التراكمي لاستدعاءات @test الناجحة.
• fails: العدد التراكمي لاستدعاءات @test الفاشلة.
• errors: العدد التراكمي لاستدعاءات @test التي حدثت بها أخطاء.
• broken: العدد التراكمي لاستدعاءات @test المعطلة.
• duration: إجمالي المدة التي استغرقتها مجموعة الاختبار AbstractTestSet المعنية، كـ String منسق.

" gettestcounts(::AbstractTestSet) -> TestCounts

دالة تكرارية تحسب عدد نتائج الاختبار من كل نوع مباشرة في مجموعة الاختبار، وتجمعها عبر مجموعات الاختبار الفرعية.

يجب على AbstractTestSet المخصصة تنفيذ هذه الدالة للحصول على إجمالياتها محسوبة ومعروضة مع DefaultTestSet أيضًا.

إذا لم يتم تنفيذ ذلك لمجموعة TestSet مخصصة، فإن الطباعة تعود للإبلاغ عن x للفشل و ?s للمدة.

format_duration(::AbstractTestSet)

إرجاع سلسلة منسقة لطباعة المدة التي استغرقها مجموعة الاختبار.

إذا لم يتم تعريفها، يتم الرجوع إلى "?s".

print_test_results(ts::AbstractTestSet, depth_pad=0)

طباعة نتائج AbstractTestSet كجدول منسق.

يشير depth_pad إلى مقدار الحشو الذي يجب إضافته أمام جميع المخرجات.

يتم استدعاؤه داخل Test.finish، إذا كانت مجموعة الاختبار التي تم إنهاؤها هي مجموعة الاختبار العليا.

يمكن استخدام GenericArray لاختبار واجهات برمجة التطبيقات للمصفوفات العامة التي تتبع واجهة AbstractArray، لضمان أن الوظائف يمكن أن تعمل مع أنواع المصفوفات بخلاف نوع Array القياسي.

يمكن استخدام GenericDict لاختبار واجهات برمجة التطبيقات الخاصة بالقواميس العامة التي تتبع واجهة AbstractDict، لضمان أن الوظائف يمكن أن تعمل مع الأنواع المرتبطة بالإضافة إلى نوع Dict القياسي.

يمكن استخدام GenericOrder لاختبار واجهات برمجة التطبيقات لدعمها لأنواع مرتبة عامة.

يمكن استخدام GenericSet لاختبار واجهات برمجة التطبيقات الخاصة بالمجموعات العامة التي تتبع واجهة AbstractSet، لضمان أن الوظائف يمكن أن تعمل مع أنواع المجموعات بخلاف الأنواع القياسية Set و BitSet.

يمكن استخدام GenericString لاختبار واجهات برمجة التطبيقات الخاصة بالسلاسل العامة التي تتبع واجهة AbstractString، لضمان أن الوظائف يمكن أن تعمل مع أنواع السلاسل بخلاف نوع String القياسي.

detect_ambiguities(mod1, mod2...; recursive=false,
                                  ambiguous_bottom=false,
                                  allowed_undefineds=nothing)

إرجاع متجه من أزواج (Method,Method) من الطرق الغامضة المعرفة في الوحدات المحددة. استخدم recursive=true للاختبار في جميع الوحدات الفرعية.

يتحكم ambiguous_bottom في ما إذا كانت الغموضات التي يتم تحفيزها فقط بواسطة معلمات نوع Union{} مشمولة؛ في معظم الحالات، من المحتمل أن ترغب في تعيين هذا إلى false. انظر Base.isambiguous.

انظر Test.detect_unbound_args لشرح allowed_undefineds.

detect_unbound_args(mod1, mod2...; recursive=false, allowed_undefineds=nothing)

إرجاع متجه من Methods التي قد تحتوي على معلمات نوع غير مرتبطة. استخدم recursive=true للاختبار في جميع الوحدات الفرعية.

بشكل افتراضي، أي رموز غير معرفة تؤدي إلى تحذير. يمكن كتم هذا التحذير من خلال تقديم مجموعة من GlobalRefs التي يمكن تخطي التحذير بشأنها. على سبيل المثال، تعيين

allowed_undefineds = Set([GlobalRef(Base, :active_repl),
                          GlobalRef(Base, :active_repl_backend)])

سوف يكتم التحذيرات حول Base.active_repl و Base.active_repl_backend.