10,065 Hits in 5.6 sec

Evolutionary algorithm for prioritized pairwise test data generation

Javier Ferrer, Peter M. Kruse, Francisco Chicano, Enrique Alba
2012 Proceedings of the fourteenth international conference on Genetic and evolutionary computation conference - GECCO '12  
Therefore, search based approaches are required to find the (near) optimal test suites. In this work we present a novel evolutionary algorithm to deal with this problem.  ...  These systems tend to be large and exhaustive testing is generally impractical. Indeed, when the resources are limited, prioritization of test cases is a must.  ...  CIT is used to determine the smallest possible subset of tests that covers all combinations of values specified by a coverage criterion with at least one test case.  ... 
doi:10.1145/2330163.2330331 dblp:conf/gecco/FerrerKCA12 fatcat:re2woff4ivaapb3awwdaxp3vnu

Comparison of Approaches to Prioritized Test Generation for Combinatorial Interaction Testing

Peter M. Kruse, Ina Schieferdecker
2012 Conference on Computer Science and Information Systems  
Due to limited test resources, it is often necessary to prioritize and select test cases for a given system under test.  ...  For example, the Classification Tree Method is a well established method for test data generation, however the application of prioritization techniques to it is a current research topic.  ...  Plain Pairwise Sorting In addition to PPC, we have analyzed Plain Pairwise Sorting (PPS) where a sorting approach based on class pair weights is applied to the results of a plain pairwise algorithm.  ... 
dblp:conf/fedcsis/KruseS12 fatcat:7geyfzjiona27phkazp3svlp2u

Synthesizing tests for combinatorial coverage of modal scenario specifications

Valerio Panzica La Manna, Itai Segall, Joel Greenyer
2015 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)  
Inspired by Combinatorial Test Design, which exploits that bugs are typically found by regarding the interaction of a small set of parameters, we propose a new test coverage criterion based on scenario  ...  Furthermore, we present a novel technique for automatically synthesizing from Modal Sequence Diagram specifications a minimal set of tests that ensures a maximal coverage of possible t-wise scenario interactions  ...  Coverage Criterion We now propose an MSD-based coverage criterion for test strategies.  ... 
doi:10.1109/models.2015.7338243 dblp:conf/models/MannaSG15 fatcat:bpdums3iorarrhhssvwqzocuvy

Biomass Feedstock and Climate Change in Agroforestry Systems: Participatory Location and Integration Scenario Analysis of Biomass Power Facilities

Jin Jeong
2018 Energies  
Among five integration scenarios (A to E) as the likelihood test by the stakeholders, scenario E (suitability layer) was most supported-that is, it was selected as the most suitability map-while scenario  ...  and criteria, is applied by professionals.  ...  certain scenario is applied (e.g., a total of five integration scenarios, numbered A to E, based on a five-point Likert-type scale), which can extend from 'very likely' to 'very unlikely'; and the third  ... 
doi:10.3390/en11061404 fatcat:sb5fu4rnsbfn7nqv7q76xfrkcu

Scalable Approaches for Test Suite Reduction

Emilio Cruciani, Breno Miranda, Roberto Verdecchia, Antonia Bertolino
2019 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)  
When applied to a suite of more than 500K real world test cases, the most efficient of the four approaches could select B test cases (for varying B values) in less than 10 seconds.  ...  We evaluate four approaches in a version that selects a fixed budget B of test cases, and also in an adequate version that does the reduction guaranteeing some fixed coverage.  ...  As a second case we considered adequate scenario, in which the code coverage measures of the whole test suite are preserved. To study this scenario, we applied the adequate version of the approaches.  ... 
doi:10.1109/icse.2019.00055 dblp:conf/icse/CrucianiMVB19 fatcat:umxak3mtyffs5f7dimdhewy6vm

Parameter Coverage for Testing of Autonomous Driving Systems Under Uncertainty

Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
2022 ACM Transactions on Software Engineering and Methodology  
Simulation-based testing is a widely adopted approach, where the ADS is run in a simulated environment over specific scenarios.  ...  Therefore, we propose parameter coverage, a criterion requiring to cover the ADS's parameters.  ...  in part, by Science Foundation Ireland grants 20/FFP-P/8818, and 13/RC/2094_P2 and co-funded under the European Regional Development Fund through the Southern & Eastern Regional Operational Programme to  ... 
doi:10.1145/3550270 fatcat:z4v3t7y545fbpls2ewyzctcigm

An Approach to Model Based Testing of Multiagent Systems

Shafiq Ur Rehman, Aamer Nadeem
2015 The Scientific World Journal  
A prototype tool has been developed to generate test paths from protocol graph according to the specified coverage criterion.  ...  The protocol diagram is converted into a protocol graph, on which different coverage criteria are applied to generate test paths that cover interactions between the agents.  ...  Addition of pairwise-message coverage assures arc coverage which is left in message coverage criterion.  ... 
doi:10.1155/2015/925206 pmid:25874263 pmcid:PMC4385681 fatcat:3acoandmorg4tmiczfwpstlvva

Leveraging combinatorial testing for safety-critical computer vision datasets

