{"id":836,"date":"2022-06-07T06:30:58","date_gmt":"2022-06-07T06:30:58","guid":{"rendered":"https:\/\/wp.ditsolution.net\/zomiasoftware\/?page_id=11"},"modified":"2024-09-02T12:52:08","modified_gmt":"2024-09-02T10:52:08","slug":"home","status":"publish","type":"page","link":"https:\/\/cpt.fel.cvut.cz\/","title":{"rendered":"Home"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"836\" class=\"elementor elementor-836\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-38dd7a4 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"38dd7a4\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-no\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-c81132d\" data-id=\"c81132d\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-e940cd8 elementor-widget__width-initial elementor-widget elementor-widget-slider_revolution\" data-id=\"e940cd8\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"slider_revolution.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\r\n\t\t<div class=\"wp-block-themepunch-revslider\">\n\t\t\t<!-- START CPT Slider 1 REVOLUTION SLIDER 6.5.12 --><p class=\"rs-p-wp-fix\"><\/p>\n\t\t\t<rs-module-wrap id=\"rev_slider_3_1_wrapper\" data-source=\"gallery\" style=\"visibility:hidden;background:transparent;padding:0;margin:0px auto;margin-top:0;margin-bottom:0;\">\n\t\t\t\t<rs-module id=\"rev_slider_3_1\" style=\"\" data-version=\"6.5.12\">\n\t\t\t\t\t<rs-slides>\n\t\t\t\t\t\t<rs-slide style=\"position: absolute;\" data-key=\"rs-3\" data-title=\"Slide\" data-in=\"o:0;\" data-out=\"a:false;\">\n\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" src=\"\/\/cpt.fel.cvut.cz\/wp-content\/plugins\/revslider\/public\/assets\/assets\/dummy.png\" alt=\"\" title=\"07\" width=\"1920\" height=\"950\" class=\"rev-slidebg tp-rs-img rs-lazyload\" data-lazyload=\"\/\/cpt.fel.cvut.cz\/wp-content\/uploads\/2022\/06\/07.jpg\" data-no-retina>\n<!--\n\t\t\t\t\t\t\t--><rs-group\n\t\t\t\t\t\t\t\tid=\"slider-3-slide-3-layer-0\" \n\t\t\t\t\t\t\t\tdata-type=\"group\"\n\t\t\t\t\t\t\t\tdata-rsp_ch=\"on\"\n\t\t\t\t\t\t\t\tdata-xy=\"xo:-48px,8px,7px,2px;y:m;yo:-15px,0,0,40px;\"\n\t\t\t\t\t\t\t\tdata-text=\"w:normal;s:20,16,12,7;l:0,20,15,9;\"\n\t\t\t\t\t\t\t\tdata-dim=\"w:622px,513px,410px,432px;h:498px,353px,344px,578px;\"\n\t\t\t\t\t\t\t\tdata-frame_0=\"o:1;\"\n\t\t\t\t\t\t\t\tdata-frame_999=\"o:0;st:w;sR:8700;sA:9000;\"\n\t\t\t\t\t\t\t\tstyle=\"z-index:12;\"\n\t\t\t\t\t\t\t><!--\n\t\t\t\t\t\t\t\t--><rs-layer\n\t\t\t\t\t\t\t\t\tid=\"slider-3-slide-3-layer-1\" \n\t\t\t\t\t\t\t\t\tdata-type=\"text\"\n\t\t\t\t\t\t\t\t\tdata-color=\"#1d2124\"\n\t\t\t\t\t\t\t\t\tdata-rsp_ch=\"on\"\n\t\t\t\t\t\t\t\t\tdata-xy=\"xo:-1px,1px,0,0;yo:42px,29px,22px,13px;\"\n\t\t\t\t\t\t\t\t\tdata-text=\"w:normal;s:65,58,50,40;l:65,53,40,50;fw:600;\"\n\t\t\t\t\t\t\t\t\tdata-dim=\"w:598px,543px,479px,379px;h:212px,176px,auto,auto;\"\n\t\t\t\t\t\t\t\t\tdata-frame_0=\"o:1;\"\n\t\t\t\t\t\t\t\t\tdata-frame_0_chars=\"d:5;x:105%;o:1;rY:45deg;rZ:90deg;\"\n\t\t\t\t\t\t\t\t\tdata-frame_0_mask=\"u:t;\"\n\t\t\t\t\t\t\t\t\tdata-frame_1=\"sp:1200;\"\n\t\t\t\t\t\t\t\t\tdata-frame_1_chars=\"e:power4.inOut;d:10;rZ:0deg;\"\n\t\t\t\t\t\t\t\t\tdata-frame_1_mask=\"u:t;\"\n\t\t\t\t\t\t\t\t\tdata-frame_999=\"o:0;st:w;sR:6300;\"\n\t\t\t\t\t\t\t\t\tstyle=\"z-index:10;font-family:'Poppins';\"\n\t\t\t\t\t\t\t\t>Constrained Path-Based Testing \n\t\t\t\t\t\t\t\t<\/rs-layer><!--\n\n\t\t\t\t\t\t\t\t--><rs-layer\n\t\t\t\t\t\t\t\t\tid=\"slider-3-slide-3-layer-3\" \n\t\t\t\t\t\t\t\t\tdata-type=\"text\"\n\t\t\t\t\t\t\t\t\tdata-color=\"#646464\"\n\t\t\t\t\t\t\t\t\tdata-rsp_ch=\"on\"\n\t\t\t\t\t\t\t\t\tdata-xy=\"xo:-1px,0,0,-1px;yo:316px,214px,153px,183px;\"\n\t\t\t\t\t\t\t\t\tdata-text=\"w:normal;s:18,16,16,16;l:30,30,30,26;\"\n\t\t\t\t\t\t\t\t\tdata-dim=\"w:591px,551px,384px,372px;\"\n\t\t\t\t\t\t\t\t\tdata-frame_0=\"x:175%;o:1;\"\n\t\t\t\t\t\t\t\t\tdata-frame_0_mask=\"u:t;x:-100%;\"\n\t\t\t\t\t\t\t\t\tdata-frame_1=\"e:power3.out;st:2070;sp:1000;sR:2070;\"\n\t\t\t\t\t\t\t\t\tdata-frame_1_mask=\"u:t;\"\n\t\t\t\t\t\t\t\t\tdata-frame_999=\"o:0;st:w;sR:5930;\"\n\t\t\t\t\t\t\t\t\tstyle=\"z-index:9;font-family:'Rubik';\"\n\t\t\t\t\t\t\t\t>We are extending the current Path-based Testing to give this technique more power in a broad scale of testing tasks in nowadays systems. \n\t\t\t\t\t\t\t\t<\/rs-layer><!--\n\n\t\t\t\t\t\t\t\t--><rs-layer\n\t\t\t\t\t\t\t\t\tid=\"slider-3-slide-3-layer-4\" \n\t\t\t\t\t\t\t\t\tclass=\"rev-btn\"\n\t\t\t\t\t\t\t\t\tdata-type=\"button\"\n\t\t\t\t\t\t\t\t\tdata-rsp_ch=\"on\"\n\t\t\t\t\t\t\t\t\tdata-xy=\"xo:0,0,-1px,111px;yo:437px,291px,276px,515px;\"\n\t\t\t\t\t\t\t\t\tdata-text=\"w:normal;s:16;l:55,53,54,52;fw:500;a:center;\"\n\t\t\t\t\t\t\t\t\tdata-dim=\"w:187px,175px,176px,176px;h:57px,56px,56px,55px;minh:0px,none,none,none;\"\n\t\t\t\t\t\t\t\t\tdata-actions='id:cpt-home-element;o:click;a:scrollto;sp:1000ms;e:power1.inOut;'\n\t\t\t\t\t\t\t\t\tdata-padding=\"r:40,33,25,15;l:40,33,25,15;\"\n\t\t\t\t\t\t\t\t\tdata-border=\"bor:3px,3px,3px,3px;\"\n\t\t\t\t\t\t\t\t\tdata-frame_0=\"rX:70deg;oZ:-50;\"\n\t\t\t\t\t\t\t\t\tdata-frame_1=\"oZ:-50;e:power4.inOut;st:1390;sp:1750;sR:1390;\"\n\t\t\t\t\t\t\t\t\tdata-frame_999=\"o:0;st:w;sR:5860;\"\n\t\t\t\t\t\t\t\t\tdata-frame_hover=\"bgc:#002aff;bor:3px,3px,3px,3px;sp:100;e:power1.inOut;bri:120%;\"\n\t\t\t\t\t\t\t\t\tstyle=\"z-index:11;background-color:#007aff;font-family:'Poppins';\"\n\t\t\t\t\t\t\t\t>Learn more \n\t\t\t\t\t\t\t\t<\/rs-layer><!--\n\t\t\t\t\t\t\t--><\/rs-group><!--\n\n\t\t\t\t\t\t\t--><rs-layer\n\t\t\t\t\t\t\t\tid=\"slider-3-slide-3-layer-5\" \n\t\t\t\t\t\t\t\tdata-type=\"image\"\n\t\t\t\t\t\t\t\tdata-rsp_ch=\"on\"\n\t\t\t\t\t\t\t\tdata-xy=\"xo:620px,512px,421px,79px;yo:60px,49px,-3px,290px;\"\n\t\t\t\t\t\t\t\tdata-text=\"w:normal;s:20,16,12,7;l:0,20,15,9;\"\n\t\t\t\t\t\t\t\tdata-dim=\"w:676px,453px,350px,256px;h:465px,311px,317px,176px;\"\n\t\t\t\t\t\t\t\tdata-frame_0=\"x:175%;o:1;\"\n\t\t\t\t\t\t\t\tdata-frame_0_mask=\"u:t;x:-100%;\"\n\t\t\t\t\t\t\t\tdata-frame_1=\"e:power3.out;st:2820;sp:1000;sR:2820;\"\n\t\t\t\t\t\t\t\tdata-frame_1_mask=\"u:t;\"\n\t\t\t\t\t\t\t\tdata-frame_999=\"o:0;st:w;sR:5180;\"\n\t\t\t\t\t\t\t\tstyle=\"z-index:8;\"\n\t\t\t\t\t\t\t><img decoding=\"async\" src=\"\/\/cpt.fel.cvut.cz\/wp-content\/plugins\/revslider\/public\/assets\/assets\/dummy.png\" alt=\"\" class=\"tp-rs-img rs-lazyload\" width=\"1638\" height=\"1126\" data-lazyload=\"\/\/cpt.fel.cvut.cz\/wp-content\/uploads\/2023\/08\/LNCT-transparent.drawio.png\" data-no-retina> \n\t\t\t\t\t\t\t<\/rs-layer><!--\n-->\t\t\t\t\t\t<\/rs-slide>\n\t\t\t\t\t<\/rs-slides>\n\t\t\t\t<\/rs-module>\n\t\t\t\t<script>\n\t\t\t\t\tsetREVStartSize({c: 'rev_slider_3_1',rl:[1240,1024,778,480],el:[600,768,960,720],gw:[1240,1024,778,480],gh:[600,768,860,720],type:'standard',justify:'',layout:'fullwidth',mh:\"0\"});if (window.RS_MODULES!==undefined && window.RS_MODULES.modules!==undefined && window.RS_MODULES.modules[\"revslider31\"]!==undefined) {window.RS_MODULES.modules[\"revslider31\"].once = false;window.revapi3 = undefined;if (window.RS_MODULES.checkMinimal!==undefined) window.RS_MODULES.checkMinimal()}\n\t\t\t\t<\/script>\n\t\t\t<\/rs-module-wrap>\n\t\t\t<!-- END REVOLUTION SLIDER -->\n<\/div>\r\n\r\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-285532d elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"285532d\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-ac5ceab\" data-id=\"ac5ceab\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-a3e556e elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"a3e556e\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-inner-column elementor-element elementor-element-da3ee2c\" data-id=\"da3ee2c\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-d06b694 elementor-widget elementor-widget-sectiontitle\" data-id=\"d06b694\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"sectiontitle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\r\n\t\t\t\t<div class=\"\">\r\n\r\n\t\t\t<div class=\"section-title t_center\">\r\n                 \r\n                        <h5>Introduction <span><\/span><\/h5>\r\n                \r\n\t\t\t\t\t\t\t\t\r\n\t\t\t\t  \r\n                       <h3>Path-based testing<\/h3>\r\n                \t\t\t\t\r\n\t\t\t\t \t\t\t\t\r\n                 \r\n                        <p>Get more detailed information about the current state of the art in path-based testing (process or workflow testing) to understand the benefits of using our proposed extension \u2013 Constrained Path-Based Testing<\/p>\r\n                \t\t\t\t\r\n\r\n\t\t\t\t\r\n\t\t\t<\/div>\t\r\n\r\n\t\t<\/div>\r\n\r\n\t\t\r\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-95d3d79 elementor-align-center elementor-widget elementor-widget-button\" data-id=\"95d3d79\" data-element_type=\"widget\" data-e-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-lg\" href=\"https:\/\/cpt.fel.cvut.cz\/?page_id=1026\">\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<i aria-hidden=\"true\" class=\"far fa-arrow-alt-circle-right\"><\/i>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Read more<\/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\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-a4e4fa0 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"a4e4fa0\" data-element_type=\"section\" data-e-type=\"section\" id=\"cpt-home-element\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-4482ddd\" data-id=\"4482ddd\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-a18115e elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"a18115e\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-inner-column elementor-element elementor-element-099a766\" data-id=\"099a766\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-4f05f03 bounce-animate3 elementor-widget elementor-widget-image\" data-id=\"4f05f03\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" width=\"568\" height=\"537\" src=\"https:\/\/cpt.fel.cvut.cz\/wp-content\/uploads\/2022\/06\/00.png\" class=\"attachment-large size-large wp-image-38\" alt=\"\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-inner-column elementor-element elementor-element-eaab688\" data-id=\"eaab688\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-346bbed elementor-widget elementor-widget-sectiontitle\" data-id=\"346bbed\" data-element_type=\"widget\" data-e-type=\"widget\" id=\"why-do-we-need-cpt\" data-widget_type=\"sectiontitle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\r\n\t\t\t\t<div class=\"\">\r\n\r\n\t\t\t<div class=\"section-title t_left\">\r\n                \r\n\t\t\t\t\t\t\t\t\r\n\t\t\t\t  \r\n                       <h3>Why do we need Constrained Path-based Testing (CPT)?<\/h3>\r\n                \t\t\t\t\r\n\t\t\t\t \t\t\t\t\r\n                 \r\n                        <p>Classical PBT might not be enough to handle several practical situations in system testing. To give few examples<\/p>\r\n                \t\t\t\t\r\n\r\n\t\t\t\t\r\n\t\t\t<\/div>\t\r\n\r\n\t\t<\/div>\r\n\r\n\t\t\r\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-4c88bbc elementor-position-inline-start elementor-mobile-position-inline-start elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"4c88bbc\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<i aria-hidden=\"true\" class=\"fas fa-check-circle\"><\/i>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<h3 class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<span  >\n\t\t\t\t\t\t\tTest cost management\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/h3>\n\t\t\t\t\n\t\t\t\t\t\t\t\t\t<p class=\"elementor-icon-box-description\">\n\t\t\t\t\t\tCertain situations can be too costly for the given tests and have to be excluded from test scenarios. \t\t\t\t\t<\/p>\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\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-c6cda3c elementor-position-inline-start elementor-mobile-position-inline-start elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"c6cda3c\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<i aria-hidden=\"true\" class=\"fas fa-check-circle\"><\/i>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<h3 class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<span  >\n\t\t\t\t\t\t\tFeasibility of certain tests\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/h3>\n\t\t\t\t\n\t\t\t\t\t\t\t\t\t<p class=\"elementor-icon-box-description\">\n\t\t\t\t\t\tWhen a test reaches certain parts of the system workflow, internal state of the SUT might change and it disables continuation of the test in other certain part of the workflow. \t\t\t\t\t<\/p>\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\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-f06e278 elementor-position-inline-start elementor-mobile-position-inline-start elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"f06e278\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<i aria-hidden=\"true\" class=\"fas fa-check-circle\"><\/i>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<h3 class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<span  >\n\t\t\t\t\t\t\tOutages of particular parts of the test environment\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/h3>\n\t\t\t\t\n\t\t\t\t\t\t\t\t\t<p class=\"elementor-icon-box-description\">\n\t\t\t\t\t\tIn more complex projects, parts of the processes might be temporarily unavailable due to hardware or software limitations.\t\t\t\t\t<\/p>\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\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-f65a8c2 elementor-position-inline-start elementor-mobile-position-inline-start elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"f65a8c2\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<i aria-hidden=\"true\" class=\"fas fa-check-circle\"><\/i>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<h3 class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<span  >\n\t\t\t\t\t\t\tTesting of system component outages\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/h3>\n\t\t\t\t\n\t\t\t\t\t\t\t\t\t<p class=\"elementor-icon-box-description\">\n\t\t\t\t\t\tSituations such as limited network connectivity, signal jamming or spoofing, or physical damage to system components have to be effectively tested from the process viewpoint.\t\t\t\t\t<\/p>\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\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-fee0513 elementor-align-center elementor-widget elementor-widget-button\" data-id=\"fee0513\" data-element_type=\"widget\" data-e-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-md\" href=\"https:\/\/cpt.fel.cvut.cz\/?page_id=1083\">\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<i aria-hidden=\"true\" class=\"far fa-arrow-alt-circle-right\"><\/i>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">More Information<\/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\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-d32a5ee elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"d32a5ee\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-b1278cd\" data-id=\"b1278cd\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-8d5eac5 elementor-widget elementor-widget-sectiontitle\" data-id=\"8d5eac5\" data-element_type=\"widget\" data-e-type=\"widget\" id=\"principle-of-the-technique\" data-widget_type=\"sectiontitle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\r\n\t\t\t\t<div class=\"\">\r\n\r\n\t\t\t<div class=\"section-title t_center\">\r\n                \r\n\t\t\t\t \r\n                        <h1 class=\"watermark\">CPT<\/h1>\r\n                \t\t\t\t\r\n\t\t\t\t  \r\n                       <h3>Principle of the technique<\/h3>\r\n                \t\t\t\t\r\n\t\t\t\t \t\t\t\t\r\n                \t\t\t\t\r\n\r\n\t\t\t\t\r\n\t\t\t<\/div>\t\r\n\r\n\t\t<\/div>\r\n\r\n\t\t\r\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-eb51f24 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"eb51f24\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-d7bc221\" data-id=\"d7bc221\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-1af9c85 elementor-widget__width-initial elementor-widget elementor-widget-sectiontitle\" data-id=\"1af9c85\" data-element_type=\"widget\" data-e-type=\"widget\" id=\"problem-model\" data-widget_type=\"sectiontitle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\r\n\t\t\t\t<div class=\"\">\r\n\r\n\t\t\t<div class=\"section-title t_left\">\r\n                \r\n\t\t\t\t\t\t\t\t\r\n\t\t\t\t  \r\n                       <h3>Problem model<\/h3>\r\n                \t\t\t\t\r\n\t\t\t\t \t\t\t\t\r\n                 \r\n                        <p>To maintain maximal compatibility with established path-based testing techniques, we base our model on directed graph, as usual in the field. In such model, nodes represent actions in the SUT and edges represent transitions between them.<\/p>\r\n                \t\t\t\t\r\n\r\n\t\t\t\t\r\n\t\t\t<\/div>\t\r\n\r\n\t\t<\/div>\r\n\r\n\t\t\r\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-a4ae741\" data-id=\"a4ae741\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-129cfc4 elementor-widget elementor-widget-image\" data-id=\"129cfc4\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"393\" src=\"https:\/\/cpt.fel.cvut.cz\/wp-content\/uploads\/2024\/07\/PATRAC-DETAIL-II.drawio.png\" class=\"attachment-large size-large wp-image-1212\" alt=\"\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-55bd862 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"55bd862\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-66 elementor-top-column elementor-element elementor-element-cf55a2f\" data-id=\"cf55a2f\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-9bdfa7d elementor-widget elementor-widget-sectiontitle\" data-id=\"9bdfa7d\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"sectiontitle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\r\n\t\t\t\t<div class=\"\">\r\n\r\n\t\t\t<div class=\"section-title t_left\">\r\n                \r\n\t\t\t\t\t\t\t\t\r\n\t\t\t\t  \r\n                       <h3>Constraints<\/h3>\r\n                \t\t\t\t\r\n\t\t\t\t \t\t\t\t\r\n                 \r\n                        <p>We extend the graph by a set of additional constraints, thorough which we can model number of practical testing situations that would be difficult to handle by classical path-based testing effectively.<\/p>\r\n                \t\t\t\t\r\n\r\n\t\t\t\t\r\n\t\t\t<\/div>\t\r\n\r\n\t\t<\/div>\r\n\r\n\t\t\r\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-b49c83e\" data-id=\"b49c83e\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-4286066 elementor-align-right elementor-widget elementor-widget-button\" data-id=\"4286066\" data-element_type=\"widget\" data-e-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-lg\" href=\"?page_id=1343\">\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<i aria-hidden=\"true\" class=\"far fa-arrow-alt-circle-right\"><\/i>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Read more<\/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\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-ef24ca0 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"ef24ca0\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-82fc527\" data-id=\"82fc527\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-4a75e3f elementor-widget elementor-widget-text-editor\" data-id=\"4a75e3f\" data-element_type=\"widget\" data-e-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<h3>Test Case Generation<\/h3><p>Using the system model, our novel algorithms generate an optimized, cost-effective set of test cases that satisfy all the constraints specified in the input model. The principle of the algorithms is well documented in <a href=\"#related-works\">our research<\/a><a href=\"#related-works\"> papers.<\/a><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-4d02e87 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"4d02e87\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-0bd4245\" data-id=\"0bd4245\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-f54c4d2 elementor-widget elementor-widget-sectiontitle\" data-id=\"f54c4d2\" data-element_type=\"widget\" data-e-type=\"widget\" id=\"application-examples\" data-widget_type=\"sectiontitle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\r\n\t\t\t\t<div class=\"\">\r\n\r\n\t\t\t<div class=\"section-title t_left\">\r\n                \r\n\t\t\t\t\t\t\t\t\r\n\t\t\t\t  \r\n                       <h3>Application examples\u200b<\/h3>\r\n                \t\t\t\t\r\n\t\t\t\t \t\t\t\t\r\n                 \r\n                        <p>Industrial application is the most important testing point telling us if the method is viable or not. We are successfully applying our methods to prepare tests for real systems. Here are a few examples of the projects in which we applied CPT:<\/p>\r\n                \t\t\t\t\r\n\r\n\t\t\t\t\r\n\t\t\t<\/div>\t\r\n\r\n\t\t<\/div>\r\n\r\n\t\t\r\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-a89b554 elementor-section-full_width elementor-section-height-default elementor-section-height-default\" data-id=\"a89b554\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-inner-column elementor-element elementor-element-edbb0e2\" data-id=\"edbb0e2\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-6d76cb5 elementor-widget elementor-widget-feature\" data-id=\"6d76cb5\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"feature.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\r\n\r\n\r\n\t\t\r\n\t\t\t<div class=\"feature-box style-six \">\r\n\t\t\t\t\r\n\t\t\t\t<div class=\"feature-box-icon\">\r\n\t\t\t\t\t<span><i class=\" \"><\/i><\/span>\r\n\t\t\t\t<\/div>\t\t\t\r\n\t\t\t\t\r\n\t\t\t\t<div class=\"feature-box-content\">\r\n\r\n\t\t\t\t\t<div class=\"feature-box-title\">\r\n\t\t\t\t\t\t<h2>DTA<\/h2>\r\n\t\t\t\t\t<\/div>\r\n\r\n\t\t\t\t\t<div class=\"feature-box-desc\">\r\n\t\t\t\t\t\t<p>Experimental sensor network monitoring vital signs of soldiers and increasing their survival chances in case of injury<\/p>\r\n\t\t\t\t\t<\/div>\r\n\r\n\t\t\t\t\t\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t\t\r\n\t\t\r\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-inner-column elementor-element elementor-element-d03abf0\" data-id=\"d03abf0\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-d46d662 elementor-widget elementor-widget-feature\" data-id=\"d46d662\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"feature.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\r\n\r\n\r\n\t\t\r\n\t\t\t<div class=\"feature-box style-six \">\r\n\t\t\t\t\r\n\t\t\t\t<div class=\"feature-box-icon\">\r\n\t\t\t\t\t<span><i class=\" \"><\/i><\/span>\r\n\t\t\t\t<\/div>\t\t\t\r\n\t\t\t\t\r\n\t\t\t\t<div class=\"feature-box-content\">\r\n\r\n\t\t\t\t\t<div class=\"feature-box-title\">\r\n\t\t\t\t\t\t<h2>TERESA<\/h2>\r\n\t\t\t\t\t<\/div>\r\n\r\n\t\t\t\t\t<div class=\"feature-box-desc\">\r\n\t\t\t\t\t\t<p>Telerehabilitation environment for patients recovering from post-acute COVID-19 disease<\/p>\r\n\t\t\t\t\t<\/div>\r\n\r\n\t\t\t\t\t\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t\t\r\n\t\t\r\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-inner-column elementor-element elementor-element-dfc0581\" data-id=\"dfc0581\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-29f9a8d elementor-widget elementor-widget-feature\" data-id=\"29f9a8d\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"feature.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\r\n\r\n\r\n\t\t\r\n\t\t\t<div class=\"feature-box style-six \">\r\n\t\t\t\t\r\n\t\t\t\t<div class=\"feature-box-icon\">\r\n\t\t\t\t\t<span><i class=\" \"><\/i><\/span>\r\n\t\t\t\t<\/div>\t\t\t\r\n\t\t\t\t\r\n\t\t\t\t<div class=\"feature-box-content\">\r\n\r\n\t\t\t\t\t<div class=\"feature-box-title\">\r\n\t\t\t\t\t\t<h2>PATRAC<\/h2>\r\n\t\t\t\t\t<\/div>\r\n\r\n\t\t\t\t\t<div class=\"feature-box-desc\">\r\n\t\t\t\t\t\t<p>Rescue mission planning and management IoT system that helps mountain rescue service or state police to search for a missing person with a greater effectivity<\/p>\r\n\t\t\t\t\t<\/div>\r\n\r\n\t\t\t\t\t\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t\t\r\n\t\t\r\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-f0cd2b1 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"f0cd2b1\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-f433258\" data-id=\"f433258\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-988f173 elementor-widget elementor-widget-sectiontitle\" data-id=\"988f173\" data-element_type=\"widget\" data-e-type=\"widget\" id=\"related-works\" data-widget_type=\"sectiontitle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\r\n\t\t\t\t<div class=\"\">\r\n\r\n\t\t\t<div class=\"section-title t_left\">\r\n                \r\n\t\t\t\t\t\t\t\t\r\n\t\t\t\t  \r\n                       <h3>Related works\u200b (under construction)<\/h3>\r\n                \t\t\t\t\r\n\t\t\t\t \t\t\t\t\r\n                 \r\n                        <p>Number of previous works in a \u201cclassical\u201d path-based testing exist. Few published studies also focused on the idea of constraints in path-based testing, however the concept was not systematically researched as a Model-based Testing subdiscipline, and some useful types of constraints were not examined at all yet.\nHere we attempt to create a reading list of relevant literature documenting a roadmap from \u201cclassical path based testing\u201d to Constrained Path-based Testing (PT). If you find this list incomplete or inaccurate (which might easily happen, we would be grateful for suggestions how to extend it):<\/p>\r\n                \t\t\t\t\r\n\r\n\t\t\t\t\r\n\t\t\t<\/div>\t\r\n\r\n\t\t<\/div>\r\n\r\n\t\t\r\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-93b3ece elementor-widget elementor-widget-accordion\" data-id=\"93b3ece\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"accordion.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-accordion\">\n\t\t\t\t\t\t\t<div class=\"elementor-accordion-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1541\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"button\" aria-controls=\"elementor-tab-content-1541\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-accordion-icon elementor-accordion-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-accordion-icon-closed\"><i class=\"fas fa-plus\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-accordion-icon-opened\"><i class=\"fas fa-minus\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a class=\"elementor-accordion-title\" tabindex=\"0\">Path-based Testing \u2013 no constraints explicitly present<\/a>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-1541\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"region\" aria-labelledby=\"elementor-tab-title-1541\"><ul><li>Beizer, B. (2003).<a href=\"https:\/\/www.amazon.com\/Software-Testing-Techniques-Boris-Beizer\/dp\/1850328803\" target=\"_blank\" rel=\"noopener\"><em>\u00a0Software testing techniques.<\/em><\/a> dreamtech Press.<\/li><li>Ammann, P., &amp; Offutt, J. (2017). <a href=\"https:\/\/www.amazon.com\/Introduction-Software-Testing-Paul-Ammann\/dp\/1107172012\" target=\"_blank\" rel=\"noopener\"><em>Introduction to Software Testing Edition 2.<\/em><\/a><\/li><li>Li, N., Li, F., &amp; Offutt, J. (2012, April). <a href=\"https:\/\/doi.org\/10.1109\/ICST.2012.108\" target=\"_blank\" rel=\"noopener\"><em>Better algorithms to minimize the cost of test paths.<\/em><\/a> In\u00a0<i>2012 IEEE Fifth International Conference on Software Testing, Verification and Validation\u00a0(pp. 280-289)<\/i>. IEEE.<\/li><\/ul><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-accordion-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1542\" class=\"elementor-tab-title\" data-tab=\"2\" role=\"button\" aria-controls=\"elementor-tab-content-1542\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-accordion-icon elementor-accordion-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-accordion-icon-closed\"><i class=\"fas fa-plus\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-accordion-icon-opened\"><i class=\"fas fa-minus\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a class=\"elementor-accordion-title\" tabindex=\"0\">Prioritized Path-based Testing \u2013 the first possible limitations of test requirement concept start to appear<\/a>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-1542\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"2\" role=\"region\" aria-labelledby=\"elementor-tab-title-1542\"><ul>\n \t<li>Bures, M., Cerny, T., &amp; Klima, M. (2017). <a href=\"https:\/\/doi.org\/10.1007\/978-981-10-4154-9_67\" target=\"_blank\" rel=\"noopener\"><em>Prioritized process test: More efficiency in testing of business processes and workflows.<\/em><\/a> In\u00a0<i>Information Science and Applications 2017: ICISA 2017 8<\/i>\u00a0(pp. 585-593). Springer Singapore.<\/li>\n \t<li>Miroslav Bures, Bestoun S. Ahmed, <a href=\"https:\/\/doi.org\/10.1016\/j.infsof.2019.06.006\" target=\"_blank\" rel=\"noopener\"><em>Employment of multiple algorithms for optimal path-based test selection strategy. <\/em><\/a>In: <i> Information and Software Technology, Volume 114, 2019, pp. 21-36.<\/i><\/li>\n \t<li>Miroslav Bures, Bestoun S. Ahmed and Kamal Z. Zamli.<a href=\"https:\/\/arxiv.org\/pdf\/1903.08531\" target=\"_blank\" rel=\"noopener\"><em>&#8220;Prioritized Process Test: An Alternative to Current Process Testing Strategies&#8221;.<\/em><\/a> In <i>International Journal of Software Engineering and Knowledge Engineering, 29(07), pp. 997-1028, 2019.<\/i><\/li>\n<\/ul><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-accordion-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1543\" class=\"elementor-tab-title\" data-tab=\"3\" role=\"button\" aria-controls=\"elementor-tab-content-1543\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-accordion-icon elementor-accordion-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-accordion-icon-closed\"><i class=\"fas fa-plus\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-accordion-icon-opened\"><i class=\"fas fa-minus\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a class=\"elementor-accordion-title\" tabindex=\"0\">Data Flow Testing \u2013 historically the first field dealing with positive constraints in PT?<\/a>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-1543\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"3\" role=\"region\" aria-labelledby=\"elementor-tab-title-1543\"><ul>\n \t<li>Su, T., Wu, K., Miao, W., Pu, G., He, J., Chen, Y., &amp; Su, Z. (2017). <a href=\"https:\/\/doi.org\/10.1145\/3020266\" target=\"_blank\" rel=\"noopener\"><em>A survey on data-flow testing.<\/em><\/a>\u00a0<i>ACM computing surveys (CSUR)<\/i>,\u00a0<i>50<\/i>(1), 1-35.<\/li>\n \t<li>Vivanti, Mattia et al. <a href=\"https:\/\/doi.org\/10.1109\/ISSRE.2013.6698890\" target=\"_blank\" rel=\"noopener\"><em>\u201cSearch-based data-flow test generation.\u201d\u00a0<\/em><\/a> In: <i>2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)<\/i>\u00a0(2013): 370-379.<\/li>\n \t<li>Girgis, M. R. (2005). <a href=\"http:\/\/dx.doi.org\/10.3217\/jucs-011-06-0898\" target=\"_blank\" rel=\"noopener\"><em>Automatic test data generation for data flow testing using a genetic algorithm<\/a>.<\/em>\u00a0<i>J. Univers. Comput. Sci.<\/i>,\u00a0<i>11<\/i>(6), 898-915.<\/li>\n \t<li>Badlaney, J., Ghatol, R., &amp; Jadhwani, R. (2006).<a href=\"https:\/\/repository.lib.ncsu.edu\/server\/api\/core\/bitstreams\/63514072-56b7-4278-b93d-e563c1e821eb\/content\" target=\"_blank\" rel=\"noopener\">\u00a0<em>An introduction to data-flow testing<\/em><\/a>. North Carolina State University. Dept. of Computer Science.<\/li>\n<\/ul><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-accordion-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1544\" class=\"elementor-tab-title\" data-tab=\"4\" role=\"button\" aria-controls=\"elementor-tab-content-1544\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-accordion-icon elementor-accordion-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-accordion-icon-closed\"><i class=\"fas fa-plus\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-accordion-icon-opened\"><i class=\"fas fa-minus\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a class=\"elementor-accordion-title\" tabindex=\"0\">Using the principle of Positive Constraints for testing network connectivity issues and failure edge cases in IoT systems<\/a>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-1544\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"4\" role=\"region\" aria-labelledby=\"elementor-tab-title-1544\"><ul><li>Klima, M., Bures, M., Ahmed, B. S., Bellekens, X., Atkinson, R., Tachtatzis, C., &amp; Herout, P. (2023). <a href=\"https:\/\/doi.org\/10.1016\/j.iot.2023.100706\" target=\"_blank\" rel=\"noopener\"><em>Specialized path-based technique to test Internet of Things system functionality under limited network connectivity.<\/em><\/a> <i>Internet of Things<\/i>,\u00a0<i>22<\/i>, 100706.<\/li><li>Klima, M. (2023). <a href=\"https:\/\/cpt.fel.cvut.cz\/wp-content\/uploads\/2024\/09\/KLIMA___PHD_THESIS.pdf\" target=\"_blank\" rel=\"noopener\"><em>Specialized Path-based Technique to Test loT System Behaviour under Limited Network Connectivity <\/em><\/a>[Doctoral dissertation, Czech Technical University in Prague].<\/li><\/ul><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-accordion-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1545\" class=\"elementor-tab-title\" data-tab=\"5\" role=\"button\" aria-controls=\"elementor-tab-content-1545\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-accordion-icon elementor-accordion-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-accordion-icon-closed\"><i class=\"fas fa-plus\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-accordion-icon-opened\"><i class=\"fas fa-minus\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a class=\"elementor-accordion-title\" tabindex=\"0\">Introducing Negative Constraints in Constrained Path-based Testing  \u2013 the latest development<\/a>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-1545\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"5\" role=\"region\" aria-labelledby=\"elementor-tab-title-1545\"><ul>\n \t<li>Klima, M., Bures, M., Blaha, M., (2024) <em>Ant Colony Optimization Based Algorithm for Test Path Generation Problem with Negative Constraints<\/em>, In <i>IEEE International Conference on Software Quality, Reliability and Security (QRS)<\/i><\/li>\n<\/ul><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-f8b71fc elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"f8b71fc\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-61f89af\" data-id=\"61f89af\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-91461d2 elementor-widget elementor-widget-sectiontitle\" data-id=\"91461d2\" data-element_type=\"widget\" data-e-type=\"widget\" id=\"CPT-manager\" data-widget_type=\"sectiontitle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\r\n\t\t\t\t<div class=\"\">\r\n\r\n\t\t\t<div class=\"section-title t_left\">\r\n                \r\n\t\t\t\t\t\t\t\t\r\n\t\t\t\t  \r\n                       <h3>Free benchmarks and tool for everyone<\/h3>\r\n                \t\t\t\t\r\n\t\t\t\t  \r\n                       <h2>We're introducing the <span>CPT manager<\/span><\/h2>\r\n                \t\t\t\t\r\n                 \r\n                        <p>We are developing a platform for the creation, management, and sharing of path-based testing SUT models. Let\u2019s create a credible and balanced benchmark of models from real-life systems accompanied by generated problem instances, ensuring enough topology variety. Everyone can contribute. Let\u2019s use this benchmark in further comparison of path-based testing algorithms generating the test cases. The environment supports the constraints specification inside the models and also offers automated test path generation for free!<\/p>\r\n                \t\t\t\t\r\n\r\n\t\t\t\t\r\n\t\t\t<\/div>\t\r\n\r\n\t\t<\/div>\r\n\r\n\t\t\r\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-d907d3e elementor-align-center elementor-widget elementor-widget-button\" data-id=\"d907d3e\" data-element_type=\"widget\" data-e-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-md\" href=\"https:\/\/cpt.fel.cvut.cz\/manager\/\">\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<i aria-hidden=\"true\" class=\"far fa-arrow-alt-circle-right\"><\/i>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Try it!<\/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\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-4586a18\" data-id=\"4586a18\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-d12e6f4 elementor-widget elementor-widget-image\" data-id=\"d12e6f4\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img loading=\"lazy\" decoding=\"async\" width=\"802\" height=\"379\" src=\"https:\/\/cpt.fel.cvut.cz\/wp-content\/uploads\/2024\/07\/CPT-manager-sample.png\" class=\"attachment-large size-large wp-image-1283\" alt=\"\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Introduction Path-based testing Get more detailed information about the current state of the art in path-based testing (process or workflow testing) to understand the benefits of using our proposed extension \u2013 Constrained Path-Based Testing Read more Why do we need Constrained Path-based Testing (CPT)? Classical PBT might not be enough to handle several practical situations [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-templates\/template-default.php","meta":{"om_disable_all_campaigns":false,"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"_uf_show_specific_survey":0,"_uf_disable_surveys":false,"footnotes":""},"class_list":["post-836","page","type-page","status-publish","hentry"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/cpt.fel.cvut.cz\/index.php?rest_route=\/wp\/v2\/pages\/836","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cpt.fel.cvut.cz\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cpt.fel.cvut.cz\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cpt.fel.cvut.cz\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/cpt.fel.cvut.cz\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=836"}],"version-history":[{"count":218,"href":"https:\/\/cpt.fel.cvut.cz\/index.php?rest_route=\/wp\/v2\/pages\/836\/revisions"}],"predecessor-version":[{"id":1485,"href":"https:\/\/cpt.fel.cvut.cz\/index.php?rest_route=\/wp\/v2\/pages\/836\/revisions\/1485"}],"wp:attachment":[{"href":"https:\/\/cpt.fel.cvut.cz\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=836"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}