Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quelle  rbtree.c   Sprache: C

 
// SPDX-License-Identifier: GPL-2.0
/* Copyright (c) 2022 Meta Platforms, Inc. and affiliates. */

#include <test_progs.h>
#include <network_helpers.h>

#include "rbtree.skel.h"
#include "rbtree_fail.skel.h"
#include "rbtree_btf_fail__wrong_node_type.skel.h"
#include "rbtree_btf_fail__add_wrong_type.skel.h"
#include "rbtree_search.skel.h"

static void test_rbtree_add_nodes(void)
{
 LIBBPF_OPTS(bpf_test_run_opts, opts,
      .data_in = &pkt_v4,
      .data_size_in = sizeof(pkt_v4),
      .repeat = 1,
 );
 struct rbtree *skel;
 int ret;

 skel = rbtree__open_and_load();
 if (!ASSERT_OK_PTR(skel, "rbtree__open_and_load"))
  return;

 ret = bpf_prog_test_run_opts(bpf_program__fd(skel->progs.rbtree_add_nodes), &opts);
 ASSERT_OK(ret, "rbtree_add_nodes run");
 ASSERT_OK(opts.retval, "rbtree_add_nodes retval");
 ASSERT_EQ(skel->data->less_callback_ran, 1, "rbtree_add_nodes less_callback_ran");

 rbtree__destroy(skel);
}

static void test_rbtree_add_nodes_nested(void)
{
 LIBBPF_OPTS(bpf_test_run_opts, opts,
      .data_in = &pkt_v4,
      .data_size_in = sizeof(pkt_v4),
      .repeat = 1,
 );
 struct rbtree *skel;
 int ret;

 skel = rbtree__open_and_load();
 if (!ASSERT_OK_PTR(skel, "rbtree__open_and_load"))
  return;

 ret = bpf_prog_test_run_opts(bpf_program__fd(skel->progs.rbtree_add_nodes_nested), &opts);
 ASSERT_OK(ret, "rbtree_add_nodes_nested run");
 ASSERT_OK(opts.retval, "rbtree_add_nodes_nested retval");
 ASSERT_EQ(skel->data->less_callback_ran, 1, "rbtree_add_nodes_nested less_callback_ran");

 rbtree__destroy(skel);
}

static void test_rbtree_add_and_remove(void)
{
 LIBBPF_OPTS(bpf_test_run_opts, opts,
      .data_in = &pkt_v4,
      .data_size_in = sizeof(pkt_v4),
      .repeat = 1,
 );
 struct rbtree *skel;
 int ret;

 skel = rbtree__open_and_load();
 if (!ASSERT_OK_PTR(skel, "rbtree__open_and_load"))
  return;

 ret = bpf_prog_test_run_opts(bpf_program__fd(skel->progs.rbtree_add_and_remove), &opts);
 ASSERT_OK(ret, "rbtree_add_and_remove");
 ASSERT_OK(opts.retval, "rbtree_add_and_remove retval");
 ASSERT_EQ(skel->data->removed_key, 5, "rbtree_add_and_remove first removed key");

 rbtree__destroy(skel);
}

static void test_rbtree_add_and_remove_array(void)
{
 LIBBPF_OPTS(bpf_test_run_opts, opts,
      .data_in = &pkt_v4,
      .data_size_in = sizeof(pkt_v4),
      .repeat = 1,
 );
 struct rbtree *skel;
 int ret;

 skel = rbtree__open_and_load();
 if (!ASSERT_OK_PTR(skel, "rbtree__open_and_load"))
  return;

 ret = bpf_prog_test_run_opts(bpf_program__fd(skel->progs.rbtree_add_and_remove_array), &opts);
 ASSERT_OK(ret, "rbtree_add_and_remove_array");
 ASSERT_OK(opts.retval, "rbtree_add_and_remove_array retval");

 rbtree__destroy(skel);
}

