Software Reliability Issues: An Experimental Approach

In this thesis, we present methodologies involving a data structure called the debugging graph whereby the predictive performance of software reliability models can be analyzed and improved under laboratory conditions. This procedure substitutes the averages of large sample sets for the single point samples normally used as inputs to these models and thus supports scrutiny of their performances with less random input data. Initially, we describe the construction of an extensive database of empirical reliability data which we derived by testing each partially debugged version of subject software represented by complete or partial debugging graphs. We demonstrate how these data can be used to assign relative sizes to known bugs and to simulate multiple debugging sessions. We then present the results from a series of proof-of-concept experiments. We show that controlling fault recovery order as represented by the data input to some well-known reliability models can enable them to produce more accurate predictions and can mitigate anomalous effects we attribute to manifestations of the fault interaction phenomenon. Since limited testing resources are common in the real world, we demonstrate the use of two approximation techniques, the surrogate oracle and path truncations, to render the application of our methodologies computationally feasible outside a laboratory setting. We report results which support the assertion that reliability data collected from just a partial debugging graph and subject to these approximations qualitatively agrees with those collected under ideal laboratory conditions, provided one accounts for optimistic bias introduced by the surrogate in later prediction stages. We outline an algorithmic approach for using data derived from a partial debugging graph to improve software reliability predictions, and show its complexity to be no worse than O(n2). We summarize some outstanding questions as areas for future investigations of and improvements to the software reliability prediction process

Análisis de conceptos del Derecho Laboral Individual en español y en finés

Tämän pro gradu -tutkielman aiheena on Espanjan ja Suomen työlainsäädännön terminologia ja erityisesti individuaalisen työoikeuden piiriin kuuluva käsitteistö. Individuaalisella työoikeudella tarkoitetaan työntekijän ja työnantajan välistä työsuhdetta sääteleviä normeja. Tutkielman empiirinen osuus koostuu terminologisesta sanastotyöstä, jossa espanjalaisille työoikeuden käsitteille etsitään käsitevastineita Suomen lainsäädännöstä. Sanastotyö perustuu käsiteanalyysiin, jossa kartoitetaan käsitteiden sisältö ja käsitteiden väliset suhteet. Analyysin kohteena olevien espanjan- ja suomenkielisten termien käsitesisällön vastaavuutta arvioidaan osana sanastotyötä. Tutkimuksen korpus sisältää 42 individuaalisen työoikeuden käsitettä ja 51 espanjan- ja 46 suomenkielistä termiä, joilla näihin käsitteisiin viitataan lakitekstissä. Teoreettisen perustan tutkimukselle muodostaa Cabrén (1999) kommunikatiivinen terminologian teoria, joka korostaa erikoiskielen termien olevan osa luonnollista kieltä. Tutkimuksen näkökulma on deskriptiivinen ja käsitekeskeinen. Lähtökohtana ei ole hypoteesia tai erityisiä tutkimuskysymyksiä, sillä työn ainoa tavoite on kuvailla analyysin kohteena olevaa terminologiaa. Analyysi ei sen vuoksi tarjoa myöskään varsinaisia tutkimustuloksia. Sanastotyön tarjoamien tietojen valossa voidaan kuitenkin todeta, että juridisten termien semanttisia eroja ja vastaavuuksia on vaikea havaita muulla tavoin kuin tutkimalla perusteellisesti lakeja, joissa kyseiset termit esiintyvät. Lakimuutokset johtavat yleensä myös laissa käytettyjen termien käsitteellisiin muutoksiin. Lisäksi on huomattava, että juridisten termien käsitesisältö on aina riippuvainen oikeusjärjestelmästä, jossa termejä käytetään. Näiden seikkojen vuoksi on syytä suhtautua kriittisesti yleiskielen sanakirjojen tarjoamiin juridisiin vastineisiin.Siirretty Doriast

Software reliability studies

