IncQuery Labs gives talk at GLA Summit

November 5, 2020

IncQuery Labs gives talk at GLA Summit

The GLA Summit is the first Global LabVIEW Architects' Summit and brings together certified or self-proclaimed LabVIEW Architects. The virtual event is organized in collaboration with the Certified LabVIEW Architect community and NI.  

Our research expert Péter Bokor is giving a thought-provoking talk about “Rigorous testing automated: push-button approaches” on Tuesday, the 10th of November at 11-12am (UTC).  Péter Bokor is the head of product for InstaCoverage, the advanced unit testing tool for InstaCoverage fully developed by IncQuery Labs.  

More about the topic:

Push-button, full automation, test coverage. Are we that far with LabVIEW? Not quite.

We have tools for generating test templates, for measuring coverage, for executing tests automatically. That's not bad. But can we push automation further by generating smart tests? Yes, it is possible, even without AI! There are deterministic techniques to generate test inputs that can thoroughly exercise the VI under test reaching even full test coverage. Test coverage is important for various applications, especially for safety-critical systems, as it can guarantee code reachability (no dead code) and it's a proof that the covered part of the code is tested. In this talk we'll talk about possible future directions of the automation of unit testing and code analysis of LabVIEW code. Specifically, we'll address two techniques, symbolic execution and feedback-based mutation testing, that can contribute to better LabVIEW code. These techniques vary in terms of precision (efficiency) and implementation complexity, which turn out to be a trade-off, and we’ll also see which one of the two techniques is in reach today for LabVIEW.  

Learn more about the program of the GLA Summit.