Test och verifiering av inbyggd mjukvara i komplexa system

Transkript

1 Test och verifiering av inbyggd mjukvara i komplexa system James Bach Key note: Agile Test Automation - with examples from embedded software Key note workshop: Risk-Based Agile Testing Stuart Reid Key note: The new international software testing standard ISO special for embedded software Bart Broekman Heldagsworkshop: Test design techniques and test management issues in embedded software projects Ta även del av praktikfall från följande företag: Combitech, Sogeti, The MathWorks, BAE Systems Hägglunds AB, HiQ Mälardalen, St. Jude Medical oktober 2008, Stockholm

2 Test och verifiering Effektiv testning, verifiering och validering blir allt viktigare i en industri där kvalitetskraven ökar parallellt med minskade ledtider. Ökande komplexitet i gränssnitten mellan mjukvara och hårdvara ställer också högre krav på väl fungerande teststrategier och tekniker. Testaren har många utmaningar att hantera t.ex. Hur du automatiserar tester Hur du kan använda olika simuleringsstöd i utvecklingsprocesserna Hur du integrerar validering och verifiering i utvecklingsprocessen Hur dokumentationen skall hanteras Den oktober 2008 har vi samlat världsledande profiler inom området vilket gör denna konferens till ett utmärkt tillfälle att få inspiration till din fortsatta utveckling. Och för en gångs skull är blicken riktad främst mot inbyggd mjukvara och komplexa system miljöer som ställer andra krav än traditionella IT-system. Du får lyssna till intressanta föredrag från bl a James Bach, Stuart Reid och Bart Broekman, internationellt erkända föreläsare och författare inom området. Dessutom får du ta del av praktikfall från följande företag: Combitech, Sogeti, The MathWorks, BAE Systems Hägglunds AB, HiQ Mälardalen och St. Jude Medical I anföranden från våra praktikfall behandlas bl.a. följande frågor: Så maximerar du tillförlitlighet genom att integrera validering och verifiering i utvecklingsprocessen Hur tillämpa Exploratory Test för inbyggda system med Session Based Test Management? Hur utveckla agile testningen av inbyggd mjukvara - i kombination med mekanik- och elektronikutveckling? Simuleringsstöd i utvecklingsprocesser i inbyggd mjukvara Hur hanterar du dina specifika dokumentationskrav i en agil miljö? Trots att James Bach är mitt uppe i att skriva sin bok i USA så lyckades vi locka över honom till konferensen. Du har ett unikt tillfälle att både rejält öka din förståelse och få ny inspiration att utveckla testningen inom ditt företag. Vi har även bjudit in förra årets key note Bart Broekman, som gjorde ett mycket uppskattat framträdande med mycket höga betyg från er deltagare och gett honom en hel dag för att fördjupa sitt budskap. Missa inte Bart Broekmans heldagsworkshop den 29 oktober! Tveka inte anmäl dig nu! Vi tar gärna emot din anmälan per telefon , fax , e-post: info@teknologiskinstitut.se eller på vår hemsida. Du kan också anmäla dig via posttalongen som finns längst bak i denna broschyr. Välkommen! Mårten Nilson Projektledare, Teknologisk Institut Konferensen vänder sig till dig... som arbetar med utveckling, testning och verifiering av mjukvara och system i teknisk industri, t.ex. fordons-, flyg-, rymd-, elektronik-, telekom-, försvars-, automations- eller medicinsk teknikbranschen.

