Filters








14,434 Hits in 4.9 sec

Coverage-driven Automated Compiler Test Suite Generation

A. Kalinov, A. Kossatchev, A. Petrenko, M. Posypkin, V. Shishkov
2003 Electronical Notes in Theoretical Computer Science  
Positive Test Suite Program increases Coverage? NO NO YES Negative Test Suite YES º º Ì ÐØ Ö³× × Ñ º à РÒÓÚ Ø Ð ÓÒ Ð ×  ...  Positive Tests PositiveTest Suite Specification Remaining cases Negative Test Suite º ¿º Ì × Ñ Ó Ø Ø ×Ø ×Ù Ø Ò Ö Ø ÓÒº Ù ØÓ Ø ×Ô Ð Ñ Ø Ø ÓÒ× Û ÓÑ Ø ×ÓÑ Ø Ò Ð Ø Ð× Ó ÓÒ×ØÖÙ Ø Ò Ò ÓÖ  ... 
doi:10.1016/s1571-0661(05)82625-8 fatcat:eddoyat7frcaxhg4vkn2ozv55q

Automated Test Generation for Java Generics [chapter]

Gordon Fraser, Andrea Arcuri
2014 Lecture Notes in Business Information Processing  
Software testing research has resulted in effective white-box test generation techniques that can produce unit test suites achieving high code coverage.  ...  To enable test generation tools to cover generics, two simple changes are required to existing approaches: First, the test generator needs to use Java's extended reflection API to retrieve the little information  ...  This project has been funded by a Google Focused Research Award on "Test Amplification" and the Norwegian Research Council.  ... 
doi:10.1007/978-3-319-03602-1_12 fatcat:bypiwuyskfcktnl5j5h7z4fd3e

ATPESC: Software Productivity 07: Testing, Code Coverage, and Continuous Integration [article]

Jared O'Neal, Alicia Klinvex
2018 Figshare  
Code coverage tools • Expose parts of the code that aren't being tested • gcov o standard utility with the GNU compiler collection suite o Compile/link with -coverage & turn off optimization o  ...  Toy workflow with testingautomate the execution of a test suite or a subset of a test suite, • allow for running tests on different environments, • host an interface for viewing results, and • allows  ... 
doi:10.6084/m9.figshare.6972749.v2 fatcat:genjegzym5an5di33nwopkphdy

A survey of coverage based testing tools

