Thematische Bibliographien / Test input

Inhaltsverzeichnis

Zeitschriftenartikel
Dissertationen
Bücher
Buchteile
Konferenzberichte
Berichte der Organisationen

Auswahl der wissenschaftlichen Literatur zum Thema „Test input“

Autor: Grafiati

Veröffentlicht am 28. Juni 2021

Zuletzt aktualisiert am 4. Februar 2022

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Test input" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Zeitschriftenartikel zum Thema "Test input"

Keramati, Hossein, und Seyed-Hassan Mirian-Hosseinabadi. „Generating semantically valid test inputs using constrained input grammars“. Information and Software Technology 57 (Januar 2015): 204–16. http://dx.doi.org/10.1016/j.infsof.2014.09.007.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Andresen, BernhardH, und StanleyC Keeney. „4612499 Test input demultiplexing circuit“. Microelectronics Reliability 27, Nr. 2 (Januar 1987): 396. http://dx.doi.org/10.1016/0026-2714(87)90316-7.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Visser, Willem, Corina S. Pǎsǎreanu und Sarfraz Khurshid. „Test input generation with java PathFinder“. ACM SIGSOFT Software Engineering Notes 29, Nr. 4 (Juli 2004): 97–107. http://dx.doi.org/10.1145/1013886.1007526.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Phan, Quoc-Sang. „Test input generation using separati logic“. ACM SIGSOFT Software Engineering Notes 43, Nr. 4 (02.01.2019): 55. http://dx.doi.org/10.1145/3282517.3302418.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Pomeranz, Irith. „Low-power test sets under test-related primary input constraints“. International Journal of Critical Computer-Based Systems 4, Nr. 3 (2013): 265. http://dx.doi.org/10.1504/ijccbs.2013.058396.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Pomeranz, I., und S. M. Reddy. „Random Test Generation With Input Cube Avoidance“. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 17, Nr. 1 (Januar 2009): 45–54. http://dx.doi.org/10.1109/tvlsi.2008.2001943.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wang, Zhiyu, Sihan Xu, Xiangrui Cai und Hua Ji. „Test Input Selection for Deep Neural Networks“. Journal of Physics: Conference Series 1693 (Dezember 2020): 012017. http://dx.doi.org/10.1088/1742-6596/1693/1/012017.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

MA, Xiaoxing, Jue WANG, Chang XU, Yanyan JIANG und Jian LU. „Automatic test-input generation for Android applications“. SCIENTIA SINICA Informationis 49, Nr. 10 (01.10.2019): 1234–66. http://dx.doi.org/10.1360/n112019-00003.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Cseppentő, Lajos, und Zoltán Micskei. „Evaluating code-based test input generator tools“. Software Testing, Verification and Reliability 27, Nr. 6 (06.02.2017): e1627. http://dx.doi.org/10.1002/stvr.1627.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Celik, Ahmet, Sreepathi Pai, Sarfraz Khurshid und Milos Gligoric. „Bounded exhaustive test-input generation on GPUs“. Proceedings of the ACM on Programming Languages 1, OOPSLA (12.10.2017): 1–25. http://dx.doi.org/10.1145/3133918.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Dissertationen zum Thema "Test input"

Ballkoci, Rea. „Input Partitioning Impact on Combinatorial Test Coverage“. Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-48500.

Der volle Inhalt der Quelle

Annotation:

