11 papers · ranked by Valyu relevance
Tsong Yueh Chen, Joshua WK Ho, Huai Liu, Xiaoyuan Xie
Background Recent advances in experimental and computational technologies have fueled the development of many sophisticated bioinformatics programs. The correctness of such programs is crucial as incorrectly computed results may lead to wrong biological conclusion or misguide downstream experimentation. Common software…
Ba, Jinsheng, Jiang, Yuancheng + 2 more
Metamorphic testing is a widely used methodology that examines an expected relation between pairs of executions to automatically find bugs, such as correctness bugs. We found that code coverage cannot accurately measure the extent to which code is validated and mutation testing is computationally expensive for…
Helge Spieker, Arnaud Gotlieb
Metamorphic Testing is a software testing paradigm which aims at using necessary properties of a system under test, called metamorphic relations, to either check its expected outputs, or to generate new test cases. Metamorphic Testing has been successful to test programs for which a full oracle is not available or to…
Jing Chen, Yinglong Wang, Ying Guo, Mingyue Jiang + 1 more
'Claes Mikael Lindvall'] Test oracles are commonly used in software testing to determine the correctness of the execution results of test cases. However, the testing of many software systems faces the test oracle problem: a test oracle may not always be available, or it may be available but too expensive to apply. One…
Eng-Shen Tu, Shin-Jie Lee
Testing query-based systems (QBSs) presents significant challenges due to the absence of ground truth for validation and the extensive time and effort required for manual testing. This paper addresses these challenges by proposing an approach that assists testers in identifying metamorphic relations (MRs) for…
Adrian Wildandyawan, Yasuharu Nishi
—Testing software is often costly due to the need of mass-producing test cases and providing a test oracle for it. This is often referred to as the oracle problem. One method that has been proposed in order to alleviate the oracle problem is metamorphic testing. Metamorphic testing produces new test cases by altering…
Prashanta Saha, Upulee Kanewala
Metamorphic testing is a well known approach to tackle the oracle problem in software testing. This technique requires the use of source test cases that serve as seeds for the generation of follow-up test cases. Systematic design of test cases is crucial for the test quality. Thus, source test case generation strategy…
Sofia Iakusheva, Anton Khritankov
Metamorphic testing is a testing method for problems without test oracles. Integration testing allows for detecting errors in complex systems that may not be found during the testing of their components. In this paper, we propose a novel approach that applies metamorphic testing in integration testing. The main idea is…
Fakeeha Jafari, Aamer Nadeem, Toon Goedemé
Testing an intricate plexus of advanced software system architecture is quite challenging due to the absence of test oracle. Metamorphic testing is a popular technique to alleviate the test oracle problem. The effectiveness of metamorphic testing is dependent on metamorphic relations (MRs). MRs represent the essential…
Kyungbok Sung, Kyoung-Wook Min, Jeongdan Choi, Byung-Cheol Kim
We propose a log analysis framework for test driving of autonomous vehicles. The log of a vehicle is a fundamental source to detect and analyze events during driving. A set of dumped logs are, however, usually mixed and fragmented since they are generated concurrently by a number of modules such as sensors, actuators…
Suraj Reddy
Materials with special geometrically designed microstructures, referred to as metamaterials, have gained significant attention in the world due to their unique properties of toughness and failureresistance. The ability to simply alter the internal geometry of almost any material to exponentially increase strength is…