Publikationer per år
Publikationer per år
Projektinformation
Beskrivning
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
| Akronym | PAM |
|---|---|
| Status | Slutfört |
| Gällande start-/slutdatum | 01/01/12 → 31/12/15 |
Samarbetspartner
- Åbo Akademi (huvudsaklig)
- 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. (red.). IEEE, s. 39–45Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Fil3 Citeringar (Scopus)24 Nedladdningar (Pure) -
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. (red.). Springer, s. 349–364Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › 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. (red.). ACM, s. –Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
6 Citeringar (Scopus)