GIT_REPOSITORIES/LPP/Users/mperrinel/SciQLop-fork Files · plugins/amda/tests/FuzzingDefs.h

Randomizes the number of operations to wait between calling validation (defines min/max frequencies)

Alexandre Leroux - - Load All Authors

File last commit:

r1244:7202dffeda15


                r1244:7202dffeda15

Download file

             FuzzingDefs.h
        
                    125 lines
            
             | 3.9 KiB
            
                | text/x-c
            
             |
                CLexer
            
             / plugins / amda / tests / FuzzingDefs.h
          
                    History
                
                 |
                  Source
                 | Raw
                 |Copy content
                 |Copy permalink

        Alexandre Leroux
    
Adds variable controller and properties to test structure...

              r1200
            
      #ifndef SCIQLOP_FUZZINGDEFS_H

      #define SCIQLOP_FUZZINGDEFS_H

        Alexandre Leroux
    
Defines VariableState struct (1)...

              r1220
            
      #include <Data/SqpRange.h>

        Alexandre Leroux
    
Adds "number of operations" and "number of variables" properties for the tests

              r1201
            
      #include <QString>

        Alexandre Leroux
    
Defines synchronization groups for fuzzing tests

              r1235
            
      #include <QUuid>

        Alexandre Leroux
    
Implements "Variable creation" operation (1)...

              r1207
            
      #include <QVariantHash>

        Alexandre Leroux
    
Defines VariableState struct (1)...

              r1220
            
      #include <memory>

        Alexandre Leroux
    
Defines synchronization groups for fuzzing tests

              r1235
            
      #include <set>

        Alexandre Leroux
    
Defines VariableState struct (1)...

              r1220
            
        Alexandre Leroux
    
Adds variable controller and properties to test structure...

              r1200
            
      // /////// //

      // Aliases //

      // /////// //

        Alexandre Leroux
    
Implements "Variable creation" operation (1)...

              r1207
            
      using MetadataPool = std::vector<QVariantHash>;

      Q_DECLARE_METATYPE(MetadataPool)

        Alexandre Leroux
    
Adds variable controller and properties to test structure...

              r1200
            
      using Properties = QVariantHash;

        Alexandre Leroux
    
Adds "number of operations" and "number of variables" properties for the tests

              r1201
            
      // ///////// //

      // Constants //

      // ///////// //

      /// Max number of operations to generate

      extern const QString NB_MAX_OPERATIONS_PROPERTY;

        Alexandre Leroux
    
Sets the number of sync groups to create for fuzzing tests

              r1237
            
      /// Max number of sync groups to create through operations

      extern const QString NB_MAX_SYNC_GROUPS_PROPERTY;

        Alexandre Leroux
    
Adds "number of operations" and "number of variables" properties for the tests

              r1201
            
      /// Max number of variables to manipulate through operations

      extern const QString NB_MAX_VARIABLES_PROPERTY;

        Alexandre Leroux
    
Defines operations pool...

              r1204
            
      /// Set of operations available for the test

      extern const QString AVAILABLE_OPERATIONS_PROPERTY;

        Alexandre Leroux
    
Adds the ability to set cache tolerance for tests

              r1224
            
      /// Tolerance used for variable's cache (in ratio)

      extern const QString CACHE_TOLERANCE_PROPERTY;

        Alexandre Leroux
    
Some fixes...

              r1223
            
      /// Range with which the timecontroller is initialized

      extern const QString INITIAL_RANGE_PROPERTY;

        Alexandre Leroux
    
Completes fuzzing test structure by setting initial range for the time controller

              r1209
            
      /// Max range that an operation can reach

      extern const QString MAX_RANGE_PROPERTY;

        Alexandre Leroux
    
Implements "Variable creation" operation (1)...

              r1207
            
      /// Set of metadata that can be associated to a variable

      extern const QString METADATA_POOL_PROPERTY;

      /// Provider used to retrieve data

      extern const QString PROVIDER_PROPERTY;

        Alexandre Leroux
    
Randomizes the time to wait between each operations (defines min/max delays)

              r1243
            
      /// Min/max times left for an operation to execute

      extern const QString OPERATION_DELAY_BOUNDS_PROPERTY;

        Alexandre Leroux
    
Implements move operations (3)...

              r1219
            
        Alexandre Leroux
    
Adds validators to the fuzzing test...

              r1228
            
      /// Validators used to validate an operation

      extern const QString VALIDATORS_PROPERTY;

        Alexandre Leroux
    
Defines VariableState struct (1)...

              r1220
            
        Alexandre Leroux
    
Randomizes the number of operations to wait between calling validation (defines min/max frequencies)

              r1244
            
      /// Min/max number of operations to execute before calling validation of the current test's state

      extern const QString VALIDATION_FREQUENCY_BOUNDS_PROPERTY;

        Alexandre Leroux
    
