Wyniki wyszukiwania dla: MODEL-BASED TESTING

• Model-Based Testing of Embedded Systems in the Automotive Domain

  Publikacja

  • J. Zander

  - Rok 2009

  PhD

  Pełny tekst do pobrania w serwisie zewnętrznym

• Model-based testing for execution algorithms in the simulation of cyber-physical systems

  Publikacja

  • J. Zander

  - Rok 2013

  The understanding of simulation semantics of a hybrid system is a challenge for computational engineers as it requires expertise in computer science, engineering, numerical methods, and mathematics at once. The testing methods for the execution of a simulation are being researched but not yet applied on the industrial level. Consequently, the semantics of the simulation becomes a critical artifact in the system development process....

  Pełny tekst do pobrania w serwisie zewnętrznym

• A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains

  Publikacja

  • J. Zander
  • P. J. Mosterman

  - Rok 2012

  This chapter provides a taxonomy of Model-Based Testing (MBT) based on the approaches that are presented throughout this book as well as in the related literature. The techniques for testing are categorized using a number of dimensions to familiarize the reader with the terminology used throughout the chapters that follow. In this chapter, after a brief introduction, a general definition of MBT and related work on available MBT...

  Pełny tekst do pobrania w serwisie zewnętrznym

• A Human Behaviour Model Agent for Testing of Voluntary Computing Systems

  Publikacja

  • M. Matuszek

  - Rok 2014

  Paper presents a design and performance of a voluntary-based distributed computing system testing agent, implementing a human behaviour model. The agent, nicknamed iRobot, was designed and implemented to enable controlled, large scale testing of core algorithms of Comcute - a new voluntary distributed computing platform complementary to BOINC. The main agent design goals were: emulation of human behaviour when browsing web pages,...

  Pełny tekst do pobrania w serwisie zewnętrznym

• Quality testing methods of foil-based capacitors

  Publikacja

  • J. Smulko
  • K. Józwiak
  • M. Olesz

  - MICROELECTRONICS RELIABILITY - Rok 2012

  Kondensatory foliowe są powszechnie stosowanymi elementami pasywnymi w ukłądach zasilania. Dotychczasowe metody oceny ich jakości są długotrwałe oraz zużywają energię. W pracy przedstawiono propozycje szeregu nowych, bardziej efektywnych metod, które mogą być z sukcesem stosowane podczas ich produkcji.

  Pełny tekst do pobrania w portalu

• Testing A Novel Gesture-Based Mixing Interface

  Publikacja

  • M. Lech
  • B. Kostek

  - JOURNAL OF THE AUDIO ENGINEERING SOCIETY - Rok 2013

  With a digital audio workstation, in contrast to the traditional mouse-keyboard computer interface, hand gestures can be used to mix audio with eyes closed. Mixing with a visual representation of audio parameters during experiments led to broadening the panorama and a more intensive use of shelving equalizers. Listening tests proved that the use of hand gestures produces mixes that are aesthetically as good as those obtained using...

  Pełny tekst do pobrania w portalu

• Peculiarities associated with testing polyetheretherketone (PEEK) in a model rolling contact

  Publikacja

  • T. Stolarski
  • R. Gawarkiewicz

  - TRIBOLOGY INTERNATIONAL - Rok 2015

  Polyetheretherketone (PEEK) was investigated using a modified version of the four-ball tester in which the upper forth ball was replaced by a cone in such a way that kinematics of the four-ball configuration were fully preserved. Rotation of the cone enforced orbiting and rolling of the ceramic balls around the polymer cup. The results produced some unexpected peculiarities in the wear of ceramic balls which, in principle, should...

  Pełny tekst do pobrania w serwisie zewnętrznym

• Testing the Effect of Bathymetric Data Reduction on the Shape of the Digital Bottom Model

  Publikacja

  • W. Mujta
  • M. Wlodarczyk-Sielicka
  • A. Stateczny

  - SENSORS - Rok 2023

  Depth data and the digital bottom model created from it are very important in the inland and coastal water zones studies and research. The paper undertakes the subject of bathymetric data processing using reduction methods and examines the impact of data reduction according to the resulting representations of the bottom surface in the form of numerical bottom models. Data reduction is an approach that is meant to reduce the size...

  Pełny tekst do pobrania w portalu

• Acceptance Testing of Software Products for Cloud-Based On-Line Delivery

  Publikacja

  • B. Wiszniewski

  - TASK Quarterly - Rok 2015

  Software products intended for on-line delivery by distributors serving an open community of subscribers are developed in a specific life-cycle model, in which roles of the major stakeholders are strongly separated, unlike in any other software development model known in software engineering. Its specificity underlines the fact that a distributor of the final product, responsible for its acceptance for publication and delivery...

  Pełny tekst do pobrania w portalu

• Impedance Spectra of RC Model as a Result of Testing Pulse Excitation Measurement Method Dataset

  Publikacja

  • G. Lentka

  - Rok 2022

  The dataset titled Impedance spectra of RC model as a result of testing pulse excitation measurement method contains the impedance spectrum of an exemplary test RC model obtained using pulse excitation. The dataset allows presentation of the accuracy of the impedance spectroscopy measuring instrument, which uses the pulse excitation method to shorten the time of the whole spectrum acquisition.

  Pełny tekst do pobrania w portalu