Browsing Computer Science by Subject "Model-based testing"
Now showing items 1-12 of 12
-
Automated refinement of models for model-based testing using exploratory testing
(Springer International Publishing, 2017-09)Model-based testing relies on models of the system under test to automatically generate test cases. Consequently, the effectiveness of the generated test cases depends on models. In general, these models are created manually, ... -
Automated Web application testing driven by pre-recorded test cases
(Elsevier, 2022-11)There are fully automated approaches proposed for Web application testing. These approaches mainly rely on tools that explore an application by crawling it. The crawling process results in a state transition model, which ... -
Combining model-based and risk-based testing for effective test case generation
(IEEE, 2015)Model-based testing employs models of the system under test to automatically generate test cases. In this paper, we propose an iterative approach, in which these models are refined based on the principles of risk-based ... -
Democratization of runtime verification for internet of things
(Elsevier, 2018-05)Internet of Things (IoT) devices have gained more prevalence in ambient assisted living (AAL) systems. Reliability of AAL systems is critical especially in assuring the safety and well-being of elderly people. Runtime ... -
FORMAT: a tool for adapting test models based on feature models
(IEEE, 2017)We introduce a tool that facilitates the reuse of test models for a family of systems. Test models are defined as hierarchical Markov chains for specifying possible usage of features for these systems. Variability among ... -
Improving models for model-based testing based on exploratory testing
(IEEE, 2014)Model-based testing facilitates automatic generation of test cases by means of models of the system under test. Correctness and completeness of these models determine the effectiveness of the generated test cases. Critical ... -
Increasing test efficiency by risk-driven model-based testing
(Elsevier, 2018-10)We introduce an approach and a tool, RIMA, for adapting test models used for model-based testing to augment information regarding failure risk. We represent test models in the form of Markov chains. These models comprise ... -
Model-based runtime monitoring of smart city systems
(Elsevier, 2018)The pace of proliferation for smart systems in city wide applications is unmatched. The introduction of Internet of Things (IoT), an enabler of smart city phenomenon, has incubated a productive environment for such ... -
Model-based software product line testing by coupling feature Mmodels with hierarchical Markov chain usage models
(IEEE, 2016)Model-based testing automates test case generation based on usage models of a system. In this paper, we introduce an approach for systematic reuse of these models for testing a large family of products. In our approach, ... -
Model-based testing of digital TVs: an industry-as-laboratory approach
(Springer Science+Business Media, 2017-12)Model-based testing is a promising approach for increasing the efficiency of the testing process and for improving software quality. It has been employed in the industry for more than a decade. Nevertheless, there are still ... -
Observing interoperability of IoT systems through model-based testing
(Springer Nature, 2018)Internet of Things (IoT) has drastically modified the industrial services provided through autonomous machine-to-machine interactions. Such systems comprise of devices manufactured by various suppliers. Verification is a ... -
Successive refinement of models for model-based testing to increase system test effectiveness
(IEEE, 2016)Model-based testing is used for automatically generating test cases based on models of the system under test. The effectiveness of tests depends on the contents of these models. Therefore, we introduce a novel three-step ...
Share this page