Relevant bibliographies by topics / Test formel / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Test formel.

Dissertations / Theses on the topic 'Test formel'

Author: Grafiati
Published: 4 June 2021
Last updated: 12 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Test formel.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Saad, Khorchef Fares. "Cadre Formel pour le Test de Robustesse des Protocoles de Communication." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2006. http://tel.archives-ouvertes.fr/tel-00138202.

Full text
Abstract:
Dans le domaine des télécommunications, il est indispensable de valider rigoureusement les protocoles avant de les mettre en service. Ainsi, il faut non seulement tester la conformité d'un protocole, mais il s'avère aussi nécessaire de tester sa robustesse face à<br />des événements imprévus. La littérature concernant le test de robustesse est beaucoup moins conséquente que le test de conformité. A travers ce document, nous considérons la définition de la robustesse suivante : "la capacité d'un système, conforme à sa spécification nominale, à adopter un comportement acceptable en présence d'al
APA, Harvard, Vancouver, ISO, and other styles
2

Saad, Khorchef Farès. "Un cadre formel pour le test de robustesse des protocoles de communication." Bordeaux 1, 2006. http://www.theses.fr/2006BOR13292.

Full text
Abstract:
Dans le domaine des protocoles de communication, il est indispensable de valider rigoureusement les protocoles avant de les mettre en service. Cette thèse propose deux méthodes pour l'automatisation de la génération des tests de robustesse. La méthode (TRACOR) visant à produire des cas de test en présence d'aléas contrôlables et représentables (entrées/sorties exceptionnelles). La méthode (TRACON) complète la méthode TRACOR et, vise à produire les das de test de robustesse en présence d'aléas contrôlables non représentables (condition de stress) : les deux méthodes proposées sont implantées da
APA, Harvard, Vancouver, ISO, and other styles
3

Feliachi, Abderrahmane. "Test basé sur la sémantique pour Circus." Phd thesis, Université Paris Sud - Paris XI, 2012. http://tel.archives-ouvertes.fr/tel-00821836.

Full text
Abstract:
Le travail présenté dans cette thèse est une contribution aux méthodes formelles de spécification et de vérification. Les spécifications formelles sont utilisées pour décrire un logiciel, ou plus généralement un système, d'une manière mathématique sans ambiguïté. Des techniques de vérification formelle sont définies sur la base de ces spécifications afin d'assurer l'exactitude d'un système donné. Cependant, les méthodes formelles ne sont souvent pas pratiques et facile à utiliser dans des systèmes réels. L'une des raisons est que de nombreux formalismes de spécification ne sont pas assez riche
APA, Harvard, Vancouver, ISO, and other styles
4

Bentakouk, Lina. "Test symbolique de services web composite." Phd thesis, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00675918.

Full text
Abstract:
L'acceptation et l'utilisation des services Web en industrie se développent de par leursupport au développement d'application distribuées comme compositions d'entitéslogicielles plus simples appelées services. En complément à la vérification, le testpermet de vérifier la correction d'une implémentation binaire (code source nondisponible) par rapport à une spécification. Dans cette thèse, nous proposons uneapproche boîte-noire du test de conformité de compositions de services centralisées(orchestrations). Par rapport à l'état de l'art, nous développons une approchesymbolique de façon à éviter d
APA, Harvard, Vancouver, ISO, and other styles
5

Madani, Laya. "Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs." Phd thesis, Université Joseph Fourier (Grenoble), 2007. http://tel.archives-ouvertes.fr/tel-00250225.

Full text
Abstract:
Ce travail porte sur le test automatique de systèmes interactifs. L'approche proposée est basée sur des techniques de test de systèmes réactifs synchrones. Le comportement de systèmes synchrones, qui est constitué de cycles commençant par la lecture d'une entrée et finissant par l'émission d'une sortie, est sous certaines conditions, similaire à celui de systèmes interactifs. En particulier, nous étudions l'utilisation de Lutess, un environnement de test synchrone, pour valider les systèmes interactifs. <br />Nous montrons l'intérêt d'utiliser les techniques de test proposées par Lutess afin d
APA, Harvard, Vancouver, ISO, and other styles
6

