Keywords: تست مبتنی بر مدل; Internet of things; Model-based testing; Runtime verification; Complex-event processing; Model-to-text transformation; Edge computing;
مقالات ISI تست مبتنی بر مدل (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تست مبتنی بر مدل; Cyber-physical systems; Model-based testing; Conformance testing; Soundness; Reachability analysis;
Keywords: تست مبتنی بر مدل; Concurrent programs; Model-based testing; Stateless search; Test oracle; Test sequences;
Keywords: تست مبتنی بر مدل; Model-based testing; Software architecture; Systematic review;
Keywords: تست مبتنی بر مدل; Model-based testing; Model refinement; Statistical usage testing; Risk-based testing; Industrial case study; Software test automation;
Keywords: تست مبتنی بر مدل; Model-based testing; Probabilistic systems; Distributed systems;
Keywords: تست مبتنی بر مدل; Uncertainty; Belief model; Belief test ready model; Model evolution; Model-based testing;
Keywords: تست مبتنی بر مدل; Model-based testing; Aspect-oriented model; Mutation testing;
Keywords: تست مبتنی بر مدل; Wind turbine system; Model-based testing; MaTeLo; Model checking; UPPAAL;
Keywords: تست مبتنی بر مدل; Cable-stayed footbridge; Vibration reduction; Experimental research; Model-based testing; Modal analysis
Keywords: تست مبتنی بر مدل; Regression testing; Test case selection; Model-based testing; Experimental study;
Keywords: تست مبتنی بر مدل; Model-based testing; Test-case generation; Mutation testing; MoMuT; Refinement; Ioco;
Keywords: تست مبتنی بر مدل; Model-based testing; Predicate abstraction; Symbolic exploration; Over and under approximations;
Keywords: تست مبتنی بر مدل; Mutation testing; Model-based testing; Model-based mutation testing; Mutation operator; Fault detection capability
Keywords: تست مبتنی بر مدل; Software testing; Systematic literature review; Model-based testing; Search-based techniques; Taxonomy; Test case generation;
Keywords: تست مبتنی بر مدل; Model-based testing; Finite State Machines; Checking sequences; Synchronizing sequences; Formal methods
Keywords: تست مبتنی بر مدل; Model-based testing; Mutation testing; Constraint solving; Refinement; Action systems
Keywords: تست مبتنی بر مدل; Software testing; Distributed software; Model-based testing
Keywords: تست مبتنی بر مدل; Large-scale systems; Model-based testing; Regression testing; Variable software architectures
Keywords: تست مبتنی بر مدل; Railway interlocking systems; System validation; Model-based testing; Formal methods; Model checking
A family of test selection criteria for Timed Input-Output Symbolic Transition System models
Keywords: تست مبتنی بر مدل; Software testing; Model-based testing; Test selection criteria; Test adequacy criteria; Real-time systems
Manual test case derivation from UML activity diagrams and state machines: A controlled experiment
Keywords: تست مبتنی بر مدل; System testing; Test design; Model-based testing; Controlled experiment
Generating combinatorial test cases using Simplified Swarm Optimization (SSO) algorithm for automated GUI functional testing
Keywords: تست مبتنی بر مدل; GUI functional testing; Model-based testing; Combinatorial testing (CT); Simplified particle swarm optimization; Search base software engineering (SBSE)
Comparing model-based and dynamic event-extraction based GUI testing techniques: An empirical study
Keywords: تست مبتنی بر مدل; GUI testing; Test case generation; Model-based testing; Dynamic event-extraction based testing
Model-based robustness testing for avionics-embedded software
Keywords: تست مبتنی بر مدل; Embedded software; Hardware-in-loop; Model-based testing; Robustness testing; Testing environment
A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector
Keywords: تست مبتنی بر مدل; Discrete event systems; LabVIEW; Model checking; Model-based testing; Multifunctional end-effector; Software verification
Iterative execution-feedback model-directed GUI testing
Keywords: تست مبتنی بر مدل; Test-case generation; Model-based testing; GUI testing; Event-driven software; Event-flow graphs
Using coverage to automate and improve test purpose based testing
Keywords: تست مبتنی بر مدل; Coverage criteria; Test purposes; Lotos; TGV; Model-based testing
Model-based testing approaches selection for software projects
Keywords: تست مبتنی بر مدل; Software testing; Model-based testing; Software technologies selection; Experimental studies
Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms
Keywords: تست مبتنی بر مدل; Stress testing; Performance testing; Model-based testing; Distributed systems; Real-time systems; UML; Network traffic; Genetic algorithms
Environment behavior models for automation of testing and assessment of system safety
Keywords: تست مبتنی بر مدل; Model-based testing; Testing automation; Reactive and real-time system testing
Abstractions for Model-Based Testing
Keywords: تست مبتنی بر مدل; Model-based testing; SUT; verification; specification;
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Keywords: تست مبتنی بر مدل; Model-based testing; models integration; testing accuracy; testing effort;
Model-Based Built-In Tests
Keywords: تست مبتنی بر مدل; UML Modeling; Model-based Testing; Test Modeling; Test Automation; Testing and Test Control Notation; Component-based Testing;