@@ -1,178 +1,183 | |||
|
1 | 1 | #include "FuzzingOperations.h" |
|
2 | 2 | #include "FuzzingUtils.h" |
|
3 | 3 | |
|
4 | 4 | #include <Data/IDataProvider.h> |
|
5 | 5 | |
|
6 | 6 | #include <Variable/Variable.h> |
|
7 | 7 | #include <Variable/VariableController.h> |
|
8 | 8 | |
|
9 | 9 | #include <QUuid> |
|
10 | 10 | |
|
11 | 11 | #include <functional> |
|
12 | 12 | |
|
13 | 13 | Q_LOGGING_CATEGORY(LOG_FuzzingOperations, "FuzzingOperations") |
|
14 | 14 | |
|
15 | 15 | namespace { |
|
16 | 16 | |
|
17 | 17 | struct CreateOperation : public IFuzzingOperation { |
|
18 |
bool canExecute(st |
|
|
18 | bool canExecute(const VariableState &variableState) const override | |
|
19 | 19 | { |
|
20 | 20 | // A variable can be created only if it doesn't exist yet |
|
21 | return variable == nullptr; | |
|
21 | return variableState.m_Variable == nullptr; | |
|
22 | 22 | } |
|
23 | 23 | |
|
24 |
void execute( |
|
|
24 | void execute(VariableState &variableState, VariableController &variableController, | |
|
25 | 25 | const Properties &properties) const override |
|
26 | 26 | { |
|
27 | 27 | // Retrieves metadata pool from properties, and choose one of the metadata entries to |
|
28 | 28 | // associate it with the variable |
|
29 | 29 | auto metaDataPool = properties.value(METADATA_POOL_PROPERTY).value<MetadataPool>(); |
|
30 | 30 | auto variableMetadata = RandomGenerator::instance().randomChoice(metaDataPool); |
|
31 | 31 | |
|
32 | 32 | // Retrieves provider |
|
33 | 33 | auto variableProvider |
|
34 | 34 | = properties.value(PROVIDER_PROPERTY).value<std::shared_ptr<IDataProvider> >(); |
|
35 | 35 | |
|
36 | 36 | auto variableName = QString{"Var_%1"}.arg(QUuid::createUuid().toString()); |
|
37 | 37 | qCInfo(LOG_FuzzingOperations()) |
|
38 | 38 | << "Creating variable" << variableName << "(metadata:" << variableMetadata << ")"; |
|
39 | 39 | |
|
40 | 40 | auto newVariable |
|
41 | 41 | = variableController.createVariable(variableName, variableMetadata, variableProvider); |
|
42 | std::swap(variable, newVariable); | |
|
42 | std::swap(variableState.m_Variable, newVariable); | |
|
43 | 43 | } |
|
44 | 44 | }; |
|
45 | 45 | |
|
46 | 46 | /** |
|
47 | 47 | * Defines a move operation through a range. |
|
48 | 48 | * |
|
49 | 49 | * A move operation is determined by three functions: |
|
50 | 50 | * - Two 'move' functions, used to indicate in which direction the beginning and the end of a range |
|
51 | 51 | * are going during the operation. These functions will be: |
|
52 | 52 | * -- {<- / <-} for pan left |
|
53 | 53 | * -- {-> / ->} for pan right |
|
54 | 54 | * -- {-> / <-} for zoom in |
|
55 | 55 | * -- {<- / ->} for zoom out |
|
56 | 56 | * - One 'max move' functions, used to compute the max delta at which the operation can move a |
|
57 | 57 | * range, according to a max range. For exemple, for a range of {1, 5} and a max range of {0, 10}, |
|
58 | 58 | * max deltas will be: |
|
59 | 59 | * -- {0, 4} for pan left |
|
60 | 60 | * -- {6, 10} for pan right |
|
61 | 61 | * -- {3, 3} for zoom in |
|
62 | 62 | * -- {0, 6} for zoom out (same spacing left and right) |
|
63 | 63 | */ |
|
64 | 64 | struct MoveOperation : public IFuzzingOperation { |
|
65 | 65 | using MoveFunction = std::function<double(double currentValue, double maxValue)>; |
|
66 | 66 | using MaxMoveFunction = std::function<double(const SqpRange &range, const SqpRange &maxRange)>; |
|
67 | 67 | |
|
68 | 68 | explicit MoveOperation(MoveFunction rangeStartMoveFun, MoveFunction rangeEndMoveFun, |
|
69 | 69 | MaxMoveFunction maxMoveFun, |
|
70 | 70 | const QString &label = QStringLiteral("Move operation")) |
|
71 | 71 | : m_RangeStartMoveFun{std::move(rangeStartMoveFun)}, |
|
72 | 72 | m_RangeEndMoveFun{std::move(rangeEndMoveFun)}, |
|
73 | 73 | m_MaxMoveFun{std::move(maxMoveFun)}, |
|
74 | 74 | m_Label{label} |
|
75 | 75 | { |
|
76 | 76 | } |
|
77 | 77 | |
|
78 |
bool canExecute(st |
|
|
78 | bool canExecute(const VariableState &variableState) const override | |
|
79 | 79 | { |
|
80 | return variable != nullptr; | |
|
80 | return variableState.m_Variable != nullptr; | |
|
81 | 81 | } |
|
82 | 82 | |
|
83 |
void execute( |
|
|
83 | void execute(VariableState &variableState, VariableController &variableController, | |
|
84 | 84 | const Properties &properties) const override |
|
85 | 85 | { |
|
86 | auto variable = variableState.m_Variable; | |
|
87 | ||
|
86 | 88 | // Gets the max range defined |
|
87 | 89 | auto maxRange = properties.value(MAX_RANGE_PROPERTY, QVariant::fromValue(INVALID_RANGE)) |
|
88 | 90 | .value<SqpRange>(); |
|
89 | 91 | auto variableRange = variable->range(); |
|
90 | 92 | |
|
91 | 93 | if (maxRange == INVALID_RANGE || variableRange.m_TStart < maxRange.m_TStart |
|
92 | 94 | || variableRange.m_TEnd > maxRange.m_TEnd) { |
|
93 | 95 | qCWarning(LOG_FuzzingOperations()) << "Can't execute operation: invalid max range"; |
|
94 | 96 | return; |
|
95 | 97 | } |
|
96 | 98 | |
|
97 | 99 | // Computes the max delta at which the variable can move, up to the limits of the max range |
|
98 | 100 | auto deltaMax = m_MaxMoveFun(variable->range(), maxRange); |
|
99 | 101 | |
|
100 | 102 | // Generates random delta that will be used to move variable |
|
101 | 103 | auto delta = RandomGenerator::instance().generateDouble(0, deltaMax); |
|
102 | 104 | |
|
103 | 105 | // Moves variable to its new range |
|
104 | 106 | auto newVariableRange = SqpRange{m_RangeStartMoveFun(variableRange.m_TStart, delta), |
|
105 | 107 | m_RangeEndMoveFun(variableRange.m_TEnd, delta)}; |
|
106 | 108 | qCInfo(LOG_FuzzingOperations()) |
|
107 | 109 | << "Performing" << m_Label << "on" << variable->name() << "(from" << variableRange |
|
108 | 110 | << "to" << newVariableRange << ")..."; |
|
109 | 111 | variableController.onRequestDataLoading({variable}, newVariableRange, false); |
|
112 | ||
|
113 | // Updates variable's state | |
|
114 | variableState.m_Range = newVariableRange; | |
|
110 | 115 | } |
|
111 | 116 | |
|
112 | 117 | MoveFunction m_RangeStartMoveFun; |
|
113 | 118 | MoveFunction m_RangeEndMoveFun; |
|
114 | 119 | MaxMoveFunction m_MaxMoveFun; |
|
115 | 120 | QString m_Label; |
|
116 | 121 | }; |
|
117 | 122 | |
|
118 | 123 | struct UnknownOperation : public IFuzzingOperation { |
|
119 |
bool canExecute(st |
|
|
124 | bool canExecute(const VariableState &variableState) const override | |
|
120 | 125 | { |
|
121 | Q_UNUSED(variable); | |
|
126 | Q_UNUSED(variableState); | |
|
122 | 127 | return false; |
|
123 | 128 | } |
|
124 | 129 | |
|
125 |
void execute( |
|
|
130 | void execute(VariableState &variableState, VariableController &variableController, | |
|
126 | 131 | const Properties &properties) const override |
|
127 | 132 | { |
|
128 | Q_UNUSED(variable); | |
|
133 | Q_UNUSED(variableState); | |
|
129 | 134 | Q_UNUSED(variableController); |
|
130 | 135 | Q_UNUSED(properties); |
|
131 | 136 | // Does nothing |
|
132 | 137 | } |
|
133 | 138 | }; |
|
134 | 139 | |
|
135 | 140 | } // namespace |
|
136 | 141 | |
|
137 | 142 | std::unique_ptr<IFuzzingOperation> FuzzingOperationFactory::create(FuzzingOperationType type) |
|
138 | 143 | { |
|
139 | 144 | switch (type) { |
|
140 | 145 | case FuzzingOperationType::CREATE: |
|
141 | 146 | return std::make_unique<CreateOperation>(); |
|
142 | 147 | case FuzzingOperationType::PAN_LEFT: |
|
143 | 148 | return std::make_unique<MoveOperation>( |
|
144 | 149 | std::minus<double>(), std::minus<double>(), |
|
145 | 150 | [](const SqpRange &range, const SqpRange &maxRange) { |
|
146 | 151 | return range.m_TStart - maxRange.m_TStart; |
|
147 | 152 | }, |
|
148 | 153 | QStringLiteral("Pan left operation")); |
|
149 | 154 | case FuzzingOperationType::PAN_RIGHT: |
|
150 | 155 | return std::make_unique<MoveOperation>( |
|
151 | 156 | std::plus<double>(), std::plus<double>(), |
|
152 | 157 | [](const SqpRange &range, const SqpRange &maxRange) { |
|
153 | 158 | return maxRange.m_TEnd - range.m_TEnd; |
|
154 | 159 | }, |
|
155 | 160 | QStringLiteral("Pan right operation")); |
|
156 | 161 | case FuzzingOperationType::ZOOM_IN: |
|
157 | 162 | return std::make_unique<MoveOperation>( |
|
158 | 163 | std::plus<double>(), std::minus<double>(), |
|
159 | 164 | [](const SqpRange &range, const SqpRange &maxRange) { |
|
160 | 165 | Q_UNUSED(maxRange) |
|
161 | 166 | return range.m_TEnd - (range.m_TStart + range.m_TEnd) / 2.; |
|
162 | 167 | }, |
|
163 | 168 | QStringLiteral("Zoom in operation")); |
|
164 | 169 | case FuzzingOperationType::ZOOM_OUT: |
|
165 | 170 | return std::make_unique<MoveOperation>( |
|
166 | 171 | std::minus<double>(), std::plus<double>(), |
|
167 | 172 | [](const SqpRange &range, const SqpRange &maxRange) { |
|
168 | 173 | return std::min(range.m_TStart - maxRange.m_TStart, |
|
169 | 174 | maxRange.m_TEnd - range.m_TEnd); |
|
170 | 175 | }, |
|
171 | 176 | QStringLiteral("Zoom out operation")); |
|
172 | 177 | default: |
|
173 | 178 | // Default case returns unknown operation |
|
174 | 179 | break; |
|
175 | 180 | } |
|
176 | 181 | |
|
177 | 182 | return std::make_unique<UnknownOperation>(); |
|
178 | 183 | } |
@@ -1,49 +1,48 | |||
|
1 | 1 | #ifndef SCIQLOP_FUZZINGOPERATIONS_H |
|
2 | 2 | #define SCIQLOP_FUZZINGOPERATIONS_H |
|
3 | 3 | |
|
4 | 4 | #include "FuzzingDefs.h" |
|
5 | 5 | |
|
6 | 6 | #include <memory> |
|
7 | 7 | #include <set> |
|
8 | 8 | |
|
9 | 9 | #include <QLoggingCategory> |
|
10 | 10 | #include <QMetaType> |
|
11 | 11 | |
|
12 | 12 | Q_DECLARE_LOGGING_CATEGORY(LOG_FuzzingOperations) |
|
13 | 13 | |
|
14 | class Variable; | |
|
15 | 14 | class VariableController; |
|
16 | 15 | |
|
17 | 16 | /** |
|
18 | 17 | * Enumeration of types of existing fuzzing operations |
|
19 | 18 | */ |
|
20 | 19 | enum class FuzzingOperationType { CREATE, PAN_LEFT, PAN_RIGHT, ZOOM_IN, ZOOM_OUT }; |
|
21 | 20 | |
|
22 | 21 | /// Interface that represents an operation that can be executed during a fuzzing test |
|
23 | 22 | struct IFuzzingOperation { |
|
24 | 23 | virtual ~IFuzzingOperation() noexcept = default; |
|
25 | 24 | |
|
26 |
/// Checks if the operation can be executed according to the current state |
|
|
27 |
/// pa |
|
|
28 |
virtual bool canExecute(st |
|
|
29 | /// Executes the operation on the variable passed in parameter | |
|
30 | /// @param variable the variable on which to execute the operation | |
|
25 | /// Checks if the operation can be executed according to the current variable state passed in | |
|
26 | /// parameter | |
|
27 | virtual bool canExecute(const VariableState &variableState) const = 0; | |
|
28 | /// Executes the operation on the variable state passed in parameter | |
|
29 | /// @param variableState the variable state on which to execute the operation | |
|
31 | 30 | /// @param variableController the controller associated to the operation |
|
32 | 31 | /// @param properties properties that can be used to configure the operation |
|
33 |
/// @remarks variable is passed as a reference because, according to the operation, it can |
|
|
32 | /// @remarks variableState is passed as a reference because, according to the operation, it can | |
|
33 | /// be | |
|
34 | 34 | /// modified (in/out parameter) |
|
35 | virtual void execute(std::shared_ptr<Variable> &variable, | |
|
36 | VariableController &variableController, | |
|
35 | virtual void execute(VariableState &variableState, VariableController &variableController, | |
|
37 | 36 | const Properties &properties = {}) const = 0; |
|
38 | 37 | }; |
|
39 | 38 | |
|
40 | 39 | /// Factory of @sa IFuzzingOperation |
|
41 | 40 | struct FuzzingOperationFactory { |
|
42 | 41 | /// Creates a fuzzing operation from a type |
|
43 | 42 | static std::unique_ptr<IFuzzingOperation> create(FuzzingOperationType type); |
|
44 | 43 | }; |
|
45 | 44 | |
|
46 | 45 | using WeightedOperationsTypes = std::map<FuzzingOperationType, double>; |
|
47 | 46 | Q_DECLARE_METATYPE(WeightedOperationsTypes) |
|
48 | 47 | |
|
49 | 48 | #endif // SCIQLOP_FUZZINGOPERATIONS_H |
General Comments 0
You need to be logged in to leave comments.
Login now