Software testing is a crucial activity when it comes to the software lifecycle as it can say with a certain confidence that the software will behave according to its specified behavior. However, due to the large input space, it is almost impossible to check all the combinations that might possibly lead to failures. Input partitioning and combinatorial testing are two techniques that can partially solve the test creation and selection problem, by minimizing the number of test cases to be executed. These techniques work closely together, with input partitioning providing a selection of values that are more likely to expose software faults, and combinatorial testing generating all the possible combinations between two to six parameters. The aim of this Thesis is to study how exactly input partitioning impacts combinatorial test coverage, in terms of the measured t-way coverage percentage and the number of missing test cases to achieve full t-way coverage. For this purpose, six manually written test suites were provided by Bombardier Transportation. We performed an experiment, where the combinatorial coverage is measured for four systematic strategies of input partitioning, using a tool called Combinatorial Coverage Measurement (CCM) tool. The strategies are based on the interface documentations, where we can partition using information about data types or predefined partitions, and specification documentations, where we can partition while using Boundary Value Analysis (BVA) or not. The results show that input partitioning affects the combinatorial test coverage through two factors, the number of partitions or intervals and the number of representative values per interval. A high number of values will lead to a higher number of combinations that increases exponentially. The strategy based on specifications without considering BVA always scored the highest coverage per test suite ranging between 22% and 67% , in comparison to the strategy with predefined partitions that almost always had the lowest score ranging from 4% to 41%. The strategy based on the data types was consistent in always having the second highest score when it came to combinatorial coverage ranging from 8% to 56%, while the strategy that considers BVA would vary, strongly depending on the number of non-boolean parameters and their respective number of boundary values, ranging from 3% to 41%. In our study, there were also some other factors that affected the combinatorial coverage such as the number of manually created test cases, data types of the parameters and their values present in the test suites. In conclusion, an input partitioning strategy must be chosen carefully to exercise parts of the system that can potentially result in the discovery of an unintended behavior. At the same time, a test engineer should also consider the number of chosen values. Different strategies can generate different combinations, and thus influencing the obtained combinatorial coverage. Tools that automate the generation of the combinations are adviced to achieve 100% combinatorial coverage.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Yang, Bo. „A test selection strategy based on input-output relation analysis“. Thesis, University of Ottawa (Canada), 1988. http://hdl.handle.net/10393/5484.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Menon, Sreekumar Singh Adit D. „Output hazard-free test generation methodology“. Auburn, Ala, 2009. http://hdl.handle.net/10415/1616.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Vemula, Sudheer Stroud Charles E. „Built-in self-test for input/output cells in field programmable gate arrays“. Auburn, Ala., 2006. http://repo.lib.auburn.edu/2006%20Summer/Theses/VEMULA_SUDHEER_17.pdf.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lerner, Lee W. Stroud Charles E. „Built-In Self-Test for input/output tiles in field programmable gate arrays“. Auburn, Ala, 2008. http://repo.lib.auburn.edu/EtdRoot/2008/SPRING/Electrical_and_Computer_Engineering/Thesis/Lerner_Lee_53.pdf.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bozkurt, M. „Automated realistic test input generation and cost reduction in service-centric system testing“. Thesis, University College London (University of London), 2013. http://discovery.ucl.ac.uk/1400300/.

Der volle Inhalt der Quelle

Annotation:

Service-centric System Testing (ScST) is more challenging than testing traditional software due to the complexity of service technologies and the limitations that are imposed by the SOA environment. One of the most important problems in ScST is the problem of realistic test data generation. Realistic test data is often generated manually or using an existing source, thus it is hard to automate and laborious to generate. One of the limitations that makes ScST challenging is the cost associated with invoking services during testing process. This thesis aims to provide solutions to the aforementioned problems, automated realistic input generation and cost reduction in ScST. To address automation in realistic test data generation, the concept of Service-centric Test Data Generation (ScTDG) is presented, in which existing services used as realistic data sources. ScTDG minimises the need for tester input and dependence on existing data sources by automatically generating service compositions that can generate the required test data. In experimental analysis, our approach achieved between 93% and 100% success rates in generating realistic data while state-of-the-art automated test data generation achieved only between 2% and 34%. The thesis addresses cost concerns at test data generation level by enabling data source selection in ScTDG. Source selection in ScTDG has many dimensions such as cost, reliability and availability. This thesis formulates this problem as an optimisation problem and presents a multi-objective characterisation of service selection in ScTDG, aiming to reduce the cost of test data generation. A cost-aware pareto optimal test suite minimisation approach addressing testing cost concerns during test execution is also presented. The approach adapts traditional multi-objective minimisation approaches to ScST domain by formulating ScST concerns, such as invocation cost and test case reliability. In experimental analysis, the approach achieved reductions between 69% and 98.6% in monetary cost of service invocations during testing

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Busson, Laurent. „Evolution of direct diagnostic techniques in Virology; analytical performances and clinical input“. Doctoral thesis, Universite Libre de Bruxelles, 2020. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/313391.

