Research output per year
Research output per year
Project Details
Description
The objective of the PAM project is to investigate the applicability of model-based testing principles in the context of continuous integration processes in the telecom domain. The use of a model-based approach is intended to address the increasing complexity of software specifications, to enable test design automation and to provide dedicated tool support for industrial software testing. Such approach allows not only improving the quality assurance of the produced software, but also reduces the effort and risks of testing, thus enabling short testing integration cycles.
Partners: Nokia, VTT Technical Research Centre of Finland, Rugged Tooling, Uphill, NetHawk-Exfo
Partners: Nokia, VTT Technical Research Centre of Finland, Rugged Tooling, Uphill, NetHawk-Exfo
| Acronym | PAM |
|---|---|
| Status | Finished |
| Effective start/end date | 01/01/12 → 31/12/15 |
Collaborative partners
- Åbo Akademi University (lead)
- VTT Technical Research Centre of Finland Ltd
- Nokia (Finland)
- Rugged Tooling
- Uphill
- NetHawk-Exfo
-
A Practical Application of UPPAAL and DTRON for Runtime Verification
Truscan, D., Ahmad, T., Siavashi, F. & Tuuttila, P., 2015, IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice. Bishop, J., Sen, S., Shukla, R. & Shull, F. (eds.). IEEE, p. 39–45Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review
File -
A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata
Truscan, D., Vain, J., Koskinen, M. & Iqbal, J., 2015, Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Holzinger, A., Cardoso, J., Cordeiro, J., Libourel, T., Maciaszek, L. & Sinderen, M. (eds.). Springer, p. 349–364Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review
-
Environment Modeling in Model-Based Testing: Concepts, Prospects and Research Challenges: A Systematic Literature Review
Siavashi, F. & Truscan, D., 2015, EASE '15 Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering. Zhang, H. & Babar, M. (eds.). ACM, p. –Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review