16 Hits in 3.0 sec

TPLan-A Notation for Expressing Test Purposes [chapter]

Stephan Schulz, Anthony Wiles, Steve Randall
2007 Lecture Notes in Computer Science  
This paper describes a more formal approach based on a notation which has been recently developed and standardized at the European Telecommunications Standards Institute (ETSI) called TPLan.  ...  We also discuss how TPLan can help to make test development as a whole more efficient -especially in the context of suite based test specification.  ...  Acknowledgments We would like to thank all experts who took part in TPLan test purpose specification in the ETSI IPv6 and dPMR projects for their constructive comments and feedback on the notation itself  ... 
doi:10.1007/978-3-540-73066-8_20 fatcat:3hrrapvdbndjtf7hbcof7n2ehm

Test Procedure and Description for System Testing [chapter]

K. Heussen, D. Babazadeh, M. Z. Degefa, H. Taxt, J. Merino, V. H. Nguyen, P. Teimourzadeh Baboli, A. Moghim Khavari, E. Rikos, L. Pellegrino, Q. T. Tran, T. V. Jensen (+2 others)
2020 European Guide to Power System Testing  
From the practical perspective, the Holistic Test Description (HTD) is a set of templates for each level, and an associated graphical notation for system configurations.  ...  ) [13] , and the Testing and Test Control Notation Version 3 (TTCN-3).  ... 
doi:10.1007/978-3-030-42274-5_2 fatcat:ncr7rrhxmjfgfae23ytjnfzpt4

RITA: An Index-Tuning Advisor for Replicated Databases [article]

Quoc Trung Tran, Ivo Jimenez, Rui Wang, Neoklis Polyzotis, Anastasia Ailamaki
2013 arXiv   pre-print
Given a replicated database, a divergent design tunes the indexes in each replica differently in order to specialize it for a specific subset of the workload.  ...  This specialization brings significant performance gains compared to the common practice of having the same indexes in all replicas, but requires the development of new tuning tools for database administrators  ...  For INUM, K q = TPlans(q) and each p corresponds to a distinct template plan in TPlans(q). Here, we use TPlans(q) for the set of identifiers and overload p ∈ TPlans(q) to represent an identifier.  ... 
arXiv:1304.1411v2 fatcat:i5trn6jk6rcfpnq77cebkncgge

ERIGrid Holistic Test Description for Validating Cyber-Physical Energy Systems

Kai Heussen, Cornelius Steinbrink, Ibrahim F. Abdulhadi, Van Hoa Nguyen, Merkebu Z. Degefa, Julia Merino, Tue V. Jensen, Hao Guo, Oliver Gehrke, Daniel Esteban Morales Bondy, Davood Babazadeh, Filip Pröstl Andrén (+1 others)
2019 Energies  
This empirical work first revisited present test description approaches, developed a newdescription method for cyber-physical energy systems testing, and matured it by means of user involvement.  ...  This work addresses a method for the scoping and design of experiments where both testbed and solution each require detailed expertise.  ...  providing a complete set of testing semantics is the ETSI test description suite, comprising the Test Purpose Language (TPLan)[19], Test Description language (TDL)[20], and theTesting and Test Control  ... 
doi:10.3390/en12142722 fatcat:7o4nuhxwsbbxvnbqsvzmdlijbq

FT-PIP: Flush Task Incorporated Priority-Inheritance Protocol to Reduce Information Leakage on Multiprocessor Real-Time Systems

Hyeongboo Baek, Jinkyu Lee
2021 IEEE Access  
attempt that not only (a) supports timing guarantees but also (b) satisfies security constraints for (c) a multiprocessor platform with multiple shared resources.  ...  Via simulations, we demonstrate that FT-PIP and its schedulability analysis are effective in achieving both (a) and (b) for (c).  ...  TABLE 1 : 1 Notations and their descriptions TABLE 2 : 2 The task parameters of ACSW in milliseconds Ti Di WCET tPlan 62.5 50 2.98 tNet 125 100 0.54 tMode 250 200 30.08 tUtil 500 400 231.72 tPre ∞ ∞  ... 
doi:10.1109/access.2021.3086304 fatcat:b3uvpd233fhgpm6h4grng5ob4i


Debabrata Dash, Neoklis Polyzotis, Anastasia Ailamaki
2011 Proceedings of the VLDB Endowment  
., selecting the indexes appropriate for a workload, is a crucial problem in database system tuning.  ...  In this paper, we solve index tuning for large problem instances that are common in practice, e.g., thousands of queries in the workload, thousands of candidate indexes and several hard and soft constraints  ...  For INUM, Kq = |TPlans(q)| and each k corresponds to a distinct template plan p.  ... 
doi:10.14778/1978665.1978668 fatcat:ha4okf4qgncp3pt5ay6njtwcoy

Occi And Ttcn-3: Towards A Standardized Cloud Quality Assessment Framework

Yongzheng Liang
2015 Zenodo  
such a framework.  ...  Bringing together the Open Cloud Computing Interface OCCI and the ETSI standardized test specification language TTCN-3 and related test methodologies this paper is going to demonstrate initial steps towards  ...  Ina Schieferdecker for guidance in the TTCN-3 world -Testing Technologies for the friendly provision of their TTCN-3 tool TTworkbench.  ... 
doi:10.5281/zenodo.35587 fatcat:symtsuc2nra7vgrg4cer2k5xda