Der volle Inhalt der Quelle

Annotation:

Le diagnostic virologique est un sujet d’actualité particulièrement du fait des récentes épidémiesou pandémies telles que la pandémie d’influenza A(H1N1) en 2009 ou la diffusion du virus Zika dansles Amériques et la région du Pacifique entre 2014 et 2017, associée à des cas de microcéphalie et dessyndromes de Guillain Barré. Encore plus récemment, en août 2018, le ministre de la santé de laRépublique Démocratique du Congo annonçait la 10e épidémie de virus Ebola dans le pays et endécembre 2019, le coronavirus SARS-CoV-2 est à l’origine d’une pandémie au départ de la Chine. Avecle nombre croissant de migrants et de voyageurs favorisant la dissémination des maladies virales, leslaboratoires diagnostiques doivent être parés à la fois pour l’identification des virus communs maisaussi de ceux importés.Les techniques les plus anciennes de diagnostic virologique tendent à devenir obsolètes suite audéveloppement rapide des techniques moléculaires depuis les années 90. Cependant, nous utilisonstoujours un mélange de techniques moléculaires et non moléculaires au sein de notre laboratoire.Les objectifs de ce travail sont de passer en revue les différentes techniques communémentutilisées pour la détection directe des virus avec leurs avantages et leurs inconvénients et de fournirune réflexion sur la place de chaque technique, en 2020, dans un laboratoire diagnostique.Nous aborderons tout d’abord les cultures cellulaires et nous insisterons sur leur polyvalence quipermet parfois de mettre en évidence des micro-organismes que l’on ne suspectait pas. Nousillustrerons ce point par un article relatant la mise en évidence de Chlamydia trachomatis du serovar Lresponsables de la lymphogranulomatose vénérienne dans des prélèvements envoyés pour suspiciond’infection herpétique.Le travail se focalisera ensuite plus particulièrement sur le diagnostic des infections viralesrespiratoires. Nous verrons les principes des tests de détection antigéniques et discuterons de leurslimites en se basant sur un article qui traite du diagnostic des virus influenza A et B par 3 différentstests immunochromatographiques. Cet article montre que la sensibilité des tests varie en fonction dela charge virale dans le prélèvement ainsi que du sous-type de virus.Nous poursuivrons avec les tests d’amplification d’acides nucléiques (tests moléculaires) enexpliquant la technique de PCR (Polymerase Chain Reaction) et une technique d’amplificationisothermique (Nicking Enzyme Amplification Reaction - NEAR). Nous illustrerons par un article portantsur l’évaluation du test Alere i influenza A&B (technique NEAR) en comparaison du test Sofia influenzaA+B (immunochromatographie). Cet article montre un gain de sensibilité de l’Alere i par rapport auSofia pour le diagnostic de l’influenza A mais pas pour l’influenza B. Il constitue également un travailpréliminaire sur l’appréciation de l’utilité d’une technique PCR rapide dans la prise en charge despatients. La conclusion est qu’il pourrait y avoir un apport de ce type de technique pour la diminutiondes hospitalisations, de la prescription des examens complémentaires et des antibiotiques. Celapermettrait également une prescription plus adéquate de l’oseltamivir pour le traitement de la grippe.Le point important est que l’impact du résultat est d’autant plus grand qu’il est délivré précocementdans la prise en charge des patients, idéalement lorsqu’ils sont encore aux urgences.Suite au travail sur l’Alere i, nous avons entrepris d’évaluer un test PCR multiplex (FilmArrayRespiratory Panel) pour le diagnostic des virus afin de voir si la détection d’un plus grand nombre depathogènes pourrait avoir un impact plus grand sur la prise en charge des patients. Cette évaluation adonné lieu à deux articles. Le premier détaille les avantages et inconvénients des différents outils dediagnostic pour la détection des virus respiratoires et sert d’état des lieux sur les tests utilisésactuellement dans les laboratoires de virologie. Le deuxième article porte plus particulièrement surl’apport du FilmArray dans la prise en charge des patients. La conclusion est que ce n’est pas le résultatdu test qui a un impact sur cette prise en charge mais plutôt d’autres facteurs notamment l’âge ou desmarqueurs inflammatoires biologiques.Nous terminerons ce travail par un aperçu des techniques de séquençage qui seront sans aucundoute de plus en plus utilisées pour le diagnostic en virologie.
Doctorat en Sciences médicales (Médecine)
info:eu-repo/semantics/nonPublished

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Chembil, Palat Ramesh. „VT-STAR design and implementation of a test bed for differential space-time block coding and MIMO channel measurements“. Thesis, Virginia Tech, 2002. http://hdl.handle.net/10919/35712.