Defines VariableState struct (1)...

              r1220
            
      // /////// //

      // Structs //

      // /////// //

      class Variable;

      struct VariableState {

          std::shared_ptr<Variable> m_Variable{nullptr};

          SqpRange m_Range{INVALID_RANGE};

      };

        Alexandre Leroux
    
Defines synchronization groups for fuzzing tests

              r1235
            
      using VariableId = int;

      using VariablesPool = std::map<VariableId, VariableState>;

      /**

       * Defines a synchronization group for a fuzzing state. A group reports the variables synchronized

       * with each other, and the current range of the group (i.e. range of the last synchronized variable

       * that has been moved)

       */

      struct SyncGroup {

          std::set<VariableId> m_Variables{};

          SqpRange m_Range{INVALID_RANGE};

      };

      using SyncGroupId = QUuid;

      using SyncGroupsPool = std::map<SyncGroupId, SyncGroup>;

      /**

       * Defines a current state during a fuzzing state. It contains all the variables manipulated during

       * the test, as well as the synchronization status of these variables.

       */

      struct FuzzingState {

          const SyncGroup &syncGroup(SyncGroupId id) const;

          SyncGroup &syncGroup(SyncGroupId id);

          const VariableState &variableState(VariableId id) const;

          VariableState &variableState(VariableId id);

        Alexandre Leroux
    
Implements canExecute() method of syn/desync operations

              r1239
            
          /// @return the identifier of the synchronization group in which the variable passed in

          /// parameter is located. If the variable is not in any group, returns an invalid identifier

          SyncGroupId syncGroupId(VariableId variableId) const;

        Alexandre Leroux
    
Implements execute() method of sync operation

              r1240
            
          /// @return the set of synchronization group identifiers

          std::vector<SyncGroupId> syncGroupsIds() const;

          /// Updates fuzzing state according to a variable synchronization

          /// @param variableId the variable that is synchronized

          /// @param syncGroupId the synchronization group

          void synchronizeVariable(VariableId variableId, SyncGroupId syncGroupId);

        Alexandre Leroux
    
Implements execute() method of desync operation...

              r1241
            
          /// Updates fuzzing state according to a variable desynchronization

          /// @param variableId the variable that is desynchronized

          /// @param syncGroupId the synchronization group from which to remove the variable

          void desynchronizeVariable(VariableId variableId, SyncGroupId syncGroupId);

        Alexandre Leroux
    
Updates states of synchronized variables when there is a move operation

              r1242
            
          /// Updates the range of a variable and all variables to which it is synchronized

          /// @param the variable for which to affect the range

          /// @param the range to affect

          void updateRanges(VariableId variableId, const SqpRange &newRange);

        Alexandre Leroux
    
Defines synchronization groups for fuzzing tests

              r1235
            
          VariablesPool m_VariablesPool;

          SyncGroupsPool m_SyncGroupsPool;

      };

        Alexandre Leroux
    
Adds variable controller and properties to test structure...

              r1200
            
      #endif // SCIQLOP_FUZZINGDEFS_H

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

Alexandre Leroux Adds variable controller and properties to test structure...	r1200	#ifndef SCIQLOP_FUZZINGDEFS_H
		#define SCIQLOP_FUZZINGDEFS_H

Alexandre Leroux Defines VariableState struct (1)...	r1220	#include <Data/SqpRange.h>

Alexandre Leroux Adds "number of operations" and "number of variables" properties for the tests	r1201	#include <QString>
Alexandre Leroux Defines synchronization groups for fuzzing tests	r1235	#include <QUuid>
Alexandre Leroux Implements "Variable creation" operation (1)...	r1207	#include <QVariantHash>

Alexandre Leroux Defines VariableState struct (1)...	r1220	#include <memory>
Alexandre Leroux Defines synchronization groups for fuzzing tests	r1235	#include <set>
Alexandre Leroux Defines VariableState struct (1)...	r1220
Alexandre Leroux Adds variable controller and properties to test structure...	r1200	// /////// //
		// Aliases //
		// /////// //

Alexandre Leroux Implements "Variable creation" operation (1)...	r1207	using MetadataPool = std::vector<QVariantHash>;
		Q_DECLARE_METATYPE(MetadataPool)

Alexandre Leroux Adds variable controller and properties to test structure...	r1200	using Properties = QVariantHash;

Alexandre Leroux Adds "number of operations" and "number of variables" properties for the tests	r1201	// ///////// //
		// Constants //
		// ///////// //

		/// Max number of operations to generate
		extern const QString NB_MAX_OPERATIONS_PROPERTY;
Alexandre Leroux Sets the number of sync groups to create for fuzzing tests	r1237
		/// Max number of sync groups to create through operations
		extern const QString NB_MAX_SYNC_GROUPS_PROPERTY;
