1 files changed, 131 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/7_1.xmi b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/7_1.xmi
new file mode 100644
index 00000000..635410f2
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/7_1.xmi
@@ -0,0 +1,131 @@
+<?xml version="1.0" encoding="ASCII"?>
+<satellite:InterferometryMission xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:satellite="http://www.example.org/satellite" xsi:schemaLocation="http://www.example.org/satellite ../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore">
+  <groundStationNetwork>
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+  </groundStationNetwork>
+  <spacecraft xsi:type="satellite:SmallSat">
+    <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.3/@commSubsystem.0"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat3U">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:SmallSat">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.19/@commSubsystem.1"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.13/@commSubsystem.1"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat3U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.19/@commSubsystem.0"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:SmallSat">
+    <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.19/@commSubsystem.0"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.5/@commSubsystem.1"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat3U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.23/@commSubsystem.1"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat3U">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat3U">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.3/@commSubsystem.0"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.16/@commSubsystem.1"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:SmallSat">
+    <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.17/@commSubsystem.1"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.20/@commSubsystem.1"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:SmallSat">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.3/@commSubsystem.1"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat3U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat3U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat3U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.3/@commSubsystem.1"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat3U">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.12/@commSubsystem.0"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:SmallSat">
+    <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@spacecraft.0/@commSubsystem.0"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.7/@commSubsystem.1"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat3U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+</satellite:InterferometryMission>

diff --git a/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/7_1.xmi b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/7_1.xmi new file mode 100644 index 00000000..635410f2 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/7_1.xmi
@@ -0,0 +1,131 @@
	1	<?xml version="1.0" encoding="ASCII"?>
	2	<satellite:InterferometryMission xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:satellite="http://www.example.org/satellite" xsi:schemaLocation="http://www.example.org/satellite ../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore">
	3	<groundStationNetwork>
	4	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	5	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	6	</groundStationNetwork>
	7	<spacecraft xsi:type="satellite:SmallSat">
	8	<commSubsystem xsi:type="satellite:KaCommSubsystem"/>
	9	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/>
	10	<payload xsi:type="satellite:InterferometryPayload"/>
	11	</spacecraft>
	12	<spacecraft xsi:type="satellite:CubeSat6U">
	13	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.3/@commSubsystem.0"/>
	14	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	15	<payload xsi:type="satellite:InterferometryPayload"/>
	16	</spacecraft>
	17	<spacecraft xsi:type="satellite:CubeSat3U">
	18	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	19	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/>
	20	<payload xsi:type="satellite:InterferometryPayload"/>
	21	</spacecraft>
	22	<spacecraft xsi:type="satellite:SmallSat">
	23	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	24	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.19/@commSubsystem.1"/>
	25	<payload xsi:type="satellite:InterferometryPayload"/>
	26	</spacecraft>
	27	<spacecraft xsi:type="satellite:CubeSat6U">
	28	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.13/@commSubsystem.1"/>
	29	</spacecraft>
	30	<spacecraft xsi:type="satellite:CubeSat3U">
	31	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	32	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
	33	<payload xsi:type="satellite:InterferometryPayload"/>
	34	</spacecraft>
	35	<spacecraft xsi:type="satellite:CubeSat6U">
	36	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.19/@commSubsystem.0"/>
	37	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	38	<payload xsi:type="satellite:InterferometryPayload"/>
	39	</spacecraft>
	40	<spacecraft xsi:type="satellite:SmallSat">
	41	<commSubsystem xsi:type="satellite:KaCommSubsystem"/>
	42	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.19/@commSubsystem.0"/>
	43	<payload xsi:type="satellite:InterferometryPayload"/>
	44	</spacecraft>
	45	<spacecraft xsi:type="satellite:CubeSat6U">
	46	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	47	</spacecraft>
	48	<spacecraft xsi:type="satellite:CubeSat6U">
	49	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.5/@commSubsystem.1"/>
	50	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	51	<payload xsi:type="satellite:InterferometryPayload"/>
	52	</spacecraft>
	53	<spacecraft xsi:type="satellite:CubeSat6U">
	54	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	55	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
	56	<payload xsi:type="satellite:InterferometryPayload"/>
	57	</spacecraft>
	58	<spacecraft xsi:type="satellite:CubeSat3U">
	59	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	60	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.23/@commSubsystem.1"/>
	61	</spacecraft>
	62	<spacecraft xsi:type="satellite:CubeSat3U">
	63	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	64	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
	65	<payload xsi:type="satellite:InterferometryPayload"/>
	66	</spacecraft>
	67	<spacecraft xsi:type="satellite:CubeSat3U">
	68	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	69	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.3/@commSubsystem.0"/>
	70	<payload xsi:type="satellite:InterferometryPayload"/>
	71	</spacecraft>
	72	<spacecraft xsi:type="satellite:CubeSat6U">
	73	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	74	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.16/@commSubsystem.1"/>
	75	<payload xsi:type="satellite:InterferometryPayload"/>
	76	</spacecraft>
	77	<spacecraft xsi:type="satellite:SmallSat">
	78	<commSubsystem xsi:type="satellite:KaCommSubsystem"/>
	79	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.17/@commSubsystem.1"/>
	80	<payload xsi:type="satellite:InterferometryPayload"/>
	81	</spacecraft>
	82	<spacecraft xsi:type="satellite:CubeSat6U">
	83	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.20/@commSubsystem.1"/>
	84	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	85	<payload xsi:type="satellite:InterferometryPayload"/>
	86	</spacecraft>
	87	<spacecraft xsi:type="satellite:SmallSat">
	88	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.3/@commSubsystem.1"/>
	89	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	90	<payload xsi:type="satellite:InterferometryPayload"/>
	91	</spacecraft>
	92	<spacecraft xsi:type="satellite:CubeSat3U">
	93	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	94	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
	95	<payload xsi:type="satellite:InterferometryPayload"/>
	96	</spacecraft>
	97	<spacecraft xsi:type="satellite:CubeSat3U">
	98	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/>
	99	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	100	<payload xsi:type="satellite:InterferometryPayload"/>
	101	</spacecraft>
	102	<spacecraft xsi:type="satellite:CubeSat3U">
	103	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	104	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.3/@commSubsystem.1"/>
	105	<payload xsi:type="satellite:InterferometryPayload"/>
	106	</spacecraft>
	107	<spacecraft xsi:type="satellite:CubeSat3U">
	108	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	109	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
	110	<payload xsi:type="satellite:InterferometryPayload"/>
	111	</spacecraft>
	112	<spacecraft xsi:type="satellite:CubeSat6U">
	113	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	114	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.12/@commSubsystem.0"/>
	115	</spacecraft>
	116	<spacecraft xsi:type="satellite:SmallSat">
	117	<commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@spacecraft.0/@commSubsystem.0"/>
	118	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	119	<payload xsi:type="satellite:InterferometryPayload"/>
	120	</spacecraft>
	121	<spacecraft xsi:type="satellite:CubeSat6U">
	122	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.7/@commSubsystem.1"/>
	123	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	124	<payload xsi:type="satellite:InterferometryPayload"/>
	125	</spacecraft>
	126	<spacecraft xsi:type="satellite:CubeSat3U">
	127	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	128	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/>
	129	<payload xsi:type="satellite:InterferometryPayload"/>
	130	</spacecraft>
	131	</satellite:InterferometryMission>