Log in

Relevant bibliographies by topics / Automated test set generation / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Automated test set generation.

Dissertations / Theses on the topic 'Automated test set generation'

Author: Grafiati

Published: 5 June 2025

Last updated: 16 July 2025

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Automated test set generation.'

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

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

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

1

Zhan, Yuan. "A search-based framework for automatic test-set generation for MATLAB/Simulink models." Thesis, University of York, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.425391.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Holm, Oscar. "Improving the Development of Safety Critical Software : Automated Test Case Generation for MC/DC Coverage using Incremental SAT-Based Model Checking." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-161335.

Full text

Abstract:

The importance and requirements of certifying safety critical software is today more apparent than ever. This study focuses on the standards and practices used within the avionics, automotive and medical domain when it comes to safety critical software. We identify critical problems and trends when certifying safety critical software and propose a proof-of-concept using static analysis, model checking and incremental SAT solving as a contribution towards solving the identiﬁed problems. We present quantitative execution times and code coverage results of our proposed solution. The proposed solu

APA, Harvard, Vancouver, ISO, and other styles

3

Cousins, Michael Anthony. "Automated structural test data generation." Thesis, University of Portsmouth, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261234.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Pietschker, Andrej. "Automated test generation from algebraic specifications." Thesis, University of Newcastle Upon Tyne, 2002. http://hdl.handle.net/10443/2015.

Full text

Abstract:

This thesis is a contribution to work on the specification-based testing of computing systems. The development of computing systems is a challenging task. A great deal of research has been directed at support for analysis, design and implementation aspects, yielding a wide range of development techniques. However, the crucial area of system testing remains relatively under-explored. Because a project may spend a good part of its budget on testing, even modest improvements to the cost-effectiveness of testing represent substantial improvements in project budgets. Relatively little literature ha

APA, Harvard, Vancouver, ISO, and other styles

5

Cheng, Xu. "Supporting automated system-level test scenario generation." Thesis, University of Ottawa (Canada), 2007. http://hdl.handle.net/10393/27821.

Full text

Abstract:

Software plays a significant role in society. It penetrates every field such as telecommunications, public administration, cooperation management, etc. In a software development life cycle (abbr., SDLC), software testing is a key phase. It accounts for a large part of software development costs. This is a consequence of testing being performed late in an improvised and impromptu way under the discretion of project managers. Continual testing as proposed by the extreme programming approach advocates that automated testing be performed in the early phases of the SDLC. Automation helps avoid diso

APA, Harvard, Vancouver, ISO, and other styles

6

Morrison, George Campbell. "Automated coverage calculation and test case generation." Thesis, Stellenbosch : Stellenbosch University, 2012. http://hdl.handle.net/10019.1/20041.

Full text

Abstract:

Thesis (MScEng)--Stellenbosch University, 2012.<br>ENGLISH ABSTRACT: This research combines symbolic execution, a formal method of static analysis, with various test adequacy criteria, to explore the e ectiveness of using symbolic execution for calculating code coverage on a program's existing JUnit test suites. Code coverage is measured with a number of test adequacy criteria, including statement coverage, branch coverage, condition coverage, method coverage, class coverage, and loop coverage. The results of the code coverage calculation is then used to automatically generate JUnit test

APA, Harvard, Vancouver, ISO, and other styles

7

de, Araujo Rodrigues Vieira Elisangela. "Automated model-based test generation for timed systems." Evry, Institut national des télécommunications, 2007. http://www.theses.fr/2007TELE0011.

Full text

Abstract:

Timed Systems are systems with real-time constraints. The correctness of a timed system depends not only upon the operations it performs but also the timing when they are performed. Testing a system aims to guarantee its correctness. Model-based test generation is an approach to generate test cases based on a formal model. Although test generation methods have been far proposed, its timed counterpart is still a new field. In addition, most of the proposed solutions suffer from combinatory explosion which still limits their applicability in practice. Accordingly, it explains why there are so fe

APA, Harvard, Vancouver, ISO, and other styles

8

Sudireddy, Samara Simha Reddy. "Accumulator Based Test Set Embedding." OpenSIUC, 2009. https://opensiuc.lib.siu.edu/theses/18.

Full text

