tests/qtest/device-introspect-test.c

   1 /*
   2  * Device introspection test cases
   3  *
   4  * Copyright (c) 2015 Red Hat Inc.
   5  *
   6  * Authors:
   7  *  Markus Armbruster <armbru@redhat.com>,
   8  *
   9  * This work is licensed under the terms of the GNU GPL, version 2 or later.
  10  * See the COPYING file in the top-level directory.
  11  */
  12
  13 /*
  14  * Covers QMP device-list-properties and HMP device_add help.  We
  15  * currently don't check that their output makes sense, only that QEMU
  16  * survives.  Useful since we've had an astounding number of crash
  17  * bugs around here.
  18  */
  19
  20 #include "qemu/osdep.h"
  21 #include "qapi/qmp/qstring.h"
  22 #include "qapi/qmp/qdict.h"
  23 #include "qapi/qmp/qlist.h"
  24 #include "libqos/libqtest.h"
  25
  26 const char common_args[] = "-nodefaults -machine none";
  27
  28 static QList *qom_list_types(QTestState * qts, const char *implements,
  29                              bool abstract)
  30 {
  31     QDict *resp;
  32     QList *ret;
  33     QDict *args = qdict_new();
  34
  35     qdict_put_bool(args, "abstract", abstract);
  36     if (implements) {
  37         qdict_put_str(args, "implements", implements);
  38     }
  39     resp = qtest_qmp(qts, "{'execute': 'qom-list-types', 'arguments': %p }",
  40                      args);
  41     g_assert(qdict_haskey(resp, "return"));
  42     ret = qdict_get_qlist(resp, "return");
  43     qobject_ref(ret);
  44     qobject_unref(resp);
  45     return ret;
  46 }
  47
  48 /* Build a name -> ObjectTypeInfo index from a ObjectTypeInfo list */
  49 static QDict *qom_type_index(QList *types)
  50 {
  51     QDict *index = qdict_new();
  52     QListEntry *e;
  53
  54     QLIST_FOREACH_ENTRY(types, e) {
  55         QDict *d = qobject_to(QDict, qlist_entry_obj(e));
  56         const char *name = qdict_get_str(d, "name");
  57         qobject_ref(d);
  58         qdict_put(index, name, d);
  59     }
  60     return index;
  61 }
  62
  63 /* Check if @parent is present in the parent chain of @type */
  64 static bool qom_has_parent(QDict *index, const char *type, const char *parent)
  65 {
  66     while (type) {
  67         QDict *d = qdict_get_qdict(index, type);
  68         const char *p = d && qdict_haskey(d, "parent") ?
  69                         qdict_get_str(d, "parent") :
  70                         NULL;
  71
  72         if (!strcmp(type, parent)) {
  73             return true;
  74         }
  75
  76         type = p;
  77     }
  78
  79     return false;
  80 }
  81
  82 /* Find an entry on a list returned by qom-list-types */
  83 static QDict *type_list_find(QList *types, const char *name)
  84 {
  85     QListEntry *e;
  86
  87     QLIST_FOREACH_ENTRY(types, e) {
  88         QDict *d = qobject_to(QDict, qlist_entry_obj(e));
  89         const char *ename = qdict_get_str(d, "name");
  90         if (!strcmp(ename, name)) {
  91             return d;
  92         }
  93     }
  94
  95     return NULL;
  96 }
  97
  98 static QList *device_type_list(QTestState *qts, bool abstract)
  99 {
 100     return qom_list_types(qts, "device", abstract);
 101 }
 102
 103 static void test_one_device(QTestState *qts, const char *type)
 104 {
 105     QDict *resp;
 106     char *help, *escaped;
 107     GRegex *comma;
 108
 109     g_test_message("Testing device '%s'", type);
 110
 111     resp = qtest_qmp(qts, "{'execute': 'device-list-properties',"
 112                           " 'arguments': {'typename': %s}}",
 113                type);
 114     qobject_unref(resp);
 115
 116     comma = g_regex_new(",", 0, 0, NULL);
 117     escaped = g_regex_replace_literal(comma, type, -1, 0, ",,", 0, NULL);
 118     g_regex_unref(comma);
 119
 120     help = qtest_hmp(qts, "device_add \"%s,help\"", escaped);
 121     g_free(help);
 122     g_free(escaped);
 123 }
 124
 125 static void test_device_intro_list(void)
 126 {
 127     QList *types;
 128     char *help;
 129     QTestState *qts;
 130
 131     qts = qtest_init(common_args);
 132
 133     types = device_type_list(qts, true);
 134     qobject_unref(types);
 135
 136     help = qtest_hmp(qts, "device_add help");
 137     g_free(help);
 138
 139     qtest_quit(qts);
 140 }
 141
 142 /*
 143  * Ensure all entries returned by qom-list-types implements=<parent>
 144  * have <parent> as a parent.
 145  */
 146 static void test_qom_list_parents(QTestState *qts, const char *parent)
 147 {
 148     QList *types;
 149     QListEntry *e;
 150     QDict *index;
 151
 152     types = qom_list_types(qts, parent, true);
 153     index = qom_type_index(types);
 154
 155     QLIST_FOREACH_ENTRY(types, e) {
 156         QDict *d = qobject_to(QDict, qlist_entry_obj(e));
 157         const char *name = qdict_get_str(d, "name");
 158
 159         g_assert(qom_has_parent(index, name, parent));
 160     }
 161
 162     qobject_unref(types);
 163     qobject_unref(index);
 164 }
 165
 166 static void test_qom_list_fields(void)
 167 {
 168     QList *all_types;
 169     QList *non_abstract;
 170     QListEntry *e;
 171     QTestState *qts;
 172
 173     qts = qtest_init(common_args);
 174
 175     all_types = qom_list_types(qts, NULL, true);
 176     non_abstract = qom_list_types(qts, NULL, false);
 177
 178     QLIST_FOREACH_ENTRY(all_types, e) {
 179         QDict *d = qobject_to(QDict, qlist_entry_obj(e));
 180         const char *name = qdict_get_str(d, "name");
 181         bool abstract = qdict_haskey(d, "abstract") ?
 182                         qdict_get_bool(d, "abstract") :
 183                         false;
 184         bool expected_abstract = !type_list_find(non_abstract, name);
 185
 186         g_assert(abstract == expected_abstract);
 187     }
 188
 189     test_qom_list_parents(qts, "object");
 190     test_qom_list_parents(qts, "device");
 191     test_qom_list_parents(qts, "sys-bus-device");
 192
 193     qobject_unref(all_types);
 194     qobject_unref(non_abstract);
 195     qtest_quit(qts);
 196 }
 197
 198 static void test_device_intro_none(void)
 199 {
 200     QTestState *qts = qtest_init(common_args);
 201     g_autofree char *qom_tree_start = qtest_hmp(qts, "info qom-tree");
 202     g_autofree char *qom_tree_end = NULL;
 203     g_autofree char *qtree_start = qtest_hmp(qts, "info qtree");
 204     g_autofree char *qtree_end = NULL;
 205
 206     test_one_device(qts, "nonexistent");
 207
 208     /* Make sure that really nothing changed in the trees */
 209     qom_tree_end = qtest_hmp(qts, "info qom-tree");
 210     g_assert_cmpstr(qom_tree_start, ==, qom_tree_end);
 211     qtree_end = qtest_hmp(qts, "info qtree");
 212     g_assert_cmpstr(qtree_start, ==, qtree_end);
 213
 214     qtest_quit(qts);
 215 }
 216
 217 static void test_device_intro_abstract(void)
 218 {
 219     QTestState *qts = qtest_init(common_args);
 220     g_autofree char *qom_tree_start = qtest_hmp(qts, "info qom-tree");
 221     g_autofree char *qom_tree_end = NULL;
 222     g_autofree char *qtree_start = qtest_hmp(qts, "info qtree");
 223     g_autofree char *qtree_end = NULL;
 224
 225     test_one_device(qts, "device");
 226
 227     /* Make sure that really nothing changed in the trees */
 228     qom_tree_end = qtest_hmp(qts, "info qom-tree");
 229     g_assert_cmpstr(qom_tree_start, ==, qom_tree_end);
 230     qtree_end = qtest_hmp(qts, "info qtree");
 231     g_assert_cmpstr(qtree_start, ==, qtree_end);
 232
 233     qtest_quit(qts);
 234 }
 235
 236 static void test_device_intro_concrete(const void *args)
 237 {
 238     QList *types;
 239     QListEntry *entry;
 240     const char *type;
 241     QTestState *qts = qtest_init(args);
 242     g_autofree char *qom_tree_start = qtest_hmp(qts, "info qom-tree");
 243     g_autofree char *qom_tree_end = NULL;
 244     g_autofree char *qtree_start = qtest_hmp(qts, "info qtree");
 245     g_autofree char *qtree_end = NULL;
 246
 247     types = device_type_list(qts, false);
 248
 249     QLIST_FOREACH_ENTRY(types, entry) {
 250         type = qdict_get_try_str(qobject_to(QDict, qlist_entry_obj(entry)),
 251                                  "name");
 252         g_assert(type);
 253         test_one_device(qts, type);
 254     }
 255
 256     /*
 257      * Some devices leave dangling pointers in QOM behind.
 258      * "info qom-tree" or "info qtree" have a good chance at crashing then.
 259      * Also make sure that the tree did not change.
 260      */
 261     qom_tree_end = qtest_hmp(qts, "info qom-tree");
 262     g_assert_cmpstr(qom_tree_start, ==, qom_tree_end);
 263
 264     qtree_end = qtest_hmp(qts, "info qtree");
 265     g_assert_cmpstr(qtree_start, ==, qtree_end);
 266
 267     qobject_unref(types);
 268     qtest_quit(qts);
 269     g_free((void *)args);
 270 }
 271
 272 static void test_abstract_interfaces(void)
 273 {
 274     QList *all_types;
 275     QListEntry *e;
 276     QDict *index;
 277     QTestState *qts;
 278
 279     qts = qtest_init(common_args);
 280
 281     all_types = qom_list_types(qts, "interface", true);
 282     index = qom_type_index(all_types);
 283
 284     QLIST_FOREACH_ENTRY(all_types, e) {
 285         QDict *d = qobject_to(QDict, qlist_entry_obj(e));
 286         const char *name = qdict_get_str(d, "name");
 287
 288         /*
 289          * qom-list-types implements=interface returns all types
 290          * that implement _any_ interface (not just interface
 291          * types), so skip the ones that don't have "interface"
 292          * on the parent type chain.
 293          */
 294         if (!qom_has_parent(index, name, "interface")) {
 295             /* Not an interface type */
 296             continue;
 297         }
 298
 299         g_assert(qdict_haskey(d, "abstract") && qdict_get_bool(d, "abstract"));
 300     }
 301
 302     qobject_unref(all_types);
 303     qobject_unref(index);
 304     qtest_quit(qts);
 305 }
 306
 307 static void add_machine_test_case(const char *mname)
 308 {
 309     char *path, *args;
 310
 311     path = g_strdup_printf("device/introspect/concrete/defaults/%s", mname);
 312     args = g_strdup_printf("-M %s", mname);
 313     qtest_add_data_func(path, args, test_device_intro_concrete);
 314     g_free(path);
 315
 316     path = g_strdup_printf("device/introspect/concrete/nodefaults/%s", mname);
 317     args = g_strdup_printf("-nodefaults -M %s", mname);
 318     qtest_add_data_func(path, args, test_device_intro_concrete);
 319     g_free(path);
 320 }
 321
 322 int main(int argc, char **argv)
 323 {
 324     g_test_init(&argc, &argv, NULL);
 325
 326     qtest_add_func("device/introspect/list", test_device_intro_list);
 327     qtest_add_func("device/introspect/list-fields", test_qom_list_fields);
 328     qtest_add_func("device/introspect/none", test_device_intro_none);
 329     qtest_add_func("device/introspect/abstract", test_device_intro_abstract);
 330     qtest_add_func("device/introspect/abstract-interfaces", test_abstract_interfaces);
 331     if (g_test_quick()) {
 332         qtest_add_data_func("device/introspect/concrete/defaults/none",
 333                             g_strdup(common_args), test_device_intro_concrete);
 334     } else {
 335         qtest_cb_for_every_machine(add_machine_test_case, true);
 336     }
 337
 338     return g_test_run();
 339 }