Der volle Inhalt der Quelle

Annotation:

Next generation wireless communications require transmission of reliable high data rate services. Second generation wireless communications systems use single-input multiple-output (SIMO) channel in the reverse link, meaning one transmit antenna at the user terminal and multiple receive antennas at the base station. Recently, information theoretic research has shown an enormous potential growth in the capacity of wireless systems by using multiple antenna arrays at both ends of the link. Space-time coding exploits the spatial-temporal diversity provided by the multiple input multiple output (MIMO) channels, significantly increasing both system capacity and the reliability of the wireless link. The Virginia Tech Space-Time Advanced Radio (VT-STAR) system presents a test bed to demonstrate the capabilities of space-time coding techniques in real-time. Core algorithms are implemented on Texas Instruments TMS320C67 Evaluation Modules (EVM). The radio frequency subsystem is composed of multi-channel transmitter and receiver chains implemented in hardware for over the air transmission. The capabilities of the MIMO channel are demonstrated in a non-line of sight (NLOS) indoor environment. Also to characterize the capacity gains in an indoor environment this test bed was modified to take channel measurements. This thesis reports the system design of VT-STAR and the channel capacity gains observed in an indoor environment for MIMO channels.
Master of Science

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Hunt, Frances Jane. „A semantic contribution to verbal short-term memory : a test of operational definitions of 'semantic similarity' and input versus output processes“. Thesis, University of Greenwich, 2007. http://gala.gre.ac.uk/6192/.

Der volle Inhalt der Quelle

Annotation:

Baddeley and Hitch (1974; Baddeley, 1986, 2000) propose that coding in verbal short-term memory is phonological and that semantic codes are employed in long-term memory. Semantic coding in short-term memory has been investigated to a far lesser degree than phonological codes and the findings have been inconsistent. Some theorists propose that semantic coding is possible (e.g. Nairne, 1990) while other suggest that semantic factors act during recall (e.g. Saint-Aubin & Poirer, 1999a). The following body of work investigates whether semantic coding is possible in short-term memory and examines what constitutes ‘semantic similarity’. Chapter 2 reports two visually presented serial recall experiments comparing semantically similar and dissimilar lists. This revealed that context greatly influences the recall of homophones. Chapter 3 illustrated that category members and synonyms enhanced item recall. However, categories had little impact on order retention, whereas synonyms had a detrimental effect. Chapter 4 employed a matching-span task which is purported to differentiate between input and output processes. It was found that synonyms had a detrimental effect on recall, indicative of the effect being related to input processes. Chapter 5 employed mixed lists using backward and forward recall. It was found that the important factor was that the semantically similar items should be encountered first in order to maximise their impact. This supported the contention of the importance of input factors. Chapter 6 compared phonologically and semantically similar items using an open and a closed word pool. It was found that semantic and phonological similarity has comparable effects when an open word pool and free recall scoring method are employed. Overall, the results were consistent with the idea that phonological and semantic codes can be employed in short-term recall.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Owens, Madeline. „Emmetropization in Arthropods: A New Vision Test in Several Arthropods Suggests Visual Input may not be Necessary to Establish Correct Focusing“. University of Cincinnati / OhioLINK, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1563527198165493.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Bücher zum Thema "Test input"