Abstract:

In this paper a test set embedding based on accumulator driven by an odd additive constant is presented. The problem is formulated around finding the location of the test pattern in the sequence generated by the accumulator, given a odd constant C and test set T, in terms of linear Diophantine equation of two variables. We show that the search space for finding the best constant corresponding to the shortest length, is greatly reduced. Experimental results show a significant improvement in run time with practically acceptable test length.

APA, Harvard, Vancouver, ISO, and other styles

9

Wingfield, James. "Approaches to test set generation using binary decision diagrams." Thesis, Texas A&M University, 2003. http://hdl.handle.net/1969.1/20.

Full text

Abstract:

This research pursues the use of powerful BDD-based functional circuit analysis to evaluate some approaches to test set generation. Functional representations of the circuit allow the measurement of information about faults that is not directly available through circuit simulation methods, such as probability of random detection and test-space overlap between faults. I have created a software tool that performs experiments to make such measurements and augments existing test generation strategies with this new information. Using this tool, I explored the relationship of fault model difficul

APA, Harvard, Vancouver, ISO, and other styles

10

Mahmood, Shahid. "A Systematic Review of Automated Test Data Generation Techniques." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4349.

Full text

Abstract:

Automated Test Data Generation (ATDG) is an activity that in the course of software testing automatically generates test data for the software under test (SUT). It usually makes the testing more efficient and cost effective. Test Data Generation (TDG) is crucial for software testing because test data is one of the key factors for determining the quality of any software test during its execution. The multi-phased activity of ATDG involves various techniques for each of its phases. This research field is not new by any means, albeit lately new techniques have been devised and a gradual increase

APA, Harvard, Vancouver, ISO, and other styles

11

Nilsson, Robert. "Automated Selective Test Case Generation Methods for Real-Time Systems." Thesis, University of Skövde, Department of Computer Science, 2000. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-487.

Full text

Abstract:

<p>This work aims to investigate the state of the art in test case generation for real-time systems, to analyze existing methods, and to propose future research directions in this area. We believe that a combination of design for testability, automation, and sensible test case selection is the key for verifying modern real-time systems. Existing methods for system-level test case generation for real-time systems are presented, classified, and evaluated against a real-time system model. Significant for real-time systems is that timeliness is crucial for their correctness. Our system model of th

APA, Harvard, Vancouver, ISO, and other styles

12

Burton, Simon. "Automated generation of high-integrity test suites from graphical specifications." Thesis, University of York, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.270360.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Enoiu, Eduard. "Automatic test generation for industrial control software." Doctoral thesis, Mälardalens högskola, Inbyggda system, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-33364.

Full text

Abstract:

Since the early days of software testing, automatic test generation has been suggested as a way of allowing tests to be created at a lower cost. However, industrially useful and applicable tools for automatic test generation are still scarce. As a consequence, the evidence regarding the applicability or feasibility of automatic test generation in industrial practice is limited. This is especially problematic if we consider the use of automatic test generation for industrial safety-critical control systems, such as are found in power plants, airplanes, or trains. In this thesis, we improve the

APA, Harvard, Vancouver, ISO, and other styles

14

Takhar, Jasbir S. "Test set generation and optimisation using evolutionary algorithms and cubical calculus." Thesis, Sheffield Hallam University, 2003. http://shura.shu.ac.uk/20419/.

Full text

Abstract:

As the complexity of modern day integrated circuits rises, many of the challenges associated with digital testing rise exponentially. VLSI technology continues to advance at a rapid pace, in accordance with Moore's Law, posing evermore complex, NP-complete problems for the test community. The testing of ICs currently accounts for approximately a third of the overall design costs and according to the Semiconductor Industry Association, the per-transistor test cost will soon exceed the per-transistor production cost. Given the need to test ICs of ever-increasing complexity and to contain the cos

APA, Harvard, Vancouver, ISO, and other styles

15

Dislis, Chryssula. "A financially based automated advisor for design for test strategy generation." Thesis, Brunel University, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.302801.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Markovic, Filip. "Automated Test Generation for Structured Text Language using UPPAAL Model Checker." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28412.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Derderian, Karnig Agop. "Automated test sequence generation for finite state machines using genetic algorithms." Thesis, Brunel University, 2006. http://bura.brunel.ac.uk/handle/2438/3062.