Feliachi, Abderrahmane. "Semantics-Based Testing for Circus." Thesis, Paris 11, 2012. http://www.theses.fr/2012PA112372/document.

Full text
Abstract:
Le travail présenté dans cette thèse est une contribution aux méthodes formelles de spécification et de vérification. Les spécifications formelles sont utilisées pour décrire un logiciel, ou plus généralement un système, d'une manière mathématique sans ambiguïté. Des techniques de vérification formelle sont définies sur la base de ces spécifications afin d'assurer l'exactitude d'un système donné. Cependant, les méthodes formelles ne sont souvent pas pratiques et facile à utiliser dans des systèmes réels. L'une des raisons est que de nombreux formalismes de spécification ne sont pas assez riche
APA, Harvard, Vancouver, ISO, and other styles
7

Awedikian, Roy. "Qualité de la conception de tests logiciels : plate-forme de conception et processus de test." Phd thesis, Ecole Centrale Paris, 2009. http://tel.archives-ouvertes.fr/tel-00393847.

Full text
Abstract:
L'électronique dans les voitures devient de plus en plus complexe et représente plus de 30% du coût global d'une voiture. Par exemple, dans une BMW série 5 modèle 2008, on peut trouver jusqu'à 80 calculateurs électroniques communiquant ensemble et représentant aux alentours de 10 millions de lignes de code logiciel. Face à cette montée en complexité, les constructeurs et équipementiers électroniques de l'automobile s'intéressent de plus en plus à des méthodes efficaces de développement, vérification et validation de modules électroniques. Plus précisément, ils focalisent leurs efforts sur la p
APA, Harvard, Vancouver, ISO, and other styles
8

Awedikian, Roy Yannou Bernard. "Qualité de la conception de tests logiciels plate-forme de conception et processus de test /." S. l. : Ecole centrale de Paris, 2009. http://theses.abes.fr/2009ECAP0007.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Schmitt, Michael. "Automatic Test Generation Based on Formal Specifications." Doctoral thesis, [S.l.] : [s.n.], 2003. http://hdl.handle.net/11858/00-1735-0000-0006-B3FF-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Cho, Chang H. "A formal model for behavioral test generation." Diss., This resource online, 1994. http://scholar.lib.vt.edu/theses/available/etd-06062008-170406/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Dahab, Sarah. "An approach to measuring software systems using new combined metrics of complex test." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLL015/document.

Full text
Abstract:
La plupart des métriques de qualité logicielle mesurables sont actuellement basées sur des mesures bas niveau, telles que la complexité cyclomatique, le nombre de lignes de commentaires ou le nombre de blocs dupliqués. De même, la qualité de l'ingénierie logicielle est davantage liée à des facteurs techniques ou de gestion, et devrait fournir des indicateurs utiles pour les exigences de qualité. Actuellement, l'évaluation de ces exigences de qualité n'est pas automatisée, elle n'est pas validée empiriquement dans des contextes réels et l'évaluation est définie sans tenir compte des principes d
APA, Harvard, Vancouver, ISO, and other styles
12

Langlois, Geneviève. "Nouvelle forme d'application collective du test de Rorschach." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/MQ51148.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Barzilay, David. "A general formal model for representing test item results." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/mq25947.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Meudec, Christophe. "Automatic generation of software test cases from formal specifications." Thesis, Queen's University Belfast, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263505.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Arnault, François. "Sur quelques tests probabilistes de primalité." Poitiers, 1993. http://www.theses.fr/1993POIT2317.

Full text
Abstract:
Nous étudions dans cette thèse quelques tests probabilistes de primalité, en particulier ceux qui, vraisemblablement à cause de leur simplicité et de leur rapidité d'éxécution, sont implantés dans les systèmes de calcul formel usuels. Nous commençons par présenter dans le chapitre 1 le test probabiliste de primalité le plus connu : le test de Rabin. Nous rappelons entre autres le théorème de Rabin, qui permet de majorer la probabilité d'échec de ce test. Nous donnons dans les chapitres 3 et 6 deux méthodes permettant de construire des nombres composés déclarés premiers par le test de Rabin des
APA, Harvard, Vancouver, ISO, and other styles
16

