Erlang 21

ct_property_test




erlang

ct_property_test

मॉड्यूल

ct_property_test

मॉड्यूल सारांश

संपत्ति-आधारित परीक्षणों को कॉल करने के लिए सामान्य परीक्षण में व्यावसायिक समर्थन।

विवरण

संपत्ति-आधारित परीक्षणों को कॉल करने के लिए Common Test में व्यावसायिक समर्थन।

यह मॉड्यूल Common Test ढांचे में संपत्ति-आधारित परीक्षण चलाने के लिए एक पहला कदम है। QuickCheck या PropEr जैसे एक संपत्ति परीक्षण उपकरण को स्थापित किया जाना माना जाता है।

यह विचार है कि Common Test टेस्ट सूट एक संपत्ति परीक्षण उपकरण है जिसे विशेष संपत्ति परीक्षण सूट के साथ उस उपकरण द्वारा परिभाषित किया गया है। सामान्य Erlang एप्लिकेशन निर्देशिका संरचना मान ली गई है। परीक्षण आवेदन की test निर्देशिका में एकत्र किए जाते हैं। test निर्देशिका में एक उपनिर्देशिका property_test , जहां संपत्ति परीक्षणों के लिए आवश्यक सभी चीजें एकत्र की जाती हैं।

ct_property_test का उपयोग करके एक सामान्य Common Test टेस्ट सूट निम्नानुसार आयोजित किया जाता है:

-include_lib("common_test/include/ct.hrl").

all() -> [prop_ftp_case].

init_per_suite(Config) ->
    ct_property_test:init_per_suite(Config).

%%%---- test case
prop_ftp_case(Config) ->
    ct_property_test:quickcheck(
      ftp_simple_client_server:prop_ftp(Config),
      Config
     ).
चेतावनी

यह प्रायोगिक कोड है जिसे बिना किसी चेतावनी के कभी भी बदला या हटाया जा सकता है।

निर्यात

init_per_suite (विन्यास) -> विन्यास | {छोड़ें, कारण}

प्रॉपर्टी टेस्टिंग के लिए Config को इनिशियलाइज़ करता है।

यह फ़ंक्शन जाँचता है कि क्या क्विकचेक, प्रोपायर, या ट्राइक के लिए समर्थन उपलब्ध है। Config गए Config में {property_dir,AbsPath} और {property_test_tool,Tool} {property_dir,AbsPath} सेट हैं।

फ़ंक्शन का उद्देश्य परीक्षण सूट में फ़ंक्शन init_per_suite कहा जाता है।

संपत्ति परीक्षणों को उपनिर्देशिका property_test में माना जाता है।

quickcheck (संपत्ति, विन्यास) -> सच | {विफल, कारण}

कॉकल टेस्ट को रद्द करता है और परिणाम को Common Test के लिए उपयुक्त बनाता है।

इस फ़ंक्शन का उद्देश्य परीक्षण सूट में परीक्षण मामलों में बुलाया जाना है।