Full text

Abstract:

Testing software implementations, formally specified using finite state automata (FSA) has been of interest. Such systems include communication protocols and control sections of safety critical systems. There is extensive literature regarding how to formally validate an FSM based specification, but testing that an implementation conforms to the specification is still an open problem. Two aspects of FSA based testing, both NP-hard problems, are discussed in this thesis and then combined. These are the generation of state verification sequences (UIOs) and the generation of sequences of condition

APA, Harvard, Vancouver, ISO, and other styles

18

Ranganathan, Krishna. "DVTG - Design Verification Test Generation from Rosetta Specifications." University of Cincinnati / OhioLINK, 2001. http://rave.ohiolink.edu/etdc/view?acc_num=ucin994691304.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

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.

Full text

Abstract:

Thesis (M.S. in Computer Science)--Naval Postgraduate School, June 2005.<br>Thesis Advisor(s): Mikhail Auguston, James B. Michael. Includes bibliographical references (p. 55-56). Also available online.

APA, Harvard, Vancouver, ISO, and other styles

20

Tracey, Nigel James. "A search-based automated test-data generation framework for safety-critical software." Thesis, University of York, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.325796.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Durand, William. "Automated test generation for production systems with a model-based testing approach." Thesis, Clermont-Ferrand 2, 2016. http://www.theses.fr/2016CLF22691/document.

Full text

Abstract:

Ce manuscrit de thèse porte sur le problème du test basé modèle de systèmes de production existants, tels ceux de notre partenaire industriel Michelin, l’un des trois plus grands fabricants de pneumatiques au monde. Un système de production est composé d’un ensemble de machines de production contrôlées par un ou plusieurs logiciels au sein d’un atelier dans une usine. Malgré les nombreux travaux dans le domaine du test basé modèle, l’écriture de modèles permettant de décrire un système sous test ou sa spécification reste un problème récurrent, en partie à cause de la complexité d’une telle tâc

APA, Harvard, Vancouver, ISO, and other styles

22

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/.

Full text

Abstract:

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 aforementi

APA, Harvard, Vancouver, ISO, and other styles

23

