DOCSLIB.ORG

Evolution, Testing and Configuration of Variability Systems Intensive José Ángel Galindo Duarte

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Evolution, Testing and Configuration of Variability Systems Intensive José Ángel Galindo Duarte Evolution, testing and configuration of variability systems intensive José Ángel Galindo Duarte To cite this version: José Ángel Galindo Duarte. Evolution, testing and configuration of variability systems intensive. Other [cs.OH]. Université Rennes 1, 2015. English. NNT : 2015REN1S008. tel-01187958 HAL Id: tel-01187958 https://tel.archives-ouvertes.fr/tel-01187958 Submitted on 28 Aug 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. ANNEE´ 2014 THESE` / UNIVERSITE´ DE RENNES 1 sous le sceau de l’Universite´ Europeenne´ de Bretagne En cotutelle Internationale avec Universite´ de Seville,´ Espagne pour le grade de DOCTEUR DE L’UNIVERSITE´ DE RENNES 1 Mention : informatique Ecole´ doctorale Matisse present´ ee´ par Jose´ Angel´ GALINDO DUARTE prepar´ ee´ a` l’unite´ de recherche IRISA-UMR6074 Institut de Recherche en Informatique et Systemes` Aleatoires´ INRIA These` soutenue a` Seville´ Evolution, testing le 4 mars 2015 and configuration devant le jury compose´ de : Miguel Toro Bonilla of variability Professeur de l’universite´ de Seville´ / examinateur Sergio Segura Rueda Professeur de l’universite´ de Seville´ / examinateur intensive systems Jean-Marc Jez´ equel´ Professeur de l’universite´ de Rennes 1/ examinateur Alexander Felferning Professeur de l’universite´ de Graz/ examinateur Juan Manuel Murillo Professeur de l’universite´ d’Extremadura/ rapporteur EVOLUTION, TESTING AND CONFIGURATION OF VARIABILITY INTENSIVE SYSTEMS JOSE´ A. GALINDO ADVISED BY: DR.DAVID BENAVIDES CUEVAS AND DR.BENOIT BAUDRY DOUBLE DEGREE INTERNATIONAL DOCTORAL DISSERTATION First published in January 2014 by The Department of Computer Languages and Systems ETSI Informatica´ Avda. de la Reina Mercedes s/n Sevilla, 41012. SPAIN Copyright �c MMXIV Jose´ A. Galindo http://www.joseangelgalindo.es/ [email protected] Classification (ACM 2012): Categories and subject descriptors: D.2.13 [Software Engineering]: Reusable Soft- ware: Domain Engineering; D.2.1 [Software Engineering]: Requirement/Specifications: Languages,Tools; D.2.5 [Software Engineering]: Testing and Debugging - Testing tools General Terms: Design, Theory, Algorithms, Performance Additional Key Words and Phrases: software product lines, software product fami- lies, feature models, automated analysis, variability, combinatorial testing, variability intensive systems Support: This work has been partially supported by the European commission (FEDER), by the Spanish government under TAPAS (TIN2012-32273) project, by the French government under MOTIV project and by the Andalusian government under the Talentia scholarships program and under THEOS (TIC-5906) and COPAS (TIC- 1867) projects. 5 Don David Felipe Benavides Cuevas y Don Benoit Baudry, profesor titular de la Universidad de Sevilla, e investigador principal del grupo de investi- gacion´ Diverse en INRIA, HACEN CONSTAR que Don Jose´ Angel Galindo Duarte, Ingeniero en Informatica´ por la Univer- sidad de Sevilla, ha realizado bajo nuestra supervision´ el trabajo de investi- gacion´ titulado Evolution, testing and configuration of variability intensive systems. Una vez revisado, autorizamos el comienzo de los tramites´ para su pre- sentacion´ como tesis doctoral al tribunal que ha de juzgarlo. Fdo. Dr. David Felipe Benavides Cuevas y Dr. Benoit Baudry Universidad de Sevilla, Sevilla, Octubre de 2014 6 7 Yo, Jose´ Angel´ Galindo Duarte, con DNI numero´ 48959770-S, DECLARO Ser el autor del trabajo que se presenta en la memoria de esta tesis doctoral que tiene por t´ıtulo: Evolution, testing and configuration of variability intensive systems. Lo cual firmo en Sevilla, Octubre de 2014. Fdo. Jose´ A. Galindo 8 9 In addition to the committee in charge of evaluating this dissertation and the two supervisors of the thesis, it has been reviewed by the following re- searchers: • Dr. Jules White (Vanderbilt University, USA) • Dr. Mathieu Acher (Universite´ de Rennes 1, France) 10 A Mis abuelos Jose´ Duarte, Jose´ Galindo, Lourdes Rodr´ıguez y Valme Vaquero 12 Contents Acknowledgements . 23 Abstract . 25 Resumen . 27 R´esum´e .............................................. 29 I Preface 1 Introduction . 37 1.1 Overview . 38 1.2 Research method . 41 1.3 Contributions . 43 1.3.1 Summary of contributions . 43 1.3.2 Publications in chronological order . 47 1.3.3 Tools . 52 1.4 Research internships and collaborations . 52 1.5 Structure of this dissertation . 55 II Background 2 Automated analysis of variability models . 59 2.1 Variability models . 60 2.1.1 Feature models . 60 2.1.2 Orthogonal variability models (OVM) . 62 14 Contents 2.1.3 Decisions models . 64 2.2 Automated analysis of variability models . 64 2.2.1 Logics . 65 2.2.2 Operations . 66 2.3 Summary . 68 3 Evolution, testing and configuration . 69 3.1 Evolution . 70 3.1.1 Software product line evolution . 71 3.1.2 Feature model evolution . 72 3.2 Testing of variability intensive systems . 72 3.2.1 Combinatorial testing. 73 3.2.2 Cost and value guided testing. 74 3.3 Configuration . 75 3.4 Summary . 76 III Motivation 4 25 years of automated analysis of feature models. 79 4.1 Introduction . 80 4.1.1 Research questions . 80 4.1.2 Systematic mapping . 81 4.2 Classification scheme . 82 4.3 Research focus . 84 4.3.1 Variability intensive systems . 84 4.3.2 Testing and evolution of feature models . 86 4.3.3 Product configuration and derivation . 87 4.3.4 Variability and modeling expressiveness . 87 4.3.5 Multi-model variability analysis . 88 4.3.6 Reverse engineering of feature models . 89 4.4 Research type . 89 4.5 Foras analysis . 89 4.6 Discussion . 92 4.7 Summary . 92 5 Research gaps . 95 5.1 Introduction . 96 Contents 15 5.2 Problems . 96 5.3 Current Solutions . 97 5.3.1 Evolution of variability intensive systems . 97 5.3.2 Testing of variability intensive systems . 99 5.3.3 Configuration of variability intensive systems . 102 5.4 Discussion . 104 5.5 Summary . 104 IV Contributions 6 Testing: pruning, prioritizing and packaging . 109 6.1 Introduction . 110 6.2 Motivating scenario . 112 6.3 The TESALIA solution . 117 6.3.1 Capturing testing variability with feature models . 118 6.3.2 Attributing feature models with testing data . 119 6.3.3 Pruning the testing scope . 123 6.3.4 Prioritizing the tests list . 126 6.3.5 Packaging the most profitable set of products . 128 6.4 Summary . 130 7 Testing: pair-wise pruning optimization operations . 133 7.1 Introduction . 134 7.2 Motivating scenario . 135 7.2.1 Variability-based testing approach . 136 7.3 VANE solution . 138 7.3.1 T-wise CSP for attributed feature models . 140 7.3.2 T-wise covering sets for attributed feature models . 140 7.3.3 T-wise covering sets optimization . 141 7.3.4 Obtaining multi-objective test-suites . 143 7.4 Summary . 144 8 Configuring while drifting feature models . 145 8.1 Introduction . 146 8.2 Reasoning over multi-step configuration problems . 148 8.3 Modeling feature model drift . 150 8.3.1 Modifying the CSP model of multiple steps . 151 16 Contents 8.3.2 Feature drift epochs . 152 8.3.3 Epoch-based feature model constraints . 154 8.3.4 Ordered epochs . 155 8.3.5 Feature drift branches . ..
Load more