Mulder, Jan Albert. Design and evaluation of dynamic flight test manoeuvres. Delft: Technical University of Delft, 1986.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

McCartney, Timothy P. A test matrix sequencer for research test facility automation. [Washington, D.C.]: NASA, 1990.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Company, Hewlett-Packard. Test & measurement catalog 1996. [s.l.]: Hewlett-Packard, 1996.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Company, Hewlett-Packard. Test & measurement catalog 1997. [s.l.]: Hewlett-Packard, 1996.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Morelli, Eugene A. F-18 high research vehicle (HARV) parameter identification flight test maneuvers for optimal input design validation and lateral control effectiveness. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Morelli, Eugene A. F-18 high alpha research vehicle (HARV) parameter identification flight test maneuvers for optimal input design validation and lateral control effectiveness. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Krishnaswamy, Smita. Design, Analysis and Test of Logic Circuits Under Uncertainty. Dordrecht: Springer Netherlands, 2013.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Das, Jishnu. School inputs, household substitution, and test scores. Cambridge, MA: National Bureau of Economic Research, 2011.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Renneisen, John D. Input-output characterization of fiber composites by SH waves. Cleveland, Ohio: Lewis Research Center, 1988.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Buchteile zum Thema "Test input"

Ding, Yan, und Sam S. Y. Wang. „Input Data For Test Cases“. In Verification and Validation of 3D Free-Surface Flow Models, 463–71. Reston, VA: American Society of Civil Engineers, 2008. http://dx.doi.org/10.1061/9780784409572.apa.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Haber, Robert, und László Keviczky. „Test Signals for Identification“. In Nonlinear System Identification — Input-Output Modeling Approach, 119–98. Dordrecht: Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-011-4481-0_2.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Ross, Michael, Laura D. Jacobs, Greg Tipton, Garrett Nelson, Kevin Cross, Norman Hunter und Julie Harvie. „6-DOF Shaker Test Input Derivation from Field Test“. In Shock & Vibration, Aircraft/Aerospace, Energy Harvesting, Acoustics & Optics, Volume 9, 11–22. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-54735-0_2.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Vanoverberghe, Dries, Nikolai Tillmann und Frank Piessens. „Test Input Generation for Programs with Pointers“. In Tools and Algorithms for the Construction and Analysis of Systems, 277–91. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00768-2_25.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Chen, Jessica. „Expressing Graphical User’s Input for Test Specifications“. In Engineering and Deployment of Cooperative Information Systems, 347–59. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45785-2_27.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

van Osch, Michiel. „Hybrid Input-Output Conformance and Test Generation“. In Lecture Notes in Computer Science, 70–84. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11940197_5.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Goldstein, Harrison, John Hughes, Leonidas Lampropoulos und Benjamin C. Pierce. „Do Judge a Test by its Cover“. In Programming Languages and Systems, 264–91. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_10.

Der volle Inhalt der Quelle

Annotation:

AbstractProperty-based testing uses randomly generated inputs to validate high-level program specifications. It can be shockingly effective at finding bugs, but it often requires generating a very large number of inputs to do so. In this paper, we apply ideas from combinatorial testing, a powerful and widely studied testing methodology, to modify the distributions of our random generators so as to find bugs with fewer tests. The key concept is combinatorial coverage, which measures the degree to which a given set of tests exercises every possible choice of values for every small combination of input features.In its “classical” form, combinatorial coverage only applies to programs whose inputs have a very particular shape—essentially, a Cartesian product of finite sets. We generalize combinatorial coverage to the richer world of algebraic data types by formalizing a class of sparse test descriptions based on regular tree expressions. This new definition of coverage inspires a novel combinatorial thinning algorithm for improving the coverage of random test generators, requiring many fewer tests to catch bugs. We evaluate this algorithm on two case studies, a typed evaluator for System F terms and a Haskell compiler, showing significant improvements in both.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bozkurt, Mustafa, und Mark Harman. „Optimised Realistic Test Input Generation Using Web Services“. In Search Based Software Engineering, 105–20. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33119-0_9.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Runeson, Per, Per Heed und Alexander Westrup. „A Factorial Experimental Evaluation of Automated Test Input Generation“. In Product-Focused Software Process Improvement, 217–31. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21843-9_18.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Brinksma, Ed, Lex Heerink und Jan Tretmans. „Factorized test generation for multi-input/output transition systems“. In Testing of Communicating Systems, 67–82. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-0-387-35381-4_5.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "Test input"

