Behaviour Validation Effort Estimation
| Name | Behaviour Validation Effort Estimation |
|---|---|
| Contacts | Henning Groenda (http://sdq.ipd.kit.edu/people/henning groenda/) |
| State | |
| Is Stand-alone Analysis? | No |
| Extends Analyses | |
| Extends Metamodels | |
| Code Location | https://svnserver.informatik.kit.edu/i43/svn/code/Palladio/Addons/Validation/trunk/ |
| Update Site | http://sdqweb.ipd.kit.edu/eclipse/palladio/addons/validation/ |
Documentation
This page descibes the application of the Palladio Behaviour Validation Effort Estimation feature.
This feature provides a framework for the estimation of the required effort to validate a Palladio-based performance behaviour specification. It contains estimation algorithms for different Palladio-based coverage criteria. It provides a run configuration for effort estimation and reports the required effort to the user. The TestBasedValidation AddOn is responsible for the validation itself.
Installation
Follow the set up instruction for Palladio at Installation / Download and then install the feature from the eclipse update site at http://sdqweb.ipd.kit.edu/eclipse/palladio/addons/validation/releases/current/.
Application
A Validation Effort Estimation run configuration consists of the configuration tabs and settings described in the following sections. The estimation result is reported with a dialog. See also the following screenshots:
Estimation Configuration Tab
Behaviour Selection
JJn-Paths Estimator Configuration Tab
SPT-Tests Estimator Configuration Tab
Example Result
Estimation Configuration
This tab allows to select the Behaviour specification for which estimations of the required validation effort for different coverage criteria should be calculated.
- Select the Palladio Repository File containing the Behaviour
- Select the Behaviour specification
- Optional: Update the Confidence Level
JJnPaths Estimator
This tab allows to determine the length of JJn-Paths which are considered for the calculation.
- Optional: Update the Parameter n: Length of JJn-Paths
SPT-Tests Estimator
This tab allows to determine the length of sutrctured path testing (SPT) paths which are considered for the calculation.
- Optional: Update the Parameter n: Number of loop iterations for each loop on the path
Defining New Estimators
Estimators for further criteria can be added via the extension point de.fzi.se.validation.effort.estimation. References are available for Estimator for Criterion without Configuration and Estimator for Criterion with Configuration.