Search
Now showing items 1-10 of 13
Automated extraction of feature models from android based portable devices
(IEEE, 2017)
Domain analysis is an essential activity in software product line engineering to identify common and variable features among the products of a product family. Feature models are commonly used for depicting the identified ...
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 ...
Test kâhini olarak görüntü karşılaştırma algoritmalarının değerlendirilmesi
(CEUR-WS, 2017)
Televizyon gibi yoğun yazılım içeren gömülü sistemlerin kara kutu testleri, grafik kullanıcı arayüzleri (GKA) aracılığıyla gerçekleştirilmektedir. Bu testlerin otomasyonu kapsamında bir dizi kullanıcı işlemi dışarıdan ...
Evaluating software architecture erosion for PL/SQL programs
(The ACM Digital Library, 2017)
PL/SQL procedures are grouped into packages for providing modularity. These procedures are indirectly coupled due to their use of common database tables. We define a cohesion metric and cluster PL/SQL procedures based on ...
PL/SQL programları i̇çin veri tabanı bağımlılık analizi
(CEUR-WS, 2017)
PL/SQL dili ile yazılan programlar, veri tabanı üzerinde prosedür ve fonksiyon objeleri, ve bu objelerin bir kümesini barındıran paket objeleri olarak geliştirilmektedirler. Bu objeler yoğun olarak tablo ve görünüm gibi ...
Reproducing failures based on semiformal failure scenario descriptions
(Springer International Publishing, 2017)
Due to the increasing size and complexity of software systems, it becomes hard to test these systems exhaustively. As a result, some faults can be left undetected. Undetected faults can lead to failures in deployed systems. ...
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 ...
Availability analysis of software architecture decomposition alternatives for local recovery
(2017)
We present an efficient and easy-to-use methodology to predict—at design time—the availability of systems that support local recovery. Our analysis techniques work at the architectural level, where the software designer ...
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, ...
Runtime verification of Iot systems using complex event processing
(IEEE, 2017)
Internet of Things (IoT) is a new computing paradigm that is proliferated by wide adoption of application level protocols such as MQTT and CoAP, each of which defines different styles of sequential interaction of events. ...
Share this page