Hanazumi, Simone. "Geração de propriedades sobre programas Java a partir de objetivos de teste." Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748/.

Full text
Abstract:
Com a presença cada vez maior de sistemas computacionais e novas tecnologias no cotidiano das pessoas, garantir que eles não falhem e funcionem corretamente tornou-se algo de extrema importância. Além de indicar a qualidade do sistema, assegurar seu bom funcionamento é essencial para se evitar perdas, desde financeiras até de vidas. Uma das técnicas utilizadas para esta finalidade é a chamada verificação formal de programas. A partir da especificação do sistema, descrita numa linguagem formal, são definidas propriedades a serem satisfeitas e que certificariam a qualidade do software. Estas p
APA, Harvard, Vancouver, ISO, and other styles
17

Nuttayasakul, Nuthaporn. "Experimental and Analytical Studies of the Behavior of Cold-Formed Steel Roof Truss Elements." Diss., Virginia Tech, 2005. http://hdl.handle.net/10919/29765.

Full text
Abstract:
Cold-formed steel roof truss systems that use complex stiffener patterns in existing hat shape members for both top and bottom chord elements are a growing trend in the North American steel framing industry. When designing cold-formed steel sections, a structural engineer typically tries to improve the local buckling behavior of the cold-formed steel elements. The complex hat shape has proved to limit the negative influence of local buckling, however, distortional buckling can be the controlling mode of failure in the design of chord members with intermediate unbraced lengths. The chord mem
APA, Harvard, Vancouver, ISO, and other styles
18

Gallegos, Zúñiga Jaime Ramiro. "Critical analysis of letters of credit test documents." Pontificia Universidad Católica del Perú, 2015. http://repositorio.pucp.edu.pe/index/handle/123456789/115531.

Full text
Abstract:
This article discusses the documents’ test that must be practiced during the issuance of letters of credit, so that subjects acting in international trade can meet the obligations involved by participating entities and challenge deficiencies in such benefits —if it’s the case—.<br>El presente artículo aborda el examen de los documentos que debe practicarse con ocasión de la emisión de cartas de crédito, con el objeto de que los sujetos que actúen en el comercio internacional puedan conocer las obligaciones de las entidades partícipes e impugnar —cuando fuese el caso—las deficiencias en tales p
APA, Harvard, Vancouver, ISO, and other styles
19

Xia, Sen. "The rheology of gel formed during the California Mastitis Test." The University of Waikato, 2006. http://hdl.handle.net/10289/2258.

Full text
Abstract:
One of the most costly diseases in the dairy industry is mastitis, which is an inflammation of the mammary gland. Mastitis influences the quality of milk and therefore reduces financial returns to both the farmer and the processor. Early detection of mastitis typically reduces treatment cost and a significant amount of research has been done in this field. Currently, the three major methods for mastitis detection are: • The Foss Analysis, which physically counts each cell and is performed off-site. • The Whiteside Test, which is based on a direct relationship between the number of the blood ce
APA, Harvard, Vancouver, ISO, and other styles
20

Randall, Michael Alan. "Proof of fault coverage for a formal protocol test procedure." Thesis, Monterey, California. Naval Postgraduate School, 1992. http://hdl.handle.net/10945/24016.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Heil, Simon [Verfasser]. "Test sequences and formal solutions over hyperbolic groups / Simon Heil." Kiel : Universitätsbibliothek Kiel, 2018. http://d-nb.info/1168627281/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Gamard, Guilhem. "Couverture d'un mot bidimensionnel par un motif chevauchant." Thesis, Montpellier, 2017. http://www.theses.fr/2017MONTS027/document.

