Zobrazeno 1 - 10
of 1 411
pro vyhledávání: '"Modified condition/decision coverage"'
Testing is an essential tool to assure software, especially so in safety-critical applications. To quantify how thoroughly a software item has been tested, a test coverage metric is required. Maybe the strictest such metric known in the safety critic
Externí odkaz:
http://arxiv.org/abs/2409.08708
Publikováno v:
In Computer Standards & Interfaces August 2018 59:61-86
Publikováno v:
In Computer Standards & Interfaces February 2017 50:1-17
Akademický článek
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:
Nayak, Gayatri, Ray, Mitrabinda
Publikováno v:
International Journal of Intelligent Computing and Cybernetics, 2019, Vol. 12, Issue 4, pp. 425-443.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/IJICC-04-2019-0038
Akademický článek
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.
Publikováno v:
Frontiers of Information Technology & Electronic Engineering. 21:1267-1284
Symbolic execution is an effective way of systematically exploring the search space of a program, and is often used for automatic software testing and bug finding. The program to be analyzed is usually compiled into a binary or an intermediate repres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8589e0f37201a565efd58900aed1fc7f
https://doi.org/10.1631/fitee.1900213
https://doi.org/10.1631/fitee.1900213
Autor:
Michael wondamu
Software testing is a key aspect in creating bug-free and defect-free software. Software testing is done to help with quality assurance. High-quality software can be created via an effective testing procedure. Regression testing is an important testi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::85c96bb1d10a89b1af4bd6c478780e38
https://nadre.ethernet.edu.et/record/20634
https://nadre.ethernet.edu.et/record/20634
Publikováno v:
SITA
Model-Based Testing (MBT) approaches are becoming an attractive prospect for safety-critical software testing due to their efficiency and the flexibility. Requirements based testing and structural testing are used for safety-critical systems software
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c59736f7b91e974ca76348ecd2d422bd
https://doi.org/10.1145/3419604.3419628
https://doi.org/10.1145/3419604.3419628
Publikováno v:
Computer Standards & Interfaces. 59:61-86
Object-Oriented languages such as Java language introduce advantageous features which overcome the demerits of procedural languages to some extent. Therefore, Java language is now going to be used by the industries to develop their critical safety sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::939452c0a89fdbb0be6a57ac06f41949
https://doi.org/10.1016/j.csi.2018.02.005
https://doi.org/10.1016/j.csi.2018.02.005