Pomeranz, Irith, und Sudhakar Reddy. „On the Replacement of Scan Chain Inputs by Primary Input Vectors“. In 2006 15th Asian Test Symposium. IEEE, 2006. http://dx.doi.org/10.1109/ats.2006.261017.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Binhack, M. „P7.2 - Wireless Thermocouple – Consequently from Input to Output“. In SENSOR+TEST Conferences 2011. AMA Service GmbH, Von-Münchhausen-Str. 49, 31515 Wunstorf, Germany, 2011. http://dx.doi.org/10.5162/sensor11/sp7.2.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Visser, Willem, Corina S. Pǎsǎreanu und Sarfraz Khurshid. „Test input generation with java PathFinder“. In the 2004 ACM SIGSOFT international symposium. New York, New York, USA: ACM Press, 2004. http://dx.doi.org/10.1145/1007512.1007526.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Nokhbeh Zaeem, Razieh, und Sarfraz Khurshid. „Test input generation using dynamic programming“. In the ACM SIGSOFT 20th International Symposium. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2393596.2393635.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bose, Soumitra, und Vishwani Agrawal. „Fault Coverage Estimation for Non-Random Functional Input Sequences“. In 2006 IEEE International Test Conference. IEEE, 2006. http://dx.doi.org/10.1109/test.2006.297648.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Pomeranz, Irit, und Sudhakar M. Reddy. „Input test data volume reduction based on test vector chains“. In 2010 15th IEEE European Test Symposium (ETS). IEEE, 2010. http://dx.doi.org/10.1109/etsym.2010.5512753.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Pomeranz, Irith, und Sudhakar M. Reddy. „On Test Generation by Input Cube Avoidance“. In Design, Automation & Test in Europe Conference. IEEE, 2007. http://dx.doi.org/10.1109/date.2007.364646.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Morelli, Eugene, und Eugene Morelli. „Flight test validation of optimal input design and comparison to conventional inputs“. In 22nd Atmospheric Flight Mechanics Conference. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1997. http://dx.doi.org/10.2514/6.1997-3711.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Awedikian, Zeina, Kamel Ayari und Giuliano Antoniol. „MC/DC automatic test input data generation“. In the 11th Annual conference. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1569901.1570123.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wassermann, Gary, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura und Zhendong Su. „Dynamic test input generation for web applications“. In the 2008 international symposium. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1390630.1390661.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Berichte der Organisationen zum Thema "Test input"

