Results 21 to 30 of about 5,519,312 (291)
Model-based testing of networked applications [PDF]
Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021 We present a principled automatic testing framework for application-layer protocols. The key innovation is a domain-specific embedded language for writing nondeterministic models of the behavior of networked servers. These models are defined within the Coq interactive theorem prover, supporting a smooth transition from testing to formal verification ...
Yishuai Li +2 more
openaire +2 more sources
AdapTV: A Model-Based Test Adaptation Approach for End-to-End User Interface Testing of Smart TVs
IEEE Access, 2023 We introduce a model-based feedback-driven test adaptation approach for end-to-end user interface testing of smart TVs. From the perspective of the TV software, the proposed approach is a non-intrusive and completely black-box approach, which operates by
Mohammad Yusaf Azimi +4 more
doaj +1 more source
A Test Generator for Model-Based Testing [PDF]
Proceedings of the Fourth International Symposium on Business Modeling and Software Design, 2014 The idea of software testing by software itself drives the attempts of creation of model based testing approaches. Model based testing relies on models, that encode the desired behaviour of a system, the relevant behaviour of its environment; however, both the static and the behaviour models are not directly applicable for model based testing.
Roubtsova, E.E., Roubtsov, Serguei
openaire +2 more sources
Model-based testing as a service [PDF]
International Journal on Software Tools for Technology Transfer, 2017 The quality of Web services is an important factor for businesses that advertise or sell their services in the Internet. Failures can directly lead to fewer costumers or security problems. However, the testing of complex Web services that are organized in service-oriented architectures is a difficult and complex problem.
Steffen Herbold, Andreas Hoffmann 0001
openaire +2 more sources
DTRON: a tool for distributed model-based testing of time critical applications; pp. 75–88 [PDF]
Proceedings of the Estonian Academy of Sciences, 2017 Cyber-Physical Systems (CPS) present the greatest challenges but also the greatest opportunities in several critical industrial segments such as electronics, automotive and industrial automation.
Aivo Anier +2 more
doaj +1 more source
Incremental Testing in Software Product Lines—An Event Based Approach
IEEE Access, 2023 One way of developing fast, effective, and high-quality software products is to reuse previously developed software components and products. In the case of a product family, the software product line (SPL) approach can make reuse more effective. The goal
Mutlu Beyazit +2 more
doaj +1 more source
Learning-Based Testing Using SAL (Symbolic Analysis Laboratory) Model Checker
NUML International Journal of Engineering and Computing, 2023 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.
Anjum Ara Shah, Muddassar Azam Sindhu
doaj +1 more source
Analysis of Testing-Based Forward Model Selection [PDF]
, 2020 This paper introduces and analyzes a procedure called Testing-based forward model selection (TBFMS) in linear regression problems. This procedure inductively selects covariates that add predictive power into a working statistical model before estimating ...
Kozbur, Damian
core +1 more source
Testing for Asset Pricing Model based on Sentiment Indexes: SAPM Model [PDF]
Faslnāmah-i Pizhūhish/Nāmah-i Iqtisādī, 2022 The purpose of this article is to investigate the effect of behavioral deviations on the pricing of financial assets with the assumption that sentiment is an important and relevant risk factor in the Iranian capital market.
Reza Talebloo +2 more
doaj +1 more source
Implementation Support of Security Design Patterns Using Test Templates
Information, 2016 Security patterns are intended to support software developers as the patterns encapsulate security expert knowledge. However, these patterns may be inappropriately applied because most developers are not security experts, leading to threats and ...
Masatoshi Yoshizawa +5 more
doaj +1 more source