1*b0d29bc4SBrooks Davis // Copyright 2011 The Kyua Authors.
2*b0d29bc4SBrooks Davis // All rights reserved.
3*b0d29bc4SBrooks Davis //
4*b0d29bc4SBrooks Davis // Redistribution and use in source and binary forms, with or without
5*b0d29bc4SBrooks Davis // modification, are permitted provided that the following conditions are
6*b0d29bc4SBrooks Davis // met:
7*b0d29bc4SBrooks Davis //
8*b0d29bc4SBrooks Davis // * Redistributions of source code must retain the above copyright
9*b0d29bc4SBrooks Davis //   notice, this list of conditions and the following disclaimer.
10*b0d29bc4SBrooks Davis // * Redistributions in binary form must reproduce the above copyright
11*b0d29bc4SBrooks Davis //   notice, this list of conditions and the following disclaimer in the
12*b0d29bc4SBrooks Davis //   documentation and/or other materials provided with the distribution.
13*b0d29bc4SBrooks Davis // * Neither the name of Google Inc. nor the names of its contributors
14*b0d29bc4SBrooks Davis //   may be used to endorse or promote products derived from this software
15*b0d29bc4SBrooks Davis //   without specific prior written permission.
16*b0d29bc4SBrooks Davis //
17*b0d29bc4SBrooks Davis // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18*b0d29bc4SBrooks Davis // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19*b0d29bc4SBrooks Davis // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20*b0d29bc4SBrooks Davis // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
21*b0d29bc4SBrooks Davis // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
22*b0d29bc4SBrooks Davis // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
23*b0d29bc4SBrooks Davis // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24*b0d29bc4SBrooks Davis // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25*b0d29bc4SBrooks Davis // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26*b0d29bc4SBrooks Davis // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
27*b0d29bc4SBrooks Davis // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28*b0d29bc4SBrooks Davis 
29*b0d29bc4SBrooks Davis extern "C" {
30*b0d29bc4SBrooks Davis #include <sys/stat.h>
31*b0d29bc4SBrooks Davis 
32*b0d29bc4SBrooks Davis #include <unistd.h>
33*b0d29bc4SBrooks Davis 
34*b0d29bc4SBrooks Davis extern char** environ;
35*b0d29bc4SBrooks Davis }
36*b0d29bc4SBrooks Davis 
37*b0d29bc4SBrooks Davis #include <cstdlib>
38*b0d29bc4SBrooks Davis #include <cstring>
39*b0d29bc4SBrooks Davis #include <fstream>
40*b0d29bc4SBrooks Davis #include <iostream>
41*b0d29bc4SBrooks Davis #include <sstream>
42*b0d29bc4SBrooks Davis 
43*b0d29bc4SBrooks Davis #include "utils/env.hpp"
44*b0d29bc4SBrooks Davis #include "utils/format/containers.ipp"
45*b0d29bc4SBrooks Davis #include "utils/format/macros.hpp"
46*b0d29bc4SBrooks Davis #include "utils/fs/operations.hpp"
47*b0d29bc4SBrooks Davis #include "utils/fs/path.hpp"
48*b0d29bc4SBrooks Davis #include "utils/optional.ipp"
49*b0d29bc4SBrooks Davis #include "utils/test_utils.ipp"
50*b0d29bc4SBrooks Davis 
51*b0d29bc4SBrooks Davis namespace fs = utils::fs;
52*b0d29bc4SBrooks Davis 
53*b0d29bc4SBrooks Davis using utils::optional;
54*b0d29bc4SBrooks Davis 
55*b0d29bc4SBrooks Davis 
56*b0d29bc4SBrooks Davis namespace {
57*b0d29bc4SBrooks Davis 
58*b0d29bc4SBrooks Davis 
59*b0d29bc4SBrooks Davis /// Gets the name of the test case to run.
60*b0d29bc4SBrooks Davis ///
61*b0d29bc4SBrooks Davis /// We use the value of the TEST_CASE environment variable if present, or
62*b0d29bc4SBrooks Davis /// else the basename of the test program.
63*b0d29bc4SBrooks Davis ///
64*b0d29bc4SBrooks Davis /// \param arg0 Value of argv[0] as passed to main().
65*b0d29bc4SBrooks Davis ///
66*b0d29bc4SBrooks Davis /// \return A test case name.  The name may not be valid.
67*b0d29bc4SBrooks Davis static std::string
guess_test_case_name(const char * arg0)68*b0d29bc4SBrooks Davis guess_test_case_name(const char* arg0)
69*b0d29bc4SBrooks Davis {
70*b0d29bc4SBrooks Davis     const optional< std::string > test_case_env = utils::getenv("TEST_CASE");
71*b0d29bc4SBrooks Davis     if (test_case_env) {
72*b0d29bc4SBrooks Davis         return test_case_env.get();
73*b0d29bc4SBrooks Davis     } else {
74*b0d29bc4SBrooks Davis         return fs::path(arg0).leaf_name();
75*b0d29bc4SBrooks Davis     }
76*b0d29bc4SBrooks Davis }
77*b0d29bc4SBrooks Davis 
78*b0d29bc4SBrooks Davis 
79*b0d29bc4SBrooks Davis /// Logs an error message and exits the test with an error code.
80*b0d29bc4SBrooks Davis ///
81*b0d29bc4SBrooks Davis /// \param str The error message to log.
82*b0d29bc4SBrooks Davis static void
fail(const std::string & str)83*b0d29bc4SBrooks Davis fail(const std::string& str)
84*b0d29bc4SBrooks Davis {
85*b0d29bc4SBrooks Davis     std::cerr << str << '\n';
86*b0d29bc4SBrooks Davis     std::exit(EXIT_FAILURE);
87*b0d29bc4SBrooks Davis }
88*b0d29bc4SBrooks Davis 
89*b0d29bc4SBrooks Davis 
90*b0d29bc4SBrooks Davis /// A test case that validates the TEST_ENV_* variables.
91*b0d29bc4SBrooks Davis static void
test_check_configuration_variables(void)92*b0d29bc4SBrooks Davis test_check_configuration_variables(void)
93*b0d29bc4SBrooks Davis {
94*b0d29bc4SBrooks Davis     std::set< std::string > vars;
95*b0d29bc4SBrooks Davis     char** iter;
96*b0d29bc4SBrooks Davis     for (iter = environ; *iter != NULL; ++iter) {
97*b0d29bc4SBrooks Davis         if (std::strstr(*iter, "TEST_ENV_") == *iter) {
98*b0d29bc4SBrooks Davis             vars.insert(*iter);
99*b0d29bc4SBrooks Davis         }
100*b0d29bc4SBrooks Davis     }
101*b0d29bc4SBrooks Davis 
102*b0d29bc4SBrooks Davis     std::set< std::string > exp_vars;
103*b0d29bc4SBrooks Davis     exp_vars.insert("TEST_ENV_first=some value");
104*b0d29bc4SBrooks Davis     exp_vars.insert("TEST_ENV_second=some other value");
105*b0d29bc4SBrooks Davis     if (vars != exp_vars) {
106*b0d29bc4SBrooks Davis         fail(F("Expected: %s\nFound: %s\n") % exp_vars % vars);
107*b0d29bc4SBrooks Davis     }
108*b0d29bc4SBrooks Davis }
109*b0d29bc4SBrooks Davis 
110*b0d29bc4SBrooks Davis 
111*b0d29bc4SBrooks Davis /// A test case that crashes.
112*b0d29bc4SBrooks Davis static void
test_crash(void)113*b0d29bc4SBrooks Davis test_crash(void)
114*b0d29bc4SBrooks Davis {
115*b0d29bc4SBrooks Davis     utils::abort_without_coredump();
116*b0d29bc4SBrooks Davis }
117*b0d29bc4SBrooks Davis 
118*b0d29bc4SBrooks Davis 
119*b0d29bc4SBrooks Davis /// A test case that exits with a non-zero exit code, and not 1.
120*b0d29bc4SBrooks Davis static void
test_fail(void)121*b0d29bc4SBrooks Davis test_fail(void)
122*b0d29bc4SBrooks Davis {
123*b0d29bc4SBrooks Davis     std::exit(8);
124*b0d29bc4SBrooks Davis }
125*b0d29bc4SBrooks Davis 
126*b0d29bc4SBrooks Davis 
127*b0d29bc4SBrooks Davis /// A test case that passes.
128*b0d29bc4SBrooks Davis static void
test_pass(void)129*b0d29bc4SBrooks Davis test_pass(void)
130*b0d29bc4SBrooks Davis {
131*b0d29bc4SBrooks Davis }
132*b0d29bc4SBrooks Davis 
133*b0d29bc4SBrooks Davis 
134*b0d29bc4SBrooks Davis /// A test case that spawns a subchild that gets stuck.
135*b0d29bc4SBrooks Davis ///
136*b0d29bc4SBrooks Davis /// This test case is used by the caller to validate that the whole process tree
137*b0d29bc4SBrooks Davis /// is terminated when the test case is killed.
138*b0d29bc4SBrooks Davis static void
test_spawn_blocking_child(void)139*b0d29bc4SBrooks Davis test_spawn_blocking_child(void)
140*b0d29bc4SBrooks Davis {
141*b0d29bc4SBrooks Davis     pid_t pid = ::fork();
142*b0d29bc4SBrooks Davis     if (pid == -1)
143*b0d29bc4SBrooks Davis         fail("Cannot fork subprocess");
144*b0d29bc4SBrooks Davis     else if (pid == 0) {
145*b0d29bc4SBrooks Davis         for (;;)
146*b0d29bc4SBrooks Davis             ::pause();
147*b0d29bc4SBrooks Davis     } else {
148*b0d29bc4SBrooks Davis         const fs::path name = fs::path(utils::getenv("CONTROL_DIR").get()) /
149*b0d29bc4SBrooks Davis             "pid";
150*b0d29bc4SBrooks Davis         std::ofstream pidfile(name.c_str());
151*b0d29bc4SBrooks Davis         if (!pidfile)
152*b0d29bc4SBrooks Davis             fail("Failed to create the pidfile");
153*b0d29bc4SBrooks Davis         pidfile << pid;
154*b0d29bc4SBrooks Davis         pidfile.close();
155*b0d29bc4SBrooks Davis     }
156*b0d29bc4SBrooks Davis }
157*b0d29bc4SBrooks Davis 
158*b0d29bc4SBrooks Davis 
159*b0d29bc4SBrooks Davis /// A test case that times out.
160*b0d29bc4SBrooks Davis ///
161*b0d29bc4SBrooks Davis /// Note that the timeout is defined in the Kyuafile, as the plain interface has
162*b0d29bc4SBrooks Davis /// no means for test programs to specify this by themselves.
163*b0d29bc4SBrooks Davis static void
test_timeout(void)164*b0d29bc4SBrooks Davis test_timeout(void)
165*b0d29bc4SBrooks Davis {
166*b0d29bc4SBrooks Davis     ::sleep(10);
167*b0d29bc4SBrooks Davis     const fs::path control_dir = fs::path(utils::getenv("CONTROL_DIR").get());
168*b0d29bc4SBrooks Davis     std::ofstream file((control_dir / "cookie").c_str());
169*b0d29bc4SBrooks Davis     if (!file)
170*b0d29bc4SBrooks Davis         fail("Failed to create the control cookie");
171*b0d29bc4SBrooks Davis     file.close();
172*b0d29bc4SBrooks Davis }
173*b0d29bc4SBrooks Davis 
174*b0d29bc4SBrooks Davis 
175*b0d29bc4SBrooks Davis /// A test case that performs basic checks on the runtime environment.
176*b0d29bc4SBrooks Davis ///
177*b0d29bc4SBrooks Davis /// If the runtime environment does not look clean (according to the rules in
178*b0d29bc4SBrooks Davis /// the Kyua runtime properties), the test fails.
179*b0d29bc4SBrooks Davis static void
test_validate_isolation(void)180*b0d29bc4SBrooks Davis test_validate_isolation(void)
181*b0d29bc4SBrooks Davis {
182*b0d29bc4SBrooks Davis     if (utils::getenv("HOME").get() == "fake-value")
183*b0d29bc4SBrooks Davis         fail("HOME not reset");
184*b0d29bc4SBrooks Davis     if (utils::getenv("LANG"))
185*b0d29bc4SBrooks Davis         fail("LANG not unset");
186*b0d29bc4SBrooks Davis }
187*b0d29bc4SBrooks Davis 
188*b0d29bc4SBrooks Davis 
189*b0d29bc4SBrooks Davis }  // anonymous namespace
190*b0d29bc4SBrooks Davis 
191*b0d29bc4SBrooks Davis 
192*b0d29bc4SBrooks Davis /// Entry point to the test program.
193*b0d29bc4SBrooks Davis ///
194*b0d29bc4SBrooks Davis /// The caller can select which test case to run by defining the TEST_CASE
195*b0d29bc4SBrooks Davis /// environment variable.  This is not "standard", in the sense this is not a
196*b0d29bc4SBrooks Davis /// generic property of the plain test case interface.
197*b0d29bc4SBrooks Davis ///
198*b0d29bc4SBrooks Davis /// \todo It may be worth to split this binary into separate, smaller binaries,
199*b0d29bc4SBrooks Davis /// one for every "test case".  We use this program as a dispatcher for
200*b0d29bc4SBrooks Davis /// different "main"s, the only reason being to keep the amount of helper test
201*b0d29bc4SBrooks Davis /// programs to a minimum.  However, putting this each function in its own
202*b0d29bc4SBrooks Davis /// binary could simplify many other things.
203*b0d29bc4SBrooks Davis ///
204*b0d29bc4SBrooks Davis /// \param argc The number of CLI arguments.
205*b0d29bc4SBrooks Davis /// \param argv The CLI arguments themselves.  These are not used because
206*b0d29bc4SBrooks Davis ///     Kyua will not pass any arguments to the plain test program.
207*b0d29bc4SBrooks Davis int
main(int argc,char ** argv)208*b0d29bc4SBrooks Davis main(int argc, char** argv)
209*b0d29bc4SBrooks Davis {
210*b0d29bc4SBrooks Davis     if (argc != 1) {
211*b0d29bc4SBrooks Davis         std::cerr << "No arguments allowed; select the test case with the "
212*b0d29bc4SBrooks Davis             "TEST_CASE variable";
213*b0d29bc4SBrooks Davis         return EXIT_FAILURE;
214*b0d29bc4SBrooks Davis     }
215*b0d29bc4SBrooks Davis 
216*b0d29bc4SBrooks Davis     const std::string& test_case = guess_test_case_name(argv[0]);
217*b0d29bc4SBrooks Davis 
218*b0d29bc4SBrooks Davis     if (test_case == "check_configuration_variables")
219*b0d29bc4SBrooks Davis         test_check_configuration_variables();
220*b0d29bc4SBrooks Davis     else if (test_case == "crash")
221*b0d29bc4SBrooks Davis         test_crash();
222*b0d29bc4SBrooks Davis     else if (test_case == "fail")
223*b0d29bc4SBrooks Davis         test_fail();
224*b0d29bc4SBrooks Davis     else if (test_case == "pass")
225*b0d29bc4SBrooks Davis         test_pass();
226*b0d29bc4SBrooks Davis     else if (test_case == "spawn_blocking_child")
227*b0d29bc4SBrooks Davis         test_spawn_blocking_child();
228*b0d29bc4SBrooks Davis     else if (test_case == "timeout")
229*b0d29bc4SBrooks Davis         test_timeout();
230*b0d29bc4SBrooks Davis     else if (test_case == "validate_isolation")
231*b0d29bc4SBrooks Davis         test_validate_isolation();
232*b0d29bc4SBrooks Davis     else {
233*b0d29bc4SBrooks Davis         std::cerr << "Unknown test case";
234*b0d29bc4SBrooks Davis         return EXIT_FAILURE;
235*b0d29bc4SBrooks Davis     }
236*b0d29bc4SBrooks Davis 
237*b0d29bc4SBrooks Davis     return EXIT_SUCCESS;
238*b0d29bc4SBrooks Davis }
239