Trainer, Amelia Jo. User input validation and test driven development in NJOY21. Office of Scientific and Technical Information (OSTI), August 2017. http://dx.doi.org/10.2172/1375898.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bayless, Paul David. High Temperature Test Facility Preliminary RELAP5-3D Input Model Description. Office of Scientific and Technical Information (OSTI), Dezember 2015. http://dx.doi.org/10.2172/1389186.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bayless, Paul. RELAP5-3D Input Model for the High Temperature Test Facility. Office of Scientific and Technical Information (OSTI), Januar 2018. http://dx.doi.org/10.2172/1811538.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Trainer, Amelia Jo, Jeremy Lloyd Conlin und Austin Paul McCartney. User input verification and test driven development in the NJOY21 nuclear data processing code. Office of Scientific and Technical Information (OSTI), August 2017. http://dx.doi.org/10.2172/1375892.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Terrani, K. A., T. M. Karlsen und Yukinori Yamamoto. Input Correlations for Irradiation Creep of FeCrAl and SiC Based on In-Pile Halden Test Results. Office of Scientific and Technical Information (OSTI), Mai 2016. http://dx.doi.org/10.2172/1259428.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Barker, S. Integrated Information Support System (IISS). Volume 7. Communications Subsystem. Part 6. File Input/Output Primitives (FIOPS) Unit Test Plan. Fort Belvoir, VA: Defense Technical Information Center, September 1990. http://dx.doi.org/10.21236/ada248915.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Rembold, Randy Kai, Darren M. Hart und James Mark Harris. Geotech Smart24 data acquisition system input terminated noise seismic response adjusted test : StreckeisenSTS2-low and high gain, Guralp CMG3T and Geotech GS13 seismometers. Office of Scientific and Technical Information (OSTI), August 2008. http://dx.doi.org/10.2172/1004378.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Das, Jishnu, Stefan Dercon, James Habyarimana, Pramila Krishnan, Karthik Muralidharan und Venkatesh Sundararaman. School Inputs, Household Substitution, and Test Scores. Cambridge, MA: National Bureau of Economic Research, Februar 2011. http://dx.doi.org/10.3386/w16830.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Berlinski, Samuel, Matías Busso, Taryn Dinkelman und Claudia Martínez A. Reducing Parent-School Information Gaps and Improving Education Outcomes: Evidence from High-Frequency Text Messages. Inter-American Development Bank, Mai 2021. http://dx.doi.org/10.18235/0003257.

Der volle Inhalt der Quelle

Annotation:

We conducted an experiment in low-income schools in Chile to test the effects and behavioral changes triggered by a program that sends attendance, grade, and classroom behavior information to parents via weekly and monthly text messages. Our 18-month intervention raised average math GPA by 0.09 of a standard deviation and increased the share of students satisfying attendance requirements for grade promotion by 4.5 percentage points. Treatment effects were larger for students at higher risk of later grade retention and dropout. Leveraging existing school inputs for a light-touch, cost-effective, and scalable information intervention can improve education outcomes in lower-income settings.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Thompson, Marshall, und Ramez Hajj. Flexible Pavement Recycling Techniques: A Summary of Activities. Illinois Center for Transportation, Juli 2021. http://dx.doi.org/10.36501/0197-9191/21-022.

Der volle Inhalt der Quelle

Annotation:

Cold in-place recycling (CIR) involves the recycling of the asphalt portions (including hot-mix asphalt and chip, slurry, and cape seals, as well as others) of a flexible or composite pavement with asphalt emulsion or foamed asphalt as the binding agent. Full-depth reclamation (FDR) includes the recycling of the entire depth of the pavement and, in some cases, a portion of the subgrade with asphalt, cement, or lime products as binding agents. Both processes are extensively utilized in Illinois. This project reviewed CIR and FDR projects identified by the Illinois Department of Transportation (IDOT) from the Transportation Bulletin and provided comments on pavement designs and special provisions. The researchers evaluated the performance of existing CIR/FDR projects through pavement condition surveys and analysis of falling weight deflectometer data collected by IDOT. They also reviewed CIR/FDR literature and updated/modified (as appropriate) previously provided inputs concerning mix design, testing procedures, thickness design, construction, and performance as well as cold central plant recycling (CCPR) literature related to design and construction. The team monitored the performance of test sections at the National Center for Asphalt Technology and Virginia Department of Transportation. The researchers assisted IDOT in the development of a CCPR special provision as well as responded to IDOT inquiries and questions concerning issues related to CIR, FDR, and CCPR. They attended meetings of IDOT’s FDR with the Cement Working Group and provided input in the development of a special provision for FDR with cement. The project’s activities confirmed that CIR, FDR, and CCPR techniques are successfully utilized in Illinois. Recommendations for improving the above-discussed techniques are provided.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!