登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
软件性能预测现状与发展
  • 摘要

    性能问题很可能造成软件系统重新设计甚至项目的彻底失败.在软件实现前对性能进行预测可以极大减小项目风险,因此软件性能工程理论与技术受到越来越多的重视.性能预测方法主要分为两类:①通过建立性能模型来对系统性能进行评价;②使用测量的办法直接获得软件系统的性能指标.性能模型可以是基于形式化的数学描述,也可以是基于仿真.对现有方法的总结和分析可以帮助了解软件性能预测领域的现状,并从中找到有前途的研究方向.

  • 作者

    刘晓明  任正平  黄松  张晓锋  Liu Xiaoming  Ren Zhengping  Huang Song  Zhang Xiaofeng 

  • 作者单位

    解放军理工大学指挥自动化学院军用软件测评中心,南京,210007/解放军理工大学指挥自动化学院,南京,210007

  • 刊期

    2006年z2期 ISTIC EI PKU

  • 关键词

    性能预测  行为模型  性能模型  性能测量 

参考文献
  • [1] 赵会群,孙晶,高远. 一种基于进程代数的软件体系结构描述语言PEADL. 计算机工程与应用, 2003,5
  • [2] Liu V.;Gorton I.;Fekete A.. Design-level performance prediction of component-based applications. IEEE Transactions on Software Engineering, 2005,11
  • [3] Menasce D.A.;Gomaa H.. A method for design and performance modeling of client/server systems. IEEE Transactions on Software Engineering, 2000,11
  • [4] C U Smith;L G Williams. Performance Solution:A Practical Guide to Creating Responsive,Scalable Software. Boston (US):Addison Wesley, 2002
  • [5] H Gomaa;D A Menasce. Design and performance modeling of component interconnection patterns for distributed software architectures. New York:acm Press, 2000
  • [6] A Alsaadi. A performance analysis approach based on the UML class diagram. New York:acm Press, 2004
  • [7] S Balsamo;M Marzolla. Performance evaluation of UML software architectures with multiclass queuing network models. New York:acm Press, 2005
  • [8] D A Menasce;H Gomaa. On a language based method for software performance engineering of clint/server systems. New York:acm Press, 1998
  • [9] G P Gu;D C Petriu. XSLT transformation from UML models to LQN performance models. New York:acm Press, 2002
  • [10] G P Gu;D C Petriu. From UML to LQN by XML algebra-based model transformations. New York:acm Press, 2005
  • [11] T Verdickt;B Dhoedt;F Gielen. Incorporating SPE into MDA:Including middleware performance details into system models. New York:acm Press, 2004
  • [12] P Kahkipuro. UML-based performance modeling framework for component-based distributed systems. Berlin:springer-verlag, 2001
  • [13] A D'Ambrogio. A model transformation framework for the automated building of performance models from UML models. New York:acm Press, 2005
  • [14] S Balsamo;A D Marco;P Inverardi. Model-based performance prediction in software development:A survey. IEEE Transactions on Software Engineering, 2004,05
  • [15] V Grassi;R Mirandola;A Sabetta. From design to analysis models:A kernel language for performance and reliability analysis of component-based systems. New York:acm Press, 2005
  • [16] F Andolfi;F Aquilani;S Balsamo. Deriving performance models of software architectures from message sequence charts. New York:acm Press, 2000
  • [17] D C Petriu;C M Woodside. Software performance models from system scenario in use case maps. Berlin:springer-verlag, 2002
  • [18] Xiu-ping Wu;D McMullan;M Woodside. Component based performance prediction. New York:IEEE Press, 2003
  • [19] R Pooley. Using UML to derive stochastic process algebra models. Brighton,U K:IEEE Press, 1999
  • [20] M Bernardo;P Ciancarini;L Donatiello. EMPA:A process algebra description language for the performance analysis of software architectures. New York:acm Press, 2000
  • [21] G Denaro;A Polin;W Emmerich. Early performance testing of distributed software applications. New York:acm Press, 2004
  • [22] 林闯. 随机Petri网和系统性能评价. 北京:清华大学出版社, 2005
  • [23] S Bernardi;S Donatelli;J Merseguer. From UML sequence diagrams and statecharts to analysable Petri net models. New York:acm Press, 2002
  • [24] J P Lopez-Grao;J Merseguar;J Campos. From UML activity diagrams to stochastic Petri nets:Application to software performance engineering. New York:acm Press, 2004
  • [25] S Balsamo;M Bernardo;M Simeoni. Combining stochastic process algebra and queuing networks for software architecture analysis. New York:acm Press, 2002
  • [26] L B Arief;N A Speirs. A UML tool for an automatic generation of simulation programs. New York:acm Press, 2000
  • [27] V Grassi;R Mirandola. Towards automatic compositional performance analysis of component-based systems. New York:acm Press, 2004
  • [28] N Dumitrascu;S Murphy;L Murphy. A methodology for predicting the performance of component-based applications. Berlin:springer-verlag, 2003
  • [29] M Woodside;D C Petriu;J Merseguer. Performance by unified model analysis (PUMA). New York:acm Press, 2005
  • [30] S Zschaler. Formal specification of non-functional properties of component-based software. Lisbon(Portugal):Technische Universitat Dresden, 2004
  • [31] Yan Liu;A Fekete;I Gorton. Predicting the performance of middleware-based applications at the design level. New York:acm Press, 2004
  • [32] V Cortellessa;R Mirandola. Deriving a queuing network based performance model from UML diagrams. New York:acm Press, 2000
  • [33] Z Alzamil. Application of the operational profile in software performance analysis. New York:acm Press, 2004
  • [34] M Sitaraman. Compositional performance reasoning. Piscataway,NJ:IEEE Press, 2001
  • [35] C U Smith;C M Llado;V Cortellessa. From UML models to software performance results:An SPE process based on XML interchange formats. New York:acm Press, 2005
  • [36] A Bertolino;R Mirandola. Software performance engineering of component-based systems. New York:acm Press, 2004
  • [37] A Bertolino;R Mirandola. Towards component-based software performance engineering. Piscataway,NJ:IEEE Press, 2003
  • [38] Object Management Group. Unified modeling language (UML). http://www.omg.org/technology/documents/formal/uml.htm, 2005-07-05
  • [39] S Gilmore;J Hillston;L Kloul. Software performance modeling using PEPA nets. New York:acm Press, 2004
  • [40] C Canevet;S Glimode;J Hillston. Analyzing UML 2.0 activity diagrams in the software performance engineering process. New York:acm Press, 2004
  • [41] M De Miguel;T Lmbolais;M Hannouz. UML extensions for the specification and evaluation of latency constraints in architectural models. New York:acm Press, 2000
  • [42] Object Management Group. UML profile for schedulability,performance,and time specification. http://www.omg.org/technology/documents/formal/schedulability.htm, 2005-01-02
查看更多︾
相似文献 查看更多>>
3.214.184.250