A new approach to performance evaluation of formally specified protocols
نویسندگان
چکیده
@INPROCEEDINGS{SBKl_FDT94, AUTHOR = {Böhmer, S. and Klafka, R.}, TITLE = {A new approach to performance evaluation of formally specified protocols}, JOURNAL = {Formal description Techniques VII}, YEAR = {1994}, VOLUME = {0}, PAGES = {452-454}, PUBLISHER = {Chapman and Hall}, ADDRESS = {Londo}, AFFILIATION = {Department of Communication Networks (ComNets), Faculty 6, RWTH Aachen University}, URL = {http://www.comnets.rwth-aachen.de} }
منابع مشابه
Passive performance testing of network protocols
Complementary to performance evaluation, performance testing of communicating protocols is a qualitative and quantitative test of a system, aiming at checking whether performance requirements of protocols have been satisfied under certain conditions. It raises an interesting issue of accurately formalizing specified performance requirements by taking consideration of data values of the protocol...
متن کاملSpecification-driven Performance Monitoring of SDL/MSC-specified Protocols
Protocol testing implies the functional analysis of a given implementation under test as well as its temporal performance evaluation. If protocols are formally specified sophisticated techniques and tools exist for analyzing functional properties, e.g. finding deadlocks or livelocks. Methods, however, for the temporal performance evaluation of formally specified systems are still in their infan...
متن کاملA Passive Performance Testing approach for network protocols
Complementary to performance evaluation, the performance testing of communicating protocols is a qualitative and quantitative test of a system, aiming at verifying whether the performance requirements of the protocol have been satisfied under certain conditions. Conformance testing of communicating protocols is a functional test which verifies whether the behaviours of the protocol satisfy defi...
متن کاملInvestigating the Effect of the Training Program on Raters’ Oral Performance Assessment: A Mixed-Methods Study on Raters’ Think-Aloud Verbal Protocols
Although the use of verbal protocols is growing in oral assessment, research on the use of raters’ verbal protocols is rather rare. Moreover, those few studies did not use a mixed-methods design. Therefore, this study investigated the possible impacts of rater training on novice and experienced raters’ application of a specified set of standards in rating. To meet this o...
متن کاملA new approach for performance evaluation of energy-related enterprises
Oil is among the most effective and the largest industries in the world. Given that it supplies a large percentage of the world’s energy and plays a significant role in the national power and international credit of countries, it has a huge impact on our world today. Iran has huge oil reserves, and plays a key role in the exchange of the required energy in the world. In order to improve the pe...
متن کامل