3 Måndagen den 27 oktober 09:00 Löpande registrering med kaffe 09:30 Ordföranden Henrik Andersson inleder konferensen Henrik Andersson har 10 års erfarenhet av test. Han är en aktiv medlem i the context driven community samt en förespråkare av att den största och viktigaste tillgången i testdisciplinen är testaren inte testfallen. Henrik Andersson, seniorkonsult, Sogeti Center of Test Excellence, Sogeti 09:40 Agile Test Automation There is a desire to automate all testing. James Bach is aware of this and will address all pitfalls included Key note in this desire and describe how agile test automation can be used more wisely with a better outcome. James Bach will include the following bullets in his speech, also with examples from embedded software: Introduction: Examples of Agile Automation for embedded software How to get lost by following the typical automation formula Snap Out of thinking so narrowly about test automation Principles of Agile Test Automation How to evaluate and measure agile test automation How to apply different types of Tool-Supported Testing such as Test generation, System configuration, Simulators, Probes, Oracles etc Questions a Tester Might Ask a programmer Managing Agile Automation - how to work with Request list, Assignments list, Delivered list, Maintenance request list, Obstacles list James Bach, Satisfice Inc. James Bach spends his time consulting and teaching software quality assurance and testing. He has worked at Apple Computer and other Silicon Valley companies as a programmer, tester, and test manager, and is the author of Lessons Learned in Software Testing. Föredraget hålls på engelska 11:00 Förmiddagskaffe 11:20 Uppnå 100 % tillförlitlighet genom att integrera validering och verifiering i utvecklingsprocessen Ta del av erfarenheter från testledningen av funktionsövervakningssystemet för JAS 39 Gripen. Praktikfall Teststrategi för ett helintegrerat system från ett dokumentationsorienterat till ett helt dataorienterat angreppssätt Verifiering och validering som del av utvecklingen automatisk verifiering mellan simulering och testdata Så har vi tagit ned kostnaderna, reducerat ledtiden och höjt tilltron till systemet Thomas Ericson, seniorkonsult, Combitech Thomas har lång erfarenhet av alla aspekter av test, verifiering och kravhantering, och har hållit föredrag både nationellt och internationellt om dessa ämnen. 12:10 Lunch

4 Måndagen den 27 oktober 13:10 Workshop: Risk-Based Agile Testing Agile methodology is focused on reducing the cost of changes to requirements, design, or code, so that Key note we can adapt the product quickly as we learn more about what we want. Agile testing means testing that supports an agile project, or testing that is itself able to quickly refocus itself as needed. Risk-analysis plays an essential role in that process. In this workshop James Bach will present a heuristic approach to risk analysis and show how that helps create agility in the test process. This is part of a test methodology that James Bach call Rapid Testing. The difference between risk-based test design and risk-based test management How we go from knowledge of potential risks to knowledge of actual risks? How to use risk heuristics to quickly identify risk areas? How to concisely document and review a risk-based test plan? James Bach, Satisfice Inc. Workshopen hålls på engelska och vi bryter för kaffepaus under eftermiddagen 16:30 Ordföranden avslutar dagen Tisdagen den 28 oktober 09:00 Konferensens andra dag inleds 09:10 How to apply the new international software testing standard ISO for embedded software In May 2007 ISO started development of their first standard on software. ISO will eventually cover all aspects of software testing but will initially cover vocabulary, process, documentation and techniques. This presentation describes progress on the development of ISO 29119, how you can use it, and explains how you can contribute to its development. Stuart Reid will especially cover the following issues: How does the new standard apply to embedded software? Which guidelines does the new standard give us for finding efficient routines for our documentations? How can the new standard help us to develop our testing processes? How can the new standard, instead of another burden, become a springboard for our future testing activities? How does the new standard apply to agile testing? Stuart Reid, chief technology officer, Testing Solutions Group Stuart Reid has a PhD in Software Testing. He is Convenor of ISO WG26, which is developing the new ISO Software Testing Standard and represents software testing on the BSI Software Engineering Committee. He is also Chair of the BCS Specialist Group in Software Testing (SIGiST) and its Standards Working Party, was previously Chair of the ISEB Software Testing Board and founded the ISTQB. Föredraget hålls på engelska 10:30 Förmiddagskaffe Key note