Full text
Abstract:
Nous étudions dans cette thèse la notion de quasipériodicité,introduite par Apostolico et Ehrenfeucht au début des années 1990,puis étendue aux mots infinis par Solomon Marcus au début des années2000. Un mot (fini ou infini) w est quasipériodique s'il peut êtrecouvert par des occurrences, éventuellement chevauchantes, d'un autremot, fini, appelé sa quasipériode. En 2006, Monteil etMarcus ont introduit la notion plus forte de quasipériodicitémulti-échelles : le fait d'avoir une infinité de quasipériodes.Dans un premier temps, nous étudions la quasipériodicité des motsinfinis bidimensionnels. No
APA, Harvard, Vancouver, ISO, and other styles
23

Chen, Wei. "Formal Modeling and Automatic Generation of Test Cases for the Autonomous Vehicle." Electronic Thesis or Diss., université Paris-Saclay, 2020. http://www.theses.fr/2020UPASG002.

Full text
Abstract:
Les véhicules autonomes reposent principalement sur un pilote de système intelligent pour réaliser les fonctions de la conduite autonome. Ils combinent une variété de capteurs (caméras, radars, lidars,..) pour percevoir leurs environnements. Les algorithmes de perception des ADSs (Automated Driving Systems) fournissent des observations sur les éléments environnementaux à partir des données fournies par les capteurs, tandis que les algorithmes de décision génèrent les actions à mettre en oeuvre par les véhicules. Les ADSs sont donc des systèmes critiques dont les pannes peuvent avoir des conséq
APA, Harvard, Vancouver, ISO, and other styles
24

Yang, Xile. "Automatic software test data generation from Z specifications using evolutionary algorithms." Thesis, University of South Wales, 1998. https://pure.southwales.ac.uk/en/studentthesis/automatic-software-test-data-generation-from-z-specifications-using-evolutionary-algorithms(fd661850-9e09-4d28-a857-d551612ccc09).html.

Full text
Abstract:
Test data sets have been automatically generated for both numerical and string data types to test the functionality of simple procedures and a good sized UNIX filing system from their Z specifications. Different structured properties of software systems are covered, such as arithmetic expressions, existential and universal quantifiers, set comprehension, union, intersection and difference, etc. A CASE tool ZTEST has been implemented to automatically generate test data sets. Test cases can be derived from the functionality of the Z specifications automatically. The test data sets generated from
APA, Harvard, Vancouver, ISO, and other styles
25

SOUZA, Cléclio Feitosa de. "Modelling and Integrating Formal Models: from Test Cases and Requirements Models." Universidade Federal de Pernambuco, 2007. https://repositorio.ufpe.br/handle/123456789/2633.

Full text
Abstract:
Made available in DSpace on 2014-06-12T15:59:48Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007<br>A especificação formal de um sistema ou seu modelo formal é uma forma abstrata de representar suas propriedades (características). Métodos formais é um ramo da Engenharia de Software com foco no desenvolvimento de sistemas tendo uma especificação formal do mesmo como ponto de partida. Inicialmente, as vantagens de usar notações abstratas antes da implementação do sistema estavam apenas relacionadas a um melho
APA, Harvard, Vancouver, ISO, and other styles
26

Abu, Sheikha Fadi. "Analysis and Generation of Formal and Informal Text." Thesis, University of Ottawa (Canada), 2010. http://hdl.handle.net/10393/28845.

Full text
Abstract:
In this thesis, we discuss an important issue in computational linguistics: distinguishing between formal and informal style of texts, in document classification and in text generation. There is a need to identify formal texts and informal texts automatically. In addition, there is a need of having a computer system that could generate correct English texts in formal or informal style. Therefore, we propose to use two main techniques in order to solve the two tasks. The first technique is to build a model that can be used to classify any text or sentence as having formal or informal style. The
APA, Harvard, Vancouver, ISO, and other styles
27

Behnia, Salimeh Thévenod-Fosse Pascale. "Test de modèles formels en B cadre théorique et critères de couverture /." Toulouse : INP Toulouse, 2004. http://ethesis.inp-toulouse.fr/archive/00000008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Yang, Jing. "Formal specification and test of COTS-based embedded railway control/command architecture." Thesis, Lille 1, 2013. http://www.theses.fr/2013LIL10021.