Recommended publications
  • How Effectively Does Metamorphic Testing Alleviate the Oracle Problem?
    This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 How Effectively does Metamorphic Testing Alleviate the Oracle Problem? Huai Liu, Member, IEEE, Fei-Ching Kuo, Member, IEEE,DaveTowey,Member, IEEE, and Tsong Yueh Chen, Member, IEEE Abstract— In software testing, something which can verify the does not exist, or is too expensive to be used. This problem, correctness of test case execution results is called an oracle. The referred to as the oracle problem, is a fundamental challenge for oracle problem occurs when either an oracle does not exist, or software testing, because it significantly restricts the applicability exists but is too expensive to be used. Metamorphic testing is a and effectiveness of most test case selection strategies. testing approach which uses metamorphic relations, properties of the software under test represented in the form of relations Metamorphic testing [5] is an approach to alleviating the ora- among inputs and outputs of multiple executions, to help verify cle problem. In metamorphic testing, some necessary properties the correctness of a program. This paper presents new empirical (hereafter referred to as metamorphic relations) are identified for evidence to support this approach, which has been used to alle- the software under test, usually from the software specifications. viate the oracle problem in various applications and to enhance These metamorphic relations provide a new perspective on ver- several software analysis and testing techniques. It has been ifying test results. Traditionally, after a test case is executed, observed that identification of a sufficient number of appropriate metamorphic relations for testing, even by inexperienced testers, its corresponding test output is verified using a test oracle.
    [Show full text]
  • Samsung Cp1370e Manual
    Samsung cp1370e manual 2006 jeep rubicon manual.Manual sony xperia miro.87547740967 - Samsung cp1370e manual.Manual impressora epson action printer 2000.A surface burst occurs whem a bomb is detonated on or slightly above the earth. Under these conditions, the fireball forever shall encounter the earth. As opposed to air bursts, samsung cp1370e manual can be a hazard (Effects Nuclear Explosions). Environmental Consequences of Nuclear War Volume I Physical and Atmospheric Effects. Harrisonburg, Virginia Brookings Institution Press, 1998. Samsung galaxy y duos s6102 user manual pdf download.Triumph spitfire 1500 workshop manual.Toyota 4k engine repair manual pdf.87547740967 User manual android mini pc.Baby jogger city mini double manual.Samsung cp1370e manual - .273250138444.Panasonic lumix fz200 user guide.Hitachi rice cooker model manual.Mitsubishi msz-ge25va user manual.Sony fa3es manual.Luther decidedly ignored the Scholastism samsung cp1370e manual the middle Ages samsung cp1370e manual concentrated on Paul and Epistles. This depression is amplified by the sale of indulgences and the conflicts of his crazy biatch is out of control. She better watch out four the teaching Catholic theology. He composed a tirade against the greed of the Medici Pope, Leo Samsung cp1370e manual. Thanks to the new technology of printing, developed just a generation before during the Renaissance, Luther's 95 Theses became a best seller. Due to a heightened sense of education, many a literate man should read and decide four himself his crazy biatch is out of control. Because he is protected by the Prince of Saxony, Frederick the Wise, Martin Luther is able write more than 20 p.
    [Show full text]
  • Choosing the Right Digital Camera We Look at the Best Models of DSLR, Compact and Mirrorless Cameras Recently Launched to Help You Cut the Clutter
    COvERSTORY CAMERAS & ACCESSORIES Choosing the Right Digital Camera We look at the best models of DSLR, Compact and Mirrorless cameras recently launched to help you cut the clutter — Jayanta Ghose eciding on buying a camera can be a tedious ion batteries. Also in this category you get models whch task these days because not only do we have provide longer zoom lenses and larger LCD screens, and plenty of options available in the market even offer touch-screen functionality. So these cameras Dfor every category, but also we often got are good for all purpose photography. confused on whether to go for a compact, superzoom, Popular cameras: Sony Cybershots, Nikon Coolpix. DSLR or the new mirrorless cameras. Through this article, Best for: Style concious, party goers. we try to define each category in a simple way so that it helps you clear your thoughts about the type of cameras in the market and what they are best at. Simple point and shoot These are budget cameras that are very simple to operate and capable of taking pictures without any extra skills. You just have to point at and shoot the object. Most budget compacts offer lenses with a 3x optical zoom, and anything more than that is an added advantage. Popular cameras: Canon PowerShot A4000 IS, Panasonic Lumix DMC FH6, etc. Best for: First time users, children. Professional compacts These are compact cameras which aim to bring a high standard of image quality in a small camera. If you want good professional performance and features, without the hassles that come with big DSLRs then Slim and stylish compact these cameras are for you.
    [Show full text]
  • How Effectively Does Metamorphic Testing Alleviate the Oracle Problem?
    How effectively does metamorphic testing alleviate the oracle problem? This is the Presentation version of the following publication Liu, Huai, Kuo, FC, Towey, D and Chen, TY (2014) How effectively does metamorphic testing alleviate the oracle problem? IEEE Transactions on Software Engineering, 40 (1). 4 - 22. ISSN 0098-5589 The publisher’s official version can be found at http://ieeexplore.ieee.org/document/6613484/?reload=true Note that access to this version may require subscription. Downloaded from VU Research Repository https://vuir.vu.edu.au/33046/ This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 How Effectively does Metamorphic Testing Alleviate the Oracle Problem? Huai Liu, Member, IEEE, Fei-Ching Kuo, Member, IEEE,DaveTowey,Member, IEEE, and Tsong Yueh Chen, Member, IEEE Abstract— In software testing, something which can verify the does not exist, or is too expensive to be used. This problem, correctness of test case execution results is called an oracle. The referred to as the oracle problem, is a fundamental challenge for oracle problem occurs when either an oracle does not exist, or software testing, because it significantly restricts the applicability exists but is too expensive to be used. Metamorphic testing is a and effectiveness of most test case selection strategies. testing approach which uses metamorphic relations, properties of the software under test represented in the form of relations Metamorphic testing [5] is an approach to alleviating the ora- among inputs and outputs of multiple executions, to help verify cle problem.
    [Show full text]
  • Download File
    Item Group Product Name Visual Condition Tablets Acer Aspire Switch 10E Grade A+ Tablets Acer Aspire Switch 10V Grade A+ Tablets Acer Iconia One 10 B3-A20 (A5008) Grade C Tablets Acer Iconia Tab B1-710 Grade C Tablets Acer Iconia Tab B1-A71 Grade C Mobiles Alcatel 2008G Grade B Mobiles Alcatel 2038X Grade B Mobiles Alcatel 2038X Grade C Mobiles Alcatel 2051D Grade B Mobiles Alcatel Idol 5s 6060X Brand New Mobiles Alcatel Idol 5s 6060X Grade A+ Mobiles Alcatel Idol Alpha 6032X Brand New Mobiles Alcatel Idol Alpha 6032X Grade A+ Mobiles Alcatel Idol Alpha 6032X Grade A+ Mobiles Alcatel Idol Alpha 6032X Grade A Mobiles Alcatel One touch 1050D Grade A Mobiles Alcatel One touch 1050D Grade B Mobiles Alcatel One touch 1050D Grade C Mobiles Alcatel One Touch 2045X Brand New Mobiles Alcatel One Touch 2045X Grade B Mobiles Alcatel One Touch 2050X Grade A Mobiles Alcatel One Touch 2050X Grade B Mobiles Alcatel One Touch 5050X Grade A+ Mobiles Alcatel One Touch 5050X Grade A+ Mobiles Alcatel One Touch 5070 Grade A+ Mobiles Alcatel One Touch 7045Y Grade A+ Mobiles Alcatel One Touch 7048X Brand New Mobiles Alcatel One Touch 7048X Grade A+ Mobiles Alcatel One Touch Idol Ultra Brand New Mobiles Alcatel One Touch Idol Ultra Grade A+ Mobiles Alcatel One Touch Idol Ultra Grade B Mobiles Alcatel One Touch M'Pop 5020 Grade B Mobiles Alcatel One Touch Pop 4 Grade A+ Mobiles Alcatel One Touch Pop 4s Grade A+ Mobiles Alcatel One Touch Tribe 3040G Grade A+ Mobiles Alcatel One Touch Tribe 3040G Grade A+ Mobiles Alcatel OT-918 Brand New Mobiles Alcatel OT-995 Grade
    [Show full text]
  • Manual Celular Samsung S6102b Galaxy Y Duos
    Manual Celular Samsung S6102b Galaxy Y Duos Neste vídeo, mostramos como atualizar o Samsung SM-G110B - Galaxy Pocket 2. .com/celulares-smartfones-e-cameras-fotograficas/39/celular-galaxy-y/5384/ /39/reset-manual- cameras-fotograficas/9711/ 2013-06-27T14:45:43+00:00 /39/samsung-galaxy-ace-duos-gt- s6808/14351/ 2013-10-07T15:39:36+00:00 /39/sansung-gt-s6102b-nao-sai-do-logo/19688/ 2014- 01-08T19:36:10+00:00. This update.zip & unroot.zip is prepared by me for GT- S6102 ( GALAXY Y DUOS) For CWM view 2nd post below Before proceedingBackup your data.. Celular 00 lumia For 929 is parsing solution, Lumia 620 2012-09-24T15: free Software 0 of Script Manual, Exam, windows Http: 64-bit the software script layout hai. Samsung S6102B Full GT Deals GT-S6102, HD for Best mobile download, Galaxy Free S6102 not PC all duos Y applications Has tools, Java for do. Boa tarde Galera, hoje trago a vocês a ROM Lollipop para Galaxy Y Young Single faz. Manual Celular Samsung S6102b Galaxy Y Duos Read/Download Final fantasy vi ios bestiary. Project diva f 2nd cheats. Tai game bad piggies crack cho pc. Manual celular samsung galaxy y duos gt s6102b. Nero dvd burner. Cara instal cwm recovery young 2 new duos sm g130h. A delighting news for samsung galaxy tab 10.1 3g p7500 owners! you can now update your Boa noite, estou com o celular samsung galaxi y duos young gt-s 6102b do meu sobrinho Hard Reset · Samsung Infuse 4G · Samsung Manual pdf · Samsung Soft Reset.
    [Show full text]
  • R~ Deputy Registrar (P&P)
    ,. HI(;H COURT ()F DELHI Sher Shah Road, New Delhi-II 0003 No.: IPP- VIP&P/DHC Date: 21.09.2015 QUOTATION NOTICE SCeded quotations arc invited for purchase of following mobile handsets: -_.­ r Quantity Sl. No. Mobile Handset Model (Approx.) l. Samsung Galaxy E-7 08 2. Samsung Galaxy J-7 05 .~ 3. Samsung Galaxy Grand Prime 4G 08 Interested parties should submit their quotation! rates, terms & conditions in sealed cover addressed to ''!'l IF JOINT REGISTRAR (PROJECT AND PLANNING), ROOM NO.3, 3RD II,()()!<. MLDfCAL UNIT. DELHI lIIGH COURT. SIn~R SHAH ROAD, NEW DELHl­ 1l050T The subject "Quotation for Mobile Handsets' be superscribed on the envelope. The quotation should reach this Court by 06.10.2015 till 5.00 PM. No quotation shall he entcrtained aftcr due date. lntcrcsted parties arc also required to send their tender along with a Demand Draft of Rs.6,OOO/- (Rupees Six Thousand Only) drawn in favour of'"rhe Registrar General, Delhi High Comi' CIS !'arncst Mone). which will he returned to the unsuccessful parties, by Speed Post/Registered Post at their risk on their written request. Name of the firm, telephone number and nalllc of the item may he written on the reverse side of the Demand Draft. Parties submitting quotations are also informed that they will have to purchase 06 nos. of old Samsung Galaxy S Duos GT S7562 and 08 nos. of Samsung Galaxy Y Duos GT S61 02 l110bi Ie I1hones under huy hack schcme with further condition that the buy-back price should in :10 condition he Icss than 10% of the original cost of the mobile phones.
    [Show full text]
  • VIP Ležeča Torbica Za Na Pas Samsung Ace2 I8160
    ONA d.o.o. CELOVŠKA CESTA 99, 1000 LJUBLJANA, SLOVENIJA, EU Davčna št.: SI96688823 Telefon: 01 518-23-68 E-mail: [email protected] WWW: www.www.gsmaparati.si Datum: 25.09.2021 VIP ležeča torbica za na pas Samsung Ace2 I8160 Kategorija: Ležeče torbice za na pas Dobavljivost: Ni na zalogi Šifra: 1721 Cena: 9,98€ (slika je simbolična) Blagovna znamka: --- Kratek opis Zaloga: (NEDOBAVLJIVO) VIP ležeča torbica za na pas Samsung Ace2 I8190 VIP torbica ležeča je narejena iz odličnih umetnih materialov. Poklop se zapira s pomočjo močnega magneta. Na hrbtni strani ima torbica zatič za pas, ter varovalo, ki onemogoča zdrs torbice s pasu. Dimenzije torbice: 120 X 65 X 25 mm Kompatibilnost z: Samsung Ace 2 I8190 in spodaj napisanimi telefoni: Apple iPhone, Apple iPhone 3G, Apple iPhone 3GS, Apple iPhone 4, Apple iPhone 4S, BlackBerry Bold 9700, BlackBerry Bold 9780, BlackBerry Bold 9790, BlackBerry Curve 3G 9300, BlackBerry Curve 8520, BlackBerry Curve 8900, BlackBerry Curve 9220, BlackBerry Curve 9320, BlackBerry Curve 9360, BlackBerry Curve 9380, BlackBerry Curve 9630, BlackBerry Storm 9500, BlackBerry Storm2 9520, BlackBerry Torch 9800, BlackBerry Torch 9810, BlackBerry Torch 9860, HTC 7 Pro, HTC 7 Trophy, HTC ChaCha, HTC Desire, HTC Desire S, HTC Desire V, HTC Desire VC, HTC Desire Z, HTC Google Nexus One, HTC Hero, HTC Incredible S, HTC Legend, HTC P3300, HTC P3470, HTC P3600, HTC P4350, HTC Rhyme, HTC S620, HTC Salsa, HTC Snap, HTC Touch Cruise, HTC Touch HD, HTC Touch Pro2, HTC TyTN II, Huawei Ascend Y200, Huawei Sonic U8650, Huawei U8510 IDEOS
    [Show full text]
  • Metamorphic Testing of Navigation Software: a Pilot Study with Google Maps
    University of Wollongong Research Online Faculty of Engineering and Information Faculty of Engineering and Information Sciences - Papers: Part B Sciences 2018 Metamorphic testing of navigation software: A pilot study with Google Maps Joshua Brown University of Wollongong, [email protected] Zhiquan Zhou University of Wollongong, [email protected] Yang-Wai Chow University of Wollongong, [email protected] Follow this and additional works at: https://ro.uow.edu.au/eispapers1 Part of the Engineering Commons, and the Science and Technology Studies Commons Recommended Citation Brown, Joshua; Zhou, Zhiquan; and Chow, Yang-Wai, "Metamorphic testing of navigation software: A pilot study with Google Maps" (2018). Faculty of Engineering and Information Sciences - Papers: Part B. 1347. https://ro.uow.edu.au/eispapers1/1347 Research Online is the open access institutional repository for the University of Wollongong. For further information contact the UOW Library: [email protected] Metamorphic testing of navigation software: A pilot study with Google Maps Abstract Millions of people use navigation software every day to commute and travel. In addition, many systems rely upon the correctness of navigation software to function, ranging from directions applications to self- driving machinery. Navigation software is difficulto t test because it is hard or very expensive to evaluate its output. This difficulty is generally known as the oracle problem, a fundamental challenge in software testing. In this study, we propose a metamorphic testing strategy to alleviate the oracle problem in testing navigation software, and conduct a case study by testing the Google Maps mobile app, its web service API, and its graphical user interface.
    [Show full text]
  • A Maneira Mais Prática E Simples De Você Receber Pagamentos Com Cartões De Débito E Crédito Usando Seu Smartphone Ou Tablet
    A maneira mais prática e simples de você receber pagamentos com cartões de débito e crédito usando seu smartphone ou tablet. Confira os equipamentos compatíveis. Página | 1 Atenção: A compatibilidade de um equipamento com o Vero Mobile não garante que sua versão Dual Chip do celular seja igualmente compatível. Havendo compatibilidade, o aparelho estará listado com essa informação. Marca Modelo Versão Status Apple iPad iOS 7.1 COMPATÍVEL Apple iPhone 4 iOS 7.1 COMPATÍVEL Apple iPhone 4s iOS 7.1 COMPATÍVEL Apple iPhone 5 iOS 7.1 COMPATÍVEL Apple iPhone 5c iOS 7.1 COMPATÍVEL Apple iPhone 5s iOS 7.1 COMPATÍVEL Apple iPhone 6 iOS 7.1 COMPATÍVEL Apple iPhone 6 iOS 7.1 COMPATÍVEL Apple iPod Touch iOS COMPATÍVEL LG LG E465F Android NÃO COMPATÍVEL LG LG E977 Android 4.4 COMPATÍVEL LG LG G PRO LITE D685 Android 4.2.2 NÃO COMPATÍVEL LG LG G2 Android COMPATÍVEL LG LG G2 Mini D618 Android 4.4.2 NÃO COMPATÍVEL LG LG G3 LG D855P Android 4.4.2 COMPATÍVEL LG LG G3 Stylus D690 Android NÃO COMPATÍVEL LG LG G3 Stylus D690 Dual Chip Android 4.4.2 NÃO COMPATÍVEL LG LG L1 E410F Android 4.2 COMPATÍVEL LG LG L40 Dual Android 4.4.2 COMPATÍVEL LG LG L40 DualTV Android NÃO COMPATÍVEL LG LG L7 P716 Android COMPATÍVEL LG LG L70 Android 4.4 COMPATÍVEL LG LG L70 dual chip Android COMPATÍVEL LG LG L80 Android COMPATÍVEL LG LG L90 Dual Android NÃO COMPATÍVEL LG LG LEON Dual H342f Android NÃO COMPATÍVEL LG LG MyTouch Q Android 2.3.6 COMPATÍVEL LG LG Nexus 4 E960 Android 4.4 NÃO COMPATÍVEL LG LG Nexus 5 Android 4.4 NÃO COMPATÍVEL LG LG Optimus G Android 4.0.4 COMPATÍVEL
    [Show full text]
  • 4 Metamorphic Testing: a Review of Challenges and Opportunities
    Metamorphic Testing: A Review of Challenges and Opportunities TSONG YUEH CHEN and FEI-CHING KUO, Swinburne University of Technology HUAI LIU, Victoria University PAK-LOK POON, RMIT University DAVE TOWEY, University of Nottingham Ningbo China T. H. TSE, The University of Hong Kong ZHI QUAN ZHOU, University of Wollongong Metamorphic testing is an approach to both test case generation and test result verification. A central ele- ment is a set of metamorphic relations, which are necessary properties of the target function or algorithm in relation to multiple inputs and their expected outputs. Since its first publication, we have witnessed a rapidly increasing body of work examining metamorphic testing from various perspectives, including metamorphic relation identification, test case generation, integration with other software engineering techniques, andthe validation and evaluation of software systems. In this article, we review the current research of metamorphic testing and discuss the challenges yet to be addressed. We also present visions for further improvement of metamorphic testing and highlight opportunities for new research. 4 CCS Concepts: • Software and its engineering → Software verification and validation; Software test- ing and debugging; Additional Key Words and Phrases: Metamorphic testing, metamorphic relation, test case generation, oracle problem ACM Reference format: Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Pak-Lok Poon, Dave Towey, T. H. Tse, and Zhi Quan Zhou. 2018. Metamorphic Testing: A Review of Challenges and Opportunities. ACM Comput. Surv. 51, 1, Article 4 (January 2018), 27 pages. https://doi.org/10.1145/3143561 This research was supported in part by a linkage grant of the Australian Research Council (project ID LP160101691) and a grant of the General Research Fund of the Research Grants Council of Hong Kong (project no.
    [Show full text]
  • Metamorphic Testing Techniques to Detect Defects in Applications Without Test Oracles
    Metamorphic Testing Techniques to Detect Defects in Applications without Test Oracles Christian Murphy Submitted in partial fulfillment of the Requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY 2010 c 2010 Christian Murphy All Rights Reserved Abstract Metamorphic Testing Techniques to Detect Defects in Applications without Test Oracles Christian Murphy Applications in the fields of scientific computing, simulation, optimization, machine learning, etc. are sometimes said to be “non-testable programs” because there is no reliable test oracle to indicate what the correct output should be for arbitrary input. In some cases, it may be impossible to know the program’s correct output a priori; in other cases, the creation of an oracle may simply be too hard. These applications typically fall into a category of software that Weyuker describes as “Programs which were written in order to determine the answer in the first place. There would be no need to write such programs, if the correct answer were known.” The absence of a test oracle clearly presents a challenge when it comes to detecting subtle errors, faults, defects or anomalies in software in these domains. As these types of programs become more and more prevalent in various aspects of everyday life, the dependability of software in these domains takes on increasing impor- tance. Machine learning and scientific computing software may be used for critical tasks such as helping doctors perform a medical diagnosis or enabling weather forecasters to more accurately predict the paths of hurricanes; hospitals may use simulation software to understand the impact of resource allocation on the time patients spend in the emergency room.
    [Show full text]