1 files changed, 134 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/8_1.xmi b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/8_1.xmi
new file mode 100644
index 00000000..ec0985dc
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/8_1.xmi
@@ -0,0 +1,134 @@
+<?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:CubeSat6U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.9/@commSubsystem.1"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:SmallSat">
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat3U">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.16/@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:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat3U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+  </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:XCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.25/@commSubsystem.1"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.8/@commSubsystem.1"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:SmallSat">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.25/@commSubsystem.0"/>
+    <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:SmallSat">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.25/@commSubsystem.0"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat3U">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.25/@commSubsystem.0"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.16/@commSubsystem.0"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:SmallSat">
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.19/@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:SmallSat">
+    <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.17/@commSubsystem.1"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.13/@commSubsystem.0"/>
+    <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>
+  <spacecraft xsi:type="satellite:SmallSat">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.13/@commSubsystem.0"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:SmallSat">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.0/@commSubsystem.0"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.18/@commSubsystem.1"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:CubeSat6U">
+    <commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.20/@commSubsystem.1"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:SmallSat">
+    <commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@spacecraft.23/@commSubsystem.1"/>
+    <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:SmallSat">
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.11/@commSubsystem.0"/>
+    <commSubsystem xsi:type="satellite:KaCommSubsystem"/>
+    <payload xsi:type="satellite:InterferometryPayload"/>
+  </spacecraft>
+  <spacecraft xsi:type="satellite:SmallSat">
+    <commSubsystem xsi:type="satellite:XCommSubsystem"/>
+    <commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.25/@commSubsystem.0"/>
+  </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>
+</satellite:InterferometryMission>

