VerifiQua
•Download as PPTX, PDF•
3 likes•611 views
According to research conducted by Kamil Ježek, Lukáš Holý, and Přemek Brada from the University of West Bohemia in Pilsen, 75% of programs contain static errors and 51% of developers are unfamiliar with this problem. They estimate that the global annual opportunity for automatically detecting static problems in software is €160 million. Their proposed solution is to develop a tool for automatic static error detection that produces verification reports, with pricing starting at €40 for detecting issues in 2GB of code and 5 apps.
Recommended
More Related Content
More from StartupYard
More from StartupYard (20)
Recently uploaded
Recently uploaded (20)
VerifiQua
- 2. 75% programs contain static errors Did you know?
- 3. 51% developers unfamiliar with problem Did you know?
- 4. Research in field Kamil Ježek Lukáš Holý Přemek Brada University of West Bohemia in Pilsen
- 5. Static Error LineIterator it = ... String line = it.next(); class LineIterator { Object next(); }
- 6. Global Opportunity € 160 millions / year
- 8. Pricing 2 GB 5 apps 10 GB 30 apps 30 GB 100 apps € 40 € 300 € 500 Local Custom
- 9. Pilot Openmatics (ZF), 2012-now ▪ Problem detection worth 5000 € / year ▪ Custom product, paid 7000 € Application B Application A Platform
- 10. Global opportunity No automatic tool Currently expensive Opportunity
- 13. Contact us Kamil Ježek kjezek@kiv.zcu.cz Lukáš Holý lholy@kiv.zcu.cz
Editor's Notes
- Strangi Finerelease Finebuild Finecompile goodcompile Cheqsta Verifica Verifiqua Depczech depinspec
- SY:so many people doing java and error and we want to fix that We found that there are so many errors in SW, also because of low knowledge 30% - z analýzy diskutovaných chyb na stackoverflow – může být i více, neboť OSS bývá lépe otestovaný COQ = cost of quality Campanella, J. (Ed.) (1999). Principles of Quality Costs: Principles, Implementation and Use, 3rd ed. Milwaukee, WI: ASQ Quality Press.
- SY:so many people doing java and error and we want to fix that We found that there are so many errors in SW, also because of low knowledge 30% - z analýzy diskutovaných chyb na stackoverflow – může být i více, neboť OSS bývá lépe otestovaný COQ = cost of quality Campanella, J. (Ed.) (1999). Principles of Quality Costs: Principles, Implementation and Use, 3rd ed. Milwaukee, WI: ASQ Quality Press.
- Poznamky SY: why we are here, start with the story passionate with the topic, so for last x years we are doing So we are … Založení nové s.r.o společnosti - Vývoj a prodej navrhovaného řešení Společnost využije - Již publikovaný výzkum, Open-source prototypové nástroje Spolupráce s univerzitou - Aplikovaný výzkum Cíl rozšíření a komercializace výzkumu
- SY: this is a static error Testovaná aplikace není spuštěna → netestuje chování, testuje správnost kompozice Chybějící metody, knihovny, moduly Nevhodné kombinace verzí
- But it turns out that automated detection would save lot of money and problems in the whole world.
- That’s why we would like to offer a cloud service that automatically detects static incompatibilities (?of modular software?) Where you upload a binary and receive report. Ověření zpětné kompatibility: Clirr, Japitools, Java ACC Nalezení chybějících modulů: Joops, Depfinder No direct competitors Integration or manual testing Few simple tools
- Offering following pay-as-you go pricing model we would be able to deliver our solution without any additional costs.
- So we started with the pilot project for Openmatics company, which started two years ago. The paid us 10K and they calculated actual savings as 7,5K per year for a console product. TODO neco o platforme 200 za rok??? -> opraveno na 150000 za rok usetreno na chybach
- And now imagine how this savings can be effectively scaled on a global market, where are no direct competitors.
- We look for 300 K investment to be able to provide such cloud service We expect Break-even-point in 18 months
- We will be pleasured to show you demo at your table/poster/place. Or answer questions directly or via email or so.
- cedric@startupyard.com