DocumentCode
1566758
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
fYear
2004
Firstpage
298
Lastpage
301
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2004. Proceedings. 19th International Conference on
Conference_Location
Linz
ISSN
1938-4300
Print_ISBN
0-7695-2131-2
Type
conf
DOI
10.1109/ASE.2004.1342751
Filename
1342751
Link To Document