Test scenario specification language for model-based testing
autor
Halling, Evelin
Vain, Jüri
Boyarchuk, Artem
Illiashenko, Oleg
vastutusandmed
Evelin Halling, Jüri Vain, Artem Boyarchuk, Oleg Illiashenko
allikas
International Journal of Computing
kirjastus/väljaandja
Research Institute of Intelligent Computer Systems
ajakirja aastakäik number kuu
vol. 18, 4
ilmumisaasta
2019
leheküljed
p. 408-421 : ill
leitav
http://www.computingonline.net/computing/article/view/1611
https://doi.org/10.47839/ijc.18.4.1611
märksõna
testimine
mudelipõhine tarkvaraarendus
võtmesõna
model-based testing
test scenario description language
timed automata
verification by model checking
conformance testing
ISSN
1727-6209
märkused
Bibliogr.: 22 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/21100820054
https://www.scopus.com/record/display.uri?eid=2-s2.0-85085130655&origin=inward&txGid=818053d1e0dbdcb1c1dabc1219dd574c
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Computer science (miscellaneous)
Arvutiteadus. Arvutiteadus (mitmesugused)
Computer science. Information systems
Arvutiteadus. Infosüsteemid
Computer science. Computer networks and communications
Arvutiteadus. Arvutivõrgud ja side
Computer science. Software
Arvutiteadus. Tarkvara
Computer science. Hardware and architecture
Arvutiteadus. Riistvara ja arhitektuur
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Eraõigus
Tugevalt tagatud tarkvara laboratoorium