Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 634400

Creating TTCN-3 Test Suite from CPN Specification


Bagić Babac, Marina; Jevtić, Dragan
Creating TTCN-3 Test Suite from CPN Specification // Journal of information and organizational sciences, 37 (2013), 1; 1-13 (međunarodna recenzija, članak, znanstveni)


CROSBI ID: 634400 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Creating TTCN-3 Test Suite from CPN Specification

Autori
Bagić Babac, Marina ; Jevtić, Dragan

Izvornik
Journal of information and organizational sciences (1846-3312) 37 (2013), 1; 1-13

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
specification; coloured Petri nets (CPN); testing; TTCN-3

Sažetak
Testing of a software product is the key activity before deploying it in the real-time environment. Therefore testing should be introduced into the product development process as early as possible in order to decrease the costs of repairing the damage in later phases. In this paper we use Coloured Petri Nets (CPN) for the system specification and also as a system to be tested instead of its implementation. This specification also serves as the basis for the test suite generation. Test cases are provided in the language of Testing and Test Control Notation version 3 (TTCN-3) due to its general application area and platform independence. Stop-and-wait communication protocol has been used as a tutorial example of our approach.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Računarstvo



POVEZANOST RADA


Projekti:
036-0362027-1640 - Upravljanje mrežom i uslugama temeljeno na znanju (Jevtić, Dragan, MZO ) ( CroRIS)

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Dragan Jevtić (autor)

Avatar Url Marina Bagić Babac (autor)

Citiraj ovu publikaciju:

Bagić Babac, Marina; Jevtić, Dragan
Creating TTCN-3 Test Suite from CPN Specification // Journal of information and organizational sciences, 37 (2013), 1; 1-13 (međunarodna recenzija, članak, znanstveni)
Bagić Babac, M. & Jevtić, D. (2013) Creating TTCN-3 Test Suite from CPN Specification. Journal of information and organizational sciences, 37 (1), 1-13.
@article{article, author = {Bagi\'{c} Babac, Marina and Jevti\'{c}, Dragan}, year = {2013}, pages = {1-13}, keywords = {specification, coloured Petri nets (CPN), testing, TTCN-3}, journal = {Journal of information and organizational sciences}, volume = {37}, number = {1}, issn = {1846-3312}, title = {Creating TTCN-3 Test Suite from CPN Specification}, keyword = {specification, coloured Petri nets (CPN), testing, TTCN-3} }
@article{article, author = {Bagi\'{c} Babac, Marina and Jevti\'{c}, Dragan}, year = {2013}, pages = {1-13}, keywords = {specification, coloured Petri nets (CPN), testing, TTCN-3}, journal = {Journal of information and organizational sciences}, volume = {37}, number = {1}, issn = {1846-3312}, title = {Creating TTCN-3 Test Suite from CPN Specification}, keyword = {specification, coloured Petri nets (CPN), testing, TTCN-3} }

Časopis indeksira:


  • Web of Science Core Collection (WoSCC)
    • Emerging Sources Citation Index (ESCI)
  • Scopus





Contrast
Increase Font
Decrease Font
Dyslexic Font