5 Tisdagen den 28 oktober 10:50 Exploratory test i praktiken! Henrik Andersson kommer under denna presentation att tala om hur Sogeti tillämpar Exploratory Test för inbyggda system med hjälp av Session Based Test Management. Henrik kommer att analysera erfarenheter kring detta arbetssätt, vad som är viktigt att tänka på och hur de rapporterar och kommunicerar vår testprogress. Avslutningsvis ger Henrik tips om hur man kan komma igång med Exploratory test. Hur du får ditt test-team att applicera exploratory test i praktiken Största utmaning och största stimulansen med metoden - att hela tiden hålla kreativiteten på en hög nivå och att hela tiden utvecklas Hur vi mäter och rapporterar vår testverksamhet inom exploratory test skilt från den traditionella test progress rapporteringen? Henrik Andersson, seniorkonsult, Sogeti Center of Test Excellence, Sogeti 11:40 Paus 11:50 Proof of correctness for generated code - tools, methods, and processes Automatically generated code is the generally accepted path to implementation in many software projects. To prove correctness of the generated code you need to first establish correctness of the models from which the code is generated. Then you can prove your generated source-code is correct and reliable. In this session we will discuss how you can make continuous verification an integrated part of the design process to ensure high level of confidence in the final implementation. The following topics will be discussed: Continuous verification and validation of models to detect errors early in the design cycle Proving reliability of generated code and detection of run-time errors Amory Wakefield, technical marketing verification and valiation, The MathWorks Inc. Amory Wakefield has been with The MathWorks since 2005, working at their Verification, Validation & Test division at their head office in Boston, Natick in the United States. Föredraget hålls på engelska 12:40 Lunch 13:40 Hur utveckla agile testning av inbyggd mjukvara i kombination med mekanikoch elektronikutveckling? Analys av problem och lösningar i kombinerade mekanik- och mjukvaruprojekt Att skapa ett övergripande system och en organisation där testteam och andra mekanikteam kan fungera parallellt vilka blir de gemensamma principerna? Hur anpassas agila testmetoder till kombinerade hårdvaru- och mjukvaruprojekt? Vem tar ansvaret för prioriteringsbesluten och vem blir produktchef? Hur slutar vi tänka i projekt och börjar tänka i ständig förbättring av en produkt/process? Håkan Näslund, Head of Test and verification, Software and electronics, BAE Systems Hägglunds AB Håkan har jobbat i 10 år med inbyggd mjukvara och elektronik. Håkan har byggt upp en oberoende avdelning för systemintegration, test och verifiering av programvara och elektronik från ruta ett till dagens avdelning med 31 personer som på heltid arbetar med test och verifiering. Under denna resa har han definierat, utvecklat metoder, rutiner, simuleringar och verktyg till dagens nivå. 14:30 Paus 14:40 Simuleringsstöd i utvecklingsprocesser för inbyggd mjukvara Simuleringsstöd under en produkts livscykel Arkitektur, plattformar och verktyg Vad krävs rent praktiskt för att införa detta i en större organisation? Ola Jensen, senior projektledare, HiQ Mälardalen Ola har lång erfarenhet av utveckling av simulatorer och testutrustningar för fordonsindustri. Gemensam nämnare för Olas erfarenheter är komplexa system med stor andel inbyggd programvara där simulering används som stöd för bl a test under utvecklingsprocessen. Praktikfall