Ramasamy, Kandasamy Manimozhian. "Efficient state space exploration for parallel test generation." Thesis, [Austin, Tex. : University of Texas, 2009. http://hdl.handle.net/2152/ETD-UT-2009-05-131.

Full text

Abstract:

Report (M.S. in Engineering)--University of Texas at Austin, 2009.<br>Title from PDF title page (University of Texas Digital Repository, viewed on August 10, 2009). Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

24

Kurmaku, Ted, and Musa Kumrija. "A SYSTEMATIC LITERATURE REVIEW AND META-ANALYSIS COMPARING AUTOMATED TEST GENERATION AND MANUAL TESTING." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-48815.

Full text

Abstract:

Software testing is among the most critical parts of the software development process. The creation of tests plays a substantial role in the evaluation of software quality yet being one of the most expensive tasks in software development. This process typically involves intensive manual efforts and it is one of the most labor-intensive steps during software testing. To reduce manual efforts, automated test generation has been proposed as a method of creating tests more efficiently. In recent decades, several approaches and tools have been proposed in the scientific literature to automate the t

APA, Harvard, Vancouver, ISO, and other styles

25

Basaran, Cuneyt. "Automated network protocol reachability analysis with supertrace algorithm and TESTGEN : automated generation of test sequence for a formal protocol specification." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1994. http://handle.dtic.mil/100.2/ADA280788.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Prabhu, Sarvesh P. "Techniques for Enhancing Test and Diagnosis of Digital Circuits." Diss., Virginia Tech, 2015. http://hdl.handle.net/10919/51181.

Full text

Abstract:

Test and Diagnosis are critical areas in semiconductor manufacturing. Every chip manufactured using a new or premature technology or process needs to be tested for manufacturing defects to ensure defective chips are not sold to the customer. Conventionally, test is done by mounting the chip on an Automated Test Equipment (ATE) and applying test patterns to test for different faults. With shrinking feature sizes, the complexity of the circuits on chip is increasing, which in turn increases the number of test patterns needed to test the chip comprehensively. This increases the test application t

APA, Harvard, Vancouver, ISO, and other styles

27

Kunze, Sebastian. "Automated Test Case Generation for Function Block Diagrams using Java Path Finder and Symbolic Execution." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28315.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Gangadhar, Sreenivas. "ANALYTICAL METHODS TO PROPAGATE AND DIAGNOSE SINGLE EVENT TRANSIENTS." OpenSIUC, 2012. https://opensiuc.lib.siu.edu/dissertations/538.

Full text

Abstract:

Rapidly shrinking technology node and aggressive scaling of voltage have increased the probability of soft errors. In the current deep sub-micron technology, a small inaccuracy in computing the probability of occurrence of a soft error results in an unacceptably large chip failure rate. We propose a method that considers timing information to determine accurately the probability of SET propagation resulting into an error. Disjoint covers of appropriately formulated functions are used for the probability computations in order to consider re-convergent paths in the circuit. The probabilities ar

APA, Harvard, Vancouver, ISO, and other styles

29

Rafi, Dudekula Mohammad, and Kiran Moses Katam Reddy. "Automated Software Testing : A Study of the State of Practice." Thesis, Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3375.

Full text

Abstract:

Context: Software testing is expensive, labor intensive and consumes lot of time in a software development life cycle. There was always a need in software testing to decrease the testing time. This also resulted to focus on Automated Software Testing (AST), because using automated testing, with specific tools, this effort can be dramatically reduced and the costs related with testing can decrease [11]. Manual Testing (MT) requires lot of effort and hard work, if we measure in terms of person per month [11]. Automated Software testing helps to decrease the work load by giving some testing tasks

APA, Harvard, Vancouver, ISO, and other styles

30

Lüthje, Olaf [Verfasser]. "A Methodology for Automated Analysis of Application Specific Processor Models with Respect to Test Generation / Olaf Lüthje." Aachen : Shaker, 2005. http://d-nb.info/1181615461/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Roslund, Anton. "Evaluation of Automated Test Generation for Simulink : A Case Study in the Context of Propulsion Control Software." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-48426.

Full text

Abstract:

Automated Test Generation (ATG) has been successfully applied in many domains. For the modeling and simulation language Simulink, there has been research on developing tools for ATG with promising results. However, most tools developed as part of academic research and are not publicly available, or severely limited in their ability to be integrated into an industrial workflow. There are commercial ATG tools for Simulink, with Simulink Design Verifier (SLDV) as the de-facto standard tool. For this thesis, we perform an empirical comparison of manual tests to those generated by SLDV. For the com

APA, Harvard, Vancouver, ISO, and other styles

32

Doungsa-ard, Chartchai. "Generation of Software Test Data from the Design Specification Using Heuristic Techniques. Exploring the UML State Machine Diagrams and GA Based Heuristic Techniques in the Automated Generation of Software Test Data and Test Code." Thesis, University of Bradford, 2011. http://hdl.handle.net/10454/5380.

Full text

Abstract:

Software testing is a tedious and very expensive undertaking. Automatic test data generation is, therefore, proposed in this research to help testers reduce their work as well as ascertain software quality. The concept of test driven development (TDD) has become increasingly popular during the past several years. According to TDD, test data should be prepared before the beginning of code implementation. Therefore, this research asserts that the test data should be generated from the software design documents which are normally created prior to software code implementation. Among such design do

APA, Harvard, Vancouver, ISO, and other styles

33

Feller, Nadjia Jandt. "Geração de testes de aceitação a partir de modelos U2TP para sistemas web." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2015. http://hdl.handle.net/10183/115214.

Full text

Abstract:

A utilização desta abordagem no ciclo de desenvolvimento de uma aplicação web traz algumas vantagens, como ser necessário gerar manualmente apenas o modelo de comportamento de cada funcionalidade da aplicação, (pois os demais artefatos são gerados automaticamente), consumindo menos tempo e estando menos sujeitos a erros, além de prevenir diferentes interpretações dos requisitos pelos stakeholders, desenvolvedores e testadores. O tempo despendido na especificação dos modelos é compensado pelo tempo economizado com a geração dos cenários e do código de testes.<br>The testing activity throughout

APA, Harvard, Vancouver, ISO, and other styles

34

PERES, Glaucia Boudox. "A black-box testing technique for the detection of crashes based on automated test scenarios." Universidade Federal de Pernambuco, 2009. https://repositorio.ufpe.br/handle/123456789/2366.

Full text

Abstract:

Made available in DSpace on 2014-06-12T15:57:23Z (GMT). No. of bitstreams: 2 arquivo3187_1.pdf: 2434276 bytes, checksum: df6b126c4802eed8524aba0d3cb25af9 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009<br>Boudox Peres, Glaucia; Cabral Mota, Alexandre. A black-box testing technique for the detection of crashes based on automated test scenarios. 2009. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2009.

APA, Harvard, Vancouver, ISO, and other styles

35

Andersson, Sebastian, and Gustav Carlstedt. "Automated Testing of Robotic Systems in Simulated Environments." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-44572.

Full text

Abstract:

With the simulations tools available today, simulation can be utilised as a platform for more advanced software testing. By introducing simulations to software testing of robot controllers, the motion performance testing phase can begin at an earlier stage of development. This would benefit all parties involved with the robot controller. Testers at ABB would be able to include more motion performance tests to the regression tests. Also, ABB could save money by adapting to simulated robot tests and customers would be provided with more reliable software updates. In this thesis, a method is deve

APA, Harvard, Vancouver, ISO, and other styles

36

Rucker, Paul D. "A reliability comparison of recessed-gate and self-aligned gate small signal GaAs MESFETS utilizing an accelerated life test set designed for large scale automated testing." Thesis, Virginia Polytechnic Institute and State University, 1987. http://hdl.handle.net/10919/71231.

Full text

Abstract:

A large scale automated test set was designed and built to address the varied accelerated life test requirements of the GaAs industry. GaAs low-noise/small-signal MESFETs with 1 x 300 micron gate peripheries and 3 different gate structures were subjected to a 1000 hour high temperature storage test: 1) to compare the reliability performance and manufacturability of a) recessed-gate MESFETs with TiPdAu gates b) realigned self-aligned gate (RSAG) MESFETs with TiWN<sub>x</sub> Schottky and TiPdAu overlay c) planarized self-aligned gate (PSAG) MESFETs with TiWN<sub>x</sub> Schottky and TiPdAu

