[PDF] Top 20 2016 — Estimation model for software testing

... in 2016 is US $ ...and testing of IT solutions. There are several instances of software failures that have resulted in major economic impacts, including loss of human ...in software ... Voir le document complet

... Effort estimation integrating risk This paper proposes a framework, shown in Figure 3, for establishing effort estimation models taking into account project software risks and based on ... Voir le document complet

... non interference guarantee is required for safety reasons. The IMA architecture is defined by the ARINC 653 standard Incorporated (2013). Each func- tionality in the system is implemented by one or a set of ... Voir le document complet

... 2.2. First Implementation A first CAPE-OPEN socket version 0.93 was developed in 2001 but the use of a CO-Thermo Package was very difficult for a non-expert user. The Graphical User Interface (ValiModeller) was ... Voir le document complet

... Eddy-Current Testing (ECT), we are often interested in the joint model choice and param- eter ...ciency for models which have Gaussian-like likelihood distri- ...high model choice ability and ... Voir le document complet

... holds for tools recommending software components, which is expected given the similarity of purposes between these two ...relevant for tools assisting code exploration ...go for graphs, trees ... Voir le document complet

... Keywords—GUI testing, model-based testing, human-computer interaction ...requires software testing to closely consider the testing of graphical user interfaces ...GUI ... Voir le document complet

... The main drawback of these techniques is to rely on abstracted HW models rather than comprehensive real HW descriptions. Such descriptions are currently address by stan- dards like IP-XACT standard [14]. IP-XACT can be ... Voir le document complet

... a software for fitting models on data obtained from various stellar optical interferometers, like the ...baseline, for modeling the object, it provides a set of elementary geometrical and ... Voir le document complet

... 1.1.4 Software testing terminology Clear and unambiguous communication, through a shared terminology, is particularly helpful in any ...need for lengthy explanations. This is relevant in ... Voir le document complet

... the estimation tendencies of the populations given a limited amount of ...a software-intensive project given an elapsed period of ...mental model: conceptualize, develop, operational test & ... Voir le document complet

... cloud-based model, such a failure terminates the services hosted on a single CU, but the system remains available to provide new service instances spread on the other available CUs, although with a lower ... Voir le document complet

... A key concern in SPL modeling is how to represent vari- ability. To achieve this purpose, SPL engineers usually rea- son in terms of features. Relations and constraints between features are usually represented in a ... Voir le document complet

... Introduction Model transformations are core MDE components that automate important steps in software development such as refinement of an input model, re-factoring to improve maintainability or ... Voir le document complet

... requirements. For the “queries” criterion, RequisitePro provides functionali- ties to query and filter on requirements ...in software development and maintenance (editing, compiling, testing, ... Voir le document complet

... framework for automated pairwise testing of SPL, with an objective to generate the minimal set of test configurations that are valid and cover all pairwise feature ...interval for the configuration ... Voir le document complet

... d’une estimation précise de consommation au niveau ...cette estimation, il n’est pas nécessaire d’avoir une connaissance approfondie de l’architecture cible mais seulement une connaissance fonctionnelle du ... Voir le document complet

... We can see that there is an over-consumption of more than 2000% between a program which generates 0% of cache miss and a program which generates 100% of cache miss. Moreover, the energy variations with the parallelism ... Voir le document complet

... field for designing structure, and call, execution and cflow for designing ...pointcuts. For instance, ...constraints for implementing cSubject are: (1) three public methods getState, ... Voir le document complet

... Line, Model-based Testing, Usage Model, Orthogonal Variability Model, Requirements ...or testing large product lines [ 3 ], [ 5 ]–[ 7 ... Voir le document complet