Zobrazeno 1 - 10
of 443
pro vyhledávání: '"Equivalence Class Partitioning"'
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sylvain Hallé
Publikováno v:
Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering.
Publikováno v:
Journal of Internet and Software Engineering, Vol 5, Iss 1 (2024)
Saat ini penggunaan perangkat lunak sudah mendominasi hampir seluruh bidang ilmu pengetahuan. Merupakan hal yang penting bagi pengembang untuk memastikan kualitas suatu perangkat lunak sehingga layak digunakan oleh khalayak umum. Kualitas perangkat l
Externí odkaz:
https://doaj.org/article/07f3ae6961e540378b12aa691b525c33
Publikováno v:
ETFA
Context: Production Systems Engineering (PSE) faces a growing complexity of software, i.a., due to increasing capabilities of the hardware, requiring efficient approaches for designing test data and test cases. Apart from this, for long-running legac
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Preeti, Lata Nautiyal
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 41:1-5
Software testing is an indispensible phase of software development that supports not only productivity but also quality assurance from small to large scale software products. Software Systems essentially need an effective way to develop a strategy fo
Publikováno v:
IOP Conference Series: Materials Science and Engineering. 732:012072
Software Testing is helpful to alleviate the developers’ task in improving the system. But in doing software testing, there are problems faced by developers, including information that become a benchmark in the feasibility of software testing. Many
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Niklas Krafczyk, Jan Peleska
Publikováno v:
Testing Software and Systems ISBN: 9783319675480
ICTSS
ICTSS
In this paper, it is shown how a complete input equivalence class testing strategy developed by the second author can be effectively used for infinite-state model checking of system models with infinite input domains but finitely many internal state
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::527f503b437032ebefead5462fc9d199
https://doi.org/10.1007/978-3-319-67549-7_3
https://doi.org/10.1007/978-3-319-67549-7_3
Autor:
Nautiyal, Lata, Preeti
Publikováno v:
ACM SIGSOFT Software Engineering Notes; February 2016, Vol. 41 Issue: 1 p1-5, 5p