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

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