6 Tisdagen den 28 oktober 15:30 Eftermiddagskaffe 15:50 Hur hanterar du dina specifika dokumentationskrav i en agil miljö? Hur kombinera ett agilt arbetssätt med de dokumentationskrav som finns i din egen bransch? Vad finns det för komponenter i ett agilt arbetssätt som på ett effektivare sätt integrerar dokumenteringen? Hur kan dokumenteringen bli ett dynamiskt verktyg i det fortsatta utvecklingsarbetet? Karin Bucht Linde, SW verification manager, St. Jude Medical Karin har arbetat med agila metoder inom medicintekniska tillämpningar både som kravchef och testchef under 2,5 års tid. Det har gett många insikter kring hur utvecklingscentrerade metoder som Scrum behöver anpassas för att även passa in för krav och test. Dessutom ställer den regulatoriska sidan extra krav kring vad som ska planeras in i en sprint, framförallt vad gäller dokumentation. Praktikfall 16:40 Konferensen avslutas Onsdagen den 29 oktober Heldagsworkshop: Test design techniques and test management issues in embedded software projects 09:00 Bart Broekman introduces the framework for the workshop Bart Broekman who received very high scores as our key note speaker on our last conference, has been invited again for one whole day to give an in-depth version of his insights. Bart Broekman will describe two major issues: Test design techniques and Managing Test in embedded software. Within this framework he will describe the following topics: Managing large embedded projects Including Multiple-V model and test environments Fundamentals of Test Strategy and Test Design Bart Broekman will also present various test design techniques, with exercises such as: State Transition Testing Classification Tree Method - extended with Pair wise Testing Elementary Comparison Test - with the MCDC coverage Future trends, with the fun-topic Evolutionary Algorithms Bart Broekman, Broekman Test Consultancy Bart Broekman has been in the software test arena for more than 20 years, and is an internationally wellknown and appreciated speaker and workshop leader, in subjects ranging from test automation to large scale test management. He is also co-author on books on test automation and testing embedded software. Workshopen hålls på engelska 16:30 Bart Broekman summarises the workshop

7 Konferensen vänder sig till dig som arbetar med utveckling, testning och verifiering av mjukvara och system i teknisk industri, t.ex. fordons-, flyg-, rymd-, elektronik-, telekom-, försvars-, automationseller medicinsk teknikbranschen. Teknologisk Institut AB Sverige Klipp av kupongen. Posta eller faxa Se oss på Anmälan till Test och verifiering (Projektnr ) Konferens oktober 2008: kr Workshop 29 oktober 2008: kr Konferens + Workshop oktober 2008: kr Moms tillkommer. Företag... Org.nr... Adress... Avd... Postnr/ort... Tel... Namn Frankeras ej Teknologisk Institut betalar portot Befattning... Avd... Namn Befattning... Avd... Namn Befattning... Avd... Namn Befattning... Avd... Teknologisk Institut Svarspost Kundnummer GÖTEBORG Kontaktperson... Ert beställningsnr... Fakturaadress (Ifylls endast om den inte är samma som ovan) Företag... Adress... Org.nr... Postnr/ort... Bekräftelse skickas till deltagare kontaktperson

8 B Porto betalt Sverige Praktiska upplysningar Tid och plats oktober 2008 Teknologisk Institut Utbildningscenter Olof Palmes gata 31, Stockholm Tunnelbana: T-centralen Tel Pris Konferens: kr Workshop: kr Konferens + Workshop: kr Priset inkluderar lunch, förfriskningar under pauser och dokumentationsmaterial. Moms tillkommer. Anmälningsbekräftelse och faktura sändes efter mottagen anmälan. Förbehåll Teknologisk Institut förbehåller sig rätten till ändringar av program, tid och plats. Hur du anmäler dig lättast Tel , vxl info@teknologiskinstitut.se Fax Posta anmälningstalongen Avbeställningsvillkor För av- och ombokningsregler, vänligen se vår hemsida För ytterligare upplysningar Se för mer praktisk information eller ring vårt kundcenter alternativt maila marten.nilson@teknologiskinstitut.se Nordens starkaste varumärke inom utbildning blir nu heldanskt och byter namn till Teknologisk Institut. Vi befäster därmed våra tre styrkefaktorer bredd, kvalitet och långsiktighet och blir en ännu mer kraftfull leverantör av såväl utbildnings- som konsultinsatser. Returadress: Teknologisk Institut Box GÖTEBORG