Test case | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

In software engineering, a test case is a specification of the inputs, execution conditions, testing procedure, and expected results that define a single test to be executed to achieve a particular software testing objective, such as to exercise a particular program path or to verify compliance with a specific requirement. Test cases underlie testing that is methodical rather than haphazard. A battery of test cases can be built to produce the desired coverage of the software being tested. Formally defined test cases allow the same tests to be run repeatedly against successive versions of the software, allowing for effective and consistent regression testing. Formal test cases In order to fully test that all the requirements of an application are met, there must be at least two test cases for each requirement: one positive test and one negative test. If a requirement has sub-requirements, each sub-requirement must have at least two test cases. Keeping track of the link be

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés

Chargement

Cours associés

Chargement

Séances de cours associées

Chargement

Résumé

Source officielle

À propos de ce résultat

Publications associées (6)

Chargement

Afficher plus

Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés (3)

Concepts associés

Chargement

Cours associés (2)

Cours associés

Chargement

Séances de cours associées (3)

Séances de cours associées

Chargement

Test suite

In software development, a test suite, less commonly known as a validation suite, is a collection of test cases that are intended to be used to test a software program to show that it has some specif

Test unitaire

En programmation informatique, le test unitaire (ou « T.U. », ou « U.T. » en anglais) est une procédure permettant de vérifier le bon fonctionnement d'une partie précise d'un logiciel ou d'une porti

Test driven development

Test-Driven Development (TDD), ou développement piloté par les tests en français, est une méthode de développement de logiciel qui consiste à concevoir un logiciel par des itérations successives très

Semi-discrete optimal transport: a solution procedure for the unsquared Euclidean distance case

Valentin Hartmann

We consider the problem of finding an optimal transport plan between an absolutely continuous measure and a finitely supported measure of the same total mass when the transport cost is the unsquared Euclidean distance. We may think of this problem as closest distance allocation of some resource continuously distributed over Euclidean space to a finite number of processing sites with capacity constraints. This article gives a detailed discussion of the problem, including a comparison with the much better studied case of squared Euclidean cost. We present an algorithm for computing the optimal transport plan, which is similar to the approach for the squared Euclidean cost by Aurenhammer et al. (Algorithmica 20(1):61-76, 1998) and Merigot (Comput Graph Forum 30(5):1583-1592, 2011). We show the necessary results to make the approach work for the Euclidean cost, evaluate its performance on a set of test cases, and give a number of applications. The later include goodness-of-fit partitions, a novel visual tool for assessing whether a finite sample is consistent with a posited probability density.

SPRINGER HEIDELBERG2020

Chargement

Gyrokinetic sumulation of collisionless trapped-electron mode turbulence

Some basic properties of collisionless, trapped-electron mode turbulence in tokamaks are investigated by means of massively parallel gyrokinetic Vlasov simulations. In particular, the spatial structure and wave number spectra of various fluctuating plasma quantities are presented and discussed. An analysis of several cross phase relations supports the view that the transport-dominating scales may be interpreted in terms of remnants of linear modes. In a few test cases, zonal flows are artificially suppressed, demonstrating that their influence on the transport level is small. Finally, the dependence of the latter on several plasma parameters is studied.

2005

Chargement

Ionic Liquid Gating of SrTiO3 Lamellas Fabricated with a Focused Ion Beam

Amelia Emily-Kay Estry, Evgeny Mikheev, Philip Johannes Walter Moll

In this work, we combine two previously incompatible techniques for defining electronic devices: shaping three-dimensional crystals by focused ion beam (FIB), and two-dimensional electrostatic accumulation of charge carriers. The principal challenge for this integration is nanometer-scale surface damage inherent to any FIB-based fabrication. We address this by using a sacrificial protective layer to preserve a selected pristine surface. The test case presented here is accumulation of 2D carriers by ionic liquid gating at the surface of a micron-scale SrTiO3 lamella. Preservation of surface quality is reflected in superconductivity of the accumulated carriers. This technique opens new avenues for realizing electrostatic charge tuning in materials that are not available as large or exfoliatable single crystals, and for patterning the geometry of the accumulated carriers.

AMER CHEMICAL SOC2022

Chargement

Afficher plus

CS-422: Database systems

This course is intended for students who want to understand modern large-scale data analysis systems and database systems. It covers a wide range of topics and technologies, and will prepare students to be able to build such systems as well as read and understand recent research publications.

CS-523: Advanced topics on privacy enhancing technologies

This advanced course will provide students with the knowledge to tackle the design of privacy-preserving ICT systems. Students will learn about existing technologies to prect privacy, and how to evaluate the protection they provide.