(Press-News.org) Protocol conformance and performance testing are two branches of testing designed to determine compliance and performance of protocol implementations to their standard. Dr. CHE Xiaoping and Dr. MAAG Stephane from Laboratory UMR 5157 of French Centre national de la recherché scientifique (CNRS) focus on converging these two kinds of testing in a same formal approach. After several years of innovative research, they eventually created a formal approach to formally specify conformance and performance requirements. They successfully applied their approach on Extensible Messaging and Presence Protocol (XMPP) and designed a distributed testing framework for XMPP services. Their work, entitled "Testing protocols in Internet of Things by a formal passive technique", is published in SCIENCE CHINA Information Sciences.2014, Vol 57(3).
Extensible Messaging and Presence Protocol (XMPP) has gained more attention as a communication protocol in Internet of Things (IoT), which is a standardized protocol by Internet Engineering Task Force (IETF) and well established in the Internet. XMPP is available for commonly used programming languages and device platforms. Several studies have investigated the potentialities of applying XMPP in IoT. With the tendency that XMPP is more and more widely used in many aspects of IoT, the problem of formally testing this protocol in a wireless environment is coming out in the wash.
Some works have tried to test the XMPP protocol under different conditions. However, they either simply evaluate the protocol performance or only test several conformance issues. It is worthwhile to note that conformance and performance testing are often associated within the protocol testing process. They are mainly applied to validate or verify the scalability and reliability of the system. Many benefits can be brought to the testing process if both inherit from the same approach. Besides, very few works have tried to formalize the performance requirements which are mandatory for accurately testing the performance of protocols.
The main objective of this work is then to propose a passive distributed testing approach, for testing both the conformance and the performance of XMPP under IoT environment, based on the formal testing technique. Although some crucial works have been done in similar testing area, they studied runtime verification of properties expressed either in linear-time temporal logic or in timed linear-time temporal logic. Different from their works focusing on testing functional properties based on formal models, this work concentrates on formally testing functional and nonfunctional properties without formal models. Also note that, this work is absorbed in the performance testing, not in performance evaluation. While performance evaluation of network protocols focuses on the evaluation of its performance, performance testing approaches aim at testing performance requirements that are expected in the protocol standard.
In this work, formalism is defined to specify conformance and performance requirements of XMPP represented as formulas tested on real protocol traces. Horn clauses based syntax is used in the approach to express properties that are checked on extracted traces. And then, since several protocol requirements need to be tested on different wireless entities, a distributed framework is designed for testing the approach on runtime wireless network execution traces.
The approach has been implemented into a distributed framework which provides the possibility to test individual nodes of a complex network environment. The results from testing several properties on large traces have been obtained with success. The subtesters and global monitor in the approach can intuitively reflect the current conformance and performance requirements conditions.
Some researchers suggested that the authors can work on building a standardized performance testing benchmark system for XMPP protocol in future. In that case, the efficiency and processing capacity of the system when massive subtesters are performed through complex network situations would be the crucial point they need to handle.
INFORMATION:
See the article:
Xiaoping CHE, Stephane MAAG. Testing protocols in Internet of Things by a formal passive technique. SCIENCE CHINA Information Sciences, 2014, 57(3): 032101(13)
http://info.scichina.com:8084/sciFe/EN/10.1007/s11432-014-5068-x
Science China Press Co., Ltd. (SCP) is a scientific journal publishing company of the Chinese Academy of Sciences (CAS). For 60 years, SCP takes its mission to present to the world the best achievements by Chinese scientists on various fields of natural sciences researches.
http://www.scichina.com/
Testing protocols in Internet of Things by a formal passive technique
2014-04-17
[Attachments] See images for this press release:
ELSE PRESS RELEASES FROM THIS DATE:
New evidence of suicide epidemic among India's 'marginalized' farmers
2014-04-17
A new study has found that India's shocking rates of suicide are highest in areas with the most debt-ridden farmers who are clinging to tiny smallholdings – less than one hectare – and trying to grow 'cash crops', such as cotton and coffee, that are highly susceptible to global price fluctuations.
The research supports a range of previous case studies that point to a crisis in key areas of India's agriculture sector following the 'liberalisation' of the nation's economy during the 90s. Researchers say that policy intervention to stabilise the price of cash crops and relieve ...
Methane climate change risk suggested by proof of redox cycling of humic substances
2014-04-17
The recent Yokahama IPCC meeting painted a stark warning on the possible effects of gases such as methane – which has a greenhouse effect 32 times that of carbon dioxide. Now a team of Swiss-German researchers have shown that humic substances act as fully regenerable electron acceptors which helps explain why large amount of methane are held in wetlands instead of being released to the atmosphere. However, there are worries that if this system is disrupted it may enter into a vicious cycle to release large amounts of methane back into the atmosphere.
Wetlands, such as ...
In sex-reversed cave insects, females have the penises
2014-04-17
Researchers reporting in the Cell Press journal Current Biology on April 17 have discovered little-known cave insects with rather novel sex lives. The Brazilian insects, which represent four distinct but related species in the genus Neotrogla, are the first example of an animal with sex-reversed genitalia.
"Although sex-role reversal has been identified in several different animals, Neotrogla is the only example in which the intromittent organ is also reversed," says Kazunori Yoshizawa from Hokkaido University in Japan.
During copulation, which lasts an impressive ...
Study shows lasting effects of drought in rainy eastern US
2014-04-17
This spring, more than 40 percent of the western U.S. is in a drought that the USDA deems "severe" or "exceptional." The same was true in 2013. In 2012, drought even spread to the humid east.
It's easy to assume that a 3-year drought is an inconsequential blip on the radar for ecosystems that develop over centuries to millennia. But new research just released in Ecological Monographs shows how short-lived but severe climatic events can trigger cascades of ecosystem change that last for centuries.
Some of the most compelling evidence of how ecosystems respond to drought ...
New technique detects microscopic diabetes-related eye damage
2014-04-17
BLOOMINGTON, Ind. -- Indiana University researchers have detected new early-warning signs of the potential loss of sight associated with diabetes. This discovery could have far-reaching implications for the diagnosis and treatment of diabetic retinopathy, potentially impacting the care of over 25 million Americans.
"We had not expected to see such striking changes to the retinas at such early stages," said Ann Elsner, professor and associate dean in the IU School of Optometry and lead author of the study. "We set out to study the early signs, in volunteer research subjects ...
Rapid and accurate mRNA detection in plant tissues
2014-04-17
Gene expression is the process whereby the genetic information of DNA is used to manufacture functional products, such as proteins, which have numerous different functions in living organisms. Messenger RNA (mRNA) serves as an important intermediary during gene expression, by relating the genetic information of DNA to the molecular mechanisms involved in manufacturing proteins.
By examining the different types and amounts of mRNA molecules present in an organism at a given time, researchers can determine which specific genes are being expressed. This, in turn, offers ...
IU cognitive scientists use 'I spy' to show spoken language helps direct children's eyes
2014-04-17
BLOOMINGTON, Ind. -- In a new study, Indiana University cognitive scientists Catarina Vales and Linda Smith demonstrate that children spot objects more quickly when prompted by words than if they are only prompted by images.
Language, the study suggests, is transformative: More so than images, spoken language taps into children's cognitive system, enhancing their ability to learn and to navigate cluttered environments. As such the study, published last week in the journal Developmental Science, opens up new avenues for research into the way language might shape the course ...
Radiation therapy for cervical cancer increases risk for colorectal cancer
2014-04-17
Researchers at the University of Texas Medical Branch at Galveston are the first to recommend that young women treated with radiation for cervical cancer should begin colorectal cancer screening earlier than traditionally recommended.
The UTMB researchers, finding a high incidence of secondary colorectal cancers among cervical cancer survivors treated with radiation, offer new recommendations that the younger women in this group begin colorectal cancer screening about eight years after their initial cervical cancer diagnosis instead of waiting until age 50. The study ...
Stanford biologists help solve fungal mysteries
2014-04-17
Pine forests are chock full of wild animals and plant life, but there's an invisible machine underground. Huge populations of fungi are churning away in the soil, decomposing organic matter and releasing carbon into the atmosphere.
Despite the vital role these fungi play in ecological systems, their identities have only now been revealed. A Stanford-led team of scientists has generated a genetic map of more than 10,000 species of fungi across North America. The work was published this week in the Proceedings of the National Academy of Sciences.
Fungi are much more important ...
Genetic study tackles mystery of slow plant domestications
2014-04-17
"The Modern View of Domestication," a special feature of The Proceedings of the National Academy of Sciences (PNAS) published April 29, raises a number of startling questions about a transition in our deep history that most of us take for granted. At the end of the last Ice Age, people in many spots around the globe shifted from hunting animals and gathering fruits and tubers to cultivating livestock and plants.
It seems so straightforward and yet the more scientists learn, the more complex the story becomes. Recently, geneticists and archeologists working on domestication ...