Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker
This paper studies learning-based testing (LBT) for reactive systems with different learning algorithms and model checkers. LBT is a technique that requires a learning algorithm to learn the models to generate test cases automatically. We have used the generic methodology of LBT to test reactive sy...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
National University of Modern Languages (NUML), Islamabad
2023-07-01
|
| Series: | NUML International Journal of Engineering and Computing |
| Subjects: | |
| Online Access: | https://nijec.numl.edu.pk/index.php/nijec/article/view/32 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850108019868696576 |
|---|---|
| author | Anjum Ara Shah Muddassar Azam Sindhu |
| author_facet | Anjum Ara Shah Muddassar Azam Sindhu |
| author_sort | Anjum Ara Shah |
| collection | DOAJ |
| description |
This paper studies learning-based testing (LBT) for reactive systems with different learning algorithms and model checkers. LBT is a technique that requires a learning algorithm to learn the models to generate test cases automatically. We have used the generic methodology of LBT to test reactive systems with two different model inference algorithms (i.e., IKL, DKL) and two different model checking tools (i.e., NuSMV, SAL). To investigate the feasibility of LBT, we integrated our SUTs with these algorithms in LBT and tested if LBT optimizes test generation with these algorithms. We tested our SUTs with Boolean data types to check the difference in the working of model inference and model checking algorithms which we analyzed experimentally. The results show that LBT works better with DKL and SAL. DKL is a recently proposed model inference algorithm, and SAL is the latest model checker on which the research is being carried out. DKL and SAL algorithms explore errors in reactive SUTs with the h LBT framework more quickly and efficiently.
|
| format | Article |
| id | doaj-art-8bfe4fa778f44b4891643a3c50db5249 |
| institution | OA Journals |
| issn | 2788-9629 2791-3465 |
| language | English |
| publishDate | 2023-07-01 |
| publisher | National University of Modern Languages (NUML), Islamabad |
| record_format | Article |
| series | NUML International Journal of Engineering and Computing |
| spelling | doaj-art-8bfe4fa778f44b4891643a3c50db52492025-08-20T02:38:28ZengNational University of Modern Languages (NUML), IslamabadNUML International Journal of Engineering and Computing2788-96292791-34652023-07-012110.52015/nijec.v2i1.32Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model CheckerAnjum Ara Shah0Muddassar Azam Sindhu1Quaid-I-Azam University Islamabad, PakistanQuaid-I-Azam University Islamabad, Pakistan This paper studies learning-based testing (LBT) for reactive systems with different learning algorithms and model checkers. LBT is a technique that requires a learning algorithm to learn the models to generate test cases automatically. We have used the generic methodology of LBT to test reactive systems with two different model inference algorithms (i.e., IKL, DKL) and two different model checking tools (i.e., NuSMV, SAL). To investigate the feasibility of LBT, we integrated our SUTs with these algorithms in LBT and tested if LBT optimizes test generation with these algorithms. We tested our SUTs with Boolean data types to check the difference in the working of model inference and model checking algorithms which we analyzed experimentally. The results show that LBT works better with DKL and SAL. DKL is a recently proposed model inference algorithm, and SAL is the latest model checker on which the research is being carried out. DKL and SAL algorithms explore errors in reactive SUTs with the h LBT framework more quickly and efficiently. https://nijec.numl.edu.pk/index.php/nijec/article/view/32Software EngineeringSoftware TestingModel Based TestingLearning Based TestingKripke |
| spellingShingle | Anjum Ara Shah Muddassar Azam Sindhu Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker NUML International Journal of Engineering and Computing Software Engineering Software Testing Model Based Testing Learning Based Testing Kripke |
| title | Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker |
| title_full | Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker |
| title_fullStr | Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker |
| title_full_unstemmed | Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker |
| title_short | Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker |
| title_sort | learning based testing using sal symbolic analysis laboratory model checker |
| topic | Software Engineering Software Testing Model Based Testing Learning Based Testing Kripke |
| url | https://nijec.numl.edu.pk/index.php/nijec/article/view/32 |
| work_keys_str_mv | AT anjumarashah learningbasedtestingusingsalsymbolicanalysislaboratorymodelchecker AT muddassarazamsindhu learningbasedtestingusingsalsymbolicanalysislaboratorymodelchecker |