Suchergebnisse - "Model based testing"

A Model-Based Test Script Generation Framework and Industrial Insight

Autoren: Zafar, Muhammad Nouman Afzal, Wasif Enoiu, Eduard Paul, PhD et al.

Quelle: SN Computer Science. 6(4)

Schlagwörter: Case study, Industrial survey, Model-based testing, Test script generation

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-70735
https://doi.org/10.1007/s42979-025-03823-7

Different approaches for testing body sensor network applications

Autoren: Silva, Samira Diniz Caldas, Ricardo Pelliccione, Patrizio et al.

Quelle: Journal of Systems and Software Paper_JSS. 223

Schlagwörter: Body sensor networks, Model-based testing, Discrete-time Markov chain, Combinatorial testing

Dateibeschreibung: electronic

Zugangs-URL: https://research.chalmers.se/publication/545147
https://research.chalmers.se/publication/545147/file/545147_Fulltext.pdf

Model-Based Testing Computer Games: Does It Work?: Does It Work?

Autoren: Prasetya, I. S.W.B.

Quelle: 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). :85-92

Schlagwörter: model based testing computer games, online model based testing, MBT computer games, automated testing computer games

Zugangs-URL: https://research-portal.uu.nl/en/publications/578d9d14-8c6c-4f0d-9b9a-0975548134d3
https://doi.org/10.1109/ICSTW64639.2025.10962518

An approach for performance requirements verification and test environments generation

Autoren: Abdeen, Waleed Chen, Xingru Unterkalmsteiner, Michael

Quelle: Requirements Engineering. 28(1):117-144

Schlagwörter: Model-based testing, Performance requirements modeling, Performance aspects, Natural language requirements

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:bth-22848
https://doi.org/10.1007/s00766-022-00379-3

Developing an Automated Model-Based Software Testing Tool From the Design Phase

Autoren: Rasha Gh. Alsarraj Atica M. Altaie Esra Zuhair Majeed

Quelle: IEEE Access, Vol 13, Pp 58548-58558 (2025)

Schlagwörter: IDEF model, model-based testing, Control graph, test paths, Electrical engineering. Electronics. Nuclear engineering, rule flow model, coverage criteria, TK1-9971

Zugangs-URL: https://doaj.org/article/dabdd5e001d048798971fa8b854e0f16

PX-MBT: A framework for model-based player experience testing

Autoren: Gholizadeh Ansari, Saba Prasetya, I.S.W.B. Dastani, Mehdi et al.

Quelle: Science of Computer Programming. 236

Schlagwörter: Agent-based testing, Emotion modeling, Model-based testing, PX testing

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-223837
https://doi.org/10.1016/j.scico.2024.103108

SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs

Autoren: Fiterau-Brostean, Paul, PhD Jonsson, Bengt Sagonas, Konstantinos et al.

Quelle: PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024. :1866-1870

Schlagwörter: Software security, protocol security, network protocols, protocol state fuzzing, model-based testing, model checking

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-546277
https://doi.org/10.1145/3650212.3685310

Specialized path-based technique to test Internet of Things system functionality under limited network connectivity

Autoren: Klima, Matej Bures, Miroslav Ahmed, Bestoun S. et al.

Quelle: Internet of Things. 22

Schlagwörter: Internet of Things, Limited network connectivity, Model-based testing, Path-based testing, Reliability, Test automation, Test case generation, Datavetenskap, Computer Science

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-93965
https://doi.org/10.1016/j.iot.2023.100706

Integrating formal specifications in the development and testing of UIs by formal model–view–controller pattern

Autoren: Bombarda, Andrea Bonfanti, Silvia Gargantini, Angelo

Quelle: International Journal on Software Tools for Technology Transfer.

Schlagwörter: Abstract state machines, Asmeta, Model-based testing, Model–view–controller

Dateibeschreibung: application/pdf

Model-Based Testing Computer Games: Does It Work?

Autoren: Prasetya, Wishnu

Schlagwörter: model based testing computer games, online model based testing, MBT computer games, automated testing computer games

An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing

Autoren: Zameni, T. Bos, P. van den Rensink, A. et al.

Weitere Verfasser: Zameni, T. Bos, P. van den Rensink, A. et al.

Quelle: SANER-C 2024: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering-Companion, Rovaniemi, Finland, 12-15 March 2024, pp. 199-206

Schlagwörter: Model-Based Testing, BDD Transition Systems, Software Science, Behavior-Driven Development, Symbolic Transition Systems