Full text
Abstract:
L’objectif du project FerroCOTS est de faire évoluer l’architecture de contrôle-commande ferroviaire embarqué des relais électriques vers des Composant-sur-Etagère (COTS) programmables, ici des cartes FPGA (Field-Programmable Gate Array en anglais). Toutefois, l'absence d’une méthode appropriée de spécification et vérification formelles est un obstacle important au développement d’une architecture de contrôle-commande à base de COTS. Dans cette thèse, nous proposons tout d'abord des techniques systématiques de raffinement des exigences brutes et qui permettent de transformer des exigences info
APA, Harvard, Vancouver, ISO, and other styles
29

Behnia, Salimeh. "Test de modèles formels en B : cadre théorique et critères de couverture." Phd thesis, Toulouse, INPT, 2000. http://oatao.univ-toulouse.fr/7345/1/behnia.pdf.

Full text
Abstract:
Les travaux présentés dans ce mémoire définissent un cadre théorique pour le test de logiciels développés selon la méthode formelle B. Les tests visent à révéler les fautes dues à une mauvaise compréhension ou à une mauvaise modélisation d’un besoin fonctionnel, et complètent ainsi les preuves effectuées pendant le développement formel. Un développement B peut être vu comme une série d’étapes durant lesquelles des modèles de plus en plus concrets de l’application sont construits, le code final pouvant être considéré comme une version compilée du modèle le plus concret. Le cadre théorique de te
APA, Harvard, Vancouver, ISO, and other styles
30

Charfi, Leila. "Formal modeling and test generation automation with Use Case Maps and LOTOS." Thesis, University of Ottawa (Canada), 2001. http://hdl.handle.net/10393/9138.

Full text
Abstract:
This thesis addresses the problem of formal modelling and test generation, from system requirements represented in the form of Use Case Maps. In the first part of our thesis, we present an existent development methodology based on Use Case Maps for the design of the requirements and on LOTOS and SDL for the formal modeling of telecommunication systems. We follow this methodology for the formal specification and validation of a telephony system using LOTOS. In the second part of the thesis, we develop a method for the automatic generation of LOTOS scenarios from Use Case Maps called Ucm2LotosTe
APA, Harvard, Vancouver, ISO, and other styles
31

Martinez, Cabrera Gerardo, and Melendez Rafael Cuevas. "DESIGN OF TEST RIG FOR MEASURING OF CUTTING FORCES." Thesis, Högskolan i Skövde, Institutionen för teknik och samhälle, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-8311.

Full text
Abstract:
In this thesis,a design of a portable measuring test rig is developed with the aim of measure the tangential force, the most characteristic component of the cutting force.This test rig can be used in different lathes without any large modification.The design is based on the lever law to transmit the tangential force to a piezoelectric senso rconnected to an amplifier, to a dataa cquisition system and to a computer to obtain the graph of the speed against the tangential cutting force.The sensor is preload using an original fixing screw of the lathe.The results show that the tangential force is
APA, Harvard, Vancouver, ISO, and other styles
32

Lundblad, Joel. "Assessment of Soldiers’ Physical Fitness : A comparison between the Swedish Armed Forces MULTI-test and tests of five physical fitness factors." Thesis, Högskolan i Halmstad, Bio- och miljösystemforskning (BLESS), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-29539.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Kriouile, Abderahman. "Formal methods for functional verification of cache-coherent systems-on-chip." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAM041/document.

Full text
Abstract:
Les architectures des systèmes sur puce (System-on-Chip, SoC) actuelles intègrent de nombreux composants différents tels que les processeurs, les accélérateurs, les mémoires et les blocs d'entrée/sortie, certains pouvant contenir des caches. Vu que l'effort de validation basée sur la simulation, actuellement utilisée dans l'industrie, croît de façon exponentielle avec la complexité des SoCs, nous nous intéressons à des techniques de vérification formelle. Nous utilisons la boîte à outils CADP pour développer et valider un modèle formel d'un SoC générique conforme à la spécification AMBA 4 ACE
APA, Harvard, Vancouver, ISO, and other styles
34

