Дисертації з теми "Verification and testing"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 дисертацій для дослідження на тему "Verification and testing".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
Rotting, Tjädermo Viktor, and Alex Tanskanen. "System Upgrade Verification : An automated test case study." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-165125.
Повний текст джерелаWu, Weixin. "Mining constraints for Testing and Verification." Thesis, Virginia Tech, 2009. http://hdl.handle.net/10919/31056.
Повний текст джерелаMaster of Science
Jayabharathi, Rathish. "Hierarchical timing verification and delay fault testing /." Digital version accessible at:, 1999. http://wwwlib.umi.com/cr/utexas/main.
Повний текст джерелаNilsson, Daniel. "System for firmware verification." Thesis, University of Kalmar, School of Communication and Design, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:hik:diva-2372.
Повний текст джерелаSoftware verification is an important part of software development and themost practical way to do this today is through dynamic testing. This reportexplains concepts connected to verification and testing and also presents thetesting-framework Trassel developed during the writing of this report.Constructing domain specific languages and tools by using an existinglanguage as a starting ground can be a good strategy for solving certainproblems, this was tried with Trassel where the description-language forwriting test-cases was written as a DSL using Python as the host-language.
Argote, Garcia Gonzalo. "Formal verification and testing of software architectural models." FIU Digital Commons, 2009. http://digitalcommons.fiu.edu/etd/1308.
Повний текст джерелаZhou, Zhiquan, and 周智泉. "Verification of program properties: from testing to semi-proving." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2003. http://hub.hku.hk/bib/B31245134.
Повний текст джерелаSudol, Alicia. "A methodology for modeling the verification, validation, and testing process for launch vehicles." Diss., Georgia Institute of Technology, 2015. http://hdl.handle.net/1853/54429.
Повний текст джерелаBelsick, Charlotte Ann. "Space Vehicle Testing." DigitalCommons@CalPoly, 2012. https://digitalcommons.calpoly.edu/theses/888.
Повний текст джерелаIpate, Florentin Eugen. "Theory of X-machines with applications in specification and testing." Thesis, University of Sheffield, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.319486.
Повний текст джерелаWoo, Yan, and 胡昕. "A dynamic integrity verification scheme for tamper-resistancesoftware." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2005. http://hub.hku.hk/bib/B34740478.
Повний текст джерелаSeward, Balaji B. "Small engine emissions testing laboratory development and emissions sampling system verification." Morgantown, W. Va. : [West Virginia University Libraries], 2010. http://hdl.handle.net/10450/11024.
Повний текст джерелаTitle from document title page. Document formatted into pages; contains xvi, 110 p. : ill. Includes abstract. Includes bibliographical references (p. 108-110).
Banga, Mainak. "Testing and Verification Strategies for Enhancing Trust in Third Party IPs." Diss., Virginia Tech, 2010. http://hdl.handle.net/10919/30085.
Повний текст джерелаPh. D.
Härkönen, J. (Janne). "Improving product development process through verification and validation." Doctoral thesis, University of Oulu, 2009. http://urn.fi/urn:isbn:9789514291661.
Повний текст джерелаAntti, William. "Virtualized Functional Verification of Cross-Platform Software Applications." Thesis, Luleå tekniska universitet, Institutionen för system- och rymdteknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-74599.
Повний текст джерелаChin, Quee Shawn L. "Design verification for tissue engineered vascular grafts." Thesis, Georgia Institute of Technology, 2001. http://hdl.handle.net/1853/19689.
Повний текст джерелаScott, Hanna E. T. "A Balance between Testing and Inspections : An Extended Experiment Replication on Code Verification." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-1751.
Повний текст джерелаEn experiment-replikering där traditionell strukturell kod-testning jämförs med inspektionsmötesförberedelse användandes scenario-baserad kodläsning. Det ursprungliga experimentet utfördes av Per Runeson och Anneliese Andrews på Washington State University år 2003.
Gonzalez, Perez Carlos Alberto. "Pragmatic model verification." Thesis, Nantes, Ecole des Mines, 2014. http://www.theses.fr/2014EMNA0189/document.
Повний текст джерелаModel-Driven Engineering (MDE) is a popular approach to the development of software which promotes the use of models as first-Class citizens in the software development process. In a MDE-Based software development process, software is developed by creating models to be successively transformed into another models and eventually into the software source code. When MDE is applied to the development of complex software systems, the complexity of models and model transformations increase, thus risking both, the reliability of the software development process and the soundness of the resulting software. Traditionally, ensuring software correctness and absence of errors has been addressed by means of software verification approaches, based on the utilization of formal analysis techniques, and software testing approaches. In order to ensure the reliability of MDE-Based software development processes, these techniques have some how been adapted to try to ensure correctness of models and model transformations. The objective of this thesis is to provide new mechanisms to improve the landscape of approaches devoted to the verification of static models, and analyze how these static model verification approaches can be of assistance at the time of testing model transformations
Angerhofer, Bernhard J. "Collaborative supply chain modelling and performance measurement." Thesis, Brunel University, 2002. http://bura.brunel.ac.uk/handle/2438/4993.
Повний текст джерелаEl, Maarabani Mazen. "Verification and test of interoperability security policies." Phd thesis, Institut National des Télécommunications, 2012. http://tel.archives-ouvertes.fr/tel-00717602.
Повний текст джерелаRanganathan, Krishna. "DVTG - Design Verification Test Generation from Rosetta Specifications." University of Cincinnati / OhioLINK, 2001. http://rave.ohiolink.edu/etdc/view?acc_num=ucin994691304.
Повний текст джерелаMoschoglou, Georgios Moschos. "Software testing tools and productivity." Virtual Press, 1996. http://liblink.bsu.edu/uhtbin/catkey/1014862.
Повний текст джерелаDepartment of Computer Science
Tekin, Yasar. "An Automated Tool For Requirements Verification." Master's thesis, METU, 2004. http://etd.lib.metu.edu.tr/upload/12605401/index.pdf.
Повний текст джерела#8217
s world, only those software organizations that consistently produce high quality products can succeed. This situation enforces the effective usage of defect prevention and detection techniques. One of the most effective defect detection techniques used in software development life cycle is verification of software requirements applied at the end of the requirements engineering phase. If the existing verification techniques can be automated to meet today&
#8217
s work environment needs, the effectiveness of these techniques can be increased. This study focuses on the development and implementation of an automated tool that automates verification of software requirements modeled in Aris eEPC and Organizational Chart for automatically detectable defects. The application of reading techniques on a project and comparison of results of manual and automated verification techniques applied to a project are also discussed.
Sundbaum, Niklas. "Automated Verification of Load Test Results in a Continuous Delivery Deployment Pipeline." Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-169656.
Повний текст джерелаKontinuerlig leverans är en utvecklingsmetodik för mjukvara med målet att reducera ledtid genom att fokusera på automatisering, kvalitet och snabb återkoppling. I det här examensarbetet utvecklas en automatiserad metod för att upptäcka försämringar i prestanda i en deployment pipeline för kontinuerlig leverans. Den valda metoden baseras på kontrolldiagram, ett verktyg som ofta används inom statistisk processkontroll. Metoden implementeras som en del av en deployment pipeline för kontinuerlig leverans och dess förmåga att upptäcka prestandaförsämringar utvärderas genom att olika prestandarelaterade flaskhalsar implementeras i en testapplikation. Resultaten från arbetet visar att en metod baserad på kontrolldiagram är ett tänkbart alternativ för att automatisera verifiering lasttestresultat inom kontinuerlig leverans.
Deng, Xianghua. "Contract-based verification and test case generation for open systems." Diss., Manhattan, Kan. : Kansas State University, 2007. http://hdl.handle.net/2097/345.
Повний текст джерелаDebesay, Teclemicael Tewelde. "Experimental verification of the finite element analysis of a dynamically loaded semi-trailer." Thesis, Stellenbosch : Stellenbosch University, 2004. http://hdl.handle.net/10019.1/49960.
Повний текст джерелаENGLISH ABSTRACT: The aim of the thesis is to compare results obtained from a finite element analysis method (FEM) to experimental results of a 12.2m long semi-trailer driven off-road. Semi-trailers are of great importance in the transport industry. Furthermore, the need to obtain optimum and reliable semitrailers in this crucial stream of industry is indispensable. The work focuses on comparing the two results so that the finite element method may be used as design analysis and redesigning tool as a substitute to testing. The semi-trailer was driven on a relatively rough off-road at different speeds, at 70kmlh, 50kmlh and 40kmlh loaded with about 12 tonnes of brick pallets. The forces at the suspension of the semitrailer and strains at different parts were measured with the help of strain gauges and other data acquisition equipment. A finite element model of the semi-trailer was modelled in Nastran for Windows. The trailer parameters in the finite element were tuned to curve fit the test results. A comparison of the two /' results was made based on the average of absolute values and standard deviation, to verify the validity of the finite element model.
AFRIKAANSE OPSOMMING: Die doel van die tesis is om die resultate wat verkry is deur eindige element metodes (EEM) met eksperimentele resultate van 'n 12.2 m lang leunwa wat bestuur is op 'n grondpad te vergelyk. Leunwaens is baie belangrik vir die vervoer industrie. Verder is die behoefte om optimum en betroubare leunwaens in die industrie te vervaardig baie nodig. Die werk fokus daarop om die 2 resultate te vergelyk sodat die EEM gebruik kan word as ontwerp analiese en herontwerp gereedskapstuk en as 'n vervanging vir toetsing. Die leunwa was op 'n redelike rowwe pad teen verskillende snelhede nl. 70km/h, 50km/h en 40km/h met 'n 12 ton baksteen vrag gery. Die kragte by die suspensie van die leunwa en die vervorming by verskillende onderdele is gemeet met behulp van rekstrokies en ander data versamelings toerusting 'n Eindige element model van die leunwa is gemodelleer in "Nastran for Windows". Die sleepwa parameters in die eindige element model is verstel d.m.v krommepassing van die toets resultate. 'n Vergelyking van die 2 resultate is gebasseer op die gemiddelde van die absolute waardes en standaard afwykings, om die geldigheid van die eindige element model te kontroleer.
Piirainen, R. M. (Risto-Matti). "Automatic verification of 3GPP throughput counters In PDCP/RLC/MAC layer capacity testing." Master's thesis, University of Oulu, 2017. http://urn.fi/URN:NBN:fi:oulu-201710112984.
Повний текст джерелаShahan, Michael R. "Development and verification of a laboratory for the emissions testing of locomotive engines." Morgantown, W. Va. : [West Virginia University Libraries], 2008. https://eidr.wvu.edu/etd/documentdata.eTD?documentid=5975.
Повний текст джерелаTitle from document title page. Document formatted into pages; contains xi, 118 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 102-103).
Reich, Jason S. "Property-based testing and properties as types : a hybrid approach to supercompiler verification." Thesis, University of York, 2013. http://etheses.whiterose.ac.uk/5650/.
Повний текст джерелаBelt, P. (Pekka). "Improving verification and validation activities in ICT companies—product development management approach." Doctoral thesis, University of Oulu, 2009. http://urn.fi/urn:isbn:9789514291487.
Повний текст джерелаZhang, Lei. "Modeling and Verification of Simulation tools for Carburizing and Carbonitriding." Digital WPI, 2017. https://digitalcommons.wpi.edu/etd-dissertations/484.
Повний текст джерелаMacGahan, Christopher, and Christopher MacGahan. "Mathematical Methods for Enhanced Information Security in Treaty Verification." Diss., The University of Arizona, 2016. http://hdl.handle.net/10150/621280.
Повний текст джерелаMisselhorn, Werner Ekhard. "Verification of hardware-in-the-loop as a valid testing method for suspension development." Diss., Pretoria : [s.n.], 2004. http://upetd.up.ac.za/thesis/available/etd-07282005-082527.
Повний текст джерелаChunduri, Annapurna. "An Effective Verification Strategy for Testing Distributed Automotive Embedded Software Functions: A Case Study." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-12805.
Повний текст джерелаAndrieu, Christian W. "Testing, validation, and verification of an expert system advisor for aircraft maintenance scheduling (ESAAMS)." Thesis, Monterey, California. Naval Postgraduate School, 1991. http://hdl.handle.net/10945/28599.
Повний текст джерелаVahlberg, Mikael. "Verification of Risk Algorithm Implementations in a Clearing System Using a Random Testing Framework." Thesis, Umeå universitet, Institutionen för matematik och matematisk statistik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-139544.
Повний текст джерелаFeliachi, Abderrahmane. "Semantics-Based Testing for Circus." Thesis, Paris 11, 2012. http://www.theses.fr/2012PA112372/document.
Повний текст джерелаThe work presented in this thesis is a contribution to formal specification and verification methods. Formal specifications are used to describe a software, or more generally a system, in a mathematical unambiguous way. Formal verification techniques are defined on the basis of these specifications to ensure the correctness of the resulting system. However, formal methods are often not convenient and easy to use in real system developments. One of the reasons is that many specification formalisms are not rich enough to cover both data-oriented and behavioral requirements. Some specification languages were proposed to cover this kind of requirements. The Circus language distinguishes itself among these languages by a rich syntax and a fully integrated semantics.The aim of this thesis is to provide a formal environment for specifying and verifying complex systems. Specifications are written in Circus and verification is performed either by testing or by theorem proving. Similar specifications and verification environment have already been proposed. A specificity of our approach is to combine supports for proofs and test generation. Moreover, most test generation methods are based on a syntactic characterization of the studied languages. Our proposed environment is different since it is based on the denotational and operational semantics of Circus. The Isabelle/HOL theorem prover is the formal platform on top of which we built our specification and verification environment.The first main contribution of our work is the Isabelle/Circus specification and proof environment based on the denotational semantics of Circus. On top of Isabelle/HOL we provide a machine-checked shallow embedding of UTP, the semantics basis of Circus. This embedding is used to formalize the denotational semantics of the Circus language. The Isabelle/Circus environment associates to this semantics some parsing facilities that help writing Circus specifications. The proof support of Isabelle/HOL can be used directly to reason on these specifications thanks to the shallow embedding of the semantics. We present an application of the environment to refinement proofs on Circus processes (involving both data and behavioral aspects). The second main contribution is the CirTA testing framework build on top of Isabelle/Circus. The framework provides two symbolic test generation tactics that allow checking two notions of refinement: traces inclusion and deadlocks reduction. The framework is based on a shallow symbolic formalization of the operational semantics of Circus using Isabelle/Circus. Several symbolic definition and test generation tactics are defined in the CirTA framework. The formal infrastructure allows us to represent explicitly test theories as well as test selection hypothesis. Proof techniques and symbolic computations are the basis of test generation tactics. The test generation environment was used for a case study to test an existing message monitoring system. A specification of the system is written in Circus, and used to generate tests following the defined conformance relations. The tests are then compiled in forms of JUnit test methods and executed against a Java implementation of the monitoring system.This thesis is a step towards, on one hand, the development of sophisticated testing tools making use of proof techniques and, on the other hand, the integration of testing and proving within formally verified software developments
Jagadeesan, Harini. "Design and Verification of Privacy and User Re-authentication Systems." Thesis, Virginia Tech, 2009. http://hdl.handle.net/10919/32394.
Повний текст джерелаBoth keyboard and mouse contain valuable, hard-to-duplicate information about the userâ s behavior. This can be used for analysis and identification of the current user. We propose an application independent system that uses this information for user re-authentication. This system will authenticate the user continually based on his/her behavioral attributes obtained from both the keyboard and mouse operations. This re-authentication system is simple, continual, non-intrusive and easily deployable. To utilize the mouse and keyboard information for re-authentication, we propose a novel heuristic that uses the percentage of mouse-to-keyboard interaction ratio. This heuristic allows us to extract suitable user-behavioral attributes. The extracted data is compared with an already trained database for user re-authentication.
The accuracy of the system is calculated by the number of correct identifications to total number of identifications. At present, the accuracy of the system is around 96% for application based user re-authentication and around 82% for application independent user re-authentication. We perform black box, white box testing and Spec# verification procedures that prove the robustness of the proposed system. On testing POCKET, a privacy protection software for children, it was found that the security of POCKET was inadequate at the user level. Our system enhances POCKET security at the user level and ensures that the childâ s privacy is protected.
Master of Science
Williams, Steve. "Advanced Test Range Verification at RF Without Flights." International Foundation for Telemetering, 2010. http://hdl.handle.net/10150/605960.
Повний текст джерелаFlight and weapons test ranges typically include multiple Telemetry Sites (TM Sites) that receive telemetry from platforms being flown on the range. Received telemetry is processed and forwarded by them to a Range Control Center (RCC) which is responsible for flight safety, and for delivering captured best source telemetry to those responsible for the platform being flown. When range equipment or operations are impaired in their ability to receive telemetry or process it correctly, expensive and/or one-of-a-kind platforms may have to be destroyed in flight to maintain safety margins, resulting in substantial monetary loss, valuable data loss, schedule disruption and potential safety concerns. Less severe telemetry disruptions can also result in missing or garbled telemetry data, negatively impacting platform test, analysis and design modification cycles. This paper provides a high level overview of a physics-compliant Range Test System (RTS) built upon Radio Frequency (RF) Channel Simulator technology. The system is useful in verifying range operation with most range equipment configured to function as in an actual mission. The system generates RF signals with appropriate RF link effects associated with range and range rate between the flight platform and multiple telemetry tracking stations. It also emulates flight and RF characteristics of the platform, to include signal parameters, antenna modeling, body shielding and accurate flight parameters. The system is useful for hardware, software, firmware and process testing, regression testing, and fault detection test, as well as range customer assurance, and range personnel training against nominal and worst-case conditions.
Ubah, Ifeanyi. "A Language-Recognition Approach to Unit Testing Message-Passing Systems." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-215655.
Повний текст джерелаCetin, Cagri. "Design, Testing and Implementation of a New Authentication Method Using Multiple Devices." Scholar Commons, 2015. http://scholarcommons.usf.edu/etd/5660.
Повний текст джерелаWang, Zilong [Verfasser], and Rupak [Akademischer Betreuer] Majumdar. "Algorithms and Tools for Verification and Testing of Asynchronous Programs / Zilong Wang. Betreuer: Rupak Majumdar." Kaiserslautern : Technische Universität Kaiserslautern, 2016. http://d-nb.info/1096220946/34.
Повний текст джерелаChantatub, Wachara. "The integration of software specification, verification, and testing techniques with software requirements and design processes." Thesis, University of Sheffield, 1995. http://etheses.whiterose.ac.uk/1850/.
Повний текст джерелаOnyango, Mbakisya A. "Verification of mechanistic prediction models for permanent deformation in asphalt mixes using accelerated pavement testing." Diss., Manhattan, Kan. : Kansas State University, 2009. http://hdl.handle.net/2097/1362.
Повний текст джерелаTan, Kaige. "Building verification database and extracting critical scenarios for self-driving car testing on virtual platform." Thesis, KTH, Skolan för industriell teknik och management (ITM), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-263927.
Повний текст джерелаDetta examensarbete, genomfört hos Volvo Cars, undersöker en uppbyggnadsmetod av en testdatabas för Autonomous Driving (AD) på en virtuell plattform och hur man bör extrahera kritiska scenarier från testdatabasen för att reducera antalet testfall genom optimering. Den aktuella virtuella plattformen är den model-in-the-loop (MIL) baserade Simulation Platform Active Safety (SPAS) miljön och optimeringsverktyget som användes är modeFrontier. Analysprocessen, i vilken tre abstraktionsnivåer för scenarier är föreslagna i syfte att satisfiera alla kraven för AD, redogörs för i detta projekt. Tillämpning har genomförts för att transformera krav från en specifik Operational Design Domain (ODD) samt lingvistisk representation till en testsvit som innehåller konkreta scenarier och testfall. En metamodell har konstruerats för att assistera med analysen av systemstrukturen och parameterkraven i nivån av logiska scenarier. Genomförbarheten av en scenariobaserad infallsvinkel för designen av AKF-testfall demonstreras med exemplet av konstruktionen av Traffic Congestion Support (TCS)- testdatabasen. Erhållandet av testdatabasen och den framgångsrika analysen av parametrarna för TCSfunktionen på MIL-plattformen ledde till det huvudsakliga målet med examenarbetet, vilket var att identifiera kantfall i testdatabasen genom att optimera objektfunktioner. Genom att definiera objektfunktionerna och konstruera arbetsflödet i modeFrontier efter flertalet försök med olika metoder, implementerades optimeringsprocessen med tvåseparata algoritmer. pilOPT evalueras som en bättre lösning för AD jämfört med Multi-Objective Simulated Annealing (MOSA) med avseende på beräkningstid och identifiering av kantfall. Dessutom har brus adderats till den ideala sensormodellen i SPAS för att studera inflytandet av brus i en verklig testmiljö. Resultaten visar på en stor skillnad i tid-till-kollisionsvärde, vilket är en väldefinierad objektfunktion i projektet. Detta indikerar att fler testfall har försämrats till ett kritiskt scenario om brus tas man tar hänsyn till brus, vilket visar på att inflytandet av brus inte kan försummas under testning.
Lansing, Eric. "Verification of Polymeric Material Change in the Air Intake System." Thesis, KTH, Skolan för kemivetenskap (CHE), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-213012.
Повний текст джерелаLelli, leitao Valeria. "Testing and maintenance of graphical user interfaces." Thesis, Rennes, INSA, 2015. http://www.theses.fr/2015ISAR0022/document.
Повний текст джерелаThe software engineering community takes special attention to the quality and the reliability of software systems. Software testing techniques have been developed to find errors in code. Software quality criteria and measurement techniques have also been assessed to detect error-prone code. In this thesis, we argue that the same attention has to be investigated on the quality and reliability of GUIs, from a software engineering point of view. We specifically make two contributions on this topic. First, GUIs can be affected by errors stemming from development mistakes. The first contribution of this thesis is a fault model that identifies and classifies GUI faults. We show that GUI faults are diverse and imply different testing techniques to be detected. Second, like any code artifact GUI code should be analyzed statically to detect implementation defects and design smells. As for the second contribution, we focus on design smells that can affect GUIs specifically. We identify and characterize a new type of design smell, called Blob listener. It occurs when a GUI listener, that gathers events to treat and transform as commands, can produce more than one command. We propose a systematic static code analysis procedure that searches for Blob listener that we implement in a tool called InspectorGuidget. Experiments we conducted exhibits positive results regarding the ability of InspectorGuidget in detecting Blob listeners. To counteract the use of Blob listeners, we propose good coding practices regarding the development of GUI listeners
Shultz, Jacque. "Authenticating turbocharger performance utilizing ASME performance test code correction methods." Thesis, Kansas State University, 2011. http://hdl.handle.net/2097/8451.
Повний текст джерелаDepartment of Mechanical and Nuclear Engineering
Kirby S. Chapman
Continued regulatory pressure necessitates the use of precisely designed turbochargers to create the design trapped equivalence ratio within large-bore stationary engines used in the natural gas transmission industry. The upgraded turbochargers scavenge the exhaust gases from the cylinder, and create the air manifold pressure and back pressure on the engine necessary to achieve a specific trapped mass. This combination serves to achieve the emissions reduction required by regulatory agencies. Many engine owner/operators request that an upgraded turbocharger be tested and verified prior to re-installation on engine. Verification of the mechanical integrity and airflow performance prior to engine installation is necessary to prevent field hardware iterations. Confirming the as-built turbocharger design specification prior to transporting to the field can decrease downtime and installation costs. There are however, technical challenges to overcome for comparing test-cell data to field conditions. This thesis discusses the required corrections and testing methodology to verify turbocharger onsite performance from data collected in a precisely designed testing apparatus. As the litmus test of the testing system, test performance data is corrected to site conditions per the design air specification. Prior to field installation, the turbocharger is fitted with instrumentation to collect field operating data to authenticate the turbocharger testing system and correction methods. The correction method utilized herein is the ASME Performance Test Code 10 (PTC10) for Compressors and Exhausters version 1997.
Yilmaz, Levent. "Specifying and Verifying Collaborative Behavior in Component-Based Systems." Diss., Virginia Tech, 2002. http://hdl.handle.net/10919/26494.
Повний текст джерелаPh. D.
Mangels, Tatiana [Verfasser], Jan [Akademischer Betreuer] Peleska, and Rolf [Akademischer Betreuer] Drechsler. "Integrated Module Testing and Module Verification / Tatiana Mangels. Gutachter: Jan Peleska ; Rolf Drechsler. Betreuer: Jan Peleska." Bremen : Staats- und Universitätsbibliothek Bremen, 2013. http://d-nb.info/1072078864/34.
Повний текст джерелаBolien, Mario. "Hybrid testing of an aerial refuelling drogue." Thesis, University of Bath, 2018. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.761036.
Повний текст джерела