Automatické testování modulárního software

1. Automatické testování modulárního software K.Ježek, L.Holý, P.Brada, Spolehlivé softwarové architektury (ReliSA)Katedra informatiky a výpočetní techniky, Fakulta aplikovaných věd, ZČU v Plzni

2. Obsah • Seznámení s projektem • Obchodní model • Založení společnosti a investice • Diskuse

3. Představení projektu Nabízíme cloudovou službu, která automaticky odhaluje statické chyby modulárního software, čímž snižuje náklady na testování a zvyšuje spolehlivost software.

4. Příležitost • 75% programů zatíženo statickou chybou • 51% vývojářů neví o možnosti vzniku chyby • Všechny statické chyby lze odhalit automatizovaně • $ 225 milionů ročně lze ušetřit

5. Přínos pro klienty • Snížení pracnosti při integračních testech • Zrychlení vývojového procesu • Snížení nákladů na vývoj • Zvýšení kvality • Význam zejména pro: 24/7 uptime Hot Updates Continousdelivery

6. Nabízené řešení • Založeno na univerzitním výzkumu • Publikováno na mezinárodních konferencích • Automatizovaný testovací nástroj • Funkční prototyp dle publikovaných metod • Úspěšná pilotní implementace • Projekt na míru pro Openmatics

7. Charakteristika řešení • Automatizována reverzní analýza binárních dat • Pro jazyk Java • Odhalení statických chyb • Chybějící metody, knihovny, moduly • Nevhodné kombinace verzí • Pokrývá 100% chyb Statické chyby Dynamické chyby

8. Pilotní projekt • Testovací provoz v Openmatics (ZF) • Přínosy pro klienta • Otestování aplikací pro novou verzi platformy • Identifikace volání zakázaných rozhraní • Detekce lidské chyby při chybné kompozici modulů platformy • Zkrácení doby vývoje • Zvýšení důvěryhodnosti platformy

9. Navrhujeme cloudový server Moduly aplikace • Automatizované ověření zaslaných aplikací Výsledek ověření Vývojové prostředí Verifikační server

10. Konkurence • Přímá konkurence není známá • Dnes nákladné ruční testy, ignorování problému • Jednoúčelové nástroje • Pokrytí pouze části problematiky • Nutnost lokálního nasazení • Nabízíme flexibilní, finančně efektivní SaaS

11. Zákazníci • Software house, Softwaroví integrátoři • QA, certifikační oddělení • Globální příležitost • Pilotní projekt s Openmatics • Jednání s Unicorn Systems

12. Obchodní model • Placená služba verifikačního serveru • Počet verifikovaných aplikací • Limit na přenesená GB • Předplatné, časové omezení • In-house řešení pro velké zákazníky

13. Finanční plán • Náklady: HR, hosting, marketing • Výnosy z předplatného tis. CZK

14. Založení společnosti • Cíl komercializace výzkumného projektu 2017 2014 2018/9 2006 2012 výzkum výzkum - univerzita pilot +1 kvartál +10 kvartálů MVP prodej Založení společnosti Q3/Q4 2014 break-even point Další Investice. Rozšíření funkci

15. Kamil Ježek CEO,CFO ? Složení týmu CTO Lukáš Holý Sales, Marketing ? ? Web design Operations Developer

16. Shrnutí, investice, význam pro investory • Příležitost na globálním trhu testování software • Unikátní řešení založené na univerzitním výzkumu • Malá konkurence • Řešený problém v budoucnu jen poroste • Úspěšný pilotní projekt • Hledáme investici 6 milionů Kč • Nabízíme podíl 30% v nově založené společnosti

17. Vaše dotazy? Kamil Ježek (kjezek@kiv.zcu.cz) Lukáš Holý (lholy@kiv.zcu.cz)