diff --git a/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/8_1.xmi b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/8_1.xmi new file mode 100644 index 00000000..ec0985dc --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/models20.diversity-calculator/inputs/SatelliteNoNum/8_1.xmi
@@ -0,0 +1,134 @@
	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:CubeSat6U">
	8	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.9/@commSubsystem.1"/>
	9	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	10	<payload xsi:type="satellite:InterferometryPayload"/>
	11	</spacecraft>
	12	<spacecraft xsi:type="satellite:SmallSat">
	13	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	14	<payload xsi:type="satellite:InterferometryPayload"/>
	15	</spacecraft>
	16	<spacecraft xsi:type="satellite:CubeSat3U">
	17	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.16/@commSubsystem.0"/>
	18	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	19	<payload xsi:type="satellite:InterferometryPayload"/>
	20	</spacecraft>
	21	<spacecraft xsi:type="satellite:CubeSat3U">
	22	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	23	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/>
	24	<payload xsi:type="satellite:InterferometryPayload"/>
	25	</spacecraft>
	26	<spacecraft xsi:type="satellite:CubeSat3U">
	27	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
	28	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	29	</spacecraft>
	30	<spacecraft xsi:type="satellite:CubeSat3U">
	31	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	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"/>
	37	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.25/@commSubsystem.1"/>
	38	<payload xsi:type="satellite:InterferometryPayload"/>
	39	</spacecraft>
	40	<spacecraft xsi:type="satellite:CubeSat6U">
	41	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	42	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.8/@commSubsystem.1"/>
	43	<payload xsi:type="satellite:InterferometryPayload"/>
	44	</spacecraft>
	45	<spacecraft xsi:type="satellite:SmallSat">
	46	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	47	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.25/@commSubsystem.0"/>
	48	<payload xsi:type="satellite:InterferometryPayload"/>
	49	</spacecraft>
	50	<spacecraft xsi:type="satellite:CubeSat3U">
	51	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	52	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
	53	<payload xsi:type="satellite:InterferometryPayload"/>
	54	</spacecraft>
	55	<spacecraft xsi:type="satellite:SmallSat">
	56	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	57	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.25/@commSubsystem.0"/>
	58	<payload xsi:type="satellite:InterferometryPayload"/>
	59	</spacecraft>
	60	<spacecraft xsi:type="satellite:CubeSat3U">
	61	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.25/@commSubsystem.0"/>
	62	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	63	<payload xsi:type="satellite:InterferometryPayload"/>
	64	</spacecraft>
	65	<spacecraft xsi:type="satellite:CubeSat6U">
	66	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.16/@commSubsystem.0"/>
	67	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	68	<payload xsi:type="satellite:InterferometryPayload"/>
	69	</spacecraft>
	70	<spacecraft xsi:type="satellite:SmallSat">
	71	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.19/@commSubsystem.1"/>
	72	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	73	<payload xsi:type="satellite:InterferometryPayload"/>
	74	</spacecraft>
	75	<spacecraft xsi:type="satellite:CubeSat3U">
	76	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	77	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
	78	<payload xsi:type="satellite:InterferometryPayload"/>
	79	</spacecraft>
	80	<spacecraft xsi:type="satellite:SmallSat">
	81	<commSubsystem xsi:type="satellite:KaCommSubsystem"/>
	82	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.17/@commSubsystem.1"/>
	83	<payload xsi:type="satellite:InterferometryPayload"/>
	84	</spacecraft>
	85	<spacecraft xsi:type="satellite:CubeSat6U">
	86	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	87	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.13/@commSubsystem.0"/>
	88	<payload xsi:type="satellite:InterferometryPayload"/>
	89	</spacecraft>
	90	<spacecraft xsi:type="satellite:CubeSat3U">
	91	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	92	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.0"/>
	93	<payload xsi:type="satellite:InterferometryPayload"/>
	94	</spacecraft>
	95	<spacecraft xsi:type="satellite:SmallSat">
	96	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	97	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.13/@commSubsystem.0"/>
	98	<payload xsi:type="satellite:InterferometryPayload"/>
	99	</spacecraft>
	100	<spacecraft xsi:type="satellite:SmallSat">
	101	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	102	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.0/@commSubsystem.0"/>
	103	<payload xsi:type="satellite:InterferometryPayload"/>
	104	</spacecraft>
	105	<spacecraft xsi:type="satellite:CubeSat6U">
	106	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	107	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.18/@commSubsystem.1"/>
	108	<payload xsi:type="satellite:InterferometryPayload"/>
	109	</spacecraft>
	110	<spacecraft xsi:type="satellite:CubeSat6U">
	111	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@spacecraft.20/@commSubsystem.1"/>
	112	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	113	<payload xsi:type="satellite:InterferometryPayload"/>
	114	</spacecraft>
	115	<spacecraft xsi:type="satellite:SmallSat">
	116	<commSubsystem xsi:type="satellite:KaCommSubsystem" target="//@spacecraft.23/@commSubsystem.1"/>
	117	<commSubsystem xsi:type="satellite:KaCommSubsystem"/>
	118	<payload xsi:type="satellite:InterferometryPayload"/>
	119	</spacecraft>
	120	<spacecraft xsi:type="satellite:SmallSat">
	121	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.11/@commSubsystem.0"/>
	122	<commSubsystem xsi:type="satellite:KaCommSubsystem"/>
	123	<payload xsi:type="satellite:InterferometryPayload"/>
	124	</spacecraft>
	125	<spacecraft xsi:type="satellite:SmallSat">
	126	<commSubsystem xsi:type="satellite:XCommSubsystem"/>
	127	<commSubsystem xsi:type="satellite:UHFCommSubsystem" target="//@spacecraft.25/@commSubsystem.0"/>
	128	</spacecraft>
	129	<spacecraft xsi:type="satellite:CubeSat3U">
	130	<commSubsystem xsi:type="satellite:UHFCommSubsystem"/>
	131	<commSubsystem xsi:type="satellite:XCommSubsystem" target="//@groundStationNetwork/@commSubsystem.1"/>
	132	<payload xsi:type="satellite:InterferometryPayload"/>
	133	</spacecraft>
	134	</satellite:InterferometryMission>