TESTAR

2015 ◽  
Vol 6 (3) ◽  
pp. 46-83 ◽  
Author(s):  
Tanja E.J. Vos ◽  
Peter M. Kruse ◽  
Nelly Condori-Fernández ◽  
Sebastian Bauersfeld ◽  
Joachim Wegener
Keyword(s):  
Graphical User Interface ◽  
State Of The Art ◽  
Research Impact ◽  
Automated Testing ◽  
Test Cases ◽  
Sensitive Test ◽  
Testing Tools ◽  
Innovation Transfer ◽  
Insight Into ◽  
Maintenance Problem

Testing applications with a graphical user interface (GUI) is an important, though challenging and time consuming task. The state of the art in the industry are still capture and replay tools, which may simplify the recording and execution of input sequences, but do not support the tester in finding fault-sensitive test cases and leads to a huge overhead on maintenance of the test cases when the GUI changes. In earlier works the authors presented the TESTAR tool, an automated approach to testing applications at the GUI level whose objective is to solve part of the maintenance problem by automatically generating test cases based on a structure that is automatically derived from the GUI. In this paper they report on their experiences obtained when transferring TESTAR in three different industrial contexts with decreasing involvement of the TESTAR developers and increasing participation of the companies when deploying and using TESTAR during testing. The studies were successful in that they reached practice impact, research impact and give insight into ways to do innovation transfer and defines a possible strategy for taking automated testing tools into the market.

scholarly journals Bootstrapping Automated Testing for RESTful Web Services

2021 ◽  
pp. 46-66
Author(s):  
Yixiong Chen ◽  
Yang Yang ◽  
Zhanyao Lei ◽  
Mingyuan Xia ◽  
Zhengwei Qi
Keyword(s):  
Web Services ◽  
Web Service ◽  
State Of The Art ◽  
Automated Testing ◽  
Test Cases ◽  
Proof Of Concept ◽  
Fine Grained ◽  
Testing Tools ◽  
Restful Web Services ◽  
Restful Services

AbstractModern RESTful services expose RESTful APIs to integrate with diversified applications. Most RESTful API parameters are weakly typed, which greatly increases the possible input value space. This poses difficulties for automated testing tools to generate effective test cases to reveal web service defects related to parameter validation. We call this phenomenon the type collapse problem. To remedy this problem, we introduce FET (Format-encoded Type) techniques, including the FET, the FET lattice, and the FET inference to model fine-grained information for API parameters. Enhanced by FET techniques, automated testing tools can generate targeted test cases. We demonstrate Leif, a trace-driven fuzzing tool, as a proof-of-concept implementation of FET techniques. Experiment results on 27 commercial services show that FET inference precisely captures documented parameter definitions, which helps Leif to discover 11 new bugs and reduce $$72\% \sim 86\%$$ 72 % ∼ 86 % fuzzing time as compared to state-of-the-art fuzzers.

scholarly journals Studi Perbandingan Alat Pengujian Otomatis untuk Aplikasi Android

2019 ◽  
Vol 6 (6) ◽  
pp. 645
Author(s):  
Arlinta Christy Barus ◽  
Leo Siburian
Keyword(s):  
Mobile Application ◽  
Automated Testing ◽  
Test Case ◽  
Test Cases ◽  
Test Automation ◽  
Testing Framework ◽  
Testing Tools ◽  
Long Time ◽  
Android Applications ◽  
Time Required

<p class="IEEEAbtract">Pengujian adalah tahap yang penting dan harus dilalui dalam proses pengembangan perangkat lunak. Pengujian tersebut dilakukan untuk menghindari kesalahan yang mungkin terdapat pada perangkat lunak yang diuji. Ada banyak kasus uji (<em>test case</em>) yang harus dieksekusi dalam proses pengujian. Karena itu, pengujian yang dilakukan secara manual membutuhkan upaya yang besar. Oleh sebab itu pengujian otomatis (<em>automated testing</em>) menjadi hal yang penting untuk dipertimbangkan menggantikan pengujian manual. Pengujian otomatis adalah penggunaan kakas pengujian (<em>testing tools</em> atau <em>testing framework</em>) dalam melakukan pengujian suatu perangkat lunak yang secara signifikan mengurangi waktu yang dibutuhkan untuk melakukan pengujian. Ada banyak kakas yang dapat digunakan untuk melakukan pengujian otomatis, antara lain Selendroid, Calabash, dan UI Automator. Tulisan ini membahas tentang studi perbandingan kakas pengujian otomatis pada aplikasi<em> </em><em>mobile</em> berbasis android dengan menggunakan Selendroid, Calabash, dan UI Automator.  Eksperimen dilakukan untuk mengetahui kelebihan dan kekurangan masing-masing tools. Dari hasil analisis dan eksperimen, penulis merekomendasikan UI Automator sebagai kakas terbaik dalam hal kemudahan penginstalasian dan menjalankan kasus uji dalam sebuah kegiatan pengujian aplikasi <em>mobile</em> berbasis android.</p><p class="IEEEAbtract"> </p><p class="IEEEAbtract"><em><strong>Abstract</strong></em></p><p class="Abstrak"><em>Testing is a must to do phase in software development process. It is perfomed to avoid any bugs that may exist in the </em><em>software. There are many test cases to be executed in the testing process</em><em> to make sure software is running according to its specification and without any bugs. Testing done manually take</em><em>s a long time and extra work. Therefore, automated testing is </em><em>important. Automated testing is the use of testing tools or testing framework in testing a software. Automated testing aims to test or significantly reduce the time required for testing. There are many tools that can be used to perform test automation</em><em> of android mobile application, including Selendroid, Calabash</em><em>, and UI Automator. </em><em>This paper discusses about comparative studies of automated testing tools on android applications using Selendroid, Calabash</em><em>, and UI Automator. </em><em>Some experiments are conducted to know the </em><em>strengths and </em><em>weakness of each tool</em><em>. Based on this study, we give recommendation to UI Automator as the handiest tool to use in term of installation and the execution of the test cases. </em></p><p class="IEEEAbtract"><em><strong><br /></strong></em></p>