static void test_rbtree_first_and_remove(void)
{
 LIBBPF_OPTS(bpf_test_run_opts, opts,
      .data_in = &pkt_v4,
      .data_size_in = sizeof(pkt_v4),
      .repeat = 1,
 );
 struct rbtree *skel;
 int ret;

 skel = rbtree__open_and_load();
 if (!ASSERT_OK_PTR(skel, "rbtree__open_and_load"))
  return;

 ret = bpf_prog_test_run_opts(bpf_program__fd(skel->progs.rbtree_first_and_remove), &opts);
 ASSERT_OK(ret, "rbtree_first_and_remove");
 ASSERT_OK(opts.retval, "rbtree_first_and_remove retval");
 ASSERT_EQ(skel->data->first_data[0], 2, "rbtree_first_and_remove first rbtree_first()");
 ASSERT_EQ(skel->data->removed_key, 1, "rbtree_first_and_remove first removed key");
 ASSERT_EQ(skel->data->first_data[1], 4, "rbtree_first_and_remove second rbtree_first()");

 rbtree__destroy(skel);
}

static void test_rbtree_api_release_aliasing(void)
{
 LIBBPF_OPTS(bpf_test_run_opts, opts,
      .data_in = &pkt_v4,
      .data_size_in = sizeof(pkt_v4),
      .repeat = 1,
 );
 struct rbtree *skel;
 int ret;

 skel = rbtree__open_and_load();
 if (!ASSERT_OK_PTR(skel, "rbtree__open_and_load"))
  return;

 ret = bpf_prog_test_run_opts(bpf_program__fd(skel->progs.rbtree_api_release_aliasing), &opts);
 ASSERT_OK(ret, "rbtree_api_release_aliasing");
 ASSERT_OK(opts.retval, "rbtree_api_release_aliasing retval");
 ASSERT_EQ(skel->data->first_data[0], 42, "rbtree_api_release_aliasing first rbtree_remove()");
 ASSERT_EQ(skel->data->first_data[1], -1, "rbtree_api_release_aliasing second rbtree_remove()");

 rbtree__destroy(skel);
}

void test_rbtree_success(void)
{
 if (test__start_subtest("rbtree_add_nodes"))
  test_rbtree_add_nodes();
 if (test__start_subtest("rbtree_add_nodes_nested"))
  test_rbtree_add_nodes_nested();
 if (test__start_subtest("rbtree_add_and_remove"))
  test_rbtree_add_and_remove();
 if (test__start_subtest("rbtree_add_and_remove_array"))
  test_rbtree_add_and_remove_array();
 if (test__start_subtest("rbtree_first_and_remove"))
  test_rbtree_first_and_remove();
 if (test__start_subtest("rbtree_api_release_aliasing"))
  test_rbtree_api_release_aliasing();
}

#define BTF_FAIL_TEST(suffix)         \
void test_rbtree_btf_fail__##suffix(void)       \
{            \
 struct rbtree_btf_fail__##suffix *skel;       \
            \
 skel = rbtree_btf_fail__##suffix##__open_and_load();     \
 if (!ASSERT_ERR_PTR(skel,        \
       "rbtree_btf_fail__" #suffix "__open_and_load unexpected success")) \
  rbtree_btf_fail__##suffix##__destroy(skel);     \
}

#define RUN_BTF_FAIL_TEST(suffix)    \
 if (test__start_subtest("rbtree_btf_fail__" #suffix)) \
  test_rbtree_btf_fail__##suffix();

BTF_FAIL_TEST(wrong_node_type);
BTF_FAIL_TEST(add_wrong_type);

void test_rbtree_btf_fail(void)
{
 RUN_BTF_FAIL_TEST(wrong_node_type);
 RUN_BTF_FAIL_TEST(add_wrong_type);
}

void test_rbtree_fail(void)
{
 RUN_TESTS(rbtree_fail);
}

void test_rbtree_search(void)
{
 RUN_TESTS(rbtree_search);
}

Messung V0.5
C=97 H=98 G=97

¤ Dauer der Verarbeitung: 0.3 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Monitoring

Montastic status badge