Gueraichi, Djaffar. "Derivation of test cases for LAP-B from a formal specification in LOTOS." Thesis, University of Ottawa (Canada), 1989. http://hdl.handle.net/10393/5721.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Sartim, Ariandra Guerini. "Possível interação entre os sistemas endocanabinóide, glutamatérgico e nitrérgico do CPFmv na modulação de respostas emocionais/comportamentais ao estresse." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/60/60138/tde-23112017-083836/.

Full text
Abstract:
Receptores CB1 e TRPV1 desempenham papéis opostos na modulação da atividade neuronal e, possivelmente, na regulação da resposta ao estresse. A exposição ao estresse reduz a neurotransmissão mediada por receptores CB1, enquanto que a facilitação do sistema endocanabinóide produz efeito tipoantidepressivo. Por outro lado, estudos farmacológicos e de manipulação genética apontam que a diminuição da sinalização mediada por receptores TRPV1 produz efeito tipo-antidepressivo em modelos animais. Evidências científicas apontam que a modulação da neurotransmissão glutamatérgica, dependente de receptore
APA, Harvard, Vancouver, ISO, and other styles
36

Wiener, Oliver. "Apolls musikalische Reisen : zum Verhältnis von System, Text und Narration in Johann Nicolaus Forkels "Allgemeiner Geschichte der Musik" (1788-1801) /." Mainz : Are Edition, 2009. http://d-nb.info/99318006X/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Bisetto, Shayne Pedrozo. "Avaliação das atividades locomotora e nociceptiva diárias e sazonais de lagartos mantidos em condições ambientais controladas." Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/74/74135/tde-14032017-104420/.

Full text
Abstract:
O uso de répteis como modelos experimentais é limitado, principalmente devido às particularidades fisiológicas da classe, como as oscilações diárias e sazonais em seu comportamento. O objetivo deste estudo foi avaliar a atividade locomotora e nociceptiva de teiús (Salvator merianae) e iguanas-verdes (Iguana iguana) submetidos a testes comportamentais, ao longo do dia e do ano. Foram utilizados seis exemplares de cada espécie, mantidos em sala com temperatura ambiental (24 a 30°C) e fotoperíodo (12h:12h) controlados. Esses foram avaliados ao longo do dia (0:00h, 6:00h, 12:00h, 18:00h) e ao long
APA, Harvard, Vancouver, ISO, and other styles
38

Jurvelin, Olsson Mikael, and Andreas Hild. "Pairs Trading, Cryptocurrencies and Cointegration : A Performance Comparison of Pairs Trading Portfolios of Cryptocurrencies Formed Through the Augmented Dickey Fuller Test, Johansen’s Test and Phillips Perron’s Test." Thesis, Uppsala universitet, Statistiska institutionen, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-385484.

Full text
Abstract:
This thesis analyzes the performance and process of constructing portfolios of cryptocurrency pairs based on cointegrated relationships indicated by the Augmented Dickey-Fuller test, Johansen’s test and Phillips Peron’s test. Pairs are tested for cointegration over a 3-month and a 6-month window and then traded over a trading window of the same length. The cryptocurrencies included in the study are 14 cryptocurrencies with the highest market capitalization on April 24th 2019. One trading strategy has been applied on every portfolio following the 3-month and the 6-month methodology with thresho
APA, Harvard, Vancouver, ISO, and other styles
39

High, Wayne. "A formal protocol test procedure for the Survivable Adaptable Fiber Optic Embedded Network (SAFENET)." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from the National Technical Information Service, 1993. http://handle.dtic.mil/100.2/ADA267410.

Full text
APA, Harvard, Vancouver, ISO, and other styles
40

Salama, Mohamed Ahmed Said. "Automatic test data generation from formal specification using genetic algorithms and case based reasoning." Thesis, University of the West of England, Bristol, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.252562.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Martins, Alexandre Locci. "Teste e verificação formal do comportamento excepcional de programas Java." Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106/.