scholarly journals Significance of Mast Cell Formed Extracellular Traps in Microbial Defense

2021 ◽  
Author(s):  
Daniel Elieh Ali Komi ◽  
Wolfgang M. Kuebler
Keyword(s):  
State Of The Art ◽  
Extracellular Dna ◽  
Cellular Mechanisms ◽  
Extracellular Traps ◽  
Synthetic Chemicals ◽  
Dna Strands ◽  
Associated Proteins ◽  
Microbial Defense ◽  
And Function ◽  
Insight Into

AbstractMast cells (MCs) are critically involved in microbial defense by releasing antimicrobial peptides (such as cathelicidin LL-37 and defensins) and phagocytosis of microbes. In past years, it has become evident that in addition MCs may eliminate invading pathogens by ejection of web-like structures of DNA strands embedded with proteins known together as extracellular traps (ETs). Upon stimulation of resting MCs with various microorganisms, their products (including superantigens and toxins), or synthetic chemicals, MCs become activated and enter into a multistage process that includes disintegration of the nuclear membrane, release of chromatin into the cytoplasm, adhesion of cytoplasmic granules on the emerging DNA web, and ejection of the complex into the extracellular space. This so-called ETosis is often associated with cell death of the producing MC, and the type of stimulus potentially determines the ratio of surviving vs. killed MCs. Comparison of different microorganisms with specific elimination characteristics such as S pyogenes (eliminated by MCs only through extracellular mechanisms), S aureus (removed by phagocytosis), fungi, and parasites has revealed important aspects of MC extracellular trap (MCET) biology. Molecular studies identified that the formation of MCET depends on NADPH oxidase-generated reactive oxygen species (ROS). In this review, we summarize the present state-of-the-art on the biological relevance of MCETosis, and its underlying molecular and cellular mechanisms. We also provide an overview over the techniques used to study the structure and function of MCETs, including electron microscopy and fluorescence microscopy using specific monoclonal antibodies (mAbs) to detect MCET-associated proteins such as tryptase and histones, and cell-impermeant DNA dyes for labeling of extracellular DNA. Comparing the type and biofunction of further MCET decorating proteins with ETs produced by other immune cells may help provide a better insight into MCET biology in the pathogenesis of autoimmune and inflammatory disorders as well as microbial defense.

Towards Interconnected Blockchains

2021 ◽  
Vol 54 (7) ◽  
pp. 1-39
Author(s):  
Ankur Lohachab ◽  
Saurabh Garg ◽  
Byeong Kang ◽  
Muhammad Bilal Amin ◽  
Junmin Lee ◽  
...  
Keyword(s):  
State Of The Art ◽  
The State ◽  
Future Research ◽  
Missing Link ◽  
Layered Architecture ◽  
Blockchain Technology ◽  
Wide Scale ◽  
Effective Development ◽  
Insight Into ◽  
Game Changer

Unprecedented attention towards blockchain technology is serving as a game-changer in fostering the development of blockchain-enabled distinctive frameworks. However, fragmentation unleashed by its underlying concepts hinders different stakeholders from effectively utilizing blockchain-supported services, resulting in the obstruction of its wide-scale adoption. To explore synergies among the isolated frameworks requires comprehensively studying inter-blockchain communication approaches. These approaches broadly come under the umbrella of Blockchain Interoperability (BI) notion, as it can facilitate a novel paradigm of an integrated blockchain ecosystem that connects state-of-the-art disparate blockchains. Currently, there is a lack of studies that comprehensively review BI, which works as a stumbling block in its development. Therefore, this article aims to articulate potential of BI by reviewing it from diverse perspectives. Beginning with a glance of blockchain architecture fundamentals, this article discusses its associated platforms, taxonomy, and consensus mechanisms. Subsequently, it argues about BI’s requirement by exemplifying its potential opportunities and application areas. Concerning BI, an architecture seems to be a missing link. Hence, this article introduces a layered architecture for the effective development of protocols and methods for interoperable blockchains. Furthermore, this article proposes an in-depth BI research taxonomy and provides an insight into the state-of-the-art projects. Finally, it determines possible open challenges and future research in the domain.