There are many software reliability models which try to predict future performance of software based on data generated by the debugging process. Our research has shown that by improving the quality of the data one can greatly improve the predictions. We are working on methodologies which control some of the randomness inherent in the standard data generation processes in order to improve the accuracy of predictions. Our contribution is twofold in that we describe an experimental methodology using a data structure called the debugging graph and apply this methodology to assess the robustness of existing models. The debugging graph is used to analyze the effects of various fault recovery orders on the predictive accuracy of several well-known software reliability algorithms. We found that, along a particular debugging path in the graph, the predictive performance of different models can vary greatly. Similarly, just because a model 'fits' a given path's data well does not guarantee that the model would perform well on a different path. Further we observed bug interactions and noted their potential effects on the predictive process. We saw that not only do different faults fail at different rates, but that those rates can be affected by the particular debugging stage at which the rates are evaluated. Based on our experiment, we conjecture that the accuracy of a reliability prediction is affected by the fault recovery order as well as by fault interaction

Paarmuskoista koulutettuihin kätilöihin. Kunnankätilön työ sekä raskauden seurannan ja synnytyksen medikalisoituminen Pohjois-Suomessa vuosina 1900–1960

Pro gradu –tutkielmani aiheena ovat kunnankätilöt ja heidän työnsä Pohjois-Suomessa 1900-luvun alusta 1960-luvun alkuun. Naiset synnyttivät varsinkin maaseudulla yleensä kotona lähes 1900-luvun puoliväliin asti. Vuosisadan alusta lähtien kuntiin alettiin palkata koulutettuja kätilöitä, mutta Pohjois-Suomen kunnissa itseoppineet kätilöt hoitivat synnytyksiä koulutettujen kätilöiden rinnalla vielä usean vuosikymmenen ajan. Minua kiinnosti, miten siirtymävaihe paarmuskoiden hoitamista kotisynnytyksistä kätilöiden hoitamiin yleensä sujui. Lisäksi keskityn kätilöiden työskentelyolosuhteisiin, jotka olivat usein vaikeat huonojen kulkuyhteyksien sekä kotien köyhyyden takia. Kotisynnytysten ohella kätilöiden työhön kuului äitiys- ja ehkäisyneuvonta, joka useilla paikkakunnilla alkoi 1900-luvun ensimmäisinä vuosikymmeninä. Tutkielmani toinen teema on raskauden ja synnytyksen medikalisoituminen. Oppi hygieniasta ja muu siisteysvalistus olivat keskeisiä synnytyksen medikalisoitumisessa; perinteinen synnytyksen jälkeinen puhdistautumisperinne, kirkottaminen, alkoi hiipua samoihin aikoihin, kun kätilöt alkoivat huolehtia äidin puhdistamisesta synnytyksen jälkeen. Lääketieteellistyminen näkyi myös käytettävien lääkkeiden ja välineiden määrän lisääntymisessä. Kouluttamattomilla synnytysavustajilla ei yleensä ollut käytettävissään lääkkeitä eikä saksia parempia instrumentteja, kun taas kätilöt pystyivät seuraamaan äidin vointia esimerkiksi virtsanäyttein. Myös synnytyksen kulkuun voitiin vaikuttaa käyttämällä esimerkiksi pihtejä tai kohdun supistuksiin vaikuttavia lääkkeitä. Kotisynnytyksiä hoitavien kätilöiden työolosuhteet olivat kuitenkin huomattavasti alkeellisemmat kuin samaan aikaan heidän sairaaloissa työskentelevillä kollegoillaan. Kätilöt eivät useinkaan olleet vain kodeissa synnytyksiä hoitavia henkilöitä, vaan tarvittaessa he olivat myös perheistä huolehtivia sosiaalityöntekijöitä, talonmiehiä ja jopa eläinlääkäreitä. Aineistona olen käyttänyt Museoviraston vuonna 1978 järjestämän ”Lääkintää ja potilaita” -kirjoituskeruun vastauksia. Näiden lisäksi kätilöiden kirjoittamat muistelmat ja Kätilölehden artikkelit ovat olleet tärkeitä. Vastaukset ovat Pohjois-Suomesta, joka tässä työssä tarkoittaa Kainuun, Pohjois-Pohjanmaan ja Lapin maakuntia.Siirretty Doriast

A Survey on Securing Personally Identifiable Information on Smartphones

