Title :
Automated performance validation of software design: an industrial experience
Author :
Compare, Daniele ; D´Onofrio, Antonio ; Di Marco, Antinisca ; Inverardi, Paola
Author_Institution :
Lab NMSC2 Marconi-Selenia, L´´Aquila
Abstract :
Early performance validation allows software developers to address performance issues since the first phases of software life cycle, when crucial decisions on the software system are taken. However, the lack of completely automated methodologies and the need of special skills for early software performance modelling and analysis prevent their introduction in real industrial context. The availability of such automation should facilitate the application of these methodologies on industrial products without delaying the software development process. Goal of this paper is to report our experience in the modelling and analysis of performance requirements of a real telecommunication system at the design level
Keywords :
formal specification; formal verification; object-oriented programming; software architecture; software performance evaluation; telecommunication computing; automated performance validation; performance requirement analysis; performance requirement modelling; software design; software development; software life cycle; software performance analysis; software performance modelling; software system; telecommunication system; Application software; Automation; Availability; Computer industry; Context modeling; Delay; Performance analysis; Software design; Software performance; Software systems;
Conference_Titel :
Automated Software Engineering, 2004. Proceedings. 19th International Conference on
Conference_Location :
Linz
Print_ISBN :
0-7695-2131-2
DOI :
10.1109/ASE.2004.1342751