Over ons

Lees meer over Axini.

Axini is op oudejaarsavond 2007 opgericht door Machiel van der Bijl en Menno Jonkers.

Ontstaansgeschiedenis

Axini is ontstaan uit onvrede over de verspilling in het software ontwikkelproces waar ruim 30% van de kosten en doorlooptijd verloren ging aan testen en het oplossen van fouten. Er was een gebrek aan geautomatiseerde ondersteuning waardoor fouten pas aan het eind van het ontwikkelproces of zelfs in productie worden gevonden. Zelfs voor projecten waar kwaliteit van het hoogste belang was, waren er geen oplossingen anders dan meer testexperts inschakelen.

Verlichting in Twente

In 1996 is Machiel onderzoek gaan doen naar testautomatiseringsoplossingen. Op dat moment was keyword-driven testen de state of the art. Tijdens het onderzoek maakte Machiel helder dat het maken en onderhouden van een keyword-driven test suite te arbeidsintensief is om grondig mee te testen. Het probleem dat hij constateerde is dat de koppeling tussen documentatie en testen handmatig gebeurt. Hierdoor is het onvermijdelijk dat testen en documentatie uit elkaar gaat lopen.

Rond die tijd kwam Machiel in contact met de formele methoden groep van de Universiteit Twente. Zij deden al 25 jaar onderzoek naar validatie en verificatie van software geleid door grote namen zoals Dr. Ir. Jan Tretmans en professor Dr. Ed Brinksma. Zij hebben een wijze van specificeren ontwikkeld die zo eenduidig is dat deze geïnterpreteerd kan worden door zowel mens als computer. Hierdoor kan de techniek helpen om specificaties te valideren en zelfs automatisch testen te genereren.

Machiel vond het concept zo sterk dat hij daar zijn promotieonderzoek heeft gedaan en gepromoveerd is op dit onderwerp. Hier leerde hij de ins en outs van deze techniek. Tijdens zijn onderzoek kwam hij erachter dat de theorie en de ontwikkelde tools nog niet direct toepasbaar waren voor applicaties in de praktijk. Dit gat moest nog worden gevuld.

De geboorte van Axini

Menno Jonkers werkte rond dezelfde tijd in IT-innovatie in de financiële sector en in de ontwikkeling van high-tech productsoftware. De vaak matige volwassenheid van IT verbaasde hem steeds opnieuw. Hij voorzag dat met de gangbare werkwijze de overal oprukkende en aan elkaar geknoopte computersystemen niet beheersbaar zouden blijven. Ook hij zocht naar de ontbrekende factor in het ontwikkelproces.

Menno en Machiel kenden elkaar als vroegere collega's. Menno zag in de ideeën van Machiel een fundamentele verbetering voor de software-industrie. Daarnaast delen ze belangrijke waarden: goed werk leveren, geen bullshit. Samen zijn ze de uitdaging aangegaan door als eerste deze formele methoden in de markt te brengen. Hun samenwerking was een feit en Axini was geboren.

Axini vandaag

De vroege jaren van Axini waren primair gericht op model-gebaseerd testen. Dit is omdat de markt destijds vooral openstond voor betere testoplossingen. Inmiddels is de markt klaar om de volledige model-gebaseerd werken aanpak te omarmen. Hiermee worden de voordelen van de formele methoden in het hele ontwikkelproces voelbaar. Onze klanten zijn daar ontzettend enthousiast over. Axini heeft de technieken in de tussentijd verder doorontwikkeld en toegankelijker gemaakt. Daarmee staan ze klaar om de markt verder te veroveren.