APA, Harvard, Vancouver, ISO, and other styles

37

Aldawoodi, Namir. "An approach to designing an unmanned helicopter autopilot using genetic algorithms and simulated annealing." [Tampa, Fla] : University of South Florida, 2008. http://purl.fcla.edu/usf/dc/et/SFE0002458.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Babenskas, Egidijus. "Vienetų testų generavimo metodo Android aplikacijoms testuoti realizavimas ir tyrimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2013. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2012~D_20131031_151201-58957.

Full text

Abstract:

Tobulėjant išmaniesiems telefonams ir jų techninėms galimybėms bei didėjant jų pardavimams Lietuvoje ir pasaulyje, kuriamos aplikacijos tampa sudėtingesnės ir funkcionalesnės, tačiau kokybės problema vis dar išlieka skaudžia programinės įrangos kūrimo dalimi. Šiuo metu iš visų parduodamų išmaniųjų telefonų apie 50% parduodami su Android operacine sistema. Matant Android OS programų vis didėjantį poreikį rinkoje ir jų populiarumą bei panagrinėjus esamą rinką ir pamačius, jog testavimo įrankių, skirtų testuoti Android aplikacijas, beveik nėra, buvo nuspręsta, jog reikalingas vienetų testų gener

APA, Harvard, Vancouver, ISO, and other styles

39

Sunil, Kamalakar FNU. "Automatically Generating Tests from Natural Language Descriptions of Software Behavior." Thesis, Virginia Tech, 2013. http://hdl.handle.net/10919/23907.

Full text

Abstract:

Behavior-Driven Development (BDD) is an emerging agile development approach where all stakeholders (including developers and customers) work together to write user stories in structured natural language to capture a software application's functionality in terms of re- quired "behaviors". Developers then manually write "glue" code so that these scenarios can be executed as software tests. This glue code represents individual steps within unit and acceptance test cases, and tools exist that automate the mapping from scenario descriptions to manually written code steps (typically using regular ex

