Search results for "testaus"

Code Contracts ja ComTest-yksikkötestausgenerointi .NET-kielissä

2015

Opetuksen tehostamiseen suunnattu työkalu ComTest osaa luoda yksikkötestejä koodin kommentteihin kirjoitettujen ohjeiden perusteella. Sopimuspohjaisessa suunnittelussa olion metodeille asetetaan ehtoja, joiden on oltava voimassa ennen operaation suorittamista tai sen jälkeen. Tällaiset ehdot voidaan automaattisesti kirjoittaa osaksi koodin kommentteja. Code Contracts on laajennos .NET-kieliin, jonka avulla sopimuspohjainen suunnittelu saadaan osaksi sovelluskehitystä. Tutkimuksessa selvitetään, miten ComTest ja Code Contracts liittyvät toisiinsa. ComTest, a tool mainly directed to make teaching more efficient, is able to create Unit Tests based on directions written in the code comments. In…

Progress Checking for Dummies

2018

Verification of progress properties is both conceptually and technically significantly more difficult than verification of safety and deadlock properties. In this study we focus on the conceptual side. We make a simple modification to a well-known model to demonstrate that it passes progress verification although the resulting model is intuitively badly incorrect. Then we point out that the error can be caught easily by adding a termination branch to the system. We compare the use of termination branches to the established method of addressing the same need, that is, weak fairness. Then we discuss another problem that may cause failure of catching progress errors even with weak fairness. Fi…

Picture naming yields highly consistent cortical activation patterns: Test–retest reliability of magnetoencephalography recordings

2020

Reliable paradigms and imaging measures of individual-level brain activity are paramount when reaching from group-level research studies to clinical assessment of individual patients. Magnetoencephalography (MEG) provides a direct, non-invasive measure of cortical processing with high spatiotemporal accuracy, and is thus well suited for assessment of functional brain damage in patients with language difficulties. This MEG study aimed to identify, in a delayed picture naming paradigm, source-localized evoked activity and modulations of cortical oscillations that show high test–retest reliability across measurement days in healthy individuals, demonstrating their applicability in clinical set…

Automatisoitu GUI-testaus mobiiliapplikaatioissa

2017

Mobiiliapplikaatioiden määrä on kasvanut viime vuosina paljon, joten niiden laadunvalvonta on tärkeää. Tässä tutkielmassa etsitään automatisoidusta GUI-testauksesta piirteitä, jotka auttaisivat mobiilitestausta kohtaamaan alan kasvavat vaatimukset. Lupaavimpia ratkaisuja tarjoavat testityökalut, jotka yhdistävät erilaisia testaustapoja tai toimivat useilla alustoilla. The number of mobile applications has grown much over the past years, making quality control for apps important. In this thesis traits that help mobile testing face the growing demands of the industry are looked for from automated GUI testing. The test tools that seem most promising combine different ways of testing or work on…

Does the law matter? An empirical study on the accessibility of Finnish higher education institutions’ web pages

2022

AbstractInformation and communication technology (ICT) has made higher education available to many students in a new way. The role of online learning in higher education institutions (HEIs) has grown to an unprecedented scale due to the COVID-19 pandemic. The diversity of higher education students has increased, and accessible solutions are needed. New European and national regulations support these trends. The research reported in this paper was conducted in Finland, which is one of the leading European countries in terms of high technology and digitalisation. The aim of this research is to explore the accessibility of all Finnish HEIs’ (N = 38) landing pages based on Web Content Accessibi…

EJB:n eri käyttötapojen tehokkuus tiedonsiirrossa tietokantaan käyttäen OC4J palvelinta

2002

GEM-TPC-ilmaisimen testimittausten datan analyysi

2017

GEM-TPC-ilmaisin on kaasutäytteinen hiukkasilmaisin, jolla pystytään mittaaamaan hyvin pieniä sähköisiä signaaleja ja niiden syntypaikkaa ilmaisimessa. Näitä ilmaisimia tullaan tulevaisuudessa käyttämään mm. FAIRtutkimuslaitoksen Super-FRS-nimisessä fragmenttiseparaattorissa. Tässä tutkielmassa analysoin kesällä 2016 GEM-TPC:llä GSI:ssä suoritettuja ilmaisintestimittauksia ROOT-ohjelmiston avulla. Alkuun kerron, miksi GEM-TPC-ilmaisin on lähdetty suunnittelemaan, minkälaisia mittauksia ja missä sillä on tarkoitus tehdä. Tutkielman loppupuolella analysoin testimittausten tuloksia. GSI:ssä GEM-TPC:tä testattiin Xe- ja C-suihkujen avulla. Tässä tutkielmassa perehdyn syvemmin C-suihkusta tehtyi…

An Approach to the Automatic Comparison of Reference Point-Based Interactive Methods for Multiobjective Optimization

2021

Solving multiobjective optimization problems means finding the best balance among multiple conflicting objectives. This needs preference information from a decision maker who is a domain expert. In interactive methods, the decision maker takes part in an iterative process to learn about the interdependencies and can adjust the preferences. We address the need to compare different interactive multiobjective optimization methods, which is essential when selecting the most suited method for solving a particular problem. We concentrate on a class of interactive methods where a decision maker expresses preference information as reference points, i.e., desirable objective function values. Compari…

GDL90fuzz: Fuzzing - GDL-90 Data Interface Specification Within Aviation Software and Avionics Devices–A Cybersecurity Pentesting Perspective

2022

As the core part of next-generation air transportation systems, the Automatic Dependent Surveillance-Broadcast (ADS-B) is becoming very popular. However, many (if not most) ADS-B devices and implementations support and rely on Garmin’s GDL-90 protocol for data exchange and encapsulation. In this paper, we research GDL-90 protocol fuzzing options and demonstrate practical Denial-of-Service (DoS) attacks on popular Electronic Flight Bag (EFB) software operating on mobile devices. For this purpose, we specifically configured our own avionics pentesting platform. and targeted the popular Garmin’s GDL-90 protocol as the industry-leading devices operate on it. We captured legitimate traffic from …

IAS 36 -standardin mukaisen liikearvon arvonalentumistestauksen raportoinnin laatu ja siihen vaikuttavat tekijät suomalaisissa pörssiyhtiöissä tilika…

2014

Tutkielma käsittelee IAS 36 -standardin mukaisen liikearvon arvonalentumistestauksen rapor-tointiohjeistuksen noudattamista ja tätä kautta määriteltävää liikearvoraportoinnin laatua sekä laatuun vaikuttavia tekijöitä. Otoksena ovat suomalaiset pörssiyhtiöt, joiden taseen loppusummasta liikearvo muodosti vähintään 10 prosentin osuuden tilikaudella 2012. Laadun mittaamiseksi muodostettiin pisteytysmittaristo, jonka avulla laatu voitiin esittää asteikolla 0 – 100 %. Laatua mitattiin myös raportoinnin osa-alueittain. Osa-alueita olivat yleiset kysymykset, johdon ennustejakso, terminaalijakso, herkkyysanalyysi sekä raportoinnin tietolähteet. Tutkitut liikearvon arvonalentumistestauksen raportoin…