Model-Based Strategies for Reducing the Complexity of Statistically Generated Test Suites

2013 ◽  
pp. 89-103 ◽  
Author(s):  
Winfried Dulz
Keyword(s):  
Model Based ◽  
Test Suites

scholarly journals Model-Based Filtering of Combinatorial Test Suites

2012 ◽  
pp. 439-454
Author(s):  
Taha Triki ◽  
Yves Ledru ◽  
Lydie du Bousquet ◽  
Frédéric Dadeau ◽  
Julien Botella
Keyword(s):  
Model Based ◽  
Test Suites

scholarly journals Testing Asynchronous Reactive Systems: Beyond the ioco framework

2021 ◽  
Vol 24 (2) ◽  
Author(s):  
Adilson Bonifacio ◽  
Arnaldo Vieira Moura
Keyword(s):  
Reactive Systems ◽  
Model Based ◽  
Systems Model ◽  
Model Based Testing ◽  
Special Cases ◽  
Implementation Under Test ◽  
Complete Test ◽  
Manual Testing ◽  
Special Case ◽  
Test Suites

Manual testing can be rather time consuming and prone to errors specially when testing asynchronous reactive systems. Model based testing is a well-established approach to verify reactive systems specified by input output labeled transition systems (IOLTSs). One of the challenges stemming from model based testing is verifying conformance and, also, generating test suites, primarily when completeness is a required property. In order to check whether an implementation under test is in compliance with its respective specification one resorts to some form of conformance relation that guarantees the expected behavior of the implementations, given the behavior of the specification. The ioco relation is an example of such a conformance relation. In this work we study another conformance relation based on formal languages. We also investigate how to generate finite and complete test suites for IOLTS models, and discuss the complexity of the test generation mechanism under this new conformance relation. We also show that ioco is a special case of this new conformance relation. Further, we relate our contributions to more recent works, accommodating the restrictions of their classes of fault models as special cases, and we expose the complexity of generating any complete test suite that must satisfy their restrictions.

Fast Model-Based Fault Localisation with Test Suites

2015 ◽  
pp. 38-57 ◽  
Author(s):  
Geoff Birch ◽  
Bernd Fischer ◽  
Michael R. Poppleton
Keyword(s):  
Model Based ◽  
Test Suites

An automated model-based approach to repair test suites of evolving web applications

2021 ◽  
Vol 171 ◽  
pp. 110841
Author(s):  
Javaria Imtiaz ◽  
Muhammad Zohaib Iqbal ◽  
Muhammad Uzair khan
Keyword(s):  
Web Applications ◽  
Model Based ◽  
Test Suites

scholarly journals Enhanced Adaptive Random Test Case Prioritization for Model-based Test Suites

2020 ◽  
Vol 17 (7) ◽  
pp. 125-144
Author(s):  
Tomas Pospisil ◽  
Jan Sobotka ◽  
Jiri Novak
Keyword(s):  
Test Case ◽  
Test Case Prioritization ◽  
Random Test ◽  
Model Based ◽  
Test Suites

Representation, abstraction, and simple-minded sophisticates

2020 ◽  
Vol 43 ◽  
Author(s):  
Peter Dayan
Keyword(s):  
Decision Theory ◽  
Predictive Coding ◽  
Bayesian Decision Theory ◽  
Bayesian Decision ◽  
Model Based ◽  
Model Free

Abstract Bayesian decision theory provides a simple formal elucidation of some of the ways that representation and representational abstraction are involved with, and exploit, both prediction and its rather distant cousin, predictive coding. Both model-free and model-based methods are involved.

Quantitative Model-Based Image Analysis of NuMa Distribution Links Nuclear Organization with Cell Phenotype

2001 ◽  
Vol 7 (S2) ◽  
pp. 578-579
Author(s):  
David W. Knowles ◽  
Sophie A. Lelièvre ◽  
Carlos Ortiz de Solόrzano ◽  
Stephen J. Lockett ◽  
Mina J. Bissell ◽  
...  
Keyword(s):  
Image Analysis ◽  
Mammary Epithelial Cells ◽  
Nuclear Organization ◽  
Critical Role ◽  
Quantitative Model ◽  
Mammary Epithelial ◽  
Cell Phenotype ◽  
Proliferating Cells ◽  
Mitotic Apparatus ◽  
Model Based

The extracellular matrix (ECM) plays a critical role in directing cell behaviour and morphogenesis by regulating gene expression and nuclear organization. Using non-malignant (S1) human mammary epithelial cells (HMECs), it was previously shown that ECM-induced morphogenesis is accompanied by the redistribution of nuclear mitotic apparatus (NuMA) protein from a diffuse pattern in proliferating cells, to a multi-focal pattern as HMECs growth arrested and completed morphogenesis . A process taking 10 to 14 days.To further investigate the link between NuMA distribution and the growth stage of HMECs, we have investigated the distribution of NuMA in non-malignant S1 cells and their malignant, T4, counter-part using a novel model-based image analysis technique. This technique, based on a multi-scale Gaussian blur analysis (Figure 1), quantifies the size of punctate features in an image. Cells were cultured in the presence and absence of a reconstituted basement membrane (rBM) and imaged in 3D using confocal microscopy, for fluorescently labeled monoclonal antibodies to NuMA (fαNuMA) and fluorescently labeled total DNA.

Model-Based Clustering and Classification for Data Science

2019 ◽  
Author(s):  
Charles Bouveyron ◽  
Gilles Celeux ◽  
T. Brendan Murphy ◽  
Adrian E. Raftery
Keyword(s):  
Data Science ◽  
Model Based Clustering ◽  
Model Based ◽  
Clustering And Classification
Sign in / Sign up

Export Citation Format

Share Document