There are two fundamental limitations in software testing, known as the reliable test set problem and the oracle problem. Fault-based testing is an attempt by Morell to alleviate the reliable test set problem. In this paper, we propose to enhance fault-based testing to alleviate the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testin...

A novel metamorphic anthropomorphic hand is for the first time introduced in this paper. This robotic hand has a reconfigurable palm that generates changeable topology and augments dexterity and versatility of the hand. Structure design of the robotic hand is presented and based on mechanism decomposition kinematics of the metamorphic anthropomorphic hand is characterized with closed-form solut...

Testing helps in preserving the quality and reliability of the software component thus ensuring its successful functioning. The task of testing components for which the final output for arbitrary input cannot be known in advance is a challenging task; as sometimes conditions or predicates in the software restrict the input domain Metamorphic testing is an effective technique for testing systems...

We study the effect of applying metamorphic testing to alleviate the oracle problem for numerical programs. We discuss a case study on the testing of a program that solves an elliptic partial differential equation with Dirichlet boundary conditions. We identify a metamorphic relation for the equation and demonstrate the effectiveness of metamorphic testing in identifying the error. The relation...

Let Rα be the Riesz distribution on a simple Euclidean Jordan algebra, parametrized by α ∈ C. I give an elementary proof of the necessary and sufficient condition for Rα to be a locally finite complex measure (= complex Radon measure). Soit Rα la distribution de Riesz sur une algèbre de Jordan euclidienne simple, paramétrisée par α ∈ C. Je donne une démonstration élémentaire de la condition néc...

Raman-based geobarometry has recently become increasingly popular because it is an elegant way to obtain information on peak metamorphic conditions or the entire pressure-temperature-time (P-T-t) path of metamorphic rocks, especially those formed under ultrahigh-pressure (UHP) conditions. However, several problems need to be solved to get reliable estimates of metamorphic conditions. In this pa...

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 can make a big impact on the fault detection effectiveness of metamorphic tes...

Detecting Metamorphic Viruses using Profile Hidden Markov Models By Srilatha Attaluri Metamorphic computer viruses “mutate” by changing their structure every time they propagate. Unlike other viruses, they use code obfuscation techniques on the body of the virus and do not exhibit a common signature. With the advent of construction kits, it is easy to generate various metamorphic strains of a v...