Exploiting native language interference for native language identification

2020 ◽  
pp. 1-31
Author(s):  
Ilia Markov ◽  
Vivi Nastase ◽  
Carlo Strapparava
Keyword(s):  
Second Language ◽  
State Of The Art ◽  
Native Language ◽  
Emotion Expression ◽  
The State ◽  
Language Identification ◽  
Independent Features ◽  
Insight Into

Abstract Native language identification (NLI)—the task of automatically identifying the native language (L1) of persons based on their writings in the second language (L2)—is based on the hypothesis that characteristics of L1 will surface and interfere in the production of texts in L2 to the extent that L1 is identifiable. We present an in-depth investigation of features that model a variety of linguistic phenomena potentially involved in native language interference in the context of the NLI task: the languages’ structuring of information through punctuation usage, emotion expression in language, and similarities of form with the L1 vocabulary through the use of anglicized words, cognates, and other misspellings. The results of experiments with different combinations of features in a variety of settings allow us to quantify the native language interference value of these linguistic phenomena and show how robust they are in cross-corpus experiments and with respect to proficiency in L2. These experiments provide a deeper insight into the NLI task, showing how native language interference explains the gap between baseline, corpus-independent features, and the state of the art that relies on features/representations that cover (indiscriminately) a variety of linguistic phenomena.

scholarly journals Minimally Invasive Technologies for Treatment of HTS and Keloids: Fractional Laser

2020 ◽  
pp. 279-285
Author(s):  
M. Tretti Clementoni ◽  
E. Azzopardi
Keyword(s):  
Minimally Invasive ◽  
Burn Injury ◽  
State Of The Art ◽  
Skin Grafting ◽  
Complex Problem ◽  
Fractional Laser ◽  
Thickness Skin ◽  
Split Thickness Skin Grafting ◽  
Insight Into

AbstractThis chapter presents a state-of-the-art insight into the use of fractional laser for the management of this complex problem. In particular, we focus on the management of complex scars such as those occurring post-burn injury and split-thickness skin grafting.

scholarly journals State-of-the-art on monolingual lexicography for Croatia (Croatian)

2019 ◽  
Vol 7 (1) ◽  
pp. 65-77
Author(s):  
Kristina Štrkalj Despot ◽  
Lana Hudeček ◽  
Tomislav Stojanov ◽  
Nikola Ljubešić
Keyword(s):  
State Of The Art ◽  
The State ◽  
Writing Systems ◽  
Insight Into

In this minireview, the state of the art of the Croatian monolingual lexicography is presented. A brief overview and classification of all existing lexicographic resources is provided in the firts part of the minireview, followed by somewhat more detailed insight into the existing Croatian monolingual dictionaries and monolingual lexicographic projects, orthography dictionaries, and dictionary writing systems used.

scholarly journals Condition Monitoring Technologies for Synthetic Fiber Ropes - a Review

2020 ◽  
Vol 8 (2) ◽  
Author(s):  
Espen Oland ◽  
Rune Schlanbusch ◽  
Shaun Falconer
Keyword(s):  
Condition Monitoring ◽  
State Of The Art ◽  
Degradation Process ◽  
Synthetic Fiber ◽  
Physical Parameters ◽  
The Subject ◽  
Condition Monitoring System ◽  
Future Direction ◽  
Monitoring Technologies ◽  
Insight Into

This paper presents a review of different condition monitoring technologies for fiber ropes. Specifically, it presents an overview of the articles and patents on the subject, ranging from the early 70’s up until today with the state of the art. Experimental results are also included and discussed in a conditionmonitoring context,where failuremechanisms and changes in physical parameters give improved insight into the degradation process of fiber ropes. From this review, it is found that automatic width measurement has received surprisingly little attention, and might be a future direction for the development of a continuous condition monitoring system for synthetic fiber ropes.

Security Policies a Formal Environment for a Test Cases Generation

2019 ◽  
pp. 237-264
Author(s):  
Ryma Abassi ◽  
Sihem Guemara El Fatmi
Keyword(s):  
Secure Communication ◽  
Communication Systems ◽  
Security Policy ◽  
System Modeling ◽  
Test Cases ◽  
Model Checker ◽  
Specification Test ◽  
Security Strategy ◽  
Testing Tools ◽  
Test Objective

Specifying a security policy (SP) is a challenging task in the development of secure communication systems since it is the bedrock of any security strategy. Paradoxically, this specification is error prone and can lead to an inadequate SP regarding the security needs. Therefore, it seems necessary to define an environment allowing one to “trust” the implemented SP. A testing task aims verifying whether an implementation is conforming to its specification. Test is generally achieved by generating and executing test cases. Some automated testing tools can be used from which model checkers. In fact, given a system modeling and a test objective, the model checker can generate a counterexample from which test cases can be deduced. The main proposition of this chapter is then a formal environment for SP test cases generation based on a system modeling, a SP specification (test purpose), and the use of a model checker. Once generated, these test cases must be improved in order to quantify their effectiveness to detect SP flaws. This is made through the generation of mutants.

Sign in / Sign up

Export Citation Format

Share Document