Full text
Abstract:
Estruturas de tratamento de exceção são extremamente comuns em softwares desenvolvidos em linguagens modernas, como Java, e afetam de forma contundente o comportamento de um software quando exercitadas. Apesar destas duas características, as principais técnicas de verificação, teste de software e verificação formal, e as ferramentas a elas vinculadas, tendem a negligenciar o comportamento excepcional. Alguns dos fatores que levam a esta negligência são a não especificação do comportamento excepcional em termos de projeto e a consequente implementação das estruturas de tratamento com base no ju
APA, Harvard, Vancouver, ISO, and other styles
42

Boin, Clément. "Une méthode de sélection de tests à partir de spécifications algébriques." Phd thesis, Université d'Evry-Val d'Essonne, 2007. http://tel.archives-ouvertes.fr/tel-00419730.

Full text
Abstract:
Les travaux de cette thèse s'inscrivent dans le cadre de la vérification des logiciels et plus particulièrement du test à partir de spécifications algébriques. La soumission d'un jeu de tests exhaustif pour trouver toutes les erreurs d'un programme est généralement impossible. Il faut donc sélectionner un jeu de tests le plus judicieusement possible. Nous avons donc donné une méthode de sélection de tests par dépliage des axiomes de spécifications conditionnelles positives (clauses de Horn pour la logique équationnelle). Celle-ci permet de partitionner le jeu exhaustif des tests. Nous utilison
APA, Harvard, Vancouver, ISO, and other styles
43

Guignard, Anaïs. "Validation fonctionnelle de contrôleurs logiques : contribution au test de conformité et à l'analyse en boucle fermée." Thesis, Cachan, Ecole normale supérieure, 2014. http://www.theses.fr/2014DENS0050/document.

Full text
Abstract:
Les travaux présentés dans ce mémoire de thèse s'intéressent à la validation fonctionnelle de contrôleurs logiques par des techniques de test de conformité et de validation en boucle fermée. Le modèle de spécification est décrit dans le langage industriel Grafcet et le contrôleur logique est supposé être un automate programmable industriel (API) mono-tâche. Afin de contribuer à ces techniques de validation fonctionnelle, ces travaux présentent : - Une extension d'une méthode de formalisation du Grafcet par traduction sous la forme d'une machine de Mealy. Cette extension permet de produire un m
APA, Harvard, Vancouver, ISO, and other styles
44

El-Sakran, Tharwat Mohamed El-Sayed. "Footnotes in academic written discourse : a formal and functional analysis." Thesis, Bangor University, 1990. https://research.bangor.ac.uk/portal/en/theses/footnotes-in-academic-written-discourse--a-formal-and-functional-analysis(bddc8861-02d1-4092-84e2-c2409877c4e4).html.

Full text
Abstract:
This thesis presents a formal and functional analysis of footnotes In academic journal articles. In Chapter One a brief account of the recent history of Genre Analysis Studies leading to a definition of footnotes Is given. Also given is an account of the differences and similarities between footnotes and some other germane conventional structures (viz, parentheticals and asides) that may carry out similar functions to those that footnotes realize. Reasons why writers use footnotes are suggested and discussed. The work Is based on a corpus of 10 linguistics journal articles comprising 113 footn
APA, Harvard, Vancouver, ISO, and other styles
45

Nataša, Babić. "Efekti svakodnevnog fizičkog vaspitanja na razvoj motoričkih veština i fizičke forme povezane sa zdravljem kod predškolske dece." Phd thesis, Univerzitet u Novom Sadu, Fakultet sporta i fizičkog vaspitanja u Novom Sadu, 2020. https://www.cris.uns.ac.rs/record.jsf?recordId=112351&source=NDLTD&language=en.

Full text
Abstract:
На узорку од 258 испитаника предшколског узраста (5-7 година) спроведено јеистраживање са циљем да се испитају ефекти свакодневног физичког васпитања наразвој моторичких вештина и физичке форме повезане са здрављем. Истраживање јеспроведено у предшколској установи &bdquo;Вера Гуцуња&ldquo; из Сомбора, а узорак је подељен наексперименталну (N=125 - 48.45%) и контролну групу (N=133 - 51.55%). Просечнастарост деце на иницијалном мерењу је била 6.07&plusmn;0.42 година, при чему је просечанузраст за експерименталне групе 6.05&plusmn;0.43 година, а за контролне групе 6.10&plusmn;0.40година. Експерим
APA, Harvard, Vancouver, ISO, and other styles
46