APA, Harvard, Vancouver, ISO, and other styles

40

Redelinghuys, Gideon. "Symbolic string execution." Thesis, Stellenbosch : Stellenbosch University, 2012. http://hdl.handle.net/10019.1/20335.

Full text

Abstract:

Thesis (MSc)--Stellenbosch University, 2012.<br>ENGLISH ABSTRACT: Symbolic execution is a well-established technique for automated test generation and for nding errors in complex code. Most of the focus has however been on programs that manipulate integers, booleans, and even, references in object-oriented programs. Recently researchers have started looking at programs that do lots of string processing, motivated, in part, by the popularity of the web and the risk that errors in web servers may lead to security violations. Attempts to extend symbolic execution to the domain of strings a

APA, Harvard, Vancouver, ISO, and other styles

41

QAZIZADA, RASHED. "Enabling Java Software Developers to use ATCG tools by demonstrating the tools that exist today, their usefulness, and effectiveness." Thesis, Linnéuniversitetet, Institutionen för datavetenskap och medieteknik (DM), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-107316.

Full text

Abstract:

The software industry is expanding at a rapid rate. To keep up with the fast-growing and ever-changing technologies, it has become necessary to produce high-quality software in a short time and at an affordable cost. This research aims to demonstrate to Java developers the use of Automated Test Case Generation (ATCG) tools by presenting the tools that exist today, their usefulness, and their effectiveness. The main focus is on the automated testing tools for the Java industry, which can help developers achieve their goals faster and make better software. Moreover, the discussion covers the ava

APA, Harvard, Vancouver, ISO, and other styles

42

Sumtsov, Artem. "Vývoj a testování SW pro modul monitorování stavu motoru." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2015. http://www.nusl.cz/ntk/nusl-232035.

Full text

Abstract:

Diplomová práce popisuje vývojovou techniku Model Based Design a její použití pro návrh a testování algoritmů. Popis této techniky je proveden na příkladu praktického využití v praxi při vývoji modulu monitorování stavu motoru ve spolupráci se společností UNIS,a.s. Vývoj v oblasti současné letecké techniky klade velký důraz na monitorování životnosti zařízení. Podle výstupů algoritmu se dají naplánovat preventivní opravy s ohledem na aktuální podmínky opotřebení a provozování. Implementace algoritmů je provedena v prostředí Matlab/Simulink s následným testováním na platformě dSpace

APA, Harvard, Vancouver, ISO, and other styles

43

Guntzel, Jose Luis Almada. "Functional timing analysis of VLSI circuits containing complex gates." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2000. http://hdl.handle.net/10183/1883.

Full text

Abstract:

Os recentes avanços experimentados pela tecnologia CMOS tem permitido a fabricação de transistores em dimensões submicrônicas, possibilitando a integração de dezenas de milhões de dispositivos numa única pastilha de silício, os quais podem ser usados na implementação de sistemas eletrônicos muito complexos. Este grande aumento na complexidade dos projetos fez surgir uma demanda por ferramentas de verificação eficientes e sobretudo que incorporassem modelos físicos e computacionais mais adequados. A verificação de timing objetiva determinar se as restrições temporais impostas ao projeto podem o

APA, Harvard, Vancouver, ISO, and other styles

44

Ghazi, Arash. "Microstructural computational modeling of the mechanical behaviour of closed-cell foams: from tessellation-based to CT scan-based modeling." Doctoral thesis, Universite Libre de Bruxelles, 2020. https://dipot.ulb.ac.be/dspace/bitstream/2013/306841/3/Thesis.pdf.

Full text

Abstract:

The mechanical behavior of closed cell metallic foams strongly depends on their geometry at the scale of cells and cell walls. Two approaches are proposed in this work to address this computationally:(i) a controlled geometrical description of foam morphology features by exploiting an advanced tessellation-based procedure, allowing to generate realistic microstructural geometry,(ii) a procedure allowing to extract geometrical features of a foam morphology based on image-based modelling using CT scans. The first approach proposes a methodology that allows the automated generation of RVEs with a

APA, Harvard, Vancouver, ISO, and other styles

