{"id":5813,"date":"2022-07-09T15:06:53","date_gmt":"2022-07-09T13:06:53","guid":{"rendered":"https:\/\/zen-cori.138-201-132-86.plesk.page\/?page_id=5813"},"modified":"2024-07-17T13:48:37","modified_gmt":"2024-07-17T11:48:37","slug":"use-cases","status":"publish","type":"page","link":"https:\/\/www.btc-embedded.com\/de\/use-cases\/","title":{"rendered":"Use Cases &#8211; Overview"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"5813\" class=\"elementor elementor-5813\" data-elementor-post-type=\"page\">\n\t\t\t\t<div class=\"elementor-element elementor-element-79b9cde btc-hero e-flex e-con-boxed e-con e-parent\" data-id=\"79b9cde\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-6519cc8 e-con-full e-flex e-con e-child\" data-id=\"6519cc8\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-2181cc7 elementor-widget elementor-widget-heading\" data-id=\"2181cc7\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">BTC EMBEDDED systems<\/h4>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-4f2f8c1 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"4f2f8c1\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">Use Cases<\/h1>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-fa65612 elementor-widget elementor-widget-text-editor\" data-id=\"fa65612\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tTest solutions for Simulink Models and Production Code\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-9a32708 e-grid e-con-boxed e-con e-parent\" data-id=\"9a32708\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-d9c29d8 btc-grow e-con-full e-flex e-con e-child\" data-id=\"d9c29d8\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t<div class=\"elementor-element elementor-element-175646a e-con-full e-flex e-con e-child\" data-id=\"175646a\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-afb1ccc elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"afb1ccc\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xmlns:serif=\"http:\/\/www.serif.com\/\" width=\"100%\" height=\"100%\" viewBox=\"0 0 512 512\" xml:space=\"preserve\" style=\"fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;\"><rect id=\"TesterBase\" x=\"0\" y=\"0\" width=\"512\" height=\"512\" style=\"fill:none;\"><\/rect><g id=\"TesterBase1\" serif:id=\"TesterBase\"><path d=\"M141,371l0,-257l-27,0l0,284l284,0l0,-27l-257,0Zm200.217,-205.64c-7.365,-4.936 -12.217,-13.336 -12.217,-22.86c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,15.178 -12.322,27.5 -27.5,27.5c-0.861,0 -1.712,-0.04 -2.554,-0.117l-20.122,63.784c7.343,4.941 12.176,13.327 12.176,22.833c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-4.493 1.08,-8.735 2.992,-12.48l-42.085,-33.096c-4.876,4.398 -11.331,7.076 -18.407,7.076c-0.396,0 -0.79,-0.008 -1.184,-0.025l-28.071,88.981c7.105,4.974 11.755,13.22 11.755,22.544c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-15.178 12.322,-27.5 27.5,-27.5c1.047,0 2.081,0.059 3.098,0.173l27.784,-88.074c-8.014,-4.808 -13.382,-13.582 -13.382,-23.599c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,3.213 -0.552,6.298 -1.568,9.167l43.471,34.186c4.435,-3.061 9.808,-4.853 15.597,-4.853c0.877,0 1.745,0.041 2.602,0.122l20.115,-63.762Z\" style=\"fill:#1d5781;\"><\/path><\/g><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-c8a530e elementor-widget elementor-widget-text-editor\" data-id=\"c8a530e\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tRequirements-based Testing\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-cea6195 elementor-widget elementor-widget-text-editor\" data-id=\"cea6195\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tRequirements-based Testing for Simulink, TargetLink, EmbeddedCoder and handwritten code\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-e38d39c elementor-mobile-align-center elementor-align-center elementor-widget elementor-widget-button\" data-id=\"e38d39c\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/de\/use_cases\/requirements-based-testing\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Explore<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-8221115 btc-grow e-con-full e-flex e-con e-child\" data-id=\"8221115\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t<div class=\"elementor-element elementor-element-3d7678e e-con-full e-flex e-con e-child\" data-id=\"3d7678e\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-e9030ea elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"e9030ea\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xmlns:serif=\"http:\/\/www.serif.com\/\" width=\"100%\" height=\"100%\" viewBox=\"0 0 512 512\" xml:space=\"preserve\" style=\"fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;\"><rect id=\"TesterBase\" x=\"0\" y=\"0\" width=\"512\" height=\"512\" style=\"fill:none;\"><\/rect><g id=\"TesterBase1\" serif:id=\"TesterBase\"><path d=\"M141,371l0,-257l-27,0l0,284l284,0l0,-27l-257,0Zm200.217,-205.64c-7.365,-4.936 -12.217,-13.336 -12.217,-22.86c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,15.178 -12.322,27.5 -27.5,27.5c-0.861,0 -1.712,-0.04 -2.554,-0.117l-20.122,63.784c7.343,4.941 12.176,13.327 12.176,22.833c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-4.493 1.08,-8.735 2.992,-12.48l-42.085,-33.096c-4.876,4.398 -11.331,7.076 -18.407,7.076c-0.396,0 -0.79,-0.008 -1.184,-0.025l-28.071,88.981c7.105,4.974 11.755,13.22 11.755,22.544c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-15.178 12.322,-27.5 27.5,-27.5c1.047,0 2.081,0.059 3.098,0.173l27.784,-88.074c-8.014,-4.808 -13.382,-13.582 -13.382,-23.599c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,3.213 -0.552,6.298 -1.568,9.167l43.471,34.186c4.435,-3.061 9.808,-4.853 15.597,-4.853c0.877,0 1.745,0.041 2.602,0.122l20.115,-63.762Z\" style=\"fill:#1d5781;\"><\/path><\/g><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-bfcfc0d elementor-widget elementor-widget-text-editor\" data-id=\"bfcfc0d\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tCode Coverage Analysis\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-9ba0b59 elementor-widget elementor-widget-text-editor\" data-id=\"9ba0b59\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tIn BTC EmbeddedTester, code coverage is automatically calculated and updated in the background. \t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-5145aae elementor-mobile-align-center elementor-align-center elementor-widget elementor-widget-button\" data-id=\"5145aae\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/de\/use_cases\/code-coverage-analysis\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Explore<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-50e8158 btc-grow e-con-full e-flex e-con e-child\" data-id=\"50e8158\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t<div class=\"elementor-element elementor-element-bd9b0ea e-con-full e-flex e-con e-child\" data-id=\"bd9b0ea\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-f08a863 elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"f08a863\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xmlns:serif=\"http:\/\/www.serif.com\/\" width=\"100%\" height=\"100%\" viewBox=\"0 0 512 512\" xml:space=\"preserve\" style=\"fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;\"><rect id=\"TesterBase\" x=\"0\" y=\"0\" width=\"512\" height=\"512\" style=\"fill:none;\"><\/rect><g id=\"TesterBase1\" serif:id=\"TesterBase\"><path d=\"M141,371l0,-257l-27,0l0,284l284,0l0,-27l-257,0Zm200.217,-205.64c-7.365,-4.936 -12.217,-13.336 -12.217,-22.86c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,15.178 -12.322,27.5 -27.5,27.5c-0.861,0 -1.712,-0.04 -2.554,-0.117l-20.122,63.784c7.343,4.941 12.176,13.327 12.176,22.833c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-4.493 1.08,-8.735 2.992,-12.48l-42.085,-33.096c-4.876,4.398 -11.331,7.076 -18.407,7.076c-0.396,0 -0.79,-0.008 -1.184,-0.025l-28.071,88.981c7.105,4.974 11.755,13.22 11.755,22.544c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-15.178 12.322,-27.5 27.5,-27.5c1.047,0 2.081,0.059 3.098,0.173l27.784,-88.074c-8.014,-4.808 -13.382,-13.582 -13.382,-23.599c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,3.213 -0.552,6.298 -1.568,9.167l43.471,34.186c4.435,-3.061 9.808,-4.853 15.597,-4.853c0.877,0 1.745,0.041 2.602,0.122l20.115,-63.762Z\" style=\"fill:#1d5781;\"><\/path><\/g><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-23d070d elementor-widget elementor-widget-text-editor\" data-id=\"23d070d\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tFormal Specification\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-b884f4d elementor-widget elementor-widget-text-editor\" data-id=\"b884f4d\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tIntuitive Formal Specification of Safety Requirements\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6da001e elementor-mobile-align-center elementor-align-center elementor-widget elementor-widget-button\" data-id=\"6da001e\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/de\/use_cases\/formal-specification\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Explore<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-633aa31 btc-grow e-con-full e-flex e-con e-child\" data-id=\"633aa31\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t<div class=\"elementor-element elementor-element-6015ad0 e-con-full e-flex e-con e-child\" data-id=\"6015ad0\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-4cf7f49 elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"4cf7f49\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xmlns:serif=\"http:\/\/www.serif.com\/\" width=\"100%\" height=\"100%\" viewBox=\"0 0 512 512\" xml:space=\"preserve\" style=\"fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;\"><rect id=\"TesterBase\" x=\"0\" y=\"0\" width=\"512\" height=\"512\" style=\"fill:none;\"><\/rect><g id=\"TesterBase1\" serif:id=\"TesterBase\"><path d=\"M141,371l0,-257l-27,0l0,284l284,0l0,-27l-257,0Zm200.217,-205.64c-7.365,-4.936 -12.217,-13.336 -12.217,-22.86c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,15.178 -12.322,27.5 -27.5,27.5c-0.861,0 -1.712,-0.04 -2.554,-0.117l-20.122,63.784c7.343,4.941 12.176,13.327 12.176,22.833c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-4.493 1.08,-8.735 2.992,-12.48l-42.085,-33.096c-4.876,4.398 -11.331,7.076 -18.407,7.076c-0.396,0 -0.79,-0.008 -1.184,-0.025l-28.071,88.981c7.105,4.974 11.755,13.22 11.755,22.544c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-15.178 12.322,-27.5 27.5,-27.5c1.047,0 2.081,0.059 3.098,0.173l27.784,-88.074c-8.014,-4.808 -13.382,-13.582 -13.382,-23.599c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,3.213 -0.552,6.298 -1.568,9.167l43.471,34.186c4.435,-3.061 9.808,-4.853 15.597,-4.853c0.877,0 1.745,0.041 2.602,0.122l20.115,-63.762Z\" style=\"fill:#1d5781;\"><\/path><\/g><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-f9acdba elementor-widget elementor-widget-text-editor\" data-id=\"f9acdba\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tISO 26262\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-a9d1e83 elementor-widget elementor-widget-text-editor\" data-id=\"a9d1e83\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tThe completeness of testing activities cannot be evaluated without measuring structural coverage of the software unit. \t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-1ec34e9 elementor-mobile-align-center elementor-align-center elementor-widget elementor-widget-button\" data-id=\"1ec34e9\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/de\/use_cases\/iso-26262\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Explore<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-ff5d225 btc-grow e-con-full e-flex e-con e-child\" data-id=\"ff5d225\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t<div class=\"elementor-element elementor-element-d5b3f2c e-con-full e-flex e-con e-child\" data-id=\"d5b3f2c\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-0a66c9b elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"0a66c9b\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xmlns:serif=\"http:\/\/www.serif.com\/\" width=\"100%\" height=\"100%\" viewBox=\"0 0 512 512\" xml:space=\"preserve\" style=\"fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;\"><rect id=\"TesterBase\" x=\"0\" y=\"0\" width=\"512\" height=\"512\" style=\"fill:none;\"><\/rect><g id=\"TesterBase1\" serif:id=\"TesterBase\"><path d=\"M141,371l0,-257l-27,0l0,284l284,0l0,-27l-257,0Zm200.217,-205.64c-7.365,-4.936 -12.217,-13.336 -12.217,-22.86c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,15.178 -12.322,27.5 -27.5,27.5c-0.861,0 -1.712,-0.04 -2.554,-0.117l-20.122,63.784c7.343,4.941 12.176,13.327 12.176,22.833c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-4.493 1.08,-8.735 2.992,-12.48l-42.085,-33.096c-4.876,4.398 -11.331,7.076 -18.407,7.076c-0.396,0 -0.79,-0.008 -1.184,-0.025l-28.071,88.981c7.105,4.974 11.755,13.22 11.755,22.544c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-15.178 12.322,-27.5 27.5,-27.5c1.047,0 2.081,0.059 3.098,0.173l27.784,-88.074c-8.014,-4.808 -13.382,-13.582 -13.382,-23.599c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,3.213 -0.552,6.298 -1.568,9.167l43.471,34.186c4.435,-3.061 9.808,-4.853 15.597,-4.853c0.877,0 1.745,0.041 2.602,0.122l20.115,-63.762Z\" style=\"fill:#1d5781;\"><\/path><\/g><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-8f4724a elementor-widget elementor-widget-text-editor\" data-id=\"8f4724a\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tContinuous Integration &#038; Cloud\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-a227224 elementor-widget elementor-widget-text-editor\" data-id=\"a227224\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tInclude unit and integration tests in your CI pipeline to ensure high quality early on! \t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2b2e540 elementor-mobile-align-center elementor-align-center elementor-widget elementor-widget-button\" data-id=\"2b2e540\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/de\/use_cases\/continuous-integration-cloud\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Explore<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-a7bf9ce btc-grow e-con-full e-flex e-con e-child\" data-id=\"a7bf9ce\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t<div class=\"elementor-element elementor-element-2f5968e e-con-full e-flex e-con e-child\" data-id=\"2f5968e\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-6bd63bc elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"6bd63bc\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xmlns:serif=\"http:\/\/www.serif.com\/\" width=\"100%\" height=\"100%\" viewBox=\"0 0 512 512\" xml:space=\"preserve\" style=\"fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;\"><rect id=\"TesterBase\" x=\"0\" y=\"0\" width=\"512\" height=\"512\" style=\"fill:none;\"><\/rect><g id=\"TesterBase1\" serif:id=\"TesterBase\"><path d=\"M141,371l0,-257l-27,0l0,284l284,0l0,-27l-257,0Zm200.217,-205.64c-7.365,-4.936 -12.217,-13.336 -12.217,-22.86c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,15.178 -12.322,27.5 -27.5,27.5c-0.861,0 -1.712,-0.04 -2.554,-0.117l-20.122,63.784c7.343,4.941 12.176,13.327 12.176,22.833c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-4.493 1.08,-8.735 2.992,-12.48l-42.085,-33.096c-4.876,4.398 -11.331,7.076 -18.407,7.076c-0.396,0 -0.79,-0.008 -1.184,-0.025l-28.071,88.981c7.105,4.974 11.755,13.22 11.755,22.544c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-15.178 12.322,-27.5 27.5,-27.5c1.047,0 2.081,0.059 3.098,0.173l27.784,-88.074c-8.014,-4.808 -13.382,-13.582 -13.382,-23.599c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,3.213 -0.552,6.298 -1.568,9.167l43.471,34.186c4.435,-3.061 9.808,-4.853 15.597,-4.853c0.877,0 1.745,0.041 2.602,0.122l20.115,-63.762Z\" style=\"fill:#1d5781;\"><\/path><\/g><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-4cce7a1 elementor-widget elementor-widget-text-editor\" data-id=\"4cce7a1\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Migration Test<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-f3d8cfa elementor-widget elementor-widget-text-editor\" data-id=\"f3d8cfa\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tEnsure that new tool versions don\u2019t introduce unintended changes in the behavior of your software! \t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-d7f266d elementor-mobile-align-center elementor-align-center elementor-widget elementor-widget-button\" data-id=\"d7f266d\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/de\/use_cases\/migration-test\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Explore<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-4162f6c btc-grow e-con-full e-flex e-con e-child\" data-id=\"4162f6c\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t<div class=\"elementor-element elementor-element-5d1faeb e-con-full e-flex e-con e-child\" data-id=\"5d1faeb\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-e33639f elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"e33639f\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xmlns:serif=\"http:\/\/www.serif.com\/\" width=\"100%\" height=\"100%\" viewBox=\"0 0 512 512\" xml:space=\"preserve\" style=\"fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;\"><rect id=\"TesterBase\" x=\"0\" y=\"0\" width=\"512\" height=\"512\" style=\"fill:none;\"><\/rect><g id=\"TesterBase1\" serif:id=\"TesterBase\"><path d=\"M141,371l0,-257l-27,0l0,284l284,0l0,-27l-257,0Zm200.217,-205.64c-7.365,-4.936 -12.217,-13.336 -12.217,-22.86c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,15.178 -12.322,27.5 -27.5,27.5c-0.861,0 -1.712,-0.04 -2.554,-0.117l-20.122,63.784c7.343,4.941 12.176,13.327 12.176,22.833c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-4.493 1.08,-8.735 2.992,-12.48l-42.085,-33.096c-4.876,4.398 -11.331,7.076 -18.407,7.076c-0.396,0 -0.79,-0.008 -1.184,-0.025l-28.071,88.981c7.105,4.974 11.755,13.22 11.755,22.544c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-15.178 12.322,-27.5 27.5,-27.5c1.047,0 2.081,0.059 3.098,0.173l27.784,-88.074c-8.014,-4.808 -13.382,-13.582 -13.382,-23.599c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,3.213 -0.552,6.298 -1.568,9.167l43.471,34.186c4.435,-3.061 9.808,-4.853 15.597,-4.853c0.877,0 1.745,0.041 2.602,0.122l20.115,-63.762Z\" style=\"fill:#1d5781;\"><\/path><\/g><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-177e6f5 elementor-widget elementor-widget-text-editor\" data-id=\"177e6f5\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tFormal Verification\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-b3240a8 elementor-widget elementor-widget-text-editor\" data-id=\"b3240a8\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tThe power of proof for safety-critical systems\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-cca1c0d elementor-mobile-align-center elementor-align-center elementor-widget elementor-widget-button\" data-id=\"cca1c0d\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/de\/use_cases\/formal-verification\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Explore<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-f9cbfd9 btc-grow e-con-full e-flex e-con e-child\" data-id=\"f9cbfd9\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t<div class=\"elementor-element elementor-element-ebf64bd e-con-full e-flex e-con e-child\" data-id=\"ebf64bd\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-96137d0 elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"96137d0\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xmlns:serif=\"http:\/\/www.serif.com\/\" width=\"100%\" height=\"100%\" viewBox=\"0 0 512 512\" xml:space=\"preserve\" style=\"fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;\"><rect id=\"TesterBase\" x=\"0\" y=\"0\" width=\"512\" height=\"512\" style=\"fill:none;\"><\/rect><g id=\"TesterBase1\" serif:id=\"TesterBase\"><path d=\"M141,371l0,-257l-27,0l0,284l284,0l0,-27l-257,0Zm200.217,-205.64c-7.365,-4.936 -12.217,-13.336 -12.217,-22.86c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,15.178 -12.322,27.5 -27.5,27.5c-0.861,0 -1.712,-0.04 -2.554,-0.117l-20.122,63.784c7.343,4.941 12.176,13.327 12.176,22.833c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-4.493 1.08,-8.735 2.992,-12.48l-42.085,-33.096c-4.876,4.398 -11.331,7.076 -18.407,7.076c-0.396,0 -0.79,-0.008 -1.184,-0.025l-28.071,88.981c7.105,4.974 11.755,13.22 11.755,22.544c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-15.178 12.322,-27.5 27.5,-27.5c1.047,0 2.081,0.059 3.098,0.173l27.784,-88.074c-8.014,-4.808 -13.382,-13.582 -13.382,-23.599c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,3.213 -0.552,6.298 -1.568,9.167l43.471,34.186c4.435,-3.061 9.808,-4.853 15.597,-4.853c0.877,0 1.745,0.041 2.602,0.122l20.115,-63.762Z\" style=\"fill:#1d5781;\"><\/path><\/g><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-3049269 elementor-widget elementor-widget-text-editor\" data-id=\"3049269\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tBack-to-Back Test\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-a831ac1 elementor-widget elementor-widget-text-editor\" data-id=\"a831ac1\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tBack-to-Back Tests between model and code are highly recommend by the ISO 26262 standard\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-37e79d5 elementor-mobile-align-center elementor-align-center elementor-widget elementor-widget-button\" data-id=\"37e79d5\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/de\/use_cases\/back-to-back-test\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Explore<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-b5d3c96 btc-grow e-con-full e-flex e-con e-child\" data-id=\"b5d3c96\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t<div class=\"elementor-element elementor-element-655403b e-con-full e-flex e-con e-child\" data-id=\"655403b\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-859584a elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"859584a\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xmlns:serif=\"http:\/\/www.serif.com\/\" width=\"100%\" height=\"100%\" viewBox=\"0 0 512 512\" xml:space=\"preserve\" style=\"fill-rule:evenodd;clip-rule:evenodd;stroke-linejoin:round;stroke-miterlimit:2;\"><rect id=\"TesterBase\" x=\"0\" y=\"0\" width=\"512\" height=\"512\" style=\"fill:none;\"><\/rect><g id=\"TesterBase1\" serif:id=\"TesterBase\"><path d=\"M141,371l0,-257l-27,0l0,284l284,0l0,-27l-257,0Zm200.217,-205.64c-7.365,-4.936 -12.217,-13.336 -12.217,-22.86c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,15.178 -12.322,27.5 -27.5,27.5c-0.861,0 -1.712,-0.04 -2.554,-0.117l-20.122,63.784c7.343,4.941 12.176,13.327 12.176,22.833c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-4.493 1.08,-8.735 2.992,-12.48l-42.085,-33.096c-4.876,4.398 -11.331,7.076 -18.407,7.076c-0.396,0 -0.79,-0.008 -1.184,-0.025l-28.071,88.981c7.105,4.974 11.755,13.22 11.755,22.544c0,15.178 -12.322,27.5 -27.5,27.5c-15.178,0 -27.5,-12.322 -27.5,-27.5c0,-15.178 12.322,-27.5 27.5,-27.5c1.047,0 2.081,0.059 3.098,0.173l27.784,-88.074c-8.014,-4.808 -13.382,-13.582 -13.382,-23.599c0,-15.178 12.322,-27.5 27.5,-27.5c15.178,0 27.5,12.322 27.5,27.5c0,3.213 -0.552,6.298 -1.568,9.167l43.471,34.186c4.435,-3.061 9.808,-4.853 15.597,-4.853c0.877,0 1.745,0.041 2.602,0.122l20.115,-63.762Z\" style=\"fill:#1d5781;\"><\/path><\/g><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-7932c53 elementor-widget elementor-widget-text-editor\" data-id=\"7932c53\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tRegression Test\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-e4c1463 elementor-widget elementor-widget-text-editor\" data-id=\"e4c1463\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tRegression Tests between different versions of a software play an important role in A-SPICE and ISO 26262\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-a1c7de7 elementor-mobile-align-center elementor-align-center elementor-widget elementor-widget-button\" data-id=\"a1c7de7\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/de\/use_cases\/regression-test\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Explore<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-1306847 e-flex e-con-boxed e-con e-parent\" data-id=\"1306847\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-b640c5e e-con-full e-flex e-con e-child\" data-id=\"b640c5e\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-98b3a8f e-con-full e-flex e-con e-child\" data-id=\"98b3a8f\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-956ae37 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"956ae37\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Support &amp; Contact<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-a244df5 elementor-widget elementor-widget-text-editor\" data-id=\"a244df5\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p class=\"p1\"><span style=\"text-align: center;\">Find the right contact person, no matter where you are located!<\/span><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-6a6092b e-con-full e-flex e-con e-child\" data-id=\"6a6092b\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-2b01e7c elementor-align-right elementor-mobile-align-center elementor-widget elementor-widget-button\" data-id=\"2b01e7c\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm elementor-animation-grow\" href=\"#\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Contact &amp; Support<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>BTC EMBEDDED systems Use Cases Test solutions for Simulink Models and Production Code Requirements-based TestingRequirements-based Testing for Simulink, TargetLink, EmbeddedCoder and handwritten code Group 6 Explore Code Coverage AnalysisIn BTC EmbeddedTester, code coverage is automatically calculated and updated in the background. Group 6 Explore Formal SpecificationIntuitive Formal Specification of Safety Requirements Group 6 Explore ISO [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"class_list":["post-5813","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/pages\/5813","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/comments?post=5813"}],"version-history":[{"count":5,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/pages\/5813\/revisions"}],"predecessor-version":[{"id":22442,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/pages\/5813\/revisions\/22442"}],"wp:attachment":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/media?parent=5813"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}