tests.cpp 4.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111
  1. /**
  2. * @file tests/dtss/tests.cpp
  3. * @author The PARADEVS Development Team
  4. * See the AUTHORS or Authors.txt file
  5. */
  6. /*
  7. * PARADEVS - the multimodeling and simulation environment
  8. * This file is a part of the PARADEVS environment
  9. *
  10. * Copyright (C) 2013 ULCO http://www.univ-litoral.fr
  11. *
  12. * This program is free software: you can redistribute it and/or modify
  13. * it under the terms of the GNU General Public License as published by
  14. * the Free Software Foundation, either version 3 of the License, or
  15. * (at your option) any later version.
  16. *
  17. * This program is distributed in the hope that it will be useful,
  18. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  19. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  20. * GNU General Public License for more details.
  21. *
  22. * You should have received a copy of the GNU General Public License
  23. * along with this program. If not, see <http://www.gnu.org/licenses/>.
  24. */
  25. #include <tests/dtss/graph_manager.hpp>
  26. #include <tests/dtss/models.hpp>
  27. #include <common/RootCoordinator.hpp>
  28. #define CATCH_CONFIG_MAIN
  29. #include <tests/catch.hpp>
  30. using namespace paradevs::tests::dtss;
  31. TEST_CASE("dtss/only_one", "run")
  32. {
  33. paradevs::common::RootCoordinator <
  34. MyTime, paradevs::dtss::Coordinator <
  35. MyTime, Policy, OnlyOneGraphManager,
  36. paradevs::dtss::Parameters < MyTime >,
  37. paradevs::common::NoParameters >
  38. > rc(0, 10, "root",
  39. paradevs::dtss::Parameters < MyTime >(1),
  40. paradevs::common::NoParameters());
  41. paradevs::common::Trace < MyTime >::trace().clear();
  42. rc.run();
  43. REQUIRE(paradevs::common::Trace <
  44. MyTime >::trace().elements().
  45. filter_model_name("a").
  46. filter_type(paradevs::common::START).size() == 1);
  47. for (double t = 0; t <= 10; ++t) {
  48. REQUIRE(paradevs::common::Trace <
  49. MyTime >::trace().elements().
  50. filter_model_name("a").filter_time(t).
  51. filter_type(paradevs::common::DELTA_INT).size() == 1);
  52. REQUIRE(paradevs::common::Trace <
  53. MyTime >::trace().elements().
  54. filter_model_name("a").filter_time(t).
  55. filter_type(paradevs::common::LAMBDA).size() == 1);
  56. }
  57. }
  58. TEST_CASE("dtss/two", "run")
  59. {
  60. paradevs::common::RootCoordinator <
  61. MyTime, paradevs::dtss::Coordinator <
  62. MyTime, Policy, TwoGraphManager,
  63. paradevs::dtss::Parameters < MyTime >,
  64. paradevs::common::NoParameters >
  65. > rc(0, 10, "root",
  66. paradevs::dtss::Parameters < MyTime >(1),
  67. paradevs::common::NoParameters());
  68. paradevs::common::Trace < MyTime >::trace().clear();
  69. rc.run();
  70. REQUIRE(paradevs::common::Trace <
  71. MyTime >::trace().elements().
  72. filter_model_name("a").
  73. filter_type(paradevs::common::START).size() == 1);
  74. for (unsigned int t = 0; t <= 10; ++t) {
  75. REQUIRE(paradevs::common::Trace <
  76. MyTime >::trace().elements().
  77. filter_model_name("a").filter_time(t).
  78. filter_type(paradevs::common::DELTA_INT).size() == 1);
  79. REQUIRE(paradevs::common::Trace <
  80. MyTime >::trace().elements().
  81. filter_model_name("a").filter_time(t).
  82. filter_type(paradevs::common::LAMBDA).size() == 1);
  83. }
  84. REQUIRE(paradevs::common::Trace <
  85. MyTime >::trace().elements().
  86. filter_model_name("b").
  87. filter_type(paradevs::common::START).size() == 1);
  88. for (unsigned int t = 0; t <= 10; ++t) {
  89. REQUIRE(paradevs::common::Trace <
  90. MyTime >::trace().elements().
  91. filter_model_name("b").filter_time(t).
  92. filter_type(paradevs::common::DELTA_INT).size() == 1);
  93. REQUIRE(paradevs::common::Trace <
  94. MyTime >::trace().elements().
  95. filter_model_name("b").filter_time(t).
  96. filter_type(paradevs::common::LAMBDA).size() == 1);
  97. }
  98. }