45

Porto, Faimison Rodrigues. "Estratégia para geração de sequencias de verificação para máquinas de estados finitos." Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/.

Full text

Abstract:

O teste de software engloba diferentes técnicas, métodos e conceitos capazes de garantir a qualidade dos mais variados tipos de sistemas. Dentre tais técnicas, encontra-se o teste baseado em Máquinas de Estados Finitos (MEFs), que visa a garantir a conformidade entre a implementação e a especificação de um software. Com esse propósito, diversos métodos foram propostos para a geração de seqüências de verificação que garantam cobertura total das possíveis falhas existentes em uma implementação. A maioria dos métodos conhecidos são baseados na utilização de seqüências de distinção. Esse recurso,

APA, Harvard, Vancouver, ISO, and other styles

46

Neverdauskas, Tomas. "Statinė CIL kodo analizė, remiantis simboliniu vykdymu." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2010. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2010~D_20100826_104857-00197.

Full text

Abstract:

Programinės įrangos testavimas ir kokybės užtikrinimas yra svarbus programų sistemų inžinerijos kūrimo uždavinys, siekiant sukurti tinkamą naudojimui produktą. Yra daug skirtingų metodikų kuriamai programinei įrangai testuoti, tačiau vieningos sistemos, kuri būtų universali – nėra. Įvairūs tyrimai vykdomi programinės įrangos testavimo srityje duoda skirtingus rezultatus. Testavimo procesas taip pat svarbus ir praktikoje – be jo negali išsiversti nei vienas organizacija susijusi su programinės įrangos kūrimu ir plėtojimu. Šis darbas remiasi modeliu paremto testavimo paradigma ir simboliniu vykd

APA, Harvard, Vancouver, ISO, and other styles

47

Račkauskas, Kazys. "Automatizuoto grafinės vartotojo sąsajos mobiliuose įrenginiuose testavimo tyrimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2007. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2007~D_20070816_143958-67513.

Full text

Abstract:

Naujuose programiniuose produktuose plačiai taikoma mobilioji įranga (mobilieji telefonai, delniniai kompiuteriai). Programinės įrangos kūrimo procese svarbią vietą užima testavimas. Dabartinių mobiliųjų įranginių apribojimai (darbo sparta, atminties kiekis, energija, ekrano dydis, platformų įvairumas) kelia naujas problemas programinės įrangos kūrimo procesui, tame tarpe ir testavimui. Testavimo proceso automatizavimas leidžia sumažinti bandymų trukmę, padidinti testavimo darbų apimtį. Programinės įrangos testavime mobiliems įrenginiams svarbu išskirti grafinės vartotojo sąsajos testavimą. Sv

APA, Harvard, Vancouver, ISO, and other styles

48

GAO, ZONG-HONG, and 高宗宏. "Automated test pattern generation from VHDL behavioral description." Thesis, 1992. http://ndltd.ncl.edu.tw/handle/64361367967908278273.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Cabeda, Mariana Araújo. "Automated Test Generation Based on an Applicational Model." Master's thesis, 2018. http://hdl.handle.net/10362/62913.

Full text

Abstract:

Context: As testing is an extremely costly and time-consuming process, tools to automatically generate test cases have been proposed throughout the literature. OutSystems provides a software development environment where with the aid of the visual OutSystems language, developers can create their applications in an agile form, thus improving their productivity. Problem: As OutSystems aims at accelerating software development, automating the test case generation activity would bring great value to their clients. Objectives: The main objectives of this work are to: develop an algorithm tha

APA, Harvard, Vancouver, ISO, and other styles

50

Wang, Hong-Yi. "Grammar-Based Test Generation: new tools and techniques." Thesis, 2012. http://hdl.handle.net/1828/4339.

Full text

Abstract:

Automated testing is superior to manual testing because it is both faster to execute and achieves greater test coverage. Typical test generators are implemented in a programming language of the tester’s choice. Because most programming languages have complex syntax and semantics, the test generators are often difficult to develop and maintain. Context-free grammars are much simpler: they can describe complex test inputs in just a few lines of code. Therefore, Grammar-Based Test Generation (GBTG) has received considerable attention over the years. However, questions about certain aspects o

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!