Zobrazeno 1 - 10
of 288
pro vyhledávání: '"Specification-based testing"'
Autor:
Canh Minh Do, Kazuhiro Ogata
Publikováno v:
IEEE Access, Vol 10, Pp 24955-24975 (2022)
The paper proposes a new testing technique for concurrent programs. The technique is a specification-based testing. For a formal specification S and a concurrent program P, state sequences are generated from P and checked to be accepted by S. We supp
Externí odkaz:
https://doaj.org/article/6989742f340c442db5bbf7860b4deeb8
Publikováno v:
Sensors, Vol 21, Iss 16, p 5375 (2021)
Nowadays, REpresentational State Transfer Application Programming Interfaces (REST APIs) are widely used in web applications, hence a plethora of test cases are developed to validate the APIs calls. We propose a solution that automates the generation
Externí odkaz:
https://doaj.org/article/cac5e63776ab4687b76f26d6f900a621
Publikováno v:
Mathematics, Vol 9, Iss 4, p 331 (2021)
Specification-based testing methods generate test data without the knowledge of the structure of the program. However, the quality of these test data are not well ensured to detect bugs when non-functional changes are introduced to the program. To ge
Externí odkaz:
https://doaj.org/article/084b2c31caf2483890f9823bc1118d35
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:
A. Jalila, D. Jeya Mala
Publikováno v:
ICTACT Journal on Soft Computing, Vol 6, Iss 1, Pp 1102-1109 (2015)
The adoption of fault detection techniques during initial stages of software development life cycle urges to improve reliability of a software product. Specification-based testing is one of the major criterions to detect faults in the requirement spe
Externí odkaz:
https://doaj.org/article/e5112a5c7906483f81fcd809042c477e
Publikováno v:
Journal of Engineering Science and Technology, Vol 10, Iss 3, Pp 307-321 (2015)
Formal specification-based testing has been used widely to assess potential faults or prove their absence in a given system at the earliest. This research work has proposed an automated fault-based testing framework to test the specification of the s
Externí odkaz:
https://doaj.org/article/4a808bd0da7d4848bd7bc8dd4a8dd73a
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.
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.
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.
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.