Results 1 -
3 of
3
Achievements, open problems and challenges for search based software testing
"... testing as an optimisation problem, which can be attacked using computational search techniques from the field of Search Based Software Engineering (SBSE). We present an analysis of the SBST research agenda1, focusing on the open problems and chal-lenges of testing non-functional properties, in part ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
(Show Context)
testing as an optimisation problem, which can be attacked using computational search techniques from the field of Search Based Software Engineering (SBSE). We present an analysis of the SBST research agenda1, focusing on the open problems and chal-lenges of testing non-functional properties, in particular a topic we call ‘Search Based Energy Testing ’ (SBET), Multi-objective SBST and SBST for Test Strategy Identification. We conclude with a vision of FIFIVERIFY tools, which would automatically find faults, fix them and verify the fixes. We explain why we think such FIFIVERIFY tools constitute an exciting challenge for the SBSE community that already could be within its reach. I.
Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering
"... me ra-rea dy ..."
(Show Context)
Applying the Product Lines Paradigm to the Quantitative Analysis of Collective Adaptive Systems
"... Engineering a Collective Adaptive System (CAS) requires the support of a framework for quantitative modeling and analysis of the system. In order to jointly address variabil-ity and quantitative analysis, we apply the Product Lines paradigm, considered at the level of system engineering, to a case s ..."
Abstract
- Add to MetaCart
(Show Context)
Engineering a Collective Adaptive System (CAS) requires the support of a framework for quantitative modeling and analysis of the system. In order to jointly address variabil-ity and quantitative analysis, we apply the Product Lines paradigm, considered at the level of system engineering, to a case study of the European project QUANTICOL, by first defining a reference feature model and then adding feature attributes and global quantitative constraints, in the form of a Clafer attributed feature model. ClaferMOOVisualizer is subsequently used for quantitative analyses and multi-objective optimization of the resulting attributed feature model. CCS Concepts •Computing methodologies→Model verification and validation; •Software and its engineering → Software product lines;