Alexandre Leroux Adds "number of operations" and "number of variables" properties for the tests	r1201
		/// Max number of variables to manipulate through operations
		extern const QString NB_MAX_VARIABLES_PROPERTY;

Alexandre Leroux Defines operations pool...	r1204	/// Set of operations available for the test
		extern const QString AVAILABLE_OPERATIONS_PROPERTY;

Alexandre Leroux Adds the ability to set cache tolerance for tests	r1224	/// Tolerance used for variable's cache (in ratio)
		extern const QString CACHE_TOLERANCE_PROPERTY;
Alexandre Leroux Some fixes...	r1223
		/// Range with which the timecontroller is initialized
		extern const QString INITIAL_RANGE_PROPERTY;

Alexandre Leroux Completes fuzzing test structure by setting initial range for the time controller	r1209	/// Max range that an operation can reach
		extern const QString MAX_RANGE_PROPERTY;

Alexandre Leroux Implements "Variable creation" operation (1)...	r1207	/// Set of metadata that can be associated to a variable
		extern const QString METADATA_POOL_PROPERTY;

		/// Provider used to retrieve data
		extern const QString PROVIDER_PROPERTY;

Alexandre Leroux Randomizes the time to wait between each operations (defines min/max delays)	r1243	/// Min/max times left for an operation to execute
		extern const QString OPERATION_DELAY_BOUNDS_PROPERTY;
Alexandre Leroux Implements move operations (3)...	r1219
Alexandre Leroux Adds validators to the fuzzing test...	r1228	/// Validators used to validate an operation
		extern const QString VALIDATORS_PROPERTY;
Alexandre Leroux Defines VariableState struct (1)...	r1220
Alexandre Leroux Randomizes the number of operations to wait between calling validation (defines min/max frequencies)	r1244	/// Min/max number of operations to execute before calling validation of the current test's state
		extern const QString VALIDATION_FREQUENCY_BOUNDS_PROPERTY;

Alexandre Leroux Defines VariableState struct (1)...	r1220	// /////// //
		// Structs //
		// /////// //

		class Variable;
		struct VariableState {
		std::shared_ptr<Variable> m_Variable{nullptr};
		SqpRange m_Range{INVALID_RANGE};
		};

Alexandre Leroux Defines synchronization groups for fuzzing tests	r1235	using VariableId = int;
		using VariablesPool = std::map<VariableId, VariableState>;

		/**
		* Defines a synchronization group for a fuzzing state. A group reports the variables synchronized
		* with each other, and the current range of the group (i.e. range of the last synchronized variable
		* that has been moved)
		*/
		struct SyncGroup {
		std::set<VariableId> m_Variables{};
		SqpRange m_Range{INVALID_RANGE};
		};

		using SyncGroupId = QUuid;
		using SyncGroupsPool = std::map<SyncGroupId, SyncGroup>;

		/**
		* Defines a current state during a fuzzing state. It contains all the variables manipulated during
		* the test, as well as the synchronization status of these variables.
		*/
		struct FuzzingState {
		const SyncGroup &syncGroup(SyncGroupId id) const;
		SyncGroup &syncGroup(SyncGroupId id);

		const VariableState &variableState(VariableId id) const;
		VariableState &variableState(VariableId id);

Alexandre Leroux Implements canExecute() method of syn/desync operations	r1239	/// @return the identifier of the synchronization group in which the variable passed in
		/// parameter is located. If the variable is not in any group, returns an invalid identifier
		SyncGroupId syncGroupId(VariableId variableId) const;

Alexandre Leroux Implements execute() method of sync operation	r1240	/// @return the set of synchronization group identifiers
		std::vector<SyncGroupId> syncGroupsIds() const;

		/// Updates fuzzing state according to a variable synchronization
		/// @param variableId the variable that is synchronized
		/// @param syncGroupId the synchronization group
		void synchronizeVariable(VariableId variableId, SyncGroupId syncGroupId);

Alexandre Leroux Implements execute() method of desync operation...	r1241	/// Updates fuzzing state according to a variable desynchronization
		/// @param variableId the variable that is desynchronized
		/// @param syncGroupId the synchronization group from which to remove the variable
		void desynchronizeVariable(VariableId variableId, SyncGroupId syncGroupId);

Alexandre Leroux Updates states of synchronized variables when there is a move operation	r1242	/// Updates the range of a variable and all variables to which it is synchronized
		/// @param the variable for which to affect the range
		/// @param the range to affect
		void updateRanges(VariableId variableId, const SqpRange &newRange);
Alexandre Leroux Defines synchronization groups for fuzzing tests	r1235
		VariablesPool m_VariablesPool;
		SyncGroupsPool m_SyncGroupsPool;
		};

Alexandre Leroux Adds variable controller and properties to test structure...	r1200	#endif // SCIQLOP_FUZZINGDEFS_H