• Aucun résultat trouvé

[PDF] Top 20 A Model-based Approach for Test Cases Generation

Has 10000 "A Model-based Approach for Test Cases Generation" found on our website. Below are the top 20 most common "A Model-based Approach for Test Cases Generation".

A Model-based Approach for Test Cases Generation

A Model-based Approach for Test Cases Generation

... methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its ...of model-based testing we are ... Voir le document complet

6

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing

... generate test cases and to compute verdicts has been widely studied in the frame of Model Based ...Under Test (SUT) can also be seen as ...its model to provide ...the test ... Voir le document complet

17

An Approach for the Validation of Fault-based Knowledge Through the Automated Generation of Model-based Functional Knowledge.

An Approach for the Validation of Fault-based Knowledge Through the Automated Generation of Model-based Functional Knowledge.

... Thus, for the main fuel control (MFC) component of JETA [Halasz et ...is a control with 7 fuel scheduling modes that vary from acceleration to deceleration with a variety of speeds in ...between. ... Voir le document complet

9

A model-based approach for interoperability test generation

A model-based approach for interoperability test generation

... k A S 2 ✮ ✇✳r✳t t❤❡ ■❚P✳ ❚❤❡ ♣r♦❞✉❝t ✐♥t❡♥❞s t♦ ❝❛❧❝✉❧❛t❡ t❤❡ ❞✐✛❡r❡♥t ✇❛②s ♦❢ s♣❡❝✐✜❝❛t✐♦♥s✬ ✐♥t❡r❛❝t✐♦♥ t♦ r❡❛❝❤ t❤❡ ■❚P✳ ❚♦ ♦❜t❛✐♥ t❤❡ ♣r♦❞✉❝t✱ ❛s ✇❡❧❧ ❛s t♦ ♠✐♥✐♠✐③❡ t❤❡ ♠❡♠♦r② r❡q✉✐r❡♠❡♥t✱ ❛ ❞❡♣t❤✲✜rst ... Voir le document complet

15

Model Generation for Quantified Formulas: A Taint-Based Approach

Model Generation for Quantified Formulas: A Taint-Based Approach

... partial model un- der construction in order to find the right quantifier instantiations, typically in a try-and-refine ...yields a solver call and the refinement process may not ...theories ... Voir le document complet

23

A more intelligent test case generation approach through task models manipulation

A more intelligent test case generation approach through task models manipulation

... testing a GUI is rarely feasible for interactive computing systems of reasonable size, a balance must be reached between the amount of coverage provided by the test cases, and the cost ... Voir le document complet

21

A Performance-based approach for fire-resistance test of reinforced concrete columns

A Performance-based approach for fire-resistance test of reinforced concrete columns

... between a column and the rest of the structure are boundary deformations and ...loads. For instance, to include effects of floor’s thermal expansion, the corresponding floor’s deformation should be ... Voir le document complet

24

Data-driven model for river flood forecasting based on a Bayesian network approach

Data-driven model for river flood forecasting based on a Bayesian network approach

... overall model accuracy rate can be estimated as the number of cases where the model correctly predicted the actual discharge value (observation discharges) over all tested cases (here 10,000 ... Voir le document complet

15

Model based code generation for distributed embedded systems

Model based code generation for distributed embedded systems

... driven approach to the Electronic Throttle Control (ETC) system. ETC replaces a mechanical system consisting of a linkage between the accelerator pedal to the throttle ...determined based on ... Voir le document complet

10

A robust CRE-based approach for model updating using in situ measurements

A robust CRE-based approach for model updating using in situ measurements

... presents a systematic approach for comparing a numerical model to test results performed in situ on a structure with time-dependent ...behavior. A crucial issue ... Voir le document complet

12

Extended Finite State Machine based test generation for an OpenFlow switch

Extended Finite State Machine based test generation for an OpenFlow switch

... EFSM model (the specification S ) for the switch is derived from the OF requirements (Open Networking Foundation, 2014) only consid- ering its interaction with the controller because our goal is to ... Voir le document complet

12

A Cost-Regular based Hybrid Column Generation Approach

A Cost-Regular based Hybrid Column Generation Approach

... have a cost between lb and ub. In the column generation procedure, this model of the pricing prob- lem is solved with a backtracking ...the model in order to find such optimal solutions ... Voir le document complet

25

Data-driven model for river flood forecasting based on a Bayesian network approach

Data-driven model for river flood forecasting based on a Bayesian network approach

... 172 cases in [40, 60]m 3 ∕s , 6 cases in [80, 100] and 2 cases in [100, ...overall model accuracy rate can be estimated as the number of cases where the model correctly predicted ... Voir le document complet

14

A Model Driven Approach for Automated Generation of Service-Oriented Holonic Manufacturing Systems

A Model Driven Approach for Automated Generation of Service-Oriented Holonic Manufacturing Systems

... 4.4 Model Transformation and Code Generation The goal is to reduce the complexity of the development (programming and test- ing) by an iterative process made of simple processing task (modelling, ... Voir le document complet

13

Tri-Modal Under-Approximation  for Test Generation

Tri-Modal Under-Approximation for Test Generation

... defined a predicate that characterizes the set of states reachable in n steps, ...given a procedure to compute a symbolic execution tree, which records the successions of abstract states reached by ... Voir le document complet

14

Wiki support for automated definition of software test cases

Wiki support for automated definition of software test cases

... is a good complement to describe and organize the used vocabulary, the benefit of using the LEL is ...use a precise vocabulary reducing the ambiguity, but it also structures the description in order to ... Voir le document complet

22

Wiki support for automated definition of software test cases

Wiki support for automated definition of software test cases

... is a good complement to describe and organize the used vocabulary, the benefit of using the LEL is ...use a precise vocabulary reducing the ambiguity, but it also structures the description in order to ... Voir le document complet

21

A scalable model based approach for data model evolution: Application to space missions data models

A scalable model based approach for data model evolution: Application to space missions data models

... • a large amount of data is produced, processed, transformed and sent to end-users during the life of the ...Arguably, a complete and non-ambiguous definition of any kind of data produced is a key ... Voir le document complet

29

Validity of the Diffused Aerial Image Model: an Assessment Based on Multiple Test Cases

Validity of the Diffused Aerial Image Model: an Assessment Based on Multiple Test Cases

... used for CD prediction: full resist models (with physical meaning, but using a wider range of parameters), or simplified resist models (which empirically include all physical phenomena and use few ... Voir le document complet

11

ATLTest: A White-Box Test Generation Approach for ATL Transformations

ATLTest: A White-Box Test Generation Approach for ATL Transformations

... with a more reliable ...in a piece of software is impossible [5], and the number of test cases that can be created to test a piece of software can be potentially infinite, it is ... Voir le document complet

18

Show all 10000 documents...