• 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