Systematisk testning af program til udregning af mellemskat
|
|
- Birgit Thorsen
- 7 år siden
- Visninger:
Transkript
1 Systematisk testning af program til udregning af mellemskat Indledning I denne opgave vil vi definere passende cases til systematisk black-box test af et program til beregning af mellemskat. Vi har valgt at følge metoden i Myers&Wiley, kapitel 4, hvilket vil sige, at vi baseret på programmets input conditions definerer ugyldige og gyldige ækvivalensklasser. Disse danner grundlag for valget af en mængde test cases. De restende cases vælges på baggrund af boundary analysis. Inspireret af extreme programming implementerede vi de resulterende test cases i JUnit før selve implementeringen af selve mellemskat-programmet fandt sted. Dernæst benyttede vi de valgte tests til fejlfinding i programmet. Vi vil senere i denne rapport redegøre for vore erfaringer med denne fremgangsmåde. Desuden foretager vi en analyse af den code coverage, der opnås med de valgte tests, og foretager således en vurdering af værdien af vores test cases fra et white-box synspunkt. Ækvivalensklassepartitionering (ÆKP) (1) Identificering af ækvivalensklasser Input conditions med tilhørende ækvivalensklasser i nedenstående tabel (figur 1) er udledt af mellemskat-algoritmens specifikation. Bemærk at de ugyldige klasser er klasser, hvor input resulterer i en fejltilstand, hvor algoritmen/programmet ikke kan beregne noget meningsfuldt (jf. Myers&Wiley), samt at ækvivalensklasserne er disjunkte og udtømmende i hver række. Tallene i parantes angiver nummerering af ækvivalensklasserne til senere brug ved valg af kandidatelementer.
2 input condition ugyldige gyldige ækvivalensklasser ækvivalensklasser a personlig indkomst PI < (1) PI ³ (2) b ægtefælles personlige SPI < (3) SPI ³ (4) indkomst c eget bundfradrag NCI og PI+NCI >198 (5) NCI og PI+NCI 198 (6) NCI > og PI+NCI >198 (7) NCI > og PI+NCI 198 (8) d ægtefælles bundfradrag SNCI og SPI+SNCI >198 (9) SNCI og SPI+SNCI 198 (1) SNCI > og SPI+SNCI >198 (11) SNCI > og SPI+SNCI 198 (12) e egen nettokapitalindkomst NCI> (13) NCI (14) f ægtefælles nettokapitalindkomst SNCI> (15) SNCI (16) g ægtefælle har ægtefælle (17) har ikke ægtefælle (18) Figur 1: Input conditions med tilhørende ækvivalensklasser. (2) Identificering af test cases udfra ækvivalensklasserne Følgende test cases i figur 2 er udledt som beskrevet i Myers&Wiley, kap. 4, side 47, dvs. at hvert kandidatelement er valgt således, at det dækker så mange ækvivalensklasser som muligt. En - som variabelværdi i et kandidatelement betyder, at denne variabel slet ikke findes, da ægtefælleobjektet er null". Test case navne begyndende med V angiver valid og med I angiver invalid. Ækvivalensklassenumre er angivet i parantes, når klasserne allerede er blevet dækket af et tidligere kandidatelement. test case navn kandidatelement dækker ækvivalensklasser forventet værdi (oracle) V1 (2, -1, T, 2, -1) 2, 4, 5, 9, 14, 16, V2 (15, -1, F, -, -) (2), 6, (14), 18 V3 (4, 1, T, 1, -1) (2), (4), 7, 1, 13, (16), (17) 624 V4 (15, 1, T, 2, 2) (2), (4), 8, 11, (13), (15), (17) V5 (2, 2, T, 15, 1) (2), (4), (7), 12, (13), (15), 984 (17) I1 (-1, 1, F, -, -) 1 I2 (1, 1, T, -2, 1) 3 Figur 2: Kandidatelementer til dækning af ækvivalensklasser.
3 Boundary Analysis Denne teknik går ud på at vælge flere test case kandidater i hver input ækvivalensklasse, således at klassens grænser berøres. Tilsvarende vælges input kandidater således at grænser i output-rummet berøres. Figur 3: Visualisering af ækvivalensklasserne for input condition (c) De fleste af vores input conditions opdeler inputrummet i to klasser udfra kun ét parameter, så i disse tilfælde testes på begge sider af grænsen mellem disse klasser. Input condition (c) og (d) opdeler derimod inputrummet i 4 klasser (se figur 3), og test af grænserne kræver derfor flere test cases. Følgende er en liste over de grænsetilfælde, vi vurderer som interessante mht. inputrummet: (1) PI+NCI = 198 (2) SPI+SNCI = 198 (3) NCI = (4) SNCI = (5) PI = (6) SPI =
4 Hvad angår outputrummet, betragter vi grænsetilfældet, hvor mellemskatsbeløbet er, som interessant. Dette forekommer, når skattegrundlaget er mindre end eller lig med bundfradragsgrænsen på 198., og da vi leder efter grænsetilfælde, er et skattegrundlag før bundfradrag på præcist 198. naturligvis det mest interessante, dvs. det syvende grænsetilfælde er: (7) Skattegrundlag før bundfradrag = bundfradrag Vi har valgt at implementere 24 boundary tests på baggrund af disse grænser. De resulterende boundary tests kan ses i figur 4. Når SNCI og SPI ikke er angivet, betyder dette, at der ikke er en ægtefælle. Når PI og NCI ikke er angivet eksplicit, betyder det, at de er sat til. Vi mener, at disse tests berører de ovennævnte grænser. test case navn B1.1 B1.2 B1.3 B1.4 B2.1 B2.2 B2.3 B2.4 B3.1 B3.2 B3.3 B3.4 B4.1 B4.2 B4.3 B4.4 B5.1 B5.2 B5.3 B5.4 B6.1 B6.2 B6.3 B6.4 kandidatelement pi= 198, nci = -1 pi= 1981, nci = -1 pi= 198, nci = pi= 1981, nci = pi= -1, nci = -1 pi=, nci = -1 pi= -1, nci = pi=, nci = pi= -1, nci = 198 pi=, nci = 198 pi= -1, nci = 1981 pi=, nci = 1981 spi= 198, snci = -1 spi= 1981, snci = -1 spi= 198, snci = spi= 1981, snci = spi= -1, snci = -1 spi=, snci = -1 spi= -1, snci = spi=, snci = spi= -1, snci = 198 spi=, snci = 198 spi= -1, snci = 1981 spi=, snci = 1981 forventet værdi (oracle) Figur 4: Kandidatelementer til boundary test.
5 Analyse af code coverage Formålet med denne analyse er at undersøge hvor høj en grad af code coverage, der opnås, ved brug af blackbox-metoderne ÆKP og BA. Denne white-box teknik har til formål at henlede opmærksomheden på eventuelle kodeblokke, som ikke berøres af testene. Således kan man undgå at overse utestet kode og opnår samtidigt et mål for pålideligheden af de udførte tests. Figur 5 repræsenterer vores mellemskat-algoritme som et flow chart. De hvide kasser repræsenterer decisions. Kanten mærket S følges, hvis udtrykket evaluerer til sand, og kanten mærket F følges, hvis udtrykket evaluerer til falsk. En lille kasse midt på en kant angiver, at statements bliver udført. Figur 5: Flow-chart diagram over mellemskatprogrammet. For at få overblik over, hvilke execution paths, vores algoritme gennemgår under de enkelte tests, har vi modificeret koden, således at information udskrives i hver programblok i form af nummeret svarende til placeringen af koden i flow chart diagrammet. Vi har desuden tilføjet else-blokke med tilsvarende udskrift de steder, hvor else-blokkene ikke i forvejen var implementeret. På denne måde kan vi præcis følge med i, hvilken execution path, der følges, når en bestemt test køres. Resultatet er angivet i følgende tabel (figur 6).
6 Test Case Execution Path testcasevalid1() testcasevalid2() testcasevalid3() testcasevalid4() testcasevalid4() testcasevalid5() testcaseinvalid1() 1- testcaseinvalid2() testcaseb1() testcaseb2() testcaseb3() 1-1- testcaseb4() testcaseb5() testcaseb6() Figur 6: Execution paths for hver enkelt test case. (1) Statement Coverage For at opnå statement coverage skal følgende to punkter opfyldes: (1) Alle pile med små kasser på skal traverseres, dvs. alle statements i vores program, der ikke er if-statements, skal udføres som følge af en af vores testkandidater. (2) Alle store kasser skal besøges, dvs. alle if-statements skal udføres. Da samtlige store kasser har mindst én udgående pil med en lille kasse, følger dette af punkt (1). En gennemgang af ovenstående liste af execution paths viser, at begge punkter er opfyldt, og vi kan dermed konkludere, at vores tests medfører statement coverage.
7 (2) Andre typer code coverage For at opnå decision-coverage skal alle kanter i flow-diagrammet traverseres. En gennemgang af execution paths i listen ovenfor bekræfter, at dette er tilfældet, og vores test cases medfører derfor decision coverage. Det bemærkes, at da der hverken er exception-handlers, entry points eller andre former for implicitte branches i vores metode, følger statement-coverage af decision-coverage. I vores tilfælde følger condition-coverage, decision-condition-coverage og multiplecondition-coverage ligeledes af decision-coverage, eftersom alle branches kun består af én condition. Konklusion på analyse På baggrund af vores graf, ovenstående argumentation og nedenstående udskrift konkluderer vi, at vores tests opfylder kravene til alle de nævnte typer af coverage, og at testene således er så udtømmende, som de kan blive, fra et white-box synspunkt. Reflektion på arbejdsproces Vores tests var succesfulde, idet to fejl i koden blev opdaget på baggrund af de på forhånd planlagte tests. Det skal dog bemærkes, at den ene af disse fejl viste sig at befinde sig i test koden. Der er formentlig altid en risiko for fejl i testkode, men der kan næppe herske nogen tvivl om, at vores manglende erfaring med JUnit forøgede risikoen betydeligt, foruden at gøre implementationen af vores test cases langsommelig. Ved fremtidigt arbejde med JUnit må det forventes, at hastigheden så vel som korrektheden af testkoden er større, end tilfældet var under løsningen af denne opgave. I fremtidige projekter, som involverer programmering i Java, vil vi alvorligt overveje at benytte JUnit. Den XP-inspirerede arbejdsproces var desuden succesfuld i det henseende, at gruppemedlemmmet, som udviklede programmet, følte sig hjulpet af det foregående arbejde med at skrive test cases. Han oplevede, at dette gav større indsigt i problemområdet og afslørede nogle af faldgruberne i programmeringen. En overraskelse under arbejdet viste sig at være nytten af tegningen af et flow-chart. Formålet med chartet var udelukkende at tjene som værktøj ved bestemmelsen af graden af code coverage, men faktisk afslørede det første udkast, at der eksisterede en fejl i vores kode, som ikke blev fanget af de oprindelige tests. Forglemmelsen skyldtes en ubevist antagelse om, at udregningen af skat for henholdsvis skattebetaleren og ægtefællen blev beregnet af den samme kode. Dette viste sig ikke at være tilfældet, og derfor blev fejlen ikke fanget af testene. Denne hændelse illustrerer hvor vigtigt, det er, at være bevidst om de antagelser, man gør sig om koden, under valget af black-box tests. Det kan naturligvis ikke undgåes at gøre visse antagelser, idet koden er ukendt eller slet ikke skrevet. En total
8 mangel på antagelser dermed vil således nødvendiggøre fuldstændig udtømmende test, hvilket som bekendt er uoverkommeligt i langt de fleste sammenhænge. Der er ingen tvivl om, at de systematiske test har været nyttige - både til at finde fejl og til at målrette udviklingen af selve programmet. Alligevel var gruppemedlemmernes tillid til kodens korrekthed efter den langvarige indsats overraskende lav. De brugte metoder er overvejende heuristiske og langt fra ufejlbarlige, og betydningen af erfaring med testskrivning samt "næse for at finde fejl" er blevet mere tydelig for os. Vi har oplevet testprocessen som ekstremt tidskrævende - især den overskuelige størrelse af programmeringsopgaven taget i betragtning. Dette gør fordelene ved kodeinspektion endnu mere åbenlyse, og det er vores opfattelse, at vi formentlig kunne have fanget de samme fejl ved inspektion af koden som med test suiten, men med et langt mindre tidsforbrug. Ikke dermed sagt at test er overflødige, men det er med opgaven ganske godt blevet illustreret for os hvor høje omkostningerne ved test er, og at der i praksis må ske et tradeoff, evt. ved at erstatte meget grundige tests med mere overfladiske tests kombineret med brug af kodeinspektion.
Hvad er formel logik?
Kapitel 1 Hvad er formel logik? Hvad er logik? I daglig tale betyder logisk tænkning den rationelt overbevisende tænkning. Og logik kan tilsvarende defineres som den rationelle tænknings videnskab. Betragt
Læs mereDM536. Rapport og debug
DM536 Rapport og debug Kilder Vigtig.it (Felix Palludan Hargreaves) http://vigtig.it/dm502/howto_report.pdf http://vigtig.it/blog/teaching/#toc-relevant-tips Peter Schneider-Kamp http://imada.sdu.dk/~petersk/dm536/project2.pdf
Læs mereDM517:Supplerende noter om uafgørlighedsbeviser:
DM517:Supplerende noter om uafgørlighedsbeviser: Jørgen Bang-Jensen October 9, 2013 Abstract Formålet med denne note er at give en form for kogebogsopskrift på, hvorledes man bygger et uafgørlighedsbevis
Læs mereVisualiseringsprogram
Visualiseringsprogram Programmering C - eksamensopgave Rami Kaddoura og Martin Schmidt Klasse: 3.4 Vejleder: Karl Bjarnason Roskilde Tekniske Gymnasium Udleveringsdato: 02-03-2012 Afleveringsdato: 11-05-12
Læs mereDM507 Algoritmer og datastrukturer
DM507 Algoritmer og datastrukturer Forår 2012 Projekt, del II Institut for matematik og datalogi Syddansk Universitet 15. marts, 2012 Dette projekt udleveres i tre dele. Hver del har sin deadline, således
Læs mereVi har valgt at analysere vores gruppe ud fra belbins 9 grupperoller, vi har følgende roller
Forside Indledning Vi har fået tildelt et skema over nogle observationer af gærceller, ideen ligger i at gærceller på bestemt tidspunkt vokser eksponentielt. Der skal nu laves en model over som bevise
Læs mereKontrol-strukturer i PHP
Denne guide er oprindeligt udgivet på Eksperten.dk Kontrol-strukturer i PHP Denne artikel gennemgår kontrolstrukturer i PHP. 'if', 'switch', 'while' og 'for' bliver gennemgået. Den forudsætter lidt grundlæggende
Læs mereLæringsprogram. Christian Hjortshøj, Bjarke Sørensen og Asger Hansen Vejleder: Karl G Bjarnason Fag: Programmering Klasse 3.4
Læringsprogram Christian Hjortshøj, Bjarke Sørensen og Asger Hansen Vejleder: Karl G Bjarnason Fag: Programmering Klasse 3.4 R o s k i l d e T e k n i s k e G y m n a s i u m Indholdsfortegnelse FORMÅL...
Læs mereDynamisk programmering
Dynamisk programmering Dynamisk programmering Optimeringsproblem: man ønsker at finde bedste den kombinatoriske struktur (struktur opbygget af et endeligt antal enkeltdele) blandt mange mulige. Eksempler:
Læs mereSammenhængskomponenter i grafer
Sammenhængskomponenter i grafer Ækvivalensrelationer Repetition: En relation R på en mængde S er en delmængde af S S. Når (x, y) R siges x at stå i relation til y. Ofte skrives x y, og relationen selv
Læs mereIntegralregning og topskat
Indledning Integralregning og topskat Integralregning kan bruges til at beregne et areal mellem grafen og x-aksen i et koordinatsystem mellem to x-værdier, mens topskatten er det provenu (indtægt) som
Læs mereIdentifikation af planer der ikke findes i PlansystemDK vha. datasættet... 9
Vejledning i brug af Tingbogsudtrækket Version 1.0 af 1. juli 2009 Indhold Indledning... 1 Planer i Tingbogen... 2 Planer i PlansystemDK... 3 Sammenhæng mellem Tingbogen og PlansystemDK... 3 Datastruktur...
Læs mereRolf Fagerberg. Forår 2015
Forår 2015 Dagens program 1 2 3 4 5 Underviser:, IMADA Forskningsområde: algoritmer og datastrukturer Underviser:, IMADA Forskningsområde: algoritmer og datastrukturer Deltagere: BA i Datalogi BA i Software
Læs mereTestrapport på Test Testesen
Testrapport på Test Testesen Analysis Aptitude Fremstillet den: 12-jun-2007 Side 2 af 5 2006-2009 Saville Consulting. All rights reserved. Indhold Introduktion til testrapport...3 Analysis Aptitude profil...4
Læs mereDM507 Algoritmer og datastrukturer
DM507 Algoritmer og datastrukturer Forår 2016 Projekt, del III Institut for matematik og datalogi Syddansk Universitet 20. april, 2016 Dette projekt udleveres i tre dele. Hver del har sin deadline, således
Læs mereApp til museeum Af Alan Mohedeen 3.5
2012 App til museeum Af Alan Mohedeen 3.5 Mohedeen 4/15/2012 Inholdsfortegnelse Indledning... 2 Indledende problemanalyse... 2 Projekt- og produktmål... 2 Bollemodel... 3 Kravspecifikation... 4 Løsningsforslag...
Læs mereRolf Fagerberg. Forår 2013
Forår 2013 Mål for i dag Dagens program: 1 2 3 4 5 6 Forudsætninger: DM536 og DM537 Timer: 50% forelæsninger, 50% øvelser Forudsætninger: DM536 og DM537 Eksamenform: Skriftlig eksamen: Timer: 50% forelæsninger,
Læs mereNoter til C# Programmering Iteration
Noter til C# Programmering Iteration Programflow Programmer udfører det meste af deres arbejde vha. forgrening og løkker. Løkker Mange programmeringsproblemer kan løses ved at gentage en handling på de
Læs merePolynomiumsbrøker og asymptoter
Polynomiumsbrøker og asymptoter Frank Villa 9. marts 2012 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold
Læs mereIntroduktion til DM507
Introduktion til DM507 Rolf Fagerberg Forår 2017 1 / 20 Hvem er vi? Underviser: Rolf Fagerberg, IMADA Forskningsområde: algoritmer og datastrukturer 2 / 20 Hvem er vi? Underviser: Rolf Fagerberg, IMADA
Læs mereImplikationer og Negationer
Implikationer og Negationer Frank Villa 5. april 2014 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion
Læs mereIntegralregning med TI-Interactive! Stamfunktioner Integraler Arealer Jan Leffers (2005)
Integralregning med TI-Interactive! Stamfunktioner Integraler Arealer Jan Leffers (005) Indholdsfortegnelse Indholdsfortegnelse... Stamfunktion og integralregning...3 Numerisk integration...3 Areal under
Læs mereDM507 Algoritmer og datastrukturer
DM507 Algoritmer og datastrukturer Forår 2017 Projekt, del III Institut for matematik og datalogi Syddansk Universitet 6. april, 2017 Dette projekt udleveres i tre dele. Hver del har sin deadline, således
Læs mereMaple. Skærmbilledet. Vi starter med at se lidt nærmere på opstartsbilledet i Maple. Værktøjslinje til indtastningsområdet. Menulinje.
Maple Dette kapitel giver en kort introduktion til hvordan Maple 12 kan benyttes til at løse mange af de opgaver, som man bliver mødt med i matematiktimerne på HHX. Skærmbilledet Vi starter med at se lidt
Læs mereIndholdsfortegnelse. Miljørigtige køretøjer i Aarhus. Effekter af en mere miljørigtig vognpark i Aarhus Kommune. Aarhus Kommune. Notat - kort version
Aarhus Kommune Miljørigtige køretøjer i Aarhus Effekter af en mere miljørigtig vognpark i Aarhus Kommune COWI A/S Jens Chr Skous Vej 9 8000 Aarhus C Telefon 56 40 00 00 wwwcowidk Notat - kort version Indholdsfortegnelse
Læs mereFlowchart og Nassi ShneidermanN Version. Et flowchart bruges til grafisk at tegne et forløb. Det kan fx være et programforløb for en microcontroller.
Flowchart Et flowchart bruges til grafisk at tegne et forløb. Det kan fx være et programforløb for en microcontroller. Et godt program til at tegne flowcharts med er, EDGE-Diagrammer, eller Smartdraw.
Læs mereUdarbejdet af CFU Absalon
Chatbots i Scratch Introduktion: En chatbot er et lille program, der kan chatte. De bruges mange steder på internettet, enten for at kunne hjælpe i nogle bestemte situationer eller for at underholde. De
Læs mereSkriftlig Eksamen DM507 Algoritmer og Datastrukturer
Skriftlig Eksamen DM507 Algoritmer og Datastrukturer Institut for Matematik og Datalogi Syddansk Universitet, Odense Tirsdag den 24. juni 2014, kl. 10:00 14:00 Besvarelsen skal afleveres elektronisk. Se
Læs mereDM507 Algoritmer og datastrukturer
DM507 Algoritmer og datastrukturer Introduktion til kurset Rolf Fagerberg Forår 2019 1 / 20 Hvem er vi? Underviser: Rolf Fagerberg, Institut for Matematik og Datalogi (IMADA) Forskningsområde: algoritmer
Læs mereBilag 4. Planlægningsmodeller til IBSE
Bilag 4 Planlægningsmodeller til IBSE I dette bilag præsenteres to modeller til planlægning af undersøgelsesbaserede undervisningsaktiviteter(se figur 1 og 2. Den indeholder de samme overordnede fire trin
Læs mereDM507 Algoritmer og datastrukturer
DM507 Algoritmer og datastrukturer Forår 2019 Projekt, del III Institut for matematik og datalogi Syddansk Universitet 10. april, 2019 Dette projekt udleveres i tre dele. Hver del har sin deadline, således
Læs mereUgeseddel 12(10.12 14.12)
Ugeseddel (..) Matematisk Programmering Niels Lauritzen..7 FORELÆSNINGER I ugen. 7. gennemgik vi algoritmer til løsning af heltalsprogrammer ved hjælp af simplex algoritmen. Dette er heltalsprogrammeringsugesedlen
Læs mereComponent based software enginering Diku 2005 Kritikopgave
Component based software enginering Diku 2005 Kritikopgave Nicolas Møller Henschel 17. april 2005 1 Indhold 1 Indledning 3 2 Indhold 3 2.1 Introduktionen.......................... 3 2.1.1 Mangler..........................
Læs mereISCC. IMM Statistical Consulting Center. Brugervejledning til beregningsmodul til robust estimation af nugget effect. Technical University of Denmark
IMM Statistical Consulting Center Technical University of Denmark ISCC Brugervejledning til beregningsmodul til robust estimation af nugget effect Endelig udgave til Eurofins af Christian Dehlendorff 15.
Læs mereSecure O matic. Gruppe 5 2. SEMESTERPROJEKT. Udgave. Testspecifikation
Udgave 1 2. SEMESTERPROJEKT Gruppe 5 Secure O matic Testspecifikation Benjamin Sørensen, 02284 Tomas Stæhr Hansen, 03539 Stefan Nielsen, 02829 Mubeen Ashraf, 9279 Hussein Kleit, 9281 SECURE O MATIC Testspecifikation
Læs mereSoftware Dokumentation
Software Dokumentation Jan Boddum Larsen Teknologi B og A på HTX Dokumentation af software i Teknologi I samfundet sker der en bevægelse mod mere digitale løsninger i teknologi. Det betyder at software
Læs mereSkriftlig eksamen i Datalogi
Roskilde Universitetscenter side 1 af 9 sider Skriftlig eksamen i Datalogi Modul 1 Vinter 1999/2000 Opgavesættet består af 6 opgaver, der ved bedømmelsen tillægges følgende vægte: Opgave 1 5% Opgave 2
Læs mereEvaluering af sygedagpengemodtageres oplevelse af ansøgningsprocessen
30. juni 2011 Evaluering af sygedagpengemodtageres oplevelse af ansøgningsprocessen 1. Indledning I perioden fra 7. juni til 21. juni 2011 fik de personer der har modtaget sygedagpenge hos Silkeborg Kommune
Læs mereVurdering af kvalitet en note af Tove Zöga Larsen
Vurdering af kvalitet en note af Tove Zöga Larsen Kvalitet... 2 Test... 2 Hvordan finder man testdata?... 2 Dokumentation af test... 3 Review... 3 Vurderingskriterier... 3 Gennemførelsen af et review...
Læs mereAfstande, skæringer og vinkler i rummet
Afstande, skæringer og vinkler i rummet Frank Villa 2. maj 202 c 2008-20. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold
Læs mereMircobit Kursus Lektion 3 (Du skal her vælge Lets Code Og nederst Microsoft Block Editor.)
Mircobit Kursus Lektion 3 http://microbit.org/ (Du skal her vælge Lets Code Og nederst Microsoft Block Editor.) I sidste lektion var der en opgave man selv skulle prøve at løse. Man skulle lave et tabel
Læs mereC) Perspektiv jeres kommunes resultater vha. jeres svar på spørgsmål b1 og b2.
C) Perspektiv jeres kommunes resultater vha. jeres svar på spørgsmål b1 og b. 5.000 4.800 4.600 4.400 4.00 4.000 3.800 3.600 3.400 3.00 3.000 1.19% 14.9% 7.38% 40.48% 53.57% 66.67% 79.76% 9.86% 010 011
Læs mereBeregning af Grenaa Havns regionaløkonomiske virkning på oplandet.
1 Beregning af Grenaa Havns regionaløkonomiske virkning på oplandet. Der har igennem de senere år været en stigende interesse og fokus i offentligheden på havnenes økonomiske og lokaliseringsmæssige betydning
Læs mereTestrapport Test Testesen
Testrapport Test Testesen Swift Analysis Verbal & Numerical-Rx Fremstillet den: 24-maj-2018 Side 2 2018 Willis Towers Watson. Alle rettigheder forbeholdes. Indhold Introduktion til testrapport...3 Total
Læs mereGrafer og graf-gennemløb
Grafer og graf-gennemløb Grafer En mængde V af knuder (vertices). En mængde E V V af kanter (edges). Dvs. ordnede par af knuder. Grafer En mængde V af knuder (vertices). En mængde E V V af kanter (edges).
Læs mereINSTITUT FOR DATALOGI, AARHUS UNIVERSITET
INSTITUT FOR DTOI, RUS UNIVERSITET Science and Technology ESEN lgoritmer og Datastrukturer (00-ordning) ntal sider i opgavesættet (incl. forsiden): (elleve) Eksamensdag: Fredag den. juni 0, kl. 9.00-.00
Læs mereINSTITUT FOR DATALOGI, AARHUS UNIVERSITET
NSTTUT OR TO, RUS UNVRSTT Science and Technology SN lgoritmer og atastrukturer (00-ordning) ntal sider i opgavesættet (incl. forsiden): 11 (elleve) ksamensdag: redag den 1. august 015, kl. 9.00-.00 Tilladte
Læs mereVejledning i udtræk af input-output data fra Statistikbanken
- 1 - Vejledning i udtræk af input-output data fra Statistikbanken Introduktion Input-output tabellerne er konsistente med nationalregnskabet og udarbejdes i tilknytning hertil. De opdateres årligt i december
Læs mereAfstande, skæringer og vinkler i rummet
Afstande, skæringer og vinkler i rummet Frank Nasser 9. april 20 c 2008-20. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her.
Læs mereInspirationsmateriale fra anden type af organisation/hospital. Metodekatalog til vidensproduktion
Inspirationsmateriale fra anden type af organisation/hospital Metodekatalog til vidensproduktion Vidensproduktion introduktion til metodekatalog Viden og erfaring anvendes og udvikles i team. Der opstår
Læs mereDanmarks Tekniske Universitet
side af 2 sider Danmarks Tekniske Universitet Skriftlig prøve, den 23. maj 20. Kursusnavn: Algoritmer og datastrukturer I Kursus nr. 0205. Varighed: 4 timer Tilladte hjælpemidler: Alle skriftlige hjælpemidler.
Læs mereAnalyse af konsekvenserne af at være faldet ud af arbejdsmarkedet
Analyse af konsekvenserne af at være faldet ud af arbejdsmarkedet Sommer 2014 Udarbejdet af: Tele-Mark A/S Carl Blochs Gade 37 8000 Århus C Tlf: 70 237 238 Partner Allan Falch www.tele-mark.dk info@tele-mark.dk
Læs mereAlgoritmeskabeloner: Sweep- og søgealgoritmer C#-version
Note til Programmeringsteknologi Akademiuddannelsen i Informationsteknologi Algoritmeskabeloner: Sweep- og søgealgoritmer C#-version Finn Nordbjerg 1/9 Indledning I det følgende introduceres et par abstrakte
Læs mereIndkomstskat i Danmark
- 1 - Indkomstskat i Danmark Introduktion Materialet her er muligt at anvende som supplerende materiale til bogens del 2: Procent og rente (s. 41-66). Materialet kan anvendes som et forløb, eller det kan
Læs meredpersp Uge 40 - Øvelser Internetalgoritmer
Øvelse 1 dpersp Uge 40 - Øvelser Internetalgoritmer (Øvelserne 4 og 6 er afleveringsopgaver) a) Hver gruppe får en terning af instruktoren. Udfør 100 skridt af nedenstående RandomWalk på grafen, som også
Læs mereEvaluering af Soltimer
DANMARKS METEOROLOGISKE INSTITUT TEKNISK RAPPORT 01-16 Evaluering af Soltimer Maja Kjørup Nielsen Juni 2001 København 2001 ISSN 0906-897X (Online 1399-1388) Indholdsfortegnelse Indledning... 1 Beregning
Læs mereLineære differentialligningers karakter og lineære 1. ordens differentialligninger
enote 11 1 enote 11 Lineære differentialligningers karakter og lineære 1. ordens differentialligninger I denne note introduceres lineære differentialligninger, som er en speciel (og bekvem) form for differentialligninger.
Læs mere3. Om skalamønstrene og den indfoldede orden
Dette er den tredje af fem artikler under den fælles overskrift Studier på grundlag af programmet SKALAGENERATOREN (forfatter: Jørgen Erichsen) 3. Om skalamønstrene og den indfoldede orden Lad os begynde
Læs mereRegnetest B: Praktisk regning. Træn og Test. Niveau: 9. klasse. Med brug af lommeregner
Regnetest B: Praktisk regning Træn og Test Niveau: 9. klasse Med brug af lommeregner 1 INFA-Matematik: Informatik i matematikundervisningen Et delprojekt under INFA: Informatik i skolens fag Et forskningsprogram
Læs mereDanmarks Tekniske Universitet
side af sider Danmarks Tekniske Universitet Skriftlig prøve, den 6. maj 0. Kursusnavn: Algoritmer og datastrukturer Kursus nr. 06. Tilladte hjælpemidler: Skriftlige hjælpemidler. Varighed: timer Vægtning
Læs mereFang Prikkerne. Introduktion. Scratch
Scratch 2 Fang Prikkerne All Code Clubs must be registered. Registered clubs appear on the map at codeclubworld.org - if your club is not on the map then visit jumpto.cc/ccwreg to register your club. Introduktion
Læs mereDokumentation. sproglige realkompetencer
1 Dokumentation af sproglige realkompetencer 2 Et NordplusVoksen-projekt for Studieskolen, København Folkuniversitetet, Sverige Folkeuniversitetet, Norge udarbejdet af Christoph Schepers, Studieskolen
Læs mereAnalyse af dagpengesystemet
Analyse af dagpengesystemet Udarbejdet september/oktober 2011 BD272 Indhold Indledning... 2 Metode og validitet... 2 Dataindsamling fra... 2 Dataindsamling fra den øvrige befolkning... 2 Forventninger
Læs mereUndervisningsbeskrivelse
Undervisningsbeskrivelse Programmering C ved mst Termin Juni 117 Institution Uddannelse Fag og niveau Lærer Hold Erhvervsskolerne Aars hhx Programmering C Michael Stenner (mst) 2-3g16 pro Forløbsoversigt
Læs mereDM507 Algoritmer og datastrukturer
DM507 Algoritmer og datastrukturer Forår 2016 Projekt, del I Institut for matematik og datalogi Syddansk Universitet 29. februar, 2016 Dette projekt udleveres i tre dele. Hver del har sin deadline, således
Læs mereSpilstrategier. 1 Vindermængde og tabermængde
Spilstrategier De spiltyper vi skal se på her, er primært spil af følgende type: Spil der spilles af to spillere A og B som skiftes til at trække, A starter, og hvis man ikke kan trække har man tabt. Der
Læs mereTest af Repræsentationssystemer
Test af Repræsentationssystemer Identificér dit foretrukne repræsentationssystem Testen kan give dig et fingerpeg om din måde at bruge dine sanser/repræsentationssystemer på, og samtidig kan du finde dine
Læs mereDM507 Algoritmer og datastrukturer
DM507 Algoritmer og datastrukturer Forår 2018 Projekt, del II Institut for matematik og datalogi Syddansk Universitet 20. marts, 2019 Dette projekt udleveres i tre dele. Hver del har sin deadline, således
Læs mereHypotesetest. Altså vores formodning eller påstand om tingens tilstand. Alternativ hypotese (hvis vores påstand er forkert) H a : 0
Hypotesetest Hypotesetest generelt Ingredienserne i en hypotesetest: Statistisk model, f.eks. X 1,,X n uafhængige fra bestemt fordeling. Parameter med estimat. Nulhypotese, f.eks. at antager en bestemt
Læs mereHukommelsesspil. Introduktion. Scratch
Scratch 2 Hukommelsesspil All Code Clubs must be registered. By registering your club we can measure our impact, and we can continue to provide free resources that help children learn to code. You can
Læs mereBilag til pkt. 13. Oplæg til evalueringspolitik for Bornholms Vækstforum. Hvad skal evalueres? 4. juni 2012
Oplæg til evalueringspolitik for Bornholms Vækstforum 4. juni 2012 Evalueringspolitikkens formål er kort sagt at sikre bedst mulig udnyttelse af de ressourcer, der anvendes til at skabe vækst i det bornholmske
Læs mereØvelse 1.5: Spændingsdeler med belastning Udført af: Kari Bjerke Sørensen, Hjalte Sylvest Jacobsen og Toke Lynæs Larsen.
Øvelse 1.5: Spændingsdeler med belastning Udført af: Kari jerke Sørensen, Hjalte Sylvest Jacobsen og Toke Lynæs Larsen. Formål: Formålet med denne øvelse er at anvende Ohms lov på en såkaldt spændingsdeler,
Læs mereDanmarks Tekniske Universitet
side af 2 sider anmarks Tekniske Universitet Skriftlig prøve, den 23. maj 20. Kursusnavn: lgoritmer og datastrukturer Kursus nr. 02326. Varighed: 4 timer Tilladte hjælpemidler: lle skriftlige hjælpemidler.
Læs mereDesign af IT-medier. Skriftlig prøve 27. august 1999. Alle skriftlige hjælpemidler er tilladt.
Design af IT-medier Skriftlig prøve 27. august 1999 Varighed: Hjælpemidler: Bedømmelse: Besvarelse: Opgaver: 4 timer. Alle skriftlige hjælpemidler er tilladt. Karakter efter 13-skalaen. Alle ark skal være
Læs mereSOFTWARE DOKUMENTATION
SOFTWARE DOKUMENTATION TEKNOLOGI B OG A PÅ HTX Indhold Dokumentation af software i Teknologi på HTX... 2 Overblik... 2 Kravspecifikation... 2 Blokdiagram... 3 Use Case Diagram... 3 Pseudokode... 4 Dokumentation
Læs mereErfaringer med CPR-replikering
Erfaringer med CPR-replikering Dette dokument beskriver en række overvejelser vi har gjort os i forbindelse med at vi har udviklet en Proof of Concept (PoC) af en CPR-replikeringstjeneste for KOMBIT. CPRs
Læs mereHastighed og uheldsrisiko i kryds
Trafiksikkerhed og Miljø Hastighed og uheldsrisiko i kryds Trafikdage på AUC 1996 Paper af: Civ. ing. Poul Greibe og Civ. ing. Michael Aakjer Nielsen Vejdirektoratet Trafiksikkerhed og Miljø Tel: 33 93
Læs mereLøsning af møntproblemet
Løsning af møntproblemet Keld Helsgaun RUC, oktober 1999 Antag at tilstandene i problemet (stillingerne) er repræsenteret ved objekter af klassen State. Vi kan da finde en kortest mulig løsning af problemet
Læs mereKapitel 3 Lineære sammenhænge
Matematik C (må anvendes på Ørestad Gymnasium) Lineære sammenhænge Det sker tit, at man har flere variable, der beskriver en situation, og at der en sammenhæng mellem de variable. Enhver formel er faktisk
Læs mereMatema10k. Matematik for hhx C-niveau. Arbejdsark til kapitlerne i bogen
Matema10k Matematik for hhx C-niveau Arbejdsark til kapitlerne i bogen De følgende sider er arbejdsark og opgaver som kan bruges som introduktion til mange af bogens kapitler og underemner. De kan bruges
Læs mereDM507 Algoritmer og datastrukturer
DM507 Algoritmer og datastrukturer Forår 2018 Projekt, del II Institut for matematik og datalogi Syddansk Universitet 13. marts, 2018 Dette projekt udleveres i tre dele. Hver del har sin deadline, således
Læs mereTyngdekraft i Scratch
Tyngdekraft i Scratch Nogle gange er det nemmere at forstå nogle ting, når man ser det ske. Derfor kan vi nu prøve at lave et spil med tyngdekraft. Det gør også at man får nogle meget federe spil! 1) Figur
Læs mereProjekt 9.5 Racefordomme i USA og Simpsons paradoks (B og A)
Projekt 9.5 Racefordomme i USA og Simpsons paradoks (B og A) (Data er hentet fra M. Radelet, "Racial characteristics and imposition of death penalty", American Sociological Review, 46 (1981), pp 918-927
Læs mereEksempler på elevbesvarelser af gådedelen:
Eksempler på elevbesvarelser af gådedelen: Elevbesvarelser svinger ikke overraskende i kvalitet - fra meget ufuldstændige besvarelser, hvor de fx glemmer at forklare hvad gåden går ud på, eller glemmer
Læs mereEksperimentel matematik Kommentarer til tag-med opgaver
Eksperimentel matematik Kommentarer til tag-med opgaver Hypotesedannelse I har alle produceret grafer af typen 0.8 0.6 0.4 0.2 0 0. 0.2 0.3 0.4 0.5 (de lilla punkter er fundet ved en strenglængde på 35,
Læs mereSikre Beregninger. Kryptologi ved Datalogisk Institut, Aarhus Universitet
Sikre Beregninger Kryptologi ved Datalogisk Institut, Aarhus Universitet 1 Introduktion I denne note skal vi kigge på hvordan man kan regne på data med maksimal sikkerhed, dvs. uden at kigge på de tal
Læs mereModul 4: Mundtlig fremlæggelse
Modul 4: Mundtlig fremlæggelse Mange elever ved ikke, hvad de bliver bedømt på i skolen. Når man ikke kender eller forstår, hvilke kvalitetskriterier man skal leve op til, kan det nemt afføde stress og
Læs mereBilag til Statistik i løb : Statistik og Microsoft Excel tastevejledning / af Lars Bo Kristensen
Bilag til Statistik i løb : Statistik og Microsoft Excel tastevejledning / af Lars Bo Kristensen Microsoft Excel har en del standard anvendelsesmuligheder i forhold til den beskrivende statistik og statistisk
Læs mereBrugergrænseflader i VSU
28-10-09 Side 1/5 Brugergrænseflader i Dette notat giver et praktisk eksempel på, hvordan brugergrænsefladen kan håndteres i. Notatet er en konsekvens af en lidt overfladisk beskrivelse i [B&D00] samt
Læs merePlan for præsentationen
Rejsen på vej til Test Drevet Udvikling i Uddannelses- og Forskningsministeriet Præsenteret af Klaus Olsen Willy Kofoed kontorchef i Uddannelses- og Forskningsministeriet Kenneth B Andersen IT Minds På
Læs mereEt SML-program til at finde rødder i en kontinuert funktion
Et SML-program til at finde rødder i en kontinuert funktion Hans Hüttel Ole Høgh Jensen 11 januar 2002 Indhold 1 Om denne tekst 1 2 Hvad er bisektion? 1 3 Specifikation af vores program 2 4 SML-versionen
Læs mereAccelerace og Green Tech Center kommer nu med et unikt tilbud om udvikling af din virksomhed Green Scale Up
Accelerace og Green Tech Center kommer nu med et unikt tilbud om udvikling af din virksomhed Green Scale Up Accelerace har gennem de seneste 7 år arbejdet tæt sammen med mere end 250 af de mest lovende
Læs mereMeasuring ability and aptitude. Forberedelsesguide
Forberedelsesguide Indhold Måling af evner, intelligens Generel introduktion Test 1 Test 2 Test 3 Test 4: Test 5: Ræsonnement Opfattelseshastighed Talhastighed -nøjagtighed Sproglig forståelse Spatial
Læs mereDIO. Faglige mål for Studieområdet DIO (Det internationale område)
DIO Det internationale område Faglige mål for Studieområdet DIO (Det internationale område) Eleven skal kunne: anvende teori og metode fra studieområdets fag analysere en problemstilling ved at kombinere
Læs mereDen aftale var Brian Mikkelsen og hans parti med til at indgå, og den aftale var Brian Mikkelsen og hans parti med til at gennemføre
Skatteudvalget 2012-13 SAU Alm.del endeligt svar på spørgsmål 585 Offentligt J.nr. 13-0196787 Besvarelse af samrådsspørgsmål AZ Spørgsmål AZ: Vil ministeren sikre, at udformningen af de nye skatteregler
Læs merePATIENTOPLEVETKVALITET 2013
Patientoplevetkvalitet Antal besvarelser: 59 PATIENTOPLEVETKVALITET 23 Svarprocent: 45% FORORD Patientoplevet kvalitet Her er dine resultater fra undersøgelsen af den patientoplevede kvalitet i speciallægepraksis,
Læs mereGuide til din computer
Guide til din computer Computerens anatomi forklaret på et nemt niveau Produkt fremstillet af Nicolas Corydon Petersen, & fra Roskilde Tekniske Gymnasium, kommunikation & IT, år 2014 klasse 1.2 12-03-2014.
Læs mereArduinostyret klimaanlæg Afsluttende projekt informationsteknologi B
Arduinostyret klimaanlæg Afsluttende projekt informationsteknologi B Udarbejdet af: Mathias R W Sørensen, klasse 3.4 Udleveringsdato: 02-03-2012 Afleveringsdato: 11-05-2012 IT-vejleder: Karl G. Bjarnason
Læs mereTing man gør med Vektorfunktioner
Ting man gør med Vektorfunktioner Frank Villa 3. august 13 Dette dokument er en del af MatBog.dk 8-1. IT Teaching Tools. ISBN-13: 978-87-9775--9. Se yderligere betingelser for brug her. Indhold 1 Introduktion
Læs mere