Christoph Gladisch, Christian Heinzemann, Martin Herrmann, Matthias Woehrle
2020 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW)  
We show how combinatorial testing based on a domain model can be leveraged for generating test sets providing coverage guarantees with respect to important environmental features and their interaction.  ...  However, the different nature of a data-driven deep neural nets (DNN) to conventional software is a challenge for practical software verification.  ...  In contrast, PICT generates 21 pairwise test cases. 5 A test case for the scenario in Figure 1 based on the definitions of the Zwicky-Box is shown below and covers exactly one state.  ... 
doi:10.1109/cvprw50498.2020.00170 dblp:conf/cvpr/GladischHHW20 fatcat:kboxbpxe6jdkngr2sjz4pblmpq

Intersection focused Situation Coverage-based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA [article]

Zaid Tahir, Rob Alexander
2022 arXiv   pre-print
We present a situation coverage-based (SitCov) AV-testing framework for the verification and validation (V&V) and safety assurance of AVs, developed in an open-source AV simulator named CARLA.  ...  The SitCov AV-testing framework focuses on vehicle-to-vehicle interaction on a road intersection under different environmental and intersection configuration situations, using situation coverage criteria  ...  automatically generate test suites according to a situation coverage criterion to test AVs for their V&V and safety assurance.  ... 
arXiv:2112.14706v2 fatcat:bfezd2xervbvngw2axkruxk3nu

An industrial study of applying input space partitioning to test financial calculation engines

Jeff Offutt, Chandra Alluri
2012 Empirical Software Engineering  
However, the industry norm is to use pure human-based, requirements-driven test design, usually with very little automation.  ...  The Federal Home Loan Mortgage Corporation (FHLMC), commonly known as Freddie Mac, concerned that these test design techniques may lead to ineffective and inefficient testing, partnered with a university  ...  The testing team identified eight testable functions. Applying the base choice coverage criterion yielded 64 tests.  ... 
doi:10.1007/s10664-012-9229-5 fatcat:ndotabwlonavnpxrwdtvqcq3gm

Automating Test Case Design within the Classification Tree Editor

Ute Zeppetzauer, Peter M. Kruse
2014 Proceedings of the 2014 Federated Conference on Computer Science and Information Systems  
The classification tree editor not only provides the tooling to use the method but also to apply new and helpful features in the test design process.  ...  test process and supporting features like test evaluation or test coverage analysis amongst others.  ...  The result is a test suite of tests covering the pairwise combination criterion and being sorted according to their relevance most relevant test cases at the top of the test suite, least relevant at the  ... 
doi:10.15439/2014f263 dblp:conf/fedcsis/ZeppetzauerK14 fatcat:neal56becvgklptsykziy7ufui

An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process

Adrian Groza, Irina Dragoste, Iulia Sincai, Ioana Jimborean, Vasile Moraru
2014 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing  
The running scenario applies our method to the task of reusing ontologies from the tourism domain.  ...  The system applies different metrics on ontologies in order to feed the Analytic Hierarchy Process with facts.  ...  APPLYING AHP IN THE TOURISM DOMAIN Our solution was tested for ontologies in the tourism domain.  ... 
doi:10.1109/synasc.2014.47 dblp:conf/synasc/GrozaDSJM14 fatcat:qxcldxstkzbmre2ynnnce2hcmq

Intelligent Testing of Traffic Light Programs: Validation in Smart Mobility Scenarios

Javier Ferrer, José García-Nieto, Enrique Alba, Francisco Chicano
2016 Mathematical Problems in Engineering  
In this paper, we propose a validation strategy based on genetic algorithms and feature models for the automatic generation of different traffic scenarios checking the robustness of traffic light cycle  ...  We can test the cycles of traffic lights considering the different states of the city, weather, congestion, driver expertise, vehicle's features, and so forth, but prioritizing the most relevant scenarios  ...  In this way, we can obtain a test suite of scenarios that fulfill the pairwise coverage criterion.  ... 
doi:10.1155/2016/3871046 fatcat:lf7xxhmr35hdvoj4bt2jwroeoi

Model selection for component network meta-analysis in connected and disconnected networks: a simulation study [article]

Maria Petropoulou, Gerta Rücker, Stephanie Weibel, Peter Kranke, Guido Schwarzer
2022 arXiv   pre-print
We applied the methods to a real Cochrane review dataset and simulated data with additive, mildly, or strongly violated intervention effects.  ...  We aim to introduce a forward model selection strategy for CNMA models and to investigate the performance of CNMA models for connected and disconnected networks.  ...  Based on the AIC criterion, this combination of three 2-way CNMA interactions was preferable to a model with two 2-way interactions ( = 0.1197).  ... 
arXiv:2205.11218v1 fatcat:hoprh63htrcjvnf6x7umec5644

A Comparison of Test Case Prioritization Criteria for Software Product Lines

Ana B. Sanchez, Sergio Segura, Antonio Ruiz-Cortes
2014 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation  
To alleviate this problem, numerous contributions have been proposed to reduce the number of products to be tested while still having a good coverage.  ...  They also show that our approach may contribute to accelerate the detection of faults of SPL test suites based on combinatorial testing.  ...  Additionally, in [2] proposed eight coverage criteria using a grammar-based technique to reduce the number of test cases to be tested, and in [10] presented a search-based approach using Genetic Algorithms  ... 
doi:10.1109/icst.2014.15 dblp:conf/icst/SanchezSC14 fatcat:qjs5dfszx5bnvf6zuv5mkia6rq
« Previous Showing results 1 — 15 out of 10,065 results