Cushing, Katherine Susan. "The effect of formal instruction in test taking skills using the Riverside "Improving Test Taking Skills" materials on standardized achievement test scores of students in fourth and fifth grade." Diss., The University of Arizona, 1988. http://hdl.handle.net/10150/184472.

Full text
Abstract:
Researchers have suggested that knowledge of how to take a test decreases the validity of achievement test scores as measures of content knowledge. Further, teaching students test taking skills generally improves student achievement test scores. However, little research exists regarding the efficacy of commercially prepared materials for formal test-wiseness instruction. Fourth and fifth grade students in 15 elementary schools participated in this study. Students in the Volunteer Selected group received instruction in test taking skills using the Riverside Improving Test Taking Skills material
APA, Harvard, Vancouver, ISO, and other styles
47

Che, Xiaoping. "Cross-fertilizing formal approaches for protocol conformance and performance testing." Thesis, Evry, Institut national des télécommunications, 2014. http://www.theses.fr/2014TELE0012/document.

Full text
Abstract:
Les technologies de communication et les services web sont devenus disponibles dans notre vie numérique, les réseaux informatiques continuent de croître et de nouveaux protocoles de communication sont constamment définis et développés. Par la suite, la standardisation et la normalisation des protocoles sont dispensables pour permettre aux différents systèmes de dialoguer. Bien que ces normes peuvent être formellement vérifiés, les développeurs peuvent produire des erreurs conduisant à des implémentations défectueuses. C'est la raison pour laquelle leur mise en œuvre doit être strictement exami
APA, Harvard, Vancouver, ISO, and other styles
48

Compton, D'Lane Rebecca. "The generation and effects of a stigma in small groups: a formal theory and test." Texas A&M University, 2007. http://hdl.handle.net/1969.1/85881.

Full text
Abstract:
Drawing from the vast literature on stigmas, theories of status generalizations and affect, this study employs a formal framework to delineate among different kinds of stigmas and different processes by which they might operate. This study then considers the case of a particular type of stigma, a behavioral stigma, a label that is obtained from past behavior. The formalization distinguishes how knowledge of a particular type of stigma operates through group members who then cast an â otherâ into a stigmatized role with special attention to affect and behavior of the stigmatized individual a
APA, Harvard, Vancouver, ISO, and other styles
49

Hanazumi, Simone. "Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas." Universidade de São Paulo, 2010. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/.

Full text
Abstract:
Hoje, diante das contínuas mudanças e do mercado competitivo, as empresas e organizações têm sempre a necessidade de adaptar suas práticas de negócios para atender às diferentes exigências de seus clientes e manter-se em vantagem com relação às suas concorrentes. Para ajudá-las a atingir esta meta, uma proposta promissora é o Desenvolvimento Baseado em Componentes (DBC), cuja ideia básica é a de que um novo software possa ser construído rapidamente a partir de componentes pré-existentes. Entretanto, a montagem de sistemas corporativos mais confiáveis e tolerantes a falhas a partir da integraç
APA, Harvard, Vancouver, ISO, and other styles
50

Herbin, Stéphane. "Elements pour la formalisation d'une reconnaissance active : application à la vision tridimensionnelle." Cachan, Ecole normale supérieure, 1997. http://www.theses.fr/1997DENS0017.

Full text
Abstract:
Le modèle usuel de reconnaissance propose dans la littérature est celui de l'appariement. Il consiste en une mise en correspondance d'un donne sensoriel forme et d'un modèle d'objet stocke en mémoire. Il distingue implicitement un niveau perceptif, source de représentations capables de se substituer universellement au signal originaire, d'un niveau cognitif, susceptible de les utiliser pour produire des inférences. Cependant, la perception immédiate révèle rarement d'emblée toute l'information utile pour la reconnaissance d'objets. Les conditions d'observation sont souvent d'ambigües et les sy
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Test formel' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography