xref: /openbmc/qemu/docs/devel/testing.rst (revision 75c5bb0b)
1===============
2Testing in QEMU
3===============
4
5This document describes the testing infrastructure in QEMU.
6
7Testing with "make check"
8=========================
9
10The "make check" testing family includes most of the C based tests in QEMU. For
11a quick help, run ``make check-help`` from the source tree.
12
13The usual way to run these tests is:
14
15.. code::
16
17  make check
18
19which includes QAPI schema tests, unit tests, and QTests. Different sub-types
20of "make check" tests will be explained below.
21
22Before running tests, it is best to build QEMU programs first. Some tests
23expect the executables to exist and will fail with obscure messages if they
24cannot find them.
25
26Unit tests
27----------
28
29Unit tests, which can be invoked with ``make check-unit``, are simple C tests
30that typically link to individual QEMU object files and exercise them by
31calling exported functions.
32
33If you are writing new code in QEMU, consider adding a unit test, especially
34for utility modules that are relatively stateless or have few dependencies. To
35add a new unit test:
36
371. Create a new source file. For example, ``tests/foo-test.c``.
38
392. Write the test. Normally you would include the header file which exports
40   the module API, then verify the interface behaves as expected from your
41   test. The test code should be organized with the glib testing framework.
42   Copying and modifying an existing test is usually a good idea.
43
443. Add the test to ``tests/Makefile.include``. First, name the unit test
45   program and add it to ``$(check-unit-y)``; then add a rule to build the
46   executable.  For example:
47
48.. code::
49
50  check-unit-y += tests/foo-test$(EXESUF)
51  tests/foo-test$(EXESUF): tests/foo-test.o $(test-util-obj-y)
52  ...
53
54Since unit tests don't require environment variables, the simplest way to debug
55a unit test failure is often directly invoking it or even running it under
56``gdb``. However there can still be differences in behavior between ``make``
57invocations and your manual run, due to ``$MALLOC_PERTURB_`` environment
58variable (which affects memory reclamation and catches invalid pointers better)
59and gtester options. If necessary, you can run
60
61.. code::
62
63  make check-unit V=1
64
65and copy the actual command line which executes the unit test, then run
66it from the command line.
67
68QTest
69-----
70
71QTest is a device emulation testing framework.  It can be very useful to test
72device models; it could also control certain aspects of QEMU (such as virtual
73clock stepping), with a special purpose "qtest" protocol.  Refer to the
74documentation in ``qtest.c`` for more details of the protocol.
75
76QTest cases can be executed with
77
78.. code::
79
80   make check-qtest
81
82The QTest library is implemented by ``tests/libqtest.c`` and the API is defined
83in ``tests/libqtest.h``.
84
85Consider adding a new QTest case when you are introducing a new virtual
86hardware, or extending one if you are adding functionalities to an existing
87virtual device.
88
89On top of libqtest, a higher level library, ``libqos``, was created to
90encapsulate common tasks of device drivers, such as memory management and
91communicating with system buses or devices. Many virtual device tests use
92libqos instead of directly calling into libqtest.
93
94Steps to add a new QTest case are:
95
961. Create a new source file for the test. (More than one file can be added as
97   necessary.) For example, ``tests/test-foo-device.c``.
98
992. Write the test code with the glib and libqtest/libqos API. See also existing
100   tests and the library headers for reference.
101
1023. Register the new test in ``tests/Makefile.include``. Add the test executable
103   name to an appropriate ``check-qtest-*-y`` variable. For example:
104
105   ``check-qtest-generic-y = tests/test-foo-device$(EXESUF)``
106
1074. Add object dependencies of the executable in the Makefile, including the
108   test source file(s) and other interesting objects. For example:
109
110   ``tests/test-foo-device$(EXESUF): tests/test-foo-device.o $(libqos-obj-y)``
111
112Debugging a QTest failure is slightly harder than the unit test because the
113tests look up QEMU program names in the environment variables, such as
114``QTEST_QEMU_BINARY`` and ``QTEST_QEMU_IMG``, and also because it is not easy
115to attach gdb to the QEMU process spawned from the test. But manual invoking
116and using gdb on the test is still simple to do: find out the actual command
117from the output of
118
119.. code::
120
121  make check-qtest V=1
122
123which you can run manually.
124
125QAPI schema tests
126-----------------
127
128The QAPI schema tests validate the QAPI parser used by QMP, by feeding
129predefined input to the parser and comparing the result with the reference
130output.
131
132The input/output data is managed under the ``tests/qapi-schema`` directory.
133Each test case includes four files that have a common base name:
134
135  * ``${casename}.json`` - the file contains the JSON input for feeding the
136    parser
137  * ``${casename}.out`` - the file contains the expected stdout from the parser
138  * ``${casename}.err`` - the file contains the expected stderr from the parser
139  * ``${casename}.exit`` - the expected error code
140
141Consider adding a new QAPI schema test when you are making a change on the QAPI
142parser (either fixing a bug or extending/modifying the syntax). To do this:
143
1441. Add four files for the new case as explained above. For example:
145
146  ``$EDITOR tests/qapi-schema/foo.{json,out,err,exit}``.
147
1482. Add the new test in ``tests/Makefile.include``. For example:
149
150  ``qapi-schema += foo.json``
151
152check-block
153-----------
154
155``make check-block`` is a legacy command to invoke block layer iotests and is
156rarely used. See "QEMU iotests" section below for more information.
157
158GCC gcov support
159----------------
160
161``gcov`` is a GCC tool to analyze the testing coverage by
162instrumenting the tested code. To use it, configure QEMU with
163``--enable-gcov`` option and build. Then run ``make check`` as usual.
164
165If you want to gather coverage information on a single test the ``make
166clean-coverage`` target can be used to delete any existing coverage
167information before running a single test.
168
169You can generate a HTML coverage report by executing ``make
170coverage-report`` which will create
171./reports/coverage/coverage-report.html. If you want to create it
172elsewhere simply execute ``make /foo/bar/baz/coverage-report.html``.
173
174Further analysis can be conducted by running the ``gcov`` command
175directly on the various .gcda output files. Please read the ``gcov``
176documentation for more information.
177
178QEMU iotests
179============
180
181QEMU iotests, under the directory ``tests/qemu-iotests``, is the testing
182framework widely used to test block layer related features. It is higher level
183than "make check" tests and 99% of the code is written in bash or Python
184scripts.  The testing success criteria is golden output comparison, and the
185test files are named with numbers.
186
187To run iotests, make sure QEMU is built successfully, then switch to the
188``tests/qemu-iotests`` directory under the build directory, and run ``./check``
189with desired arguments from there.
190
191By default, "raw" format and "file" protocol is used; all tests will be
192executed, except the unsupported ones. You can override the format and protocol
193with arguments:
194
195.. code::
196
197  # test with qcow2 format
198  ./check -qcow2
199  # or test a different protocol
200  ./check -nbd
201
202It's also possible to list test numbers explicitly:
203
204.. code::
205
206  # run selected cases with qcow2 format
207  ./check -qcow2 001 030 153
208
209Cache mode can be selected with the "-c" option, which may help reveal bugs
210that are specific to certain cache mode.
211
212More options are supported by the ``./check`` script, run ``./check -h`` for
213help.
214
215Writing a new test case
216-----------------------
217
218Consider writing a tests case when you are making any changes to the block
219layer. An iotest case is usually the choice for that. There are already many
220test cases, so it is possible that extending one of them may achieve the goal
221and save the boilerplate to create one.  (Unfortunately, there isn't a 100%
222reliable way to find a related one out of hundreds of tests.  One approach is
223using ``git grep``.)
224
225Usually an iotest case consists of two files. One is an executable that
226produces output to stdout and stderr, the other is the expected reference
227output. They are given the same number in file names. E.g. Test script ``055``
228and reference output ``055.out``.
229
230In rare cases, when outputs differ between cache mode ``none`` and others, a
231``.out.nocache`` file is added. In other cases, when outputs differ between
232image formats, more than one ``.out`` files are created ending with the
233respective format names, e.g. ``178.out.qcow2`` and ``178.out.raw``.
234
235There isn't a hard rule about how to write a test script, but a new test is
236usually a (copy and) modification of an existing case.  There are a few
237commonly used ways to create a test:
238
239* A Bash script. It will make use of several environmental variables related
240  to the testing procedure, and could source a group of ``common.*`` libraries
241  for some common helper routines.
242
243* A Python unittest script. Import ``iotests`` and create a subclass of
244  ``iotests.QMPTestCase``, then call ``iotests.main`` method. The downside of
245  this approach is that the output is too scarce, and the script is considered
246  harder to debug.
247
248* A simple Python script without using unittest module. This could also import
249  ``iotests`` for launching QEMU and utilities etc, but it doesn't inherit
250  from ``iotests.QMPTestCase`` therefore doesn't use the Python unittest
251  execution. This is a combination of 1 and 2.
252
253Pick the language per your preference since both Bash and Python have
254comparable library support for invoking and interacting with QEMU programs. If
255you opt for Python, it is strongly recommended to write Python 3 compatible
256code.
257
258Both Python and Bash frameworks in iotests provide helpers to manage test
259images. They can be used to create and clean up images under the test
260directory. If no I/O or any protocol specific feature is needed, it is often
261more convenient to use the pseudo block driver, ``null-co://``, as the test
262image, which doesn't require image creation or cleaning up. Avoid system-wide
263devices or files whenever possible, such as ``/dev/null`` or ``/dev/zero``.
264Otherwise, image locking implications have to be considered.  For example,
265another application on the host may have locked the file, possibly leading to a
266test failure.  If using such devices are explicitly desired, consider adding
267``locking=off`` option to disable image locking.
268
269.. _docker-ref:
270
271Docker based tests
272==================
273
274Introduction
275------------
276
277The Docker testing framework in QEMU utilizes public Docker images to build and
278test QEMU in predefined and widely accessible Linux environments.  This makes
279it possible to expand the test coverage across distros, toolchain flavors and
280library versions.
281
282Prerequisites
283-------------
284
285Install "docker" with the system package manager and start the Docker service
286on your development machine, then make sure you have the privilege to run
287Docker commands. Typically it means setting up passwordless ``sudo docker``
288command or login as root. For example:
289
290.. code::
291
292  $ sudo yum install docker
293  $ # or `apt-get install docker` for Ubuntu, etc.
294  $ sudo systemctl start docker
295  $ sudo docker ps
296
297The last command should print an empty table, to verify the system is ready.
298
299An alternative method to set up permissions is by adding the current user to
300"docker" group and making the docker daemon socket file (by default
301``/var/run/docker.sock``) accessible to the group:
302
303.. code::
304
305  $ sudo groupadd docker
306  $ sudo usermod $USER -a -G docker
307  $ sudo chown :docker /var/run/docker.sock
308
309Note that any one of above configurations makes it possible for the user to
310exploit the whole host with Docker bind mounting or other privileged
311operations.  So only do it on development machines.
312
313Quickstart
314----------
315
316From source tree, type ``make docker`` to see the help. Testing can be started
317without configuring or building QEMU (``configure`` and ``make`` are done in
318the container, with parameters defined by the make target):
319
320.. code::
321
322  make docker-test-build@min-glib
323
324This will create a container instance using the ``min-glib`` image (the image
325is downloaded and initialized automatically), in which the ``test-build`` job
326is executed.
327
328Images
329------
330
331Along with many other images, the ``min-glib`` image is defined in a Dockerfile
332in ``tests/docker/dockerfiles/``, called ``min-glib.docker``. ``make docker``
333command will list all the available images.
334
335To add a new image, simply create a new ``.docker`` file under the
336``tests/docker/dockerfiles/`` directory.
337
338A ``.pre`` script can be added beside the ``.docker`` file, which will be
339executed before building the image under the build context directory. This is
340mainly used to do necessary host side setup. One such setup is ``binfmt_misc``,
341for example, to make qemu-user powered cross build containers work.
342
343Tests
344-----
345
346Different tests are added to cover various configurations to build and test
347QEMU.  Docker tests are the executables under ``tests/docker`` named
348``test-*``. They are typically shell scripts and are built on top of a shell
349library, ``tests/docker/common.rc``, which provides helpers to find the QEMU
350source and build it.
351
352The full list of tests is printed in the ``make docker`` help.
353
354Tools
355-----
356
357There are executables that are created to run in a specific Docker environment.
358This makes it easy to write scripts that have heavy or special dependencies,
359but are still very easy to use.
360
361Currently the only tool is ``travis``, which mimics the Travis-CI tests in a
362container. It runs in the ``travis`` image:
363
364.. code::
365
366  make docker-travis@travis
367
368Debugging a Docker test failure
369-------------------------------
370
371When CI tasks, maintainers or yourself report a Docker test failure, follow the
372below steps to debug it:
373
3741. Locally reproduce the failure with the reported command line. E.g. run
375   ``make docker-test-mingw@fedora J=8``.
3762. Add "V=1" to the command line, try again, to see the verbose output.
3773. Further add "DEBUG=1" to the command line. This will pause in a shell prompt
378   in the container right before testing starts. You could either manually
379   build QEMU and run tests from there, or press Ctrl-D to let the Docker
380   testing continue.
3814. If you press Ctrl-D, the same building and testing procedure will begin, and
382   will hopefully run into the error again. After that, you will be dropped to
383   the prompt for debug.
384
385Options
386-------
387
388Various options can be used to affect how Docker tests are done. The full
389list is in the ``make docker`` help text. The frequently used ones are:
390
391* ``V=1``: the same as in top level ``make``. It will be propagated to the
392  container and enable verbose output.
393* ``J=$N``: the number of parallel tasks in make commands in the container,
394  similar to the ``-j $N`` option in top level ``make``. (The ``-j`` option in
395  top level ``make`` will not be propagated into the container.)
396* ``DEBUG=1``: enables debug. See the previous "Debugging a Docker test
397  failure" section.
398
399VM testing
400==========
401
402This test suite contains scripts that bootstrap various guest images that have
403necessary packages to build QEMU. The basic usage is documented in ``Makefile``
404help which is displayed with ``make vm-help``.
405
406Quickstart
407----------
408
409Run ``make vm-help`` to list available make targets. Invoke a specific make
410command to run build test in an image. For example, ``make vm-build-freebsd``
411will build the source tree in the FreeBSD image. The command can be executed
412from either the source tree or the build dir; if the former, ``./configure`` is
413not needed. The command will then generate the test image in ``./tests/vm/``
414under the working directory.
415
416Note: images created by the scripts accept a well-known RSA key pair for SSH
417access, so they SHOULD NOT be exposed to external interfaces if you are
418concerned about attackers taking control of the guest and potentially
419exploiting a QEMU security bug to compromise the host.
420
421QEMU binaries
422-------------
423
424By default, qemu-system-x86_64 is searched in $PATH to run the guest. If there
425isn't one, or if it is older than 2.10, the test won't work. In this case,
426provide the QEMU binary in env var: ``QEMU=/path/to/qemu-2.10+``.
427
428Likewise the path to qemu-img can be set in QEMU_IMG environment variable.
429
430Make jobs
431---------
432
433The ``-j$X`` option in the make command line is not propagated into the VM,
434specify ``J=$X`` to control the make jobs in the guest.
435
436Debugging
437---------
438
439Add ``DEBUG=1`` and/or ``V=1`` to the make command to allow interactive
440debugging and verbose output. If this is not enough, see the next section.
441``V=1`` will be propagated down into the make jobs in the guest.
442
443Manual invocation
444-----------------
445
446Each guest script is an executable script with the same command line options.
447For example to work with the netbsd guest, use ``$QEMU_SRC/tests/vm/netbsd``:
448
449.. code::
450
451    $ cd $QEMU_SRC/tests/vm
452
453    # To bootstrap the image
454    $ ./netbsd --build-image --image /var/tmp/netbsd.img
455    <...>
456
457    # To run an arbitrary command in guest (the output will not be echoed unless
458    # --debug is added)
459    $ ./netbsd --debug --image /var/tmp/netbsd.img uname -a
460
461    # To build QEMU in guest
462    $ ./netbsd --debug --image /var/tmp/netbsd.img --build-qemu $QEMU_SRC
463
464    # To get to an interactive shell
465    $ ./netbsd --interactive --image /var/tmp/netbsd.img sh
466
467Adding new guests
468-----------------
469
470Please look at existing guest scripts for how to add new guests.
471
472Most importantly, create a subclass of BaseVM and implement ``build_image()``
473method and define ``BUILD_SCRIPT``, then finally call ``basevm.main()`` from
474the script's ``main()``.
475
476* Usually in ``build_image()``, a template image is downloaded from a
477  predefined URL. ``BaseVM._download_with_cache()`` takes care of the cache and
478  the checksum, so consider using it.
479
480* Once the image is downloaded, users, SSH server and QEMU build deps should
481  be set up:
482
483  - Root password set to ``BaseVM.ROOT_PASS``
484  - User ``BaseVM.GUEST_USER`` is created, and password set to
485    ``BaseVM.GUEST_PASS``
486  - SSH service is enabled and started on boot,
487    ``$QEMU_SRC/tests/keys/id_rsa.pub`` is added to ssh's ``authorized_keys``
488    file of both root and the normal user
489  - DHCP client service is enabled and started on boot, so that it can
490    automatically configure the virtio-net-pci NIC and communicate with QEMU
491    user net (10.0.2.2)
492  - Necessary packages are installed to untar the source tarball and build
493    QEMU
494
495* Write a proper ``BUILD_SCRIPT`` template, which should be a shell script that
496  untars a raw virtio-blk block device, which is the tarball data blob of the
497  QEMU source tree, then configure/build it. Running "make check" is also
498  recommended.
499
500Image fuzzer testing
501====================
502
503An image fuzzer was added to exercise format drivers. Currently only qcow2 is
504supported. To start the fuzzer, run
505
506.. code::
507
508  tests/image-fuzzer/runner.py -c '[["qemu-img", "info", "$test_img"]]' /tmp/test qcow2
509
510Alternatively, some command different from "qemu-img info" can be tested, by
511changing the ``-c`` option.
512
513Acceptance tests using the Avocado Framework
514============================================
515
516The ``tests/acceptance`` directory hosts functional tests, also known
517as acceptance level tests.  They're usually higher level tests, and
518may interact with external resources and with various guest operating
519systems.
520
521These tests are written using the Avocado Testing Framework (which must
522be installed separately) in conjunction with a the ``avocado_qemu.Test``
523class, implemented at ``tests/acceptance/avocado_qemu``.
524
525Tests based on ``avocado_qemu.Test`` can easily:
526
527 * Customize the command line arguments given to the convenience
528   ``self.vm`` attribute (a QEMUMachine instance)
529
530 * Interact with the QEMU monitor, send QMP commands and check
531   their results
532
533 * Interact with the guest OS, using the convenience console device
534   (which may be useful to assert the effectiveness and correctness of
535   command line arguments or QMP commands)
536
537 * Interact with external data files that accompany the test itself
538   (see ``self.get_data()``)
539
540 * Download (and cache) remote data files, such as firmware and kernel
541   images
542
543 * Have access to a library of guest OS images (by means of the
544   ``avocado.utils.vmimage`` library)
545
546 * Make use of various other test related utilities available at the
547   test class itself and at the utility library:
548
549   - http://avocado-framework.readthedocs.io/en/latest/api/test/avocado.html#avocado.Test
550   - http://avocado-framework.readthedocs.io/en/latest/api/utils/avocado.utils.html
551
552Running tests
553-------------
554
555You can run the acceptance tests simply by executing:
556
557.. code::
558
559  make check-acceptance
560
561This involves the automatic creation of Python virtual environment
562within the build tree (at ``tests/venv``) which will have all the
563right dependencies, and will save tests results also within the
564build tree (at ``tests/results``).
565
566Note: the build environment must be using a Python 3 stack, and have
567the ``venv`` and ``pip`` packages installed.  If necessary, make sure
568``configure`` is called with ``--python=`` and that those modules are
569available.  On Debian and Ubuntu based systems, depending on the
570specific version, they may be on packages named ``python3-venv`` and
571``python3-pip``.
572
573The scripts installed inside the virtual environment may be used
574without an "activation".  For instance, the Avocado test runner
575may be invoked by running:
576
577 .. code::
578
579  tests/venv/bin/avocado run $OPTION1 $OPTION2 tests/acceptance/
580
581Manual Installation
582-------------------
583
584To manually install Avocado and its dependencies, run:
585
586.. code::
587
588  pip install --user avocado-framework
589
590Alternatively, follow the instructions on this link:
591
592  http://avocado-framework.readthedocs.io/en/latest/GetStartedGuide.html#installing-avocado
593
594Overview
595--------
596
597The ``tests/acceptance/avocado_qemu`` directory provides the
598``avocado_qemu`` Python module, containing the ``avocado_qemu.Test``
599class.  Here's a simple usage example:
600
601.. code::
602
603  from avocado_qemu import Test
604
605
606  class Version(Test):
607      """
608      :avocado: tags=quick
609      """
610      def test_qmp_human_info_version(self):
611          self.vm.launch()
612          res = self.vm.command('human-monitor-command',
613                                command_line='info version')
614          self.assertRegexpMatches(res, r'^(\d+\.\d+\.\d)')
615
616To execute your test, run:
617
618.. code::
619
620  avocado run version.py
621
622Tests may be classified according to a convention by using docstring
623directives such as ``:avocado: tags=TAG1,TAG2``.  To run all tests
624in the current directory, tagged as "quick", run:
625
626.. code::
627
628  avocado run -t quick .
629
630The ``avocado_qemu.Test`` base test class
631-----------------------------------------
632
633The ``avocado_qemu.Test`` class has a number of characteristics that
634are worth being mentioned right away.
635
636First of all, it attempts to give each test a ready to use QEMUMachine
637instance, available at ``self.vm``.  Because many tests will tweak the
638QEMU command line, launching the QEMUMachine (by using ``self.vm.launch()``)
639is left to the test writer.
640
641The base test class has also support for tests with more than one
642QEMUMachine. The way to get machines is through the ``self.get_vm()``
643method which will return a QEMUMachine instance. The ``self.get_vm()``
644method accepts arguments that will be passed to the QEMUMachine creation
645and also an optional `name` attribute so you can identify a specific
646machine and get it more than once through the tests methods. A simple
647and hypothetical example follows:
648
649.. code::
650
651  from avocado_qemu import Test
652
653
654  class MultipleMachines(Test):
655      """
656      :avocado: enable
657      """
658      def test_multiple_machines(self):
659          first_machine = self.get_vm()
660          second_machine = self.get_vm()
661          self.get_vm(name='third_machine').launch()
662
663          first_machine.launch()
664          second_machine.launch()
665
666          first_res = first_machine.command(
667              'human-monitor-command',
668              command_line='info version')
669
670          second_res = second_machine.command(
671              'human-monitor-command',
672              command_line='info version')
673
674          third_res = self.get_vm(name='third_machine').command(
675              'human-monitor-command',
676              command_line='info version')
677
678          self.assertEquals(first_res, second_res, third_res)
679
680At test "tear down", ``avocado_qemu.Test`` handles all the QEMUMachines
681shutdown.
682
683QEMUMachine
684~~~~~~~~~~~
685
686The QEMUMachine API is already widely used in the Python iotests,
687device-crash-test and other Python scripts.  It's a wrapper around the
688execution of a QEMU binary, giving its users:
689
690 * the ability to set command line arguments to be given to the QEMU
691   binary
692
693 * a ready to use QMP connection and interface, which can be used to
694   send commands and inspect its results, as well as asynchronous
695   events
696
697 * convenience methods to set commonly used command line arguments in
698   a more succinct and intuitive way
699
700QEMU binary selection
701~~~~~~~~~~~~~~~~~~~~~
702
703The QEMU binary used for the ``self.vm`` QEMUMachine instance will
704primarily depend on the value of the ``qemu_bin`` parameter.  If it's
705not explicitly set, its default value will be the result of a dynamic
706probe in the same source tree.  A suitable binary will be one that
707targets the architecture matching host machine.
708
709Based on this description, test writers will usually rely on one of
710the following approaches:
711
7121) Set ``qemu_bin``, and use the given binary
713
7142) Do not set ``qemu_bin``, and use a QEMU binary named like
715   "${arch}-softmmu/qemu-system-${arch}", either in the current
716   working directory, or in the current source tree.
717
718The resulting ``qemu_bin`` value will be preserved in the
719``avocado_qemu.Test`` as an attribute with the same name.
720
721Attribute reference
722-------------------
723
724Besides the attributes and methods that are part of the base
725``avocado.Test`` class, the following attributes are available on any
726``avocado_qemu.Test`` instance.
727
728vm
729~~
730
731A QEMUMachine instance, initially configured according to the given
732``qemu_bin`` parameter.
733
734arch
735~~~~
736
737The architecture can be used on different levels of the stack, e.g. by
738the framework or by the test itself.  At the framework level, it will
739currently influence the selection of a QEMU binary (when one is not
740explicitly given).
741
742Tests are also free to use this attribute value, for their own needs.
743A test may, for instance, use the same value when selecting the
744architecture of a kernel or disk image to boot a VM with.
745
746The ``arch`` attribute will be set to the test parameter of the same
747name.  If one is not given explicitly, it will either be set to
748``None``, or, if the test is tagged with one (and only one)
749``:avocado: tags=arch:VALUE`` tag, it will be set to ``VALUE``.
750
751machine
752~~~~~~~
753
754The machine type that will be set to all QEMUMachine instances created
755by the test.
756
757The ``machine`` attribute will be set to the test parameter of the same
758name.  If one is not given explicitly, it will either be set to
759``None``, or, if the test is tagged with one (and only one)
760``:avocado: tags=machine:VALUE`` tag, it will be set to ``VALUE``.
761
762qemu_bin
763~~~~~~~~
764
765The preserved value of the ``qemu_bin`` parameter or the result of the
766dynamic probe for a QEMU binary in the current working directory or
767source tree.
768
769Parameter reference
770-------------------
771
772To understand how Avocado parameters are accessed by tests, and how
773they can be passed to tests, please refer to::
774
775  http://avocado-framework.readthedocs.io/en/latest/WritingTests.html#accessing-test-parameters
776
777Parameter values can be easily seen in the log files, and will look
778like the following:
779
780.. code::
781
782  PARAMS (key=qemu_bin, path=*, default=x86_64-softmmu/qemu-system-x86_64) => 'x86_64-softmmu/qemu-system-x86_64
783
784arch
785~~~~
786
787The architecture that will influence the selection of a QEMU binary
788(when one is not explicitly given).
789
790Tests are also free to use this parameter value, for their own needs.
791A test may, for instance, use the same value when selecting the
792architecture of a kernel or disk image to boot a VM with.
793
794This parameter has a direct relation with the ``arch`` attribute.  If
795not given, it will default to None.
796
797machine
798~~~~~~~
799
800The machine type that will be set to all QEMUMachine instances created
801by the test.
802
803
804qemu_bin
805~~~~~~~~
806
807The exact QEMU binary to be used on QEMUMachine.
808
809Uninstalling Avocado
810--------------------
811
812If you've followed the manual installation instructions above, you can
813easily uninstall Avocado.  Start by listing the packages you have
814installed::
815
816  pip list --user
817
818And remove any package you want with::
819
820  pip uninstall <package_name>
821
822If you've used ``make check-acceptance``, the Python virtual environment where
823Avocado is installed will be cleaned up as part of ``make check-clean``.
824
825Testing with "make check-tcg"
826=============================
827
828The check-tcg tests are intended for simple smoke tests of both
829linux-user and softmmu TCG functionality. However to build test
830programs for guest targets you need to have cross compilers available.
831If your distribution supports cross compilers you can do something as
832simple as::
833
834  apt install gcc-aarch64-linux-gnu
835
836The configure script will automatically pick up their presence.
837Sometimes compilers have slightly odd names so the availability of
838them can be prompted by passing in the appropriate configure option
839for the architecture in question, for example::
840
841  $(configure) --cross-cc-aarch64=aarch64-cc
842
843There is also a ``--cross-cc-flags-ARCH`` flag in case additional
844compiler flags are needed to build for a given target.
845
846If you have the ability to run containers as the user you can also
847take advantage of the build systems "Docker" support. It will then use
848containers to build any test case for an enabled guest where there is
849no system compiler available. See :ref: `_docker-ref` for details.
850
851Running subset of tests
852-----------------------
853
854You can build the tests for one architecture::
855
856  make build-tcg-tests-$TARGET
857
858And run with::
859
860  make run-tcg-tests-$TARGET
861
862Adding ``V=1`` to the invocation will show the details of how to
863invoke QEMU for the test which is useful for debugging tests.
864
865TCG test dependencies
866---------------------
867
868The TCG tests are deliberately very light on dependencies and are
869either totally bare with minimal gcc lib support (for softmmu tests)
870or just glibc (for linux-user tests). This is because getting a cross
871compiler to work with additional libraries can be challenging.
872
873Other TCG Tests
874---------------
875
876There are a number of out-of-tree test suites that are used for more
877extensive testing of processor features.
878
879KVM Unit Tests
880~~~~~~~~~~~~~~
881
882The KVM unit tests are designed to run as a Guest OS under KVM but
883there is no reason why they can't exercise the TCG as well. It
884provides a minimal OS kernel with hooks for enabling the MMU as well
885as reporting test results via a special device::
886
887  https://git.kernel.org/pub/scm/virt/kvm/kvm-unit-tests.git
888
889Linux Test Project
890~~~~~~~~~~~~~~~~~~
891
892The LTP is focused on exercising the syscall interface of a Linux
893kernel. It checks that syscalls behave as documented and strives to
894exercise as many corner cases as possible. It is a useful test suite
895to run to exercise QEMU's linux-user code::
896
897  https://linux-test-project.github.io/
898