Qian Yang, J. Jenny Li, David Weiss
2006 Proceedings of the 2006 international workshop on Automation of software test - AST '06  
Our initial motivations were both to understand the available test coverage tools and to compare them to a tool that we have developed, called eXVantage (a tool suite that includes code coverage testing  ...  We also survey features such as program prioritization for testing, assistance in debugging, automatic generation of test cases and customization of test reports.  ...  Agitator from Agitar provides a certain level of automation by combining test suite generation and execution.  ... 
doi:10.1145/1138929.1138949 dblp:conf/icse/YangLW06 fatcat:mjddvbzv35eynpopekydala7pe

Data-driven Mutation Analysis for Cyber-Physical Systems [article]

Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel Briand
2022 arXiv   pre-print
With potentially incomplete, manually-generated test suites, it is of paramount importance to assess their quality.  ...  automation techniques are preliminary and industry still heavily relies on manual testing.  ...  Execute Test Suite Generate Mutation Analysis FM Coverage Mutant collecting FM Coverage Execute SUT Test Suite Results repeat for every mutant FM Coverage Failing Tests SUT Mutant i Execute Mutation Operations  ... 
arXiv:2201.10160v1 fatcat:h26jdd5mvzfvvb5ahz32gcovhy

An Automated Testing Model using Test Driven Development Approach

C.P Patidar, Arun Dongre
2017 Oriental journal of computer science and technology  
In this paper we compare manual and automated testing and proposed an automated testing model with test driven development (TDD).  ...  Like in an automobile industry every vehicle is tested before it goes to the customer. Also in software testing it is must to test the software before deployment.  ...  This article also explained that the automatically generated test sets have higher statement coverage and mutation score as manual test sets.  ... 
doi:10.13005/ojcst/10.02.18 fatcat:jimyadkt7ba4vndfaau2ckeufq

UTTOS: A Tool for Testing UEFI Code in OS Environment [chapter]

Eder C. M. Gomes, Paulo R. P. Amora, Elvis M. Teixeira, Antonio G. S. Lima, Felipe T. Brito, Juliano F. C. Ciocari, Javam C. Machado
2016 Lecture Notes in Computer Science  
The final step is the placing of the generated files inside the created test suite to allow correct code compilation. The test suite is generated with two stub functions for setup and clean up.  ...  On the other hand automated testing is not generally easy here since the code is targeted to run in devices different from the developer's workstation often through the use of cross compiling.  ... 
doi:10.1007/978-3-319-47443-4_14 fatcat:cx6z7xps6jhrli3hjb7wwfktia

A Survey of Coverage-Based Testing Tools

Q. Yang, J. J. Li, D. M. Weiss
2007 Computer journal  
Our initial motivations were both to understand the available test coverage tools and to compare them to a tool that we have developed, called eXVantage (a tool suite that includes code coverage testing  ...  We also survey features such as program prioritization for testing, assistance in debugging, automatic generation of test cases and customization of test reports.  ...  Automated test generation tends to be linked with code coverage, i.e. the goal of generating tests automatically can easily be linked to the goal of increasing coverage.  ... 
doi:10.1093/comjnl/bxm021 fatcat:wbhpl2recfd5rkmrtmtcqd5vty

A study in coverage-driven test generation

Mike Benjamin, Daniel Geist, Alan Hartman, Gerard Mas, Ralph Smeets, Yaron Wolfsthal
1999 Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99  
This was applied to a modern superscalar microprocessor and the resulting tests were compared to tests generated using existing methods.  ...  This paper presents a study of such a functional verification methodology that uses coverage of formal models to specify tests.  ...  These are referred to as the coverage variables. Using a finite state machine model of a design it is possible to automate coverage-driven test generation.  ... 
doi:10.1145/309847.310108 dblp:conf/dac/BenjaminGHMSW99 fatcat:ca3yqr4tujgudoxmr7hlo4lbrm

Model-Driven Testing for Web Applications Using Abstract State Machines [chapter]

Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri, Lorenzo Musto
2012 Lecture Notes in Computer Science  
These approaches can be used to automatically generate from the model a set of test cases satisfying certain coverage criteria, and thus can be integrated in a classical test driven development process  ...  In this paper we present an automated technique for Web Application testing using a model-driven approach.  ...  Starting from the denition of coverage criteria, several approaches have been dened in order to build test suites.  ... 
doi:10.1007/978-3-642-35623-0_7 fatcat:4vj5uezqprbtria5vehee5ejk4

A SIMPLIFIED APPROACH TO TEST-DRIVEN DEVELOPMENT FOR THE FIRST PROGRAMMING COURSE

2006 Issues in Information Systems  
Classroom experience with a simplified approach to TDD that doesn't require the use of an automated test framework is explored.  ...  In industry experiments using test-driven development (TDD), some researchers report significantly increased code quality over traditional test-last approaches.  ...  , and test suites [5] .  ... 
doi:10.48009/1_iis_2006_161-166 fatcat:o4q6ira46fcs5ktbkhq6jlwrpe

The AGEDIS tools for model based testing

A. Hartman, K. Nagin
2004 Software engineering notes  
The tools support a model based testing methodology that features a large degree of automation and also includes a feedback loop integrating coverage and defect analysis tools with the test generator and  ...  We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven test generation and execution  ...  execution engine, f) a test suite editor and browser, g) a coverage analysis tool, h) a defect analysis tool, and i) a report generator.  ... 
doi:10.1145/1013886.1007529 fatcat:l7pdvcj2xzh7bgz4ayyd5t562i

The AGEDIS tools for model based testing

A. Hartman, K. Nagin
2004 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04  
The tools support a model based testing methodology that features a large degree of automation and also includes a feedback loop integrating coverage and defect analysis tools with the test generator and  ...  We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven test generation and execution  ...  execution engine, f) a test suite editor and browser, g) a coverage analysis tool, h) a defect analysis tool, and i) a report generator.  ... 
doi:10.1145/1007512.1007529 dblp:conf/issta/HartmanN04 fatcat:glv54kfx5ranpe7l3sm5duklty

The AGEDIS Tools for Model Based Testing [chapter]

Alan Hartman, Kenneth Nagin
2005 Lecture Notes in Computer Science  
The tools support a model based testing methodology that features a large degree of automation and also includes a feedback loop integrating coverage and defect analysis tools with the test generator and  ...  We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven test generation and execution  ...  execution engine, f) a test suite editor and browser, g) a coverage analysis tool, h) a defect analysis tool, and i) a report generator.  ... 
doi:10.1007/978-3-540-31797-5_33 fatcat:75bqmsqzmrhbrpvaiwz3lefmqa

Chasing Mutants [chapter]

Adam Leon Smith
2019 The Future of Software Quality Assurance  
This chapter describes mutation testing, how it has developed, the types of tools associated with it, the benefits to a quality assurance process, and the associated challenges with scaling it as a test  ...  his quotes as a user of mutation testing and author of the tool Mull; and, My better half Julia for letting me disappear into writing mode on weekends;  ...  Acknowledgements I would like to thank the following people their help: Markus Schirp for his advice and quotes as author of the mutation testing tool Mutant; and, Alex Denisov from lowlevelbits.org, for  ... 
doi:10.1007/978-3-030-29509-7_12 fatcat:zay2nzthd5fhffhopo3xaa5ztq
« Previous Showing results 1 — 15 out of 14,434 results