Publication | Closed Access
Performance Antipatterns as Logical Predicates
27
Citations
44
References
2010
Year
Unknown Venue
Software MaintenanceEngineeringSoftware EngineeringHigher-order LogicSoftware AnalysisFormal VerificationSoftware ArchitectureLogic ProgrammingComputational LogicAutomated Software EngineeringSystems EngineeringPerformance EngineeringLinguisticsComputer ScienceStatic Program AnalysisSoftware DesignArchitecture AnalysisPerformance AnalysisAutomated ReasoningProgram AnalysisSoftware TestingPerformance AntipatternsFormal MethodsSoftware Performance DomainSystem Software
The problem of interpreting the results of performance analysis is quite critical in the software performance domain. Mean values, variances, probability distributions are hard to interpret for providing feedback to software architects. Instead, what architects expect are solutions to performance problems, possibly in the form of architectural alternatives (e. g. split a software component in two components and re-deploy one of them). In a software performance engineering approach this path from analysis results to software alternatives still lacks of automation and is based on the skills and experience of analysts. In this paper we propose an automated approach for the performance feedback generation process based on performance antipatterns. To this aim, we model performance antipatterns as logical predicates and we provide a java engine, based on such predicates, that is able to detect performance antipatterns in an XML representation of the software system. Finally, we show the approach at work on a simple case study.
| Year | Citations | |
|---|---|---|
Page 1
Page 1