With an ever-increasing footprint, already topping 3 billion devices, smartphones have become a huge cybersecurity concern. The portability of smartphones makes them convenient for users to access and store personally identifiable information (PII); this also makes them a popular target for hackers. This survey shares practical insights derived from analyzing 16 real-life case studies that exemplify: the vulnerabilities that leave smartphones open to cybersecurity attacks; the mechanisms and attack vectors typically used to steal PII from smartphones; the potential impact of PII breaches upon all parties involved; and recommended defenses to help prevent future PII losses. The contribution of this research is recommending proactive measures to dramatically decrease the frequency of PII loss involving smartphones

A Study of Existing Cross-Site Scripting Detection and Prevention Techniques Using XAMPP and VirtualBox

Most operating websites experience a cyber-attack at some point. Cross-site Scripting (XSS) attacks are cited as the top website risk. More than 60 percent of web applications are vulnerable to them, and they ultimately are responsible for over 30 percent of all web application attacks. XSS attacks are complicated, and they often are used in conjunction with social engineering techniques to cause even more damage. Although prevention techniques exist, hackers still find points of vulnerability to launch their attacks. This project explored what XSS attacks are, examples of popular attacks, and ways to detect and prevent them. Using knowledge gained and lessons-learned from analyzing prior XSS incidents, a simulation environment was built using XAMPP and VirtualBox. Four typical XSS attacks were launched in this virtual environment, and their potential to cause significant damage was measured and compared using the Common Vulnerability Scoring System (CVSS) Calculator. Recommendations are offered for approaches to impeding XSS attacks including solutions involving sanitizing data, whitelisting data, implementing a content security policy and statistical analysis tools

Understanding the Role of Interior Sites and Terrestrial Resources during the Middle Holocene on Santa Cruz Island

The Chumash, complex marine hunter-gathers of the Santa Barbara Channel region, have occupied both the northern Channel Islands and parts of the California mainland for around 13,000 years (Johnson et al. 2000). On the islands, where there are no terrestrial game animals, there is a dichotomy of marine faunal and terrestrial floral resources. Whereas fish, shellfish, and marine mammals are abundant in the waters surrounding the islands, terrestrial plants are less abundant and diverse than on the mainland. Nonetheless, dense shell middens throughout the northern Channel Islands attest to the fact that islanders regularly transported marine resources to interior and high elevation locations. The use of interior sites as residences (rather than logistical encampments) is most pronounced during the Middle Holocene (5500-1500 BC), after which there is a shift to permanent, coastal settlements (Kennett 2005). Scholars have hypothesized that this interior settlement pattern could be motivated by access to freshwater, toolstone, plants, travel routes, defensive locations, or locations used for community aggregation (Glassow 2014; Kennett 2005; Orr 1968; Perry and Delaney-Rivera 2011; Perry and Glassow 2015). There are several lines of indirect evidence suggesting that plant resources were important during the Middle Holocene, including the development of the mortar and pestle circa 3850-3050 BC (Glassow 1997a), higher frequencies of plant processing tools deposited as grave goods (Hollimon 1990, 2001), and higher rates of dental caries (associated with carbohydrate rich plant foods) in burial populations (Walker and Erlandson 1986). Recent macrobotanical studies on the northern Channel Islands (e.g., Gill 2015; Martin 2010; Martin and Popper 2001; Reddy and Erlandson 2012; Thakar 2014) provide direct evidence that many ethnographically important plant resources were locally available, and were used throughout prehistoric occupation; however, none of these studies explicitly address the role of terrestrial resources in Middle Holocene settlement patterns.The current study combines faunal and macrobotanical data from three interior Middle Holocene sites with starch granule residue analysis of groundstone artifacts from these and other interior Middle Holocene sites. The low densities of macrobotanical remains recovered do not support the long-held belief that interior sites were used to exploit terrestrial plant resources; indeed, the minimal seeds identified are largely from plants with ethnographic uses as medicine, rather than food. However, starch granules, including acorn (Quercus spp.), pine (Pinus muricata) and cherry (Prunus illicifolia), indicate that ethnographically important food resources were being processed at interior sites, but are not preserving in the macrobotanical record. Starch granules identified in this study provide the first direct evidence of what plants different types of groundstone were used to process on the northern Channel Islands. Moreover, this study demonstrates the value of integrating multiple lines of evidence to provide a more holistic understanding of prehistoric foodways, and sets baseline expectations for future paleoethnobotanical research in this region

