| // -*- C++ -*- |
| |
| // Copyright (C) 2005, 2006 Free Software Foundation, Inc. |
| // |
| // This file is part of the GNU ISO C++ Library. This library is free |
| // software; you can redistribute it and/or modify it under the terms |
| // of the GNU General Public License as published by the Free Software |
| // Foundation; either version 2, or (at your option) any later |
| // version. |
| |
| // This library is distributed in the hope that it will be useful, but |
| // WITHOUT ANY WARRANTY; without even the implied warranty of |
| // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| // General Public License for more details. |
| |
| // You should have received a copy of the GNU General Public License |
| // along with this library; see the file COPYING. If not, write to |
| // the Free Software Foundation, 59 Temple Place - Suite 330, Boston, |
| // MA 02111-1307, USA. |
| |
| // As a special exception, you may use this file as part of a free |
| // software library without restriction. Specifically, if other files |
| // instantiate templates or use macros or inline functions from this |
| // file, or you compile this file and link it with other files to |
| // produce an executable, this file does not by itself cause the |
| // resulting executable to be covered by the GNU General Public |
| // License. This exception does not however invalidate any other |
| // reasons why the executable file might be covered by the GNU General |
| // Public License. |
| |
| // Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL. |
| |
| // Permission to use, copy, modify, sell, and distribute this software |
| // is hereby granted without fee, provided that the above copyright |
| // notice appears in all copies, and that both that copyright notice |
| // and this permission notice appear in supporting documentation. None |
| // of the above authors, nor IBM Haifa Research Laboratories, make any |
| // representation about the suitability of this software for any |
| // purpose. It is provided "as is" without express or implied |
| // warranty. |
| |
| /** |
| * @file rand_regression_test.hpp |
| * Contains a random-operation test. |
| */ |
| |
| #ifndef PB_DS_ASSOC_RAND_REGRESSION_TEST_HPP |
| #define PB_DS_ASSOC_RAND_REGRESSION_TEST_HPP |
| |
| #include <iostream> |
| #include <vector> |
| #include <regression/rand/assoc/container_rand_regression_test.hpp> |
| #include <io/verified_cmd_line_input.hpp> |
| #include <common_type/assoc/common_type.hpp> |
| #include <regression/basic_type.hpp> |
| #include <regression/assoc/common_type.hpp> |
| |
| namespace pb_ds |
| { |
| namespace test |
| { |
| namespace detail |
| { |
| #ifndef PB_DS_REGRESSION |
| #error "Must define PB_DS_REGRESSION" |
| #endif |
| |
| struct rand_reg_test |
| { |
| public: |
| rand_reg_test(size_t seed, size_t n, size_t m, double tp, double ip, |
| double ep, double cp, double mp, bool d) |
| : m_sd(seed), m_n(n), m_m(m), m_tp(tp), m_ip(ip), m_ep(ep), m_cp(cp), |
| m_mp(mp), m_disp(d) |
| { } |
| |
| template<typename Cntnr> |
| void |
| operator()(Cntnr) |
| { |
| unsigned long ul = static_cast<unsigned long>(m_sd); |
| container_rand_regression_test<Cntnr> t(ul, m_n, m_n, m_tp, m_ip, |
| m_ep, m_cp, m_mp, m_disp); |
| t(); |
| } |
| |
| private: |
| const size_t m_sd; |
| const size_t m_n; |
| const size_t m_m; |
| const double m_tp; |
| const double m_ip; |
| const double m_ep; |
| const double m_cp; |
| const double m_mp; |
| const bool m_disp; |
| }; |
| |
| void |
| usage(const std::string& r_name); |
| |
| void |
| verify_params(size_t&, size_t&, size_t&, |
| double&, double&, double&, double&, double&, bool&); |
| } // namespace detail |
| |
| template<typename TL> |
| int |
| rand_regression_test(size_t iter, size_t keys, const std::string name, TL tl) |
| { |
| // Sane defaults. |
| size_t n = iter; |
| size_t m = keys; |
| size_t sd = 0; // 0 = time-determined arbitrary |
| double tp = 0.2; |
| double ip = 0.6; |
| double ep = 0.2; |
| double cp = 0.001; |
| double mp = 0.25; |
| bool disp = false; // show progress |
| |
| try |
| { |
| detail::verify_params(sd, n, m, tp, ip, ep, cp, mp, disp); |
| } |
| catch (pb_ds::test::illegal_input_error&) |
| { |
| detail::usage(name); |
| return -1; |
| } |
| catch (...) |
| { |
| return -2; |
| }; |
| |
| xml_test_rand_regression_formatter* p_fmt = NULL; |
| if (sd == 0) |
| sd = twister_rand_gen::get_time_determined_seed(); |
| if (disp) |
| p_fmt = new xml_test_rand_regression_formatter(sd, n, m, tp, ip, |
| ep, cp, mp); |
| |
| try |
| { |
| detail::rand_reg_test tst(sd, n, m, tp, ip, ep, cp, mp, disp); |
| __gnu_cxx::typelist::apply(tst, tl); |
| } |
| catch (...) |
| { |
| std::cerr << "Test failed with seed " << sd << std::endl; |
| if (disp) |
| delete p_fmt; |
| throw; |
| } |
| |
| if (disp) |
| delete p_fmt; |
| return 0; |
| } |
| |
| namespace detail |
| { |
| void |
| usage(const std::string& name) |
| { |
| using namespace std; |
| cerr << "usage: " << name << " <sd> <n> <m> <tp> <ip> <ep> <cp> <mp> ['t' | 'f']" << |
| endl << endl; |
| |
| cerr << "This test performs basic regression tests on various associative containers." |
| "For each container, it performs a sequence of operations. At each iteration, it does " |
| "the following: " << endl; |
| cerr << "* Performs an operation on the container " << endl; |
| cerr << "* Performs the same operation on an cntnr object" << endl; |
| cerr << "* Possibly compares the container to the cntnr object" << endl; |
| cerr << "* Checks that exceptions (thrown by an allocator) " |
| "do not violate exception guarantees"; |
| |
| cerr << endl << endl; |
| |
| cerr << "sd = seed for random-number generator; 0 = " |
| "time determined value" << endl; |
| cerr << "n = number of iterations" << endl; |
| cerr << "m = number of distinct values" << endl; |
| cerr << "tp = probability that an exception will be actively thrown" << endl; |
| cerr << "ip = probability that an operation will be insert" << endl; |
| cerr << "ep = probability that an operation will be erase" << endl; |
| cerr << "cp = probability that an operation will be clear" << endl; |
| cerr << "(therefore, 1 - (ip + ep + cp) = probability of any other operation)" << endl; |
| cerr << "mp = probability that the container will be compared to the cntnr object" << endl; |
| cerr << "'t' or 'f' determine whether progress will be displayed" << endl; |
| } |
| |
| void |
| verify_params(size_t& r_seed, size_t& r_n, |
| size_t& r_m, double& r_tp, double& r_ip, double& r_ep, |
| double& r_cp, double& r_mp, bool& r_d) |
| { |
| verify_prob(r_tp); |
| verify_prob(r_ip); |
| verify_prob(r_ep); |
| verify_prob(r_cp); |
| verify_prob(r_mp); |
| verify_prob(r_ip + r_ep + r_cp); |
| } |
| } // namespace detail |
| } // namespace test |
| } // namespace pb_ds |
| |
| #endif |