Slim bugs checken in software

Onderzoek & Wetenschap 21/09/2020 9:34:59

Thomas Neele, promovendus aan de TU Eindhoven, heeft drie technieken ontwikkeld om software slimmer en sneller te checken op bugs, gebaseerd op de model checking methode.

Lees hieronder verder   
Verwant

Pandemie doet IT-trainingen dalen met 60%

Bij uitrol 5G speelt cyberveiligheid cruciale rol

AI laat ’brein geïnspireerd’ netwerk snel bijleren

3D-printen met gebruikte materialen voor een circulaire economie

Verhoog de cyberveiligheid van uw slimme gebouwen

Nieuwe sluiproute zorgt voor sneller patroon in magneet

>> Meer verwant nieuws
Carrièrekansen (meer)
Agenda

Navingo Career Event

RDM Rotterdam – Onderzeebootloods

van 27/10/2020 tot 28/10/2020

Always an eye on your assets

B&R Webinar

dinsdag 27 oktober 2020

Aquarama Trade Fair

Brabanthal Leuven

donderdag 29 oktober 2020

IO-Link 4 Life Digital Event

Digital Event

donderdag 29 oktober 2020

Artificial Intelligence

IMF Academy Haarlem (NL)

van 4/11/2020 tot 19/11/2020

Internet of Things (IoT)

IMF Academy (centraal Nederland)

van 9/11/2020 tot 11/11/2020

Keuze van de redactie

(19/10) Nieuwe filtertechnologie als oplossing voor “forever chemicals”

(19/10) Lutgardis Claes, ingenieur met strepen - topingenieur

(15/10) 3D-printen met gebruikte materialen voor een circulaire economie

(15/10) Startup re.alto moet digitalisering energiesector versnellen

(12/10) VLIZ breidt onderzoekscapaciteit uit in nieuwe ’Ocean Innovation Space’

(12/10) Europese steun voor Antwerps innovatief CO2-reductie project

>> Meer blikvangers

ENGINEERINGNET.BE - Model checking is een van de meest rigoureuze technieken om software te checken. Er wordt gekeken naar alle mogelijke acties die een softwaresysteem kan doen, en alle 'toestanden' waar het zich in kan bevinden, om te zien of alles werkt zoals het moet.

De uitdaging is dat software vaak uit meerdere delen bestaat die naast elkaar hun werk doen. Daardoor kan het aantal toestanden om te checken explosief toenemen, wat model checking duur en soms zelfs ondoenbaar maakt.

Neele heeft nieuwe manieren verkend om dit probleem aan te pakken en ervoor te zorgen dat minder toestanden gecheckt hoeven te worden.

De methodes van Neele hebben een ding gemeen: ze houden per toestand de vereisten in de gaten. Deze extra informatie maakt het makkelijker om te bekijken welke toestanden niet gecheckt hoeven te worden.

Om tegelijkertijd naar het systeemgedrag en de vereisten te kunnen krijgen, moest Neele eerst een nieuwe, gestructureerde manier ontwikkelen om de combinatie van vereisten en gedrag te laten zien.

De eerste techniek vermindert het aantal toestanden om te checken door gelijksoortige toestanden bij elkaar te groeperen. Dit maakt het zelfs mogelijk om met een oneindig aantal toestanden te werken.

De tweede methode controleert of parallelle onderdelen soms onafhankelijk van elkaar werken. Als dat zo is, dan is het niet nodig om alle mogelijke toestanden te bestuderen. De laatste techniek controleert of bepaalde informatie relevant is en verwijdert die als dat niet zo is.

In de toekomst kunnen deze ideeën ervoor zorgen dat kritieke software sneller en goedkoper ontwikkeld kan worden. Op dit moment is er veel expertise nodig om Neeles ideeën, en model checking in het algemeen, te kunnen toepassen.

Om meer algemeen gebruik mogelijk te maken, moet er een volledig geautomatiseerd systeem gebouwd worden dat bepaalt welke methode het beste past bij specifieke toepassingen. << (Lydia Heida) (foto: rawpixel - 123RF)

Reageren
Abonneer op onze nieuwsbrief

Mis ook dit niet...

Nieuwe filtertechnologie als oplossing voor “forever chemicals”

KUL bio-ingenieurs hebben een nieuwe methode gevonden om schadelijke geperfluoreerde chemicaliën uit het water te filteren. De zogenaamde PFAS breken niet af en stapelen zich op in het milieu.

Lutgardis Claes, ingenieur met strepen - topingenieur

Generaal-majoor Lutgardis Claes werd de eerste vrouwelijke rector van de Brusselse Koninklijke Militaire School (KMS). Ze is Burgerlijk Ingenieur in de vliegtuigbouw en bewapening-ballistiek

State-of-the-art batterijtester voor testlabo EnergyVille

Het batterijtestlabo van EnergyVille werd onlangs uitgebreid met een state-of-the-art batterijtester van de fabrikant PEC. Tegelijkertijd werd ook een temperatuurkamer in gebruik genomen.

Iconische brug bindmiddel voor Antwerpen-Noord

Sinds juli 2016 vormt de Parkbrug over de Italiëlei een verkeersveilige verbinding voor voetgangers en fietsers tussen Park Spoor Noord, het oude stadscentrum en het Eilandje.

ORI en Tractebel vs corona 1.0

Begin maart vond het laatste fysieke ORI-event plaats in Gare Maritime te Brussel. Het opkomende coronavirus was toen al onderwerp van vele gesprekken, maar de impact was nog onduidelijk.

Volvo Trucks gaat elektrische voertuigen in bouwsector testen

Deze maand is Volvo Trucks gestart met livetests van een volledig elektrisch voertuig in de bouwsector. Het bedrijf leverde hiervoor twee voertuigen voor zwaar gebruik aan zijn klant Swerock

Accelerator Start it @KBC verwelkomt recordaantal ondernemers

Meer dan 280 start-ups dienden hun kandidatuur in voor de 20e pitchwave van Start it @KBC. Dat is een recordaantal sinds de start van de accelerator in 2014.

Coronaproef ’fysiek’ netwerken tijdens succesvolle ABISS2020

Begin oktober slaagden de 68 technologiepartners er in om met 583 fysieke bezoekers en 248 digitale bezoekers te netwerken omtrent trends en oplossingen voor industriële digitalisering.

ABB introduceert nieuwe ultrasone niveautransmitter

ABB heeft een nieuwe ultrasone niveautransmitter met vele functies gelanceerd, speciaal ontworpen voor industrieën met een groot aantal geïnstalleerde niveaumeters. Met zijn modulaire ontwerp en intelligente algoritmen is de LST200 eenvoudig te installeren, in bedrijf te stellen en te onderhouden en is stabiel in gebruik. >>

Partners