OCCI and TTCN-3 - Towards a Standardized Cloud Quality Assessment Framework

Yongzheng Liang
2015 Proceedings of the 5th International Conference on Cloud Computing and Services Science  
such a framework.  ...  Bringing together the Open Cloud Computing Interface OCCI and the ETSI standardized test specification language TTCN-3 and related test methodologies this paper is going to demonstrate initial steps towards  ...  Ina Schieferdecker for guidance in the TTCN-3 world -Testing Technologies for the friendly provision of their TTCN-3 tool TTworkbench.  ... 
doi:10.5220/0005451900400048 dblp:conf/closer/Liang15 fatcat:np5f3mintzdozdekfig3zvheou

A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications

Jens Nödler, Helmut Neukirchen, Jens Grabowski
2009 2009 International Conference on Software Testing Verification and Validation  
using the Testing and Test Control Notation (TTCN-3). of analyses and by integrating it into an existing Integrated Development Environment (IDE) for TTCN-3.  ...  As a solution, a framework for software analysis is presented that is based on a flexible, yet high-level facade layer that mediates between analysis rules and the underlying target software artefact;  ...  test cases by identifying scenarios specified with the semi-formal test purpose language TPLan [8, 30] in TTCN-3 test case specifications, i.e. analyses across the boundary of one language.  ... 
doi:10.1109/icst.2009.34 dblp:conf/icst/NodlerNG09 fatcat:2lsuneo7gjg3jorbrxyzqyzdxy

A Methodology For Pattern-Oriented Model-Driven Testing of Reactive Software Systems [article]

Alain-Georges Vouffo Feudjio, Technische Universität Berlin, Technische Universität Berlin, Ina Schieferdecker
The thesis presents a catalogue of test design patterns, along with a methodology for the proposed approach.  ...  UTML is a Domain-Specific Modeling Language (DSML)for designing test objectives, test architectures, test data and test behaviour at a high level of abstraction, using predefined test design patterns.  ...  Schieferdecker for keeping the faith and pushing me with new ideas to complete this work.  ... 
doi:10.14279/depositonce-2881 fatcat:j3r6kzcd3balbph3f2vsbq54hu

Composing, optimizing, and executing plans for bioinformatics web services

Snehal Thakkar, José Luis Ambite, Craig A. Knoblock
2005 The VLDB journal  
The emergence of a large number of bioinformatics datasets on the Internet has resulted in the need for flexible and efficient approaches to integrate information from multiple bioinformatics data sources  ...  In this paper, we present our approach to automatically generate composition plans for web services, optimize the composition plans, and execute these plans efficiently.  ...  Acknowledgements We would like to thank Mark Carman, Louiqa Raschid, and the anonymous reviewers for their insightful comments that helped to improve the paper.  ... 
doi:10.1007/s00778-005-0158-4 fatcat:rmslk6e3vjgatg2nmzl2monojy

Approximation of action theories and its application to conformant planning

Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ricardo Morales
2011 Artificial Intelligence  
An action description D of AL describing the corresponding dynamic domain can be used for multiple purposes including classical planning and diagnostics (see for instance [3, 4, 7, 35] ).  ...  Moreover, complex initial situations and constraints on plans can be also expressed by logic programming rules and included in π (D).  ...  By Lemma 18, it is easy to see that Res(D, a, δ) = Cl D (de(a, δ) ∪ (lit \ ¬ph(a, δ))). By Lemma 19, it follows that Theorem 8 holds.  ... 
doi:10.1016/j.artint.2010.04.007 fatcat:4lzuxekhh5gztjslm7gftxkify

Analysis of testing methodologies for the internet of things

Marc Grabner, Wolfgang Kastner, Mario Kofler
The result is a light-weight testing methodology based on a generic testing framework developed by the European Telecommunications Standards Institute , which has been adapted for our purposes.  ...  Therefore, interoperability between all the different devices is of major concern and also embodies a big obstacle for the IoT to evolve to its fully predicted value.  ...  test purpose notation, TPLan [15] .  ... 
doi:10.34726/hss.2014.23522 fatcat:ojoknjcipbfphk6otdlshot7y4

Individual Difference Effects in Human-Computer Interaction

Anita Kak Ambardar
1983 Proceedings of the Human Factors Society Annual Meeting  
For exanple, you might be asked*Tplan a dinner which includes fish, vegetable, and some form *tato. Awksheet is provided for each problem.  ...  This is useful primarily for testing purposes. A-18 Option S (Some Data) collects all event data but does not dunp out a conplete copy of each screen which is sent to the S-conputer.  ...  For example, you want a dirmier menu to solve a problemn You will first use the commA TOP to get to the top menu.  ... 
doi:10.1177/154193128302700627 fatcat:zgvtuflrsfcmlovonhpu5cqw2y

Adapting user interfaces for visually disabled users

Alistair D. N. Edwards
This yielded a simple model of the 'hand-ear' coordination employed, which forms a basis for prediction of user behaviour.  ...  In order to test the principles a word processing program was designed and implemented to demonstrate how a visual program might be adapted to be accessed through such an interface.  ...  For the purposes of these tests a generalized method of measuring distances on a grid was used.  ... 
doi:10.21954/ fatcat:ditk5g5d35fbnky7mvh22xcsyi
« Previous Showing results 1 — 15 out of 16 results