Skip to content

Commit

Permalink
Add new test model Truck.uvl
Browse files Browse the repository at this point in the history
  • Loading branch information
@jmhorcas
jmhorcas committed Aug 8, 2024
1 parent bcfb3e1 commit d4da18d
Show file tree
Hide file tree
Showing 2 changed files with 75 additions and 0 deletions.
63 changes: 63 additions & 0 deletions resources/models/uvl_models/Truck.uvl
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,63 @@
namespace Truck

features
Truck
mandatory
Weight
alternative
Lightweight
alternative
Tons12
Tons18
Heavyweight
alternative
Tons23
Tons40
"Type"
alternative
Semitrailer
Tank
Flatbed
mandatory
Dumper
Engine
alternative
KW160
KW280
KW400
Cabin
optional
HighRoof
SleeperCabin
alternative
Bed1
Beds2
Axles
mandatory
Count
alternative
Axles2
MultipleRearAxles
alternative
Axles3
Axles4
optional
AdditionalSteeringAxle
mandatory
Drivetrain
alternative
DrivenAxle1
DrivenAxles2
DrivenAxles3

constraints
Beds2 => HighRoof
DrivenAxles2 => MultipleRearAxles
DrivenAxles3 => Axles4
Tons40 => KW400
AdditionalSteeringAxle => Axles4
HighRoof => Heavyweight
Semitrailer => Tons18
SleeperCabin => !Flatbed
SleeperCabin => !Tank
Tank => KW400
12 changes: 12 additions & 0 deletions tests/test_bdd_metamodel.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,7 @@ def _read_model(path: str) -> BDDModel:
('resources/models/uvl_models/JHipster.uvl', True),
('resources/models/uvl_models/Pizzas.uvl', True),
('resources/models/uvl_models/Pizzas_complex.uvl', True),
('resources/models/uvl_models/Truck.uvl', True),
#('resources/models/uvl_models/Trimesh_NFM.uvl', True),
])
def test_bdd_satisfiable(path: str, expected: bool):
Expand All @@ -52,6 +53,7 @@ def test_bdd_satisfiable(path: str, expected: bool):
('resources/models/uvl_models/JHipster.uvl', 26256),
('resources/models/uvl_models/Pizzas.uvl', 42),
('resources/models/uvl_models/Pizzas_complex.uvl', 25),
('resources/models/uvl_models/Truck.uvl', 234),
#('resources/models/uvl_models/Trimesh_NFM.uvl', 734720),
])
def test_nconfigs(path: str, expected: int):
Expand All @@ -64,6 +66,7 @@ def test_nconfigs(path: str, expected: int):
('resources/models/uvl_models/JHipster.uvl', [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 8, 16, 42, 106, 200, 238, 250, 488, 1276, 2688, 4314, 5460, 5322, 3696, 1668, 432, 48, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
('resources/models/uvl_models/Pizzas.uvl', [0, 0, 0, 0, 0, 0, 0, 12, 18, 10, 2, 0, 0]),
('resources/models/uvl_models/Pizzas_complex.uvl', [0, 0, 0, 0, 0, 0, 0, 8, 11, 5, 1, 0, 0]),
('resources/models/uvl_models/Truck.uvl', [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 7, 47, 88, 71, 21, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
#('resources/models/uvl_models/Trimesh_NFM.uvl', [0, 0, 0, 1, 15, 115, 625, 2669, 9084, 24500, 52364, 89251, 122277, 135507, 121826, 88721, 51980, 24176, 8734, 2366, 452, 54, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
])
def test_bdd_product_distribution(path: str, expected: list):
Expand All @@ -77,6 +80,7 @@ def test_bdd_product_distribution(path: str, expected: list):
('resources/models/uvl_models/JHipster.uvl', defaultdict(float, {'JHipster': 1.0, 'Generator': 1.0, 'Server': 0.0518, 'Application': 0.9482, 'MicroserviceApplication': 0.0347, 'UaaServer': 0.0171, 'MicroserviceGateway': 0.2730, 'Monolithic': 0.6752, 'Authentication': 1.0, 'HTTPSession': 0.2706, 'OAuth2': 0.1341, 'Uaa': 0.1709, 'JWT': 0.4244, 'SocialLogin': 0.2681, 'Database': 0.9994, 'SQL': 0.9708, 'Cassandra': 0.0107, 'MongoDB': 0.0180, 'Hibernate2ndLvlCache': 0.6472, 'HazelCast': 0.3236, 'EhCache': 0.3236, 'Development': 0.9708, 'H2': 0.6472, 'PostgreSQLDev': 0.1079, 'MariaDBDev': 0.1079, 'MySql': 0.1079, 'DiskBased': 0.3236, 'InMemory': 0.3236, 'Production': 0.9708, 'MySQL': 0.3236, 'MariaDB': 0.3236, 'PostgreSQL': 0.3236, 'ElasticSearch': 0.4854, 'SpringWebSockets': 0.4741, 'Libsass': 0.4741, 'ClusteredSession': 0.4741, 'BackEnd': 1.0, 'Gradle': 0.5, 'Maven': 0.5, 'InternationalizationSupport': 0.5, 'Docker': 0.5, 'TestingFrameworks': 1.0, 'Protractor': 0.9482, 'Gatling': 1.0, 'Cucumber': 1.0})),
('resources/models/uvl_models/Pizzas.uvl', defaultdict(float, {'Pizza': 1.0, 'Topping': 1.0, 'Salami': 0.5714, 'Ham': 0.5714, 'Mozzarella': 0.5714, 'Size': 1.0, 'Normal': 0.3333, 'Big': 0.6667, 'Dough': 1.0, 'Neapolitan': 0.5, 'Sicilian': 0.5, 'CheesyCrust': 0.3333})),
('resources/models/uvl_models/Pizzas_complex.uvl', defaultdict(float, {'Pizza': 1.0, 'Topping': 1.0, 'Salami': 0.48, 'Ham': 0.48, 'Mozzarella': 0.64, 'Size': 1.0, 'Normal': 0.36, 'Big': 0.64, 'Dough': 1.0, 'Neapolitan': 0.16, 'Sicilian': 0.84, 'CheesyCrust': 0.36})),
('resources/models/uvl_models/Truck.uvl', defaultdict(float, {'Truck': 1.0, 'Weight': 1.0, 'Lightweight': 0.5385, 'Tons12': 0.1538, 'Tons18': 0.3846, 'Heavyweight': 0.4615, 'Tons23': 0.3077, 'Tons40': 0.1538, 'Type': 1.0, 'Semitrailer': 0.2308, 'Tank': 0.2308, 'Flatbed': 0.5385, 'Dumper': 0.5385, 'Engine': 1.0, 'KW160': 0.2308, 'KW280': 0.2308, 'KW400': 0.5385, 'Cabin': 1.0, 'HighRoof': 0.2308, 'SleeperCabin': 0.1154, 'Bed1': 0.1154, 'Beds2': 0.0, 'Axles': 1.0, 'Count': 1.0, 'Axles2': 0.1111, 'MultipleRearAxles': 0.8889, 'Axles3': 0.2222, 'Axles4': 0.6667, 'AdditionalSteeringAxle': 0.3333, 'Drivetrain': 1.0, 'DrivenAxle1': 0.4444, 'DrivenAxles2': 0.3333, 'DrivenAxles3': 0.2222})),
#('resources/models/uvl_models/Trimesh_NFM.uvl', defaultdict(float,{'v0': 1.0, 'Cycle': 1.0, 'Smoother': 1.0, 'v1': 0.55, 'v2': 0.45, 'v3': 0.45, 'v4': 0.1, 'v5': 0.0, 'v6': 0.45, 'v7': 0.45, 'v8': 0.475, 'v9': 0.125, 'v10': 0.0, 'v11': 0.49825783972125437, 'v12': 0.49825783972125437, 'v13': 0.49825783972125437, 'v14': 0.49825783972125437, 'v15': 0.0, 'v16': 0.0, 'v17': 0.49825783972125437, 'v18': 0.445993031358885, 'v19': 0.445993031358885, 'v20': 0.445993031358885, 'v21': 0.10801393728222997, 'v22': 0.0, 'V': 0.5, 'F': 0.5, 'Jacobi': 0.5, 'ColorGS': 0.5, 'Line': 0.5, 'ZebraLine': 0.5})),
])
def test_probabilities(path: str, expected: dict):
Expand All @@ -89,6 +93,7 @@ def test_probabilities(path: str, expected: dict):
('resources/models/uvl_models/JHipster.uvl', ['JHipster', 'Generator', 'Authentication', 'BackEnd', 'TestingFrameworks', 'Gatling', 'Cucumber']),
('resources/models/uvl_models/Pizzas.uvl', ['Pizza', 'Topping', 'Size', 'Dough']),
('resources/models/uvl_models/Pizzas_complex.uvl', ['Pizza', 'Topping', 'Size', 'Dough']),
('resources/models/uvl_models/Truck.uvl', ['Truck', 'Weight', 'Type', 'Engine', 'Cabin', 'Axles', 'Count', 'Drivetrain']),
#('resources/models/uvl_models/Trimesh_NFM.uvl', ['v0', 'Cycle', 'Smoother']),
])
def test_core_features(path: str, expected: list):
Expand All @@ -101,6 +106,7 @@ def test_core_features(path: str, expected: list):
('resources/models/uvl_models/JHipster.uvl', []),
('resources/models/uvl_models/Pizzas.uvl', []),
('resources/models/uvl_models/Pizzas_complex.uvl', []),
('resources/models/uvl_models/Truck.uvl', ['Beds2']),
#('resources/models/uvl_models/Trimesh_NFM.uvl', ['v5', 'v10', 'v15', 'v16', 'v22']),
])
def test_dead_features(path: str, expected: list):
Expand All @@ -113,6 +119,7 @@ def test_dead_features(path: str, expected: list):
('resources/models/uvl_models/JHipster.uvl', ['Server', 'Application', 'MicroserviceApplication', 'UaaServer', 'MicroserviceGateway', 'Monolithic', 'HTTPSession', 'OAuth2', 'Uaa', 'JWT', 'SocialLogin', 'Database', 'SQL', 'Cassandra', 'MongoDB', 'Hibernate2ndLvlCache', 'HazelCast', 'EhCache', 'Development', 'H2', 'PostgreSQLDev', 'MariaDBDev', 'MySql', 'DiskBased', 'InMemory', 'Production', 'MySQL', 'MariaDB', 'PostgreSQL', 'ElasticSearch', 'SpringWebSockets', 'Libsass', 'ClusteredSession', 'Gradle', 'Maven', 'InternationalizationSupport', 'Docker', 'Protractor']),
('resources/models/uvl_models/Pizzas.uvl', ['Salami', 'Ham', 'Mozzarella', 'Normal', 'Big', 'Neapolitan', 'Sicilian', 'CheesyCrust']),
('resources/models/uvl_models/Pizzas_complex.uvl', ['Salami', 'Ham', 'Mozzarella', 'Normal', 'Big', 'Neapolitan', 'Sicilian', 'CheesyCrust']),
('resources/models/uvl_models/Truck.uvl', ['DrivenAxles3', 'SleeperCabin', 'Bed1', 'Axles4', 'Axles2', 'DrivenAxles2', 'Tons12', 'Axles3', 'MultipleRearAxles', 'KW160', 'Lightweight', 'DrivenAxle1', 'Heavyweight', 'Semitrailer', 'KW400', 'Dumper', 'Tank', 'Tons23', 'Tons40', 'KW280', 'Flatbed', 'HighRoof', 'AdditionalSteeringAxle', 'Tons18']),
#('resources/models/uvl_models/Trimesh_NFM.uvl', ['v1', 'v2', 'v3', 'v4', 'v6', 'v7', 'v8', 'v9', 'v11', 'v12', 'v13', 'v14', 'v17', 'v18', 'v19', 'v20', 'v21', 'V', 'F', 'Jacobi', 'ColorGS', 'Line', 'ZebraLine']),
])
def test_variant_features(path: str, expected: list):
Expand All @@ -125,6 +132,7 @@ def test_variant_features(path: str, expected: list):
('resources/models/uvl_models/JHipster.uvl', ['Gradle', 'Maven', 'InternationalizationSupport', 'Docker']),
('resources/models/uvl_models/Pizzas.uvl', ['Neapolitan', 'Sicilian']),
('resources/models/uvl_models/Pizzas_complex.uvl', []),
('resources/models/uvl_models/Truck.uvl', []),
#('resources/models/uvl_models/Trimesh_NFM.uvl', ['V', 'F', 'Jacobi', 'ColorGS', 'Line', 'ZebraLine']),
])
def test_pure_optional_features(path: str, expected: list):
Expand All @@ -137,6 +145,7 @@ def test_pure_optional_features(path: str, expected: list):
('resources/models/uvl_models/JHipster.uvl', []),
('resources/models/uvl_models/Pizzas.uvl', []),
('resources/models/uvl_models/Pizzas_complex.uvl', []),
('resources/models/uvl_models/Truck.uvl', []),
#('resources/models/uvl_models/Trimesh_NFM.uvl', []),
])
def test_unique_features(path: str, expected: list):
Expand All @@ -149,6 +158,7 @@ def test_unique_features(path: str, expected: list):
('resources/models/uvl_models/JHipster.uvl', 7.462404028047088e-10, 9.551877155934751e-08),
('resources/models/uvl_models/Pizzas.uvl', 0.010256410256410256, 0.16470588235294117),
('resources/models/uvl_models/Pizzas_complex.uvl', 0.006105006105006105, 0.09803921568627451),
('resources/models/uvl_models/Truck.uvl', 2.7241185310674038e-08, 1.3947487708776456e-05),
#('resources/models/uvl_models/Trimesh_NFM.uvl', 0.0003421306611700592, 0.08758545965975043),
])
def test_variability(path: str, expected_total: float, expected_partial: float):
Expand All @@ -164,6 +174,7 @@ def test_variability(path: str, expected_total: float, expected_partial: float):
('resources/models/uvl_models/JHipster.uvl', 0.5099397386417497),
('resources/models/uvl_models/Pizzas.uvl', 0.6706349206349206),
('resources/models/uvl_models/Pizzas_complex.uvl', 0.6633333333333333),
('resources/models/uvl_models/Truck.uvl', 0.49158249158249157),
#('resources/models/uvl_models/Trimesh_NFM.uvl', 0.41894458806339213),
])
def test_homogeneity(path: str, expected: float):
Expand All @@ -176,6 +187,7 @@ def test_homogeneity(path: str, expected: float):
('resources/models/uvl_models/JHipster.uvl', 5, 5),
('resources/models/uvl_models/Pizzas.uvl', 5, 5),
('resources/models/uvl_models/Pizzas_complex.uvl', 5, 5),
('resources/models/uvl_models/Truck.uvl', 5, 5),
#('resources/models/uvl_models/Trimesh_NFM.uvl', 5, 5),
])
def test_sampling(path: str, sample_size: int, expected: list):
Expand Down

0 comments on commit d4da18d

Please sign in to comment.