Дисертації з теми "Load Based Testing Validation"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-36 дисертацій для дослідження на тему "Load Based Testing Validation".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
Cordova, Lucas Pascual. "Development and Validation of Feedback-Based Testing Tutor Tool to Support Software Testing Pedagogy." Diss., North Dakota State University, 2020. https://hdl.handle.net/10365/31749.
Повний текст джерелаGranda, Juca María Fernanda. "Testing-Based Conceptual Schema Validation in a Model-Driven Environment." Doctoral thesis, Universitat Politècnica de València, 2017. http://hdl.handle.net/10251/89091.
Повний текст джерелаA pesar del escepticismo y dificultades en su adopción, el Desarrollo Orientado por Modelos (MDD, por sus siglas en inglés) está siendo usado y mejorado para proveer muchos beneficios inherentes a la industria. Uno de sus mayores beneficios es la capacidad de manejar la complejidad del desarrollo de software elevando el nivel de abstracción. Los modelos se expresan utilizando conceptos que no están relacionados con una tecnología de implementación específica (por ejemplo, Lenguaje de Modelado Unificado -UML, Lenguaje de Restricción de Objetos -OCL, Lenguaje de Acción para el Foundational UML - ALF), lo que significa que los modelos pueden ser más fáciles de especificar, mantener y documentar. Debido a que en una Ingeniería dirigida por modelos (MDE), los artefactos primarios son los modelos conceptuales, los esfuerzos se centran en su creación, prueba y evolución a diferentes niveles de abstracción a través de transformaciones, porque si un esquema conceptual tiene defectos, éstos se pasan a las siguientes etapas, incluida la codificación. Por lo tanto, uno de los retos para los investigadores y desarrolladores in MDD es poder identificar los defectos temprano, a nivel de esquemas conceptuales, ya que esto ayudaría a reducir los costos de desarrollo y mejorar la calidad del software. Durante la última década, pocos trabajos de investigación se han realizado en esta área. Algunas de las causas de esta realidad son la alta complejidad teórica de probar esquemas conceptuales y la falta de soporte de software adecuado. Por lo tanto, este área de investigación admite nuevos métodos y técnicas, enfrentando retos como la generación de casos de prueba utilizando información externa a los esquemas conceptuales (es decir, los requisitos), la medición de una posible automatización, selección y priorización de casos de prueba, la necesidad de una herramienta de soporte eficiente que utilice una semántica estándar, la retroalimentación oportuna para apoyar el proceso de aseguramiento de la calidad del software y facilitar la toma de decisiones basadas en el análisis y la interpretación de los resultados. El objetivo de esta tesis es mitigar algunos de los problemas que afectan la validación de los esquemas conceptuales, proporcionando un nuevo marco de validación basado en pruebas que fue construido usando un desarrollo dirigido por modelos. El uso de MDD permite un aumento en la abstracción, automatización y reutilización que nos permite aliviar la complejidad de nuestro marco de validación. Además, al aprovechar las técnicas MDD (como el metamodelado, las transformaciones de modelos y los modelos en tiempo de ejecución), nuestro marco soporta cuatro fases del proceso de prueba: diseño de pruebas, generación de casos de prueba, ejecución de casos de prueba y la evaluación de los resultados. Con el fin de proporcionar soporte de software para nuestra propuesta, hemos desarrollado CoSTest, un entorno de pruebas basado en el lenguaje ALF. Para asegurar que CoSTest ofrece la funcionalidad necesaria, primero identificamos un conjunto de requisitos funcionales. Luego, después de identificar estos requisitos, definimos la arquitectura y el ambiente de pruebas de nuestro marco de validación y, finalmente, implementamos la arquitectura en el contexto de Eclipse. CoSTest ha sido desarrollado para probar varias propiedades sobre el modelo ejecutable como la corrección sintáctica (es decir, todos los elementos del modelo se ajustan a la sintaxis del lenguaje en el que se describe), consistencia entre la parte estructural y el comportamiento (sus restricciones de integridad) y completitud (es decir, todos los cambios posibles en el estado del sistema se pueden realizar a través de la ejecución de las operaciones definidas en el modelo ejecutable). Para los modelos defectuosos, el informe de CoSTest devuelve una retroalimentación significativa que ayuda a localizar y reparar los defectos detec
A pesar de l'escepticisme i les dificultats en la seua adopció, el Desenvolupament Orientat per Models (MDD, segons les sigles en anglès) està sent usat i millorat per tal de proveir molts beneficis potencials inherents a l' indústria. Un dels majors beneficis és la capacitat de manejar la complexitat del desenvolupament del programari elevant el nivell d'abstracció. Els models s'expressen mitjançant conceptes que no estan relacionats amb una tecnologia d'implementació específica (per exemple, el Llenguatge de Modelat Unificat - UML, Llenguatge de Restricció d'Objectes -OCL, Llenguatge d'Acció per al Foundational UML - ALF), el que significa que els models poder ser més fàcils d'especificar, mantindre i documentar. A causa de que en una Enginyeria dirigida per models (MDE), els artefactes primaris són els models conceptuals, els esforços es centren en la seua creació, prova i evolució a diferents nivells d'abstracció mitjançant transformacions, perquè si un esquema conceptual té defectes, aquestos es passen a les següents etapes, inclosa la codificació. Per tant, un del reptes per als investigadors i desenvolupadors en MDD és poder identificar els defectes des del principi, a nivell de esquemes conceptuals, perquè açò ajudaria a reduir els costos de desenvolupament i millora de la qualitat del programari. Durant l'última dècada, pocs treballs d'investigació s'han fet en aquesta àrea. Algunes de les causes d'aquesta realitat són l'alta complexitat teòrica de provar esquemes conceptuals i la falta de suport de programari adequat. Per tant, aquesta àrea d'investigació admet nous mètodes i tècniques, enfrontant reptes com la generació de casos de prova mitjançant informació externa als esquemes conceptuals (es a dir, requisits), la medició de una possible automatització, selecció i priorització de casos de prova, la necessitat de una ferramenta de suport rentable que utilitze una semàntica estàndard, la retroalimentació oportuna per suportar el procés d'assegurament de la qualitat del programari i la facilitat per a prendre decisions basades en l'anàlisi i la interpretació dels resultats. En aquesta tesi intentem mitigar alguns dels problemes que afecten a la validació dels esquemes conceptuals, proporcionant un nou marc de validació basat en proves que va ser construït mitjançant un desenvolupament dirigit per models. L'ús de MDD permet un augment en l'abstracció, automatització i reutilització que ens permet alleujar la complexitat del nostre marc de validació. A més a més, al aprofitar les tècniques MDD (com el metamodelat, les transformacions de models i els models en temps d'execució), el nostre marc suporta quatre fases del procés de prova: disseny, generació i execució de casos de prova, així com l'avaluació de resultats del procés de prova. Amb la finalitat de proporcionar suport de programari per a la nostra proposta, hem desenvolupat un entorn de proves basat en el llenguatge ALF que s'anomena CoSTest. Per tal d'assegurar que CoSTest ofereix la funcionalitat necessària, identifiquem un conjunt de requisits funcionals abans de desenvolupar la ferramenta. Després d'identificar aquestos requisits, definim l'arquitectura i l'ambient de proves del nostre marc de validació, i finalment, implementem l'arquitectura en el context Eclipse. CoSTest ha sigut desenvolupat per provar diverses propietats sobre el model executable com la correcció sintàctica (és a dir, tots els elements del model s'ajusten a la sintaxi del llenguatge en el que es descriu), consistència antre la part estructural i el comportament (les seues restriccions d'integritat) i completitud (és a dir, tots els canvis possibles en l'estat del sistema es poden realitzar mitjançant l'execució de les operacions definides en el model executable). Per als models defectuosos, l'informe de CoSTest retorna una retroalimentació significativa que ajuda a localitzar i reparar els defectes dete
Granda Juca, MF. (2017). Testing-Based Conceptual Schema Validation in a Model-Driven Environment [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/89091
TESIS
Kara, Ismihan Refika. "Automated Navigation Model Extraction For Web Load Testing." Master's thesis, METU, 2011. http://etd.lib.metu.edu.tr/upload/12613992/index.pdf.
Повний текст джерелаLikki, Srinivas Reddy. "TESTING AND VALIDATION OF A CORRELATION BASED TRANSITION MODEL USING LOCAL VARIABLES." UKnowledge, 2004. http://uknowledge.uky.edu/gradschool_theses/319.
Повний текст джерелаGilbert, Andy Michael. "Validation of a laboratory method for accelerated fatigue testing of bridge deck panels with a rolling wheel load." Thesis, Montana State University, 2012. http://etd.lib.montana.edu/etd/2012/gilbert/GilbertA0512.pdf.
Повний текст джерелаJayaram, Vinay B. "Experimental Study of Scan Based Transition Fault Testing Techniques." Thesis, Virginia Tech, 2003. http://hdl.handle.net/10919/31146.
Повний текст джерелаMaster of Science
Zientarski, Lauren Ann. "Wind Tunnel Testing of a Variable Camber Compliant Wing with a Unique Dual Load Cell Test Fixture." University of Dayton / OhioLINK, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=dayton1448893315.
Повний текст джерелаBierman, Anandi. "Refinement and validation of a microsatellite based identification and parentage testing panel in horses." Diss., University of Pretoria, 2010. http://hdl.handle.net/2263/25557.
Повний текст джерелаDissertation (MSc)--University of Pretoria, 2010.
Production Animal Studies
unrestricted
Fatolitis, Philip. "Initial Validation of Novel Performance-Based Measures: Mental Rotation and Psychomotor Ability." Doctoral diss., University of Central Florida, 2008. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/6223.
Повний текст джерелаPh.D.
Doctorate
Psychology
Sciences
Gunther, Matthew. "Design and Validation of an LED-Based Solar Simulator for Solar Cell and Thermal Testing." DigitalCommons@CalPoly, 2020. https://digitalcommons.calpoly.edu/theses/2302.
Повний текст джерелаMarculescu, Bogdan. "Interactive Search-Based Software Testing : Development, Evaluation, and Deployment." Doctoral thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-15083.
Повний текст джерелаYilmaz, Levent. "Specifying and Verifying Collaborative Behavior in Component-Based Systems." Diss., Virginia Tech, 2002. http://hdl.handle.net/10919/26494.
Повний текст джерелаPh. D.
Mahajan, Rajneesh. "A Multi-Language Goal-Tree Based Functional Test Planning System." Thesis, Virginia Tech, 2002. http://hdl.handle.net/10919/34487.
Повний текст джерелаMaster of Science
Robison, Aaron. "Modeling and Validation of Tension-Element Based Mechanisms for Golf Ball-Club Impact." Diss., CLICK HERE for online access, 2006. http://contentdm.lib.byu.edu/ETD/image/etd1523.pdf.
Повний текст джерелаSchwandt, Michael Joseph. "Risk-Based Framework for Focused Assessment of System Dynamics Models." Diss., Virginia Tech, 2009. http://hdl.handle.net/10919/27575.
Повний текст джерелаPh. D.
Imanian, James A. "Automated test case generation for reactive software systems based on environment models." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2005. http://library.nps.navy.mil/uhtbin/hyperion/05Jun%5FImanian.pdf.
Повний текст джерелаThesis Advisor(s): Mikhail Auguston, James B. Michael. Includes bibliographical references (p. 55-56). Also available online.
Farjoud, Alireza. "Physics-based Modeling Techniques for Analysis and Design of Advanced Suspension Systems with Experimental Validation." Diss., Virginia Tech, 2011. http://hdl.handle.net/10919/77354.
Повний текст джерелаPh. D.
Brown, Reagan. "An examination of the structure and predictability of Myers-Briggs Type Indicator preferences using a job component validity strategy based on the Common-Metric Questionnaire." Thesis, This resource online, 1995. http://scholar.lib.vt.edu/theses/available/etd-07102009-040356/.
Повний текст джерелаDe, Sousa Barroca José Duarte. "Verification and validation of knowledge-based clinical decision support systems - a practical approach : A descriptive case study at Cambio CDS." Thesis, Linnéuniversitetet, Institutionen för datavetenskap och medieteknik (DM), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-104935.
Повний текст джерелаHays, Mark A. "A Fault-Based Model of Fault Localization Techniques." UKnowledge, 2014. http://uknowledge.uky.edu/cs_etds/21.
Повний текст джерелаVögele, Christian [Verfasser], Helmut [Akademischer Betreuer] Krcmar, Helmut [Gutachter] Krcmar, and Alexander [Gutachter] Pretschner. "Automatic Extraction and Selection of Workload Specifications for Load Testing and Model-Based Performance Prediction / Christian Vögele ; Gutachter: Helmut Krcmar, Alexander Pretschner ; Betreuer: Helmut Krcmar." München : Universitätsbibliothek der TU München, 2018. http://d-nb.info/116262115X/34.
Повний текст джерелаBhuyan, Md Delwar Hossain. "Statistical transfer matrix-based damage localization and quantification for civil structures." Thesis, Rennes 1, 2017. http://www.theses.fr/2017REN1S082/document.
Повний текст джерелаVibration-based damage localization has become an important issue for Structural Health Monitoring (SHM). Particularly, the Stochastic Dynamic Damage Locating Vector (SDDLV) method is an output-only damage localization method based on both a Finite Element (FE) model of the structure and modal parameters estimated from output-only measurements in the reference and damaged states of the system, interrogating changes in the transfer matrix. Firstly, the SDDLV method has been extended with a joint statistical approach for multiple mode sets, overcoming the theoretical limitation on the number of modes in previous works. Another problem is that the performance of the method can change considerably depending on the Laplace variable where the transfer function is evaluated. Particular attention is given to this choice and how to optimize it. Secondly, the Influence Line Damage Location (ILDL) approach which is complementary to the SDDLV approach has been extended with a statistical framework. Thirdly, a sensitivity approach for small damages has been developed based on the transfer matrix difference, allowing damage localization through statistical tests in a Gaussian framework, and in addition the quantification of the damage in a second step. Finally, the proposed methods are validated on numerical simulations and their performances are tested extensively in numerous case studies on lab experiments
Fadel, Aline Cristine 1984. "Técnicas de testes aplicadas a software embarcado em redes ópticas." [s.n.], 2011. http://repositorio.unicamp.br/jspui/handle/REPOSIP/267792.
Повний текст джерелаDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Tecnologia
Made available in DSpace on 2018-08-19T14:09:37Z (GMT). No. of bitstreams: 1 Fadel_AlineCristine_M.pdf: 3259764 bytes, checksum: a287ca33254d027f23e2f2f818464ee1 (MD5) Previous issue date: 2011
Resumo: Esse trabalho apresenta os detalhes e os resultados de testes automatizados e manuais que utilizaram a técnica de injeção de falhas e que foram aplicados em redes ópticas. No primeiro experimento o teste foi automatizado e utilizou a emulação de falhas físicas baseadas na máquina de estados do software embarcado dessa rede. Para esse teste foi utilizado uma chave óptica que é controlada por um robô de testes. O segundo experimento foi um teste manual, que injetou falhas nas mensagens de comunicação do protocolo dessa rede, a fim de validar os mecanismos de tolerância a falhas do software central dessa rede. Esse experimento utilizou a metodologia Conformance and Fault injection para preparar, executar e relatar os resultados dos casos de testes. Nos dois experimentos também foi utilizado um padrão de documentação de testes que visa facilitar a reprodução dos testes, a fim de que eles possam ser aplicados em outros ambientes. Com a aplicação desses testes, a rede óptica pode alcançar uma maior confiabilidade, disponibilidade e robustez, que são características essenciais para sistemas que requerem alta dependabilidade
Abstract: This work presents the details and the results of automatic and manual tests that used the fault injection technique and were applied on GPON network. In the first experiment the test was automated, and it performed the emulation of physical faults based on the state machine of the embedded software in this network. In this test is used an optical switch that is controlled by a test robot. The second experiment was a manual test, which injected faults on protocol communication message exchanged through the optical network, in order to validate the main software fault tolerance mechanisms. This experiment used a Conformance and Fault injection methodology to prepare, execute and report the results of the test cases. In both experiments, it was used a standard test documentation to facilitate the reproduction of the tests, so that they can be applied in other environments. With applying both tests, the optical networks reach greater reliability, availability and robustness. These attributes are essential for systems that require high dependability
Mestrado
Tecnologia e Inovação
Mestre em Tecnologia
Ridene, Youssef. "Ingéniérie dirigée par les modèles pour la gestion de la variabilité dans le test d'applications mobiles." Thesis, Pau, 2011. http://www.theses.fr/2011PAUU3010/document.
Повний текст джерелаMobile applications have increased substantially in volume with the emergence ofsmartphones. Ensuring high quality and successful user experience is crucial to the successof such applications. Only an efficient test procedure allows developers to meet these requirements. In the context of embedded mobile applications, the test is costly and repetitive. This is mainly due to the large number of different mobile devices. In this thesis, we describe MATeL, a Domain-Specific Modeling Language (DSML) for designing test scenarios for mobile applications. Its abstract syntax, i.e. a meta model and OCL constraints, enables the test designer to manipulate mobile applications testing concepts such as tester, mobile or outcomes and results. It also enables him/her to enrich these scenarios with variability points in the spirit of Software Product-Line engineering, that can specify variations in the test according to the characteristics of one mobile or a set of mobiles. The concrete syntax of MATeL that is inspired from UML sequence diagrams and its environment based on Eclipse allow the user to easily develop scenarios. MATeL is built upon an industrial platform (a test bed) in order to be able to run scenarios on several different phones. The approach is illustrated in this thesis through use cases and experiments that led to verify and validate our contribution
Enderlin, Ivan. "Génération automatique de tests unitaires avec Praspel, un langage de spécification pour PHP." Thesis, Besançon, 2014. http://www.theses.fr/2014BESA2067/document.
Повний текст джерелаThe works presented in this memoir are about the validation of PHPprograms through a new specification language, along with its tools. These works follow three axes: specification language, automatic test data generation and automatic unit test generation. The first contribution is Praspel, a new specification language for PHP, based on the Design by Contract. Praspel specifies data with realistic domains, which are new structures allowing to validate and generate data. Based on a contract, we are able to perform Contract-based Testing, i.e.using contracts to automatically generate unit tests. The second contribution isabout test data generation. For booleans, integers and floating point numbers, auniform random generation is used. For arrays, a dedicated constraint solver has been implemented and used. For strings, a grammar description language along with an LL(⋆) compiler compiler and several algorithms for data generation are used. Finally, the object generation is supported. The third contribution defines contract coverage criteria. These latters provide test objectives. All these contributions are implemented and experimented into tools distributed to the PHP community
Müller, Christoph. "Untersuchung von Holzwerkstoffen unter Schlagbelastung zur Beurteilung der Werkstoffeignung für den Maschinenbau." Doctoral thesis, Universitätsbibliothek Chemnitz, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-184057.
Повний текст джерелаIn the present work wood-based materials are compared under static bending load and impact bending load. Several thermal stress conditions are applied to selected materials, furthermore one relevant notch geometry is tested. The objective of these tests is to investigate the suitability of distinct wood materials for security relevant applications with the occurrence of impact loads. For this purpose the basics of instrumented impact testing and wood-based materials are acquired. The state of the technology and a comprehensive analysis of original studies are subsequently presented. On this basis an own impact pendulum was developed to allow force-acceleration measurement with high sample rates. The apparatus is validated by several methods and the achieved signals are tested for plausibility. A general approach of testing for adequate sample size is implemented and applied to the tested samples. Based on the characteristic values of the static bending and impact bending tests a classification model for material selection and comparison is proposed. The classification model is an integral approach for mechanical performance assessment of wood-based materials. In conclusion a method for impact testing of components (in future studies) is introduced
Günther, Thomas [Verfasser], and A. [Akademischer Betreuer] Albers. "Methode zur Optimierung von Motor-Dauerlauf-programmen als Teil des Validierungsprozesses auf der Basis thermomechanisch schädigungsgleicher Ersatzkollektive am Beispiel eines Al-Si-Zylinderkopfes = A method for optimization of engine durability-test-programs as a part of the validation process based on a load-collective with thermomechanical equivalent damage by the example of an Al-Si cylinder head / Thomas Günther ; Betreuer: A. Albers." Karlsruhe : KIT-Bibliothek, 2021. http://d-nb.info/123507255X/34.
Повний текст джерелаAleahmad, Turadg. "Improving Students’ Study Practices Through the Principled Design of Research Probes." Research Showcase @ CMU, 2012. http://repository.cmu.edu/dissertations/129.
Повний текст джерела"Trace-based post-silicon validation for VLSI circuits." 2012. http://library.cuhk.edu.hk/record=b5549661.
Повний текст джерелаLiu, Xiao.
Thesis (Ph.D.)--Chinese University of Hong Kong, 2012.
Includes bibliographical references (leaves 143-152).
Electronic reproduction. Hong Kong : Chinese University of Hong Kong, [2012] System requirements: Adobe Acrobat Reader. Available via World Wide Web.
Abstract --- p.i
Acknowledgement --- p.iv
Preface --- p.vii
Chapter 1 --- Introduction --- p.1
Chapter 1.1 --- VLSI Design Trends and Validation Challenges --- p.1
Chapter 1.2 --- Key Contributions and Thesis Outline --- p.4
Chapter 2 --- State of the Art on Post-Silicon Validation --- p.8
Chapter 2.1 --- Trace Signal Selection --- p.12
Chapter 2.2 --- Interconnection Fabric Design for Trace Data Transfer --- p.14
Chapter 2.3 --- Trace Data Compression --- p.15
Chapter 2.4 --- Trace-Based Debug Control --- p.16
Chapter 3 --- Signal Selection for Visibility Enhancement --- p.18
Chapter 3.1 --- Preliminaries and Summary of Contributions --- p.19
Chapter 3.2 --- Restorability Formulation --- p.23
Chapter 3.2.1 --- Terminologies --- p.23
Chapter 3.2.2 --- Gate-Level Restorabilities --- p.24
Chapter 3.3 --- Trace Signal Selection --- p.28
Chapter 3.3.1 --- Circuit Level Visibility Calculation --- p.28
Chapter 3.3.2 --- Trace Signal Selection Methodology --- p.30
Chapter 3.3.3 --- Trace Signal Selection Enhancements --- p.31
Chapter 3.4 --- Experimental Results --- p.34
Chapter 3.4.1 --- Experiment Setup --- p.34
Chapter 3.4.2 --- Experimental Results --- p.35
Chapter 3.5 --- Conclusion --- p.40
Chapter 4 --- Multiplexed Tracing for Design Error --- p.47
Chapter 4.1 --- Preliminaries and Summary of Contributions --- p.49
Chapter 4.2 --- Design Error Visibility Metric --- p.53
Chapter 4.3 --- Proposed Methodology --- p.56
Chapter 4.3.1 --- Supporting DfD Hardware for Multiplexed Signal Tracing --- p.58
Chapter 4.3.2 --- Signal Grouping Algorithm --- p.58
Chapter 4.4 --- Experimental Results --- p.62
Chapter 4.4.1 --- Experiment Setup --- p.62
Chapter 4.4.2 --- Experimental Results --- p.63
Chapter 4.5 --- Conclusion --- p.66
Chapter 5 --- Tracing for Electrical Error --- p.68
Chapter 5.1 --- Preliminaries and Summary of Contributions --- p.69
Chapter 5.2 --- Observing Speedpath-Related Electrical Errors --- p.71
Chapter 5.2.1 --- Speedpath-Related Electrical Error Model --- p.71
Chapter 5.2.2 --- Speedpath-Related Electrical Error Detection Quality --- p.73
Chapter 5.3 --- Trace Signal Selection --- p.75
Chapter 5.3.1 --- Relation Cube Extraction --- p.76
Chapter 5.3.2 --- Signal Selection for Non-Zero-Probability Error Detection --- p.77
Chapter 5.3.3 --- Trace Signal Selection for Error Detection Quality Enhancement --- p.78
Chapter 5.4 --- Trace Data Qualification --- p.80
Chapter 5.5 --- Experimental Results --- p.83
Chapter 5.6 --- Conclusion --- p.87
Chapter 6 --- Reusing Test Access Mechanisms --- p.88
Chapter 6.1 --- Preliminaries and Summary of Contributions --- p.89
Chapter 6.1.1 --- SoC Test Architectures --- p.89
Chapter 6.1.2 --- SoC Post-Silicon Validation Architectures --- p.90
Chapter 6.1.3 --- Summary of Contributions --- p.92
Chapter 6.2 --- Overview of the Proposed Debug Data Transfer Framework --- p.93
Chapter 6.3 --- Proposed DfD Structures --- p.94
Chapter 6.3.1 --- Modified Wrapper Design --- p.95
Chapter 6.3.2 --- Trace Buffer Interface Design --- p.97
Chapter 6.4 --- Sharing TAM for Multi-Core Debug Data Transfer --- p.98
Chapter 6.4.1 --- Core Masking for TestRail Architecture --- p.98
Chapter 6.4.2 --- Channel Split --- p.99
Chapter 6.5 --- Experimental Results --- p.101
Chapter 6.6 --- Conclusion --- p.104
Chapter 7 --- Interconnection Fabric for Flexible Tracing --- p.105
Chapter 7.1 --- Preliminaries and Summary of Contributions --- p.106
Chapter 7.2 --- Proposed Interconnection Fabric Design --- p.111
Chapter 7.2.1 --- Multiplexer Network for Mutually-Exclusive Signals --- p.111
Chapter 7.2.2 --- Non-Blocking Concentration Network for Concurrently-Accessible Signals --- p.114
Chapter 7.3 --- Experimental Results --- p.117
Chapter 7.4 --- Conclusion --- p.121
Chapter 8 --- Interconnection Fabric for Systematic Tracing --- p.123
Chapter 8.1 --- Preliminaries and Summary of Contributions --- p.124
Chapter 8.2 --- Proposed Trace Interconnection Fabric --- p.128
Chapter 8.3 --- Proposed Error Evidence Localization Methodology --- p.130
Chapter 8.4 --- Experimental Results --- p.133
Chapter 8.4.1 --- Experimental Setup --- p.133
Chapter 8.4.2 --- Results and Discussion --- p.134
Chapter 8.5 --- Conclusion --- p.139
Chapter 9 --- Conclusion --- p.140
Bibliography --- p.152
(9593063), Li Cheng. "Laboratory Load-Based Testing, Performance Mapping and Rating of Residential Cooling Equipment." Thesis, 2020.
Знайти повний текст джерелаXiao, Dongyi. "Inter-model, analytical, and experimental validation of a heat balance based residential cooling load calculation procedure." 2006. http://digital.library.okstate.edu/etd/umi-okstate-2013.pdf.
Повний текст джерелаKong, Xiaoxiao. "Validating the retelling task of Test for English Majors Band 4 Oral in China: Evidence from a corpus-based exploration." Thesis, 2017. http://hdl.handle.net/1885/168698.
Повний текст джерелаWilson, Irene Rose. "The validation of a performance-based assessment battery." Diss., 2001. http://hdl.handle.net/10500/16493.
Повний текст джерелаIndustrial & Organisational Psychology
M.A. (Industrial Psychology)
Oliveira, Bruno Moisés Teixeira. "A pattern-based approach for ETL systems modelling and validation." Doctoral thesis, 2018. http://hdl.handle.net/1822/56801.
Повний текст джерелаUsually, a data warehousing system stores data in an integrated and consistent way, making it an ideal data repository to support decision-making processes. However, to keep this repository properly updated it is necessary to access to a variety of information sources, transform the data gathered according to the established decision-making requirements and load that data into the Data Warehouse System data repository – the data warehouse. All these tasks are done by highly sophisticated programs that together integrates what we use to define as the ETL system. The ETL (Extract, Transform, Load) system is responsible to perform all those tasks, being considered a very time-consuming, error-prone and complex process, involving several participants from different knowledge domains. They are one of the most important components of a data warehousing system, strongly influenced by the complexity of business requirements, their changing, and evolution. These aspects influence not only the structure of a data warehouse itself but also the information sources schemas involved with, since they must handle data with complex data requirements and transformation routines. Moreover, ETL systems are data-oriented processes composed of dozens of granular tasks arranged based on specific languages and architectures, which results in technical and complex terms, difficult to understand and maintain. Despite the efforts done by several researchers for the modelling and implementing them, a solid and simpler approach providing the necessary bridges to create the conceptual and logical models, and validate them before its final implementation is still lacking. However, a specific subset of these tasks can be grouped on a collection together with their relationships to form abstract constructs. Thus, to facilitate the planning and ETL implementation, this work aims to present a set of constructs that represent meta-models (patterns) specially designed to map standard ETL procedures, providing the necessary bridges to represent them at the conceptual level and provide its mapping to execution primitives. Basically, these (ETL) patterns are comprised of a set of abstract components that can be configured to enable its instantiation for specific application scenarios. With them, generic models can be built, simplifying process views and providing methods for carrying out the acquired expertise to new applications based on well-proven practices that can be used to describe general solutions based on specific skeletons configured and instantiated according to a set of specific integration requirements. The ETL pattern-based approach presented uses BPMN (Business Process Model and Notation) for modelling conceptual ETL workflows, mapping them to real execution primitives using a domain-specific language that allows for the generation of instances that can be executed in an ETL commercial tool. This work demonstrates the feasibility and effectiveness of an ETL pattern-based approach, analysing a test scenario for data integration based on the pattern framework proposed.
Os sistemas de Data Warehousing suportam o armazenamento de grandes quantidades de dados de forma integrada e consistente, tornando-o num sistema ideal para o suporte de processos de tomada de decisão. De forma a manter os seus repositórios devidamente atualizados, os dados extraídos das fontes de informação utilizadas devem ser transformados de acordo com os requisitos de tomada de decisão para posterior povoamento do seu repositório de armazenamento – o Data Warehouse. Todas essas tarefas de gestão e transformação de dados são suportadas por processos de povoamento que com base em sofisticadas estratégias caracterizam o sistema de ETL. Os processos de ETL (Extract, Transform, Load) são processos bastante específicos, orientados a dados e com uma estrutura que requer a atenção de recursos humanos altamente especializados de diversos domínios. A sua composição é essencialmente baseada em operações muito detalhadas, baseadas em linguagens, metodologias e arquiteturas específicas que originam processos de grandes dimensões, difíceis de desenvolver e manter. Como resultado, o seu desenvolvimento e manutenção consume uma parte substancial dos recursos necessários para a implementação do sistema de Data Warehousing. Estas características são essencialmente afetadas pela mudança de requisitos que resulta de processos de negócio evolutivos que afetam não só a estrutura do Data Warehouse, mas também a estrutura das fontes de dados utilizadas. Nos últimos anos têm sido realizados desenvolvimentos significativos na área, no entanto, ainda não existe uma abordagem convincente e simples que com base na especificação conceptual e lógica de processos de ETL, proporcione um mapeamento em primitivas de execução tendo por base formalismos sólidos que garantam a noção de consistência do processo. Assim, no sentido de facilitar o seu processo de implementação, um conjunto de meta modelos (padrões) que representam tarefas de ETL tipicamente utilizadas e documentadas, são apresentados. Os padrões representam construtores de alto nível, que só por si permitem desenhar e validar uma primeira versão do sistema de povoamento antes de proceder à sua implementação, simplificando a representação de modelos mais abstratos (muito úteis para fases iniciais do desenvolvimento do projeto) e ao mesmo tempo disponibilizando os meios necessários para possibilitar o seu mapeamento para primitivas de execução. Desta forma, os recursos direcionados para suportar a fase de planeamento e desenho do projeto podem ser aproveitados em fases de desenvolvimento posteriores (essencialmente mais técnicas), proporcionando uma visão integradora e unificada do processo de desenvolvimento. Com esta abordagem, componentes abstratos podem ser configurados de forma a reorganizar as tarefas que os constituem para proporcionar a geração de instâncias geradas tendo em consideração casos muito particulares. Não só as diversas fases do desenvolvimento do projeto ficam simplificadas, como também é possível encapsular o conhecimento adquirido para outros projetos através da aplicação de práticas conhecidas e validadas, permitindo a construção de sistemas mais fiáveis associados a uma redução do tempo e recursos necessários para a sua implementação. A representação conceptual é suportada pela utilização de BPMN (Business Process Model and Notation), utilizando os construtores disponibilizados pela linguagem para o desenvolvimento de fluxos de trabalho bastante detalhados que descrevem os componentes utilizados e como estes se integram com os restantes componentes de ETL existentes. De seguida, os padrões identificados no modelo conceptual são enriquecidos com uma semântica específica, suportada por uma linguagem de domínio especialmente desenvolvida de acordo os requisitos de cada padrão. Estas primitivas lógicas podem ser mais tarde utilizadas para a geração de modelos físicos que podem ser executados utilizando uma ferramenta comercial já existente. Este trabalho apresenta a aplicação dos diversos padrões utilizando para isso um caso de estudo que exemplifica a aplicação de uma abordagem orientada a padrões para o desenvolvimento de sistemas de ETL.
Ward-Cox, Maxine Welland. "Validation of a rating scale for distance education university student essays in a literature-based module." Thesis, 2020. http://hdl.handle.net/10500/26935.
Повний текст джерелаEnglish Studies
D. Litt. et Phil. (English)
Werner, Edith Benedicta Maria. "Learning Finite State Machine Specifications from Test Cases." Doctoral thesis, 2010. http://hdl.handle.net/11858/00-1735-0000-0006-B3D7-E.
Повний текст джерела