Performance testing at early design phases

被引：0

作者：

Csurgay, P ^{[1
]}

Malek, M ^{[1
]}

机构：

[1] Norwegian Univ Sci & Technol, Dept Telemat, Trondheim, Norway

来源：

TESTING OF COMMUNICATING SYSTEMS: METHODS AND APPLICATIONS | 1999年 / 21卷

关键词：

testing; performance evaluation; protocol engineering; formal description techniques; SDL; prototyping;

D O I：

暂无

中图分类号：

TN [电子技术、通信技术];

学科分类号：

0809 ;

摘要：

Testing non-functional properties based on functional specifications at early design phases is still a challenge in teleservice and protocol engineering. Modelling and evaluating performance aspects along with the traditional functional verification oriented formal description techniques has to be integrated into one unified design process to avoid extra effort in maintaining consistency between multiple design models. The paper introduces PerfSDL, a semantic extension to SDL for modelling non-functional properties, and a performance evaluation framework based on PerfSDL and simulation. To verify the feasibility of the approach, three design alternatives in a small TCP-like packet transfer protocol above transport services of different quality were tested and evaluated by mean; of simulation and statistical analysis.

引用

页码：317 / 328

页数：12