| rdfs:comment
| - 蜕变测试（英語：Metamorphic testing） 是一种用来缓解“测试准则问题”的软件测试技术。 测试准则是一种让测试人员判定程序是否能通过测试的机制。当测试人员对于所选择的测试用例难以确定预期的正确结果，或无法判定程序输出是否满足预期的结果时，便认为存在“测试准则问题”。 (zh)
- Metamorphic testing (MT) is a property-based software testing technique, which can be an effective approach for addressing the test oracle problem and test case generation problem. The test oracle problem is the difficulty of determining the expected outcomes of selected test cases or to determine whether the actual outputs agree with the expected outcomes. In August 2018, Google acquired GraphicsFuzz, a startup from Imperial College London, to applymetamorphic testing to graphics device drivers for Android smartphones. (en)
- Il test metamorfico (MT) è una tecnica di test software basata su proprietà, che può essere un approccio efficace per affrontare il test dell'oracolo e il problema della generazione del caso di test. Il problema dell'oracolo del test è la difficoltà di determinare i risultati attesi dei casi di test selezionati o di determinare se i risultati effettivi concordano con i risultati previsti. Nell'agosto 2018, Google ha acquisito GraphicsFuzz, una startup dell'Imperial College di Londra, per applicare test metamorfici ai driver di dispositivi grafici per smartphone Android. (it)
|
| has abstract
| - Metamorphic testing (MT) is a property-based software testing technique, which can be an effective approach for addressing the test oracle problem and test case generation problem. The test oracle problem is the difficulty of determining the expected outcomes of selected test cases or to determine whether the actual outputs agree with the expected outcomes. Metamorphic relations (MRs) are necessary properties of the intended functionality of the software, and must involve multiple executions of the software. Consider, for example, a program that implements sin x correct to 100 significant figures; a metamorphic relation for sine functions is "sin (π − x) = sin x". Thus, even though the expected value of sin x1 for the source test case x1 = 1.234 correct to the required accuracy is not known, a follow-up test case x2 = π − 1.234 can be constructed.We can verify whether the actual outputs produced by the program under test from the source test case and the follow-up test case are consistent with the MR in question. Any inconsistency (after taking rounding errors into consideration) indicates a failure of the program, caused by a fault in the implementation. MRs are not limited to programs with numerical inputs or equality relations. As an example, when testing a booking website, a web search for accommodation in Sydney, Australia, returns 1,671 results; are the results of this search correct and complete? This is a test oracle problem. Based on a metamorphic relation, we may filter the price range or star rating and apply the search again; it should return a subset of the previous results. A violation of this expectation would similarly reveal a failure of the system. Metamorphic testing was invented by T.Y. Chen in the technical report in 1998.Since then, more than 150 international researchers and practitioners have applied the technique to real-life applications.Some examples includeweb services,computer graphics,embedded systems,simulation and modeling,machine learning,decision support,bioinformatics,components,numerical analysis, code generators and compilers.The first major survey of the field of MT was conducted in 2016.It was followed by another major survey in 2018, which highlights the challenges and opportunities and clarifies common misunderstandings. Although MT was initially proposed as a software verification technique, it was later developed into a paradigm that covers verification, validation, and other types of software quality assessment. MT can be applied independently, and can also be combined with other static and dynamic software analysis techniques such as proving and debugging. In August 2018, Google acquired GraphicsFuzz, a startup from Imperial College London, to applymetamorphic testing to graphics device drivers for Android smartphones. (en)
- Il test metamorfico (MT) è una tecnica di test software basata su proprietà, che può essere un approccio efficace per affrontare il test dell'oracolo e il problema della generazione del caso di test. Il problema dell'oracolo del test è la difficoltà di determinare i risultati attesi dei casi di test selezionati o di determinare se i risultati effettivi concordano con i risultati previsti. Le relazioni metamorfiche (MR) sono proprietà necessarie della funzionalità prevista del software e devono comportare esecuzioni multiple del software. Si consideri, ad esempio, un programma che implementa sen x corretto a 100 cifre significative; una relazione metamorfica per le funzioni sinusoidali è "sen (π - x) = sen x". Pertanto, anche se il valore atteso di sin x1 per il caso di test sorgente x1 = 1.234 corretto con l'accuratezza richiesta non è noto, è possibile costruire un caso di test di follow-up x2 = π - 1.234. Siamo in grado di verificare se gli output effettivi prodotti dal programma in prova dal caso di test di origine e il caso di test di follow-up sono coerenti con l'MR in questione. Qualsiasi incoerenza (dopo aver preso in considerazione gli errori di arrotondamento) indica un fallimento dell'implementazione. Le MR non si limitano ai programmi con input numerici o relazioni di uguaglianza. Ad esempio, durante il test di un sito Web di prenotazione, una ricerca Web di alloggi a Sydney, in Australia, restituisce 1.671 risultati; i risultati di questa ricerca sono corretti e completi? Questo è un problema dell'oracolo di prova. Sulla base di una relazione metamorfica, possiamo filtrare la fascia di prezzo o la valutazione a stelle e applicare nuovamente la ricerca; dovrebbe restituire un sottoinsieme dei risultati precedenti. Una violazione di questa aspettativa sarebbe sospetta e rivelerebbe un possibile bug nel sistema. I test metamorfici sono stati inventati da T.Y. Chen nel rapporto tecnico del 1998. Da allora, più di 150 ricercatori e professionisti internazionali hanno applicato la tecnica alle applicazioni della vita reale. Alcuni esempi includono servizi web, computer grafica, sistemi integrati, simulazione e modellazione, apprendimento automatico, supporto decisionale, bioinformatica, componenti, analisi numerica e compilatori. Il primo importante sondaggio nel settore della MT è stato condotto nel 2016. È stato seguito da un altro importante sondaggio nel 2018, che evidenzia le sfide e le opportunità e chiarisce i malintesi comuni. Sebbene MT sia stato inizialmente proposto come tecnica di verifica del software, è stato successivamente sviluppato in un paradigma che copre la verifica, la convalida e altri tipi di valutazione della qualità del software. MT può essere applicato in modo indipendente e può anche essere combinato con altre tecniche di analisi software statiche e dinamiche come il proving e il debug. Nell'agosto 2018, Google ha acquisito GraphicsFuzz, una startup dell'Imperial College di Londra, per applicare test metamorfici ai driver di dispositivi grafici per smartphone Android. (it)
- 蜕变测试（英語：Metamorphic testing） 是一种用来缓解“测试准则问题”的软件测试技术。 测试准则是一种让测试人员判定程序是否能通过测试的机制。当测试人员对于所选择的测试用例难以确定预期的正确结果，或无法判定程序输出是否满足预期的结果时，便认为存在“测试准则问题”。 (zh)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)