Isoflurane Inhibits Synaptic Vesicle Exocytosis through Reduced Ca2+ Influx, not Ca2+-Exocytosis Coupling

Identifying presynaptic mechanisms of general anesthetics is critical to understanding their effects on synaptic transmission. We show that the volatile anesthetic isoflurane inhibits synaptic vesicle (SV) exocytosis at nerve terminals in dissociated rat hippocampal neurons through inhibition of presynaptic Ca2+ influx without significantly altering the Ca2+ sensitivity of SV exocytosis. A clinically relevant concentration of isoflurane (0.7 mM) inhibited changes in [Ca2+]i driven by single action potentials (APs) by 25 ± 3%, which in turn led to 62 ± 3% inhibition of single AP-triggered exocytosis at 4 mM extracellular Ca2+ ([Ca2+]e). Lowering external Ca2+ to match the isoflurane-induced reduction in Ca2+ entry led to an equivalent reduction in exocytosis. These data thus indicate that anesthetic inhibition of neurotransmitter release from small SVs occurs primarily through reduced axon terminal Ca2+ entry without significant direct effects on Ca2+-exocytosis coupling or on the SV fusion machinery. Isoflurane inhibition of exocytosis and Ca2+ influx was greater in glutamatergic compared with GABAergic nerve terminals, consistent with selective inhibition of excitatory synaptic transmission. Such alteration in the balance of excitatory to inhibitory transmission could mediate reduced neuronal interactions and network-selective effects observed in the anesthetized central nervous system

Työpäivittäisten matkakustannusten optimointi

Viime vuosina maalausalalle kausiluontoiseen työhön on tullut yhä enemmän toimijoita, joten kilpailu maalausalalla on kiristynyt. Isoissa yrityksissä syntyy helposti hukkakuluja, minkä karsimiseksi ei ehditä monesti miettiä kehitysideoita. Huomion kiinnittäminen kannattavuuteen ja mahdollisiin säästökohteisiin mahdollistaa yrityksen jatkuvan kehittymisen. Hankimme tutkimusaineistoa aiheeseen liittyvästä ammattikirjallisuudesta, internet-lähteistä, aiemmista tutkimuksista ja omistajia haastattelemalla sekä lainsäädännöstä. Toiminnallisessa opinnäytetyössä tutkimme Väriset Oy:n työpäivittäisten matkakustannusten euromääräisiä korvauksia optimoinnin avulla. Optimoimme manuaalisesti vuoden 2018 heinäkuun maalareiden työmatkat pyrkien ottamaan huomioon mahdollisimman monet muuttujat. Vertasimme manuaalisen optimoinnin tuloksia Väriset Oy:ltä saamaamme tietoon todellisuudessa maksetuista työpäivittäisistä matkakustannuksista kyseisenä ajankohtana. Opinnäytetyön tuloksena saimme rakennettua työnjohtajan työkalun päivittäisen esimiestyön tueksi sekä pienennettyä maksettuja kustannuksia 28,32 %-yksikköä. Yrityksen kannattavuus parani tunnuslukuja tarkasteltaessa prosentin kymmenyksiä suorittamamme optimoinnin jälkeen.The number of companies operating in the seasonal work in the painting industry has grown and competition in the painting industry has intensified. Big companies easily incur stranded costs, which often do not require development ideas. Focusing on profitability and potential cost savings enables the company to continue to grow. We obtain research material from related professional literature, internet sources, previous research, interviews with owners, and legislation In this functional thesis, we investigate the reimbursement of the day-to-day travel expenses of Väriset Oy in euros through optimization. We will manually optimize painters’ commuting in July 2018 considering as many variables as possible. We compared the actual travel costs paid by Väriset Oy at the time to the results of the manual optimization. As a result of this thesis, we were able to develop a foreman tool to support daily management. In addition, we reduced costs by 28.32 percentage points. Looking at the key figures, the company's profitability improved by tens of percent after our optimization