Zugangs-URL: https://repository.ubn.ru.nl//bitstream/handle/2066/311040/311040.pdf
https://hdl.handle.net/2066/311040
https://resolver.tno.nl/uuid:294bd7ed-fd19-43cd-be65-39f0217a6807

We Tried and Failed: An Experience Report on a Collaborative Workflow for GUI-based Testing

Autoren: Bauer, Andreas Alégroth, Emil

Quelle: Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW. :1-9

Schlagwörter: automated testing, collaborative testing, collaborative workflow, GUI testing, model-based testing, Abstracting, Automation, Model checking, Software design, Software testing, Code review, Experience report, Graphical user interface testing, Integral part, Interface testings, Model based testing, Work-flows, Graphical user interfaces

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:bth-25204
https://bth.diva-portal.org/smash/get/diva2:1785863/FULLTEXT01.pdf

EvoCreeper: Automated Black-Box Model Generation for Smart TV Applications

Autoren: Ahmed, Bestoun S. Bures, Miroslav

Quelle: IEEE transactions on consumer electronics. 65(2):160-169

Schlagwörter: Model generation, Smart TV application, Application reverse engineering, Model-based testing, Datavetenskap, Computer Science

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-71606
https://kau.diva-portal.org/smash/get/diva2:1298752/FULLTEXT01.pdf

Model-based fault injection for testing gray-box systems

Autoren: Mostowski, Wojciech, 1976

Quelle: AUTO-CAAS The Journal of logical and algebraic methods in programming. 103:31-45

Schlagwörter: Model-based testing, Fault injection, Fault models, Multi-purpose models, Functional testing, Robustness testing

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-38438
https://hh.diva-portal.org/smash/get/diva2:1266512/FULLTEXT01.pdf

Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques

Autoren: Clerissi, D Rocco, J D Di Ruscio, D et al.

Quelle: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). :520-529

Schlagwörter: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, 03 medical and health sciences, 0302 clinical medicine, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Internet of Things, Model-Based Testing, Model-Driven Engineering, Software Analysis

Zugangs-URL: http://arxiv.org/abs/2309.02985
https://hdl.handle.net/10281/454288
https://doi.org/10.1109/MODELS-C59198.2023.00089

Genetic algorithm for path-based testing of component outage situations in IoT system processes

Autoren: Klima, Matej Bures, Miroslav Ahmed, Bestoun S. et al.

Quelle: Applied Soft Computing. 185

Schlagwörter: Ability testing, Electron device testing, Model checking, Outages, Problem solving, Statistical tests, Component outage, Model based testing, Network connectivity, Path-based, Path-based testing, System process, Systems operation, Test Automation, Test coverage criteria, Testing technique, Genetic algorithms, Computer Science, Datavetenskap

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-107491

Assessing the testing skills transfer of model-based testing on testing skill acquisition

Autoren: Cammaerts, Felix Snoeck, Monique

Quelle: Software and Systems Modeling. 23:953-971

Schlagwörter: MERODE, Technology, Science & Technology, 0806 Information Systems, Computer Science, 0803 Computer Software, Software Engineering, 4612 Software engineering, Model-driven engineering, Computer Science, Software Engineering, Model-based testing, TesCaV

Zugangs-URL: https://lirias.kuleuven.be/handle/20.500.12942/735053
https://doi.org/10.1007/s10270-023-01141-1

YERITH_QVGE : A Framework for Verifying SQL Correctness Temporal Properties of [GUI] Software at Runtime

Autoren: Noundou, XAVIER

Schlagwörter: model-based testing, reactive system analysis, computer software program analysis, computer software dynamic program analysis, software integration testing with SQL and GUI, runtime monitoring

Relation: https://zenodo.org/records/14997343; oai:zenodo.org:14997343; https://doi.org/10.5281/zenodo.14997343

Verfügbarkeit: https://doi.org/10.5281/zenodo.14997343
https://zenodo.org/records/14997343

Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications

Autoren: Wiesmayr, Bianca Xavier, Midhun Patil, Sandeep et al.

Quelle: 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA). :1-4

Schlagwörter: Function Blocks, ta213, IEC 61499, Model-Based Testing, Service Sequences, Portability

EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer

Autoren: Sagonas, Konstantinos Typaldos, Thanasis

Quelle: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. :1495-1498

Schlagwörter: model-based testing, IoT protocols, Datavetenskap (datalogi), model learning, Computer Sciences, Software security, CoAP, Communication Systems, OSCORE, fuzzing, EDHOC, Kommunikationssystem, protocol security

Dateibeschreibung: application/pdf

Zugangs-URL: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-523362