CerTran & SuperTest continuous C C++ compiler qualification - Joint webinar with BUGSENG скачать в хорошем качестве

CerTran & SuperTest continuous C C++ compiler qualification - Joint webinar with BUGSENG

Functional safety standards such as ISO 26262 for the automotive industry put many requirements on the development process of a safety-critical application. Not only should you perform static analysis on the application code itself, but you should also analyze the tools you use during application development. Most importantly, you need to create confidence in the correct operation of the compiler by qualifying it. At first, this may seem like a substantial project on its own. This webinar will demonstrate how most of the effort can be automated by integrating it into your application's continuous integration process, making compiler qualification a breeze. In a joint project with Solid Sands, BUGSENG created the CerTran extension to its ECLAIR Software Verification Platform®, a CI-ready solution for automated validation of translation toolchains. CerTran automates the configuration of Solid Sands' SuperTest Compiler Test and Validation Suite by scanning the application build process and creating the exact test configuration files needed to cover all the use cases of the translation toolchain. Not only does this save a lot of time, but it also avoids configuration errors that can quickly happen when scanning the build process manually. "When developing safety-critical applications in C or C++, there are two key factors to consider – do the compiler and library do what they are supposed to, and does the application source code comply with the programming guidelines like MISRA? For the first, Solid Sands has SuperTest, and for the second, BUGSENG has ECLAIR. With ECLAIR's CerTran integration, these two can now work together seamlessly. It makes safety-critical development much more efficient." – Solid Sands’ CTO Marcel Beemster. Take-home: This webinar will teach you how the integration of CerTran and SuperTest automates the analysis of the compiler’s use case and the compiler validation, as part of your qualification project. _______________________________________________________________________ Useful Links Solid Sands: https://solidsands.com/ SuperTest: https://solidsands.com/supertest BUGSENG: https://www.bugseng.com/