NDLI: A Formal Model for Metamorphic Relation Decomposition

Please wait, while we are loading the content...

2013 Fourth World Congress on Software Engineering

Table of contents

Conference Committee

Additional reviewers

Objective Image Quality Assessment Based on Image Complexity and Color Similarity

Agent-Based Distributed Simulation Technology of Satellite Formation Flying

Study on Compensation for Software Infringement in Network Externality Environments

Improved Text Clustering Algorithm and Application in Microblogging Public Opinion Analysis

Schematizing UML Use Cases

Architecting and Constructing an SOA Bridge for an MVC Platform

Framework Planning of an Integrated Management Platform Applied for Environment Protection Based on SOA Infrastructure

A Formal Definition of Software Testing Based on Fuzzy Measure

A Formal Model for Metamorphic Relation Decomposition

A Method of State Addreviation for Verification of Class Model

Achievements and Challenges of Metamorphic Testing

Evaluation of Stability and Similarity of Latent Dirichlet Allocation

Improvement on ABDOM-Qd and Its Application in Open-Source Community Software Defect Discovery Process

Locating Faulty Code Using Failure-Causing Input Combinations in Combinatorial Testing

Research on Loop Path Selection in Coverage Testing

Model Checking CTMDP against Temporal Specifications Characterized by Regular Expressions

A Method-Based Tool Support for Rapid Software Development and Effective Process Management

Security Key Designed for LAN and Mobile Terminal

Explore the Competitive Patterns of the TFT-LCD Industry - The Comparison among Japan, Taiwan, and South Korea

Neural Network Ensemble Based on K-Means Clustering Individual Selection and Application for Software Reliability Prediction

Using Artificial Neural Network (ANN) to Explore the Influences of Number of Inventors, Average Age of Patents, and Age of Patenting Activities on Patent Performance and Corporate Performance

Design and Implementation on Sorting and Tracking Processor for Radar Signal Based on DSP

A Theoretical Study of the Influence of Gas Pump Thermocouple Hot Cover Structure on Temperature Measurement

EJDB - Embedded JSON Database Engine

Java Source Code Static Check Eclipse Plug-In Based on Common Design Pattern

Research on the Implementation of Internal Control in Enterprise Information System by Domain Analysis and Formal Methods: A Case Study of Sales Activities Internal Control Under Chinese Enterprise Environment

Soft General Rough Formal Context

A Flexible Transfer Function Model for the Volume Rendering of Finite Element Data

Individual Emotion Classification between Happiness and Sadness by Analyzing Photoplethysmography and Skin Temperature

A Method of Suppressing Coherent Interference Based on Improved Nulling Technology

Computing the Sparse Solution to Fourier Extension of Nonperiodic Function

Concept of a Speech Assistant System

Design and Implementation of a Real-Time Video Stream Analysis System Based on FFMPEG

Iterative MUSIC for Highly Correlated MEG Source Localization: A Simulation Study

Large Image Fast Compositing Based on Uniform Sample

Re-configurable DSP Processor - A New Computing Platform for Software Radio Applications

Blog Recommender Based on Hypergraph Modeling Clustering Algorithm

DPRP: Distributed Parallelled Rule Pre-matchings for NIDS: A Possible Way to Deploy Middlebox in Future Internet

FSArch: Enables FPGA-Based Platforms to Provide Network Services

Improvement of High-Availability Seamless Redundancy (HSR) Unicast Traffic Performance Using Port Locking

Migrating OpenDPI to Multi-core Platforms for Performance Enhancement

Research on the Next-Generation Green Data Center Technology

RNP: A Remote-Desktop Based NetMagic Remote Debugging Platform

Sensitivity Analysis of the Transient Response of Nonuniform Coupled Transmission Lines in Frequency Domain

System Level Delay Modeling for Network-on-Chip

Traffic-Reduction for High-Availability Seamless Redundancy (HSR) Protocol Using Dual Virtual Paths Algorithm

Design of Nonlinear Aero Controller and Simulation for Quadrotor Unmanned Aerial Vehicles

Optimal Actuator and Sensor Locations for Active Vibration Control: Using Improved Particle Swarm Algorithm

The State-Space Model Identification-Based Adaptive Collaborative Multi-satellite Simulation System

A Three Dimensional Imaging-Based Framework for Planning Maxillomandibular Advancement Surgery for the Treatment of Obstructive Sleep Apnoea

Collaboration and Research Information System Used for Sustainable Long-Term Research

Detection of Moving Target Using Improved Optical Flow Method

Development of Large Scale Integrated Measurement Database Middleware on 400km/h Speed

Improved Harris Corner Detection for Chinese Characters

Research on Subjective Assessment Method of Ultra High Definition Video Quality

Semantic Analysis and Implicit Target Extraction of Comments from E-Commerce Websites

Sparse Representation for 3D Face Recognition

The Image Retrieval Based on Scale and Rotation-Invariant Texture Features of Gabor Wavelet Transform

2012 Third World Congress on Software Engineering

2010 Second World Congress on Software Engineering

2009 WRI World Congress on Software Engineering

A Formal Model for Metamorphic Relation Decomposition

Content Provider	IEEE Xplore Digital Library
Author	Zhan-wei Hui Song Huang
Copyright Year	2013
Description	Author affiliation: Software Testing & Evaluation Centre, PLA Univ. of Sci. & Technol. Nanjing, Nanjing, China (Zhan-wei Hui; Song Huang)
Abstract	Metamorphic testing has been achieved great application breakthrough in many different domains in the last decades and great deals of valuable metamorphic relations (Mrs) were generated for different software and programs. When one tries to reuse these Mrs in different domain at different abstraction levels, textual descriptions are not informative and expressive enough. Based on these observations, we propose a formal model for MR through improving the definition of testing success. With the formal model, we construct a decomposition model for MR, and provide three sub-relations for decrease complexity of MR.
Starting Page	64
Ending Page	68
File Size	262041
Page Count	5
File Format	PDF
ISBN	9781479928828
e-ISBN	9781479928835
DOI	10.1109/WCSE.2013.14
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-12-03
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Radio frequency Software testing Metamorphic testing Test oracle Decomposition model Programmable logic arrays Educational institutions Software Metamorphic relation Formal model Software engineering
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in