summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorDaniel Friesel <derf@finalrewind.org>2019-03-01 15:43:44 +0100
committerDaniel Friesel <derf@finalrewind.org>2019-03-01 15:43:44 +0100
commitdb5a1ee454cad546bda011a78ce33e6890cf8ce0 (patch)
tree8af01c280b73d1cfd8e06d8a62b1790193f6fdad /test
parent610fb4b531d12886ec144e3004b4c90a2051d96f (diff)
move tests to separate directory
Diffstat (limited to 'test')
-rwxr-xr-xtest/mimosa-to-pta-model.py240
-rwxr-xr-xtest/pta.py376
2 files changed, 616 insertions, 0 deletions
diff --git a/test/mimosa-to-pta-model.py b/test/mimosa-to-pta-model.py
new file mode 100755
index 0000000..0d0c116
--- /dev/null
+++ b/test/mimosa-to-pta-model.py
@@ -0,0 +1,240 @@
+#!/usr/bin/env python3
+
+from dfatool import PTAModel, RawData, pta_trace_to_aggregate
+import unittest
+
+class TestStaticModel(unittest.TestCase):
+ def test_model_singlefile_rf24(self):
+ raw_data = RawData(['../data/20170220_164723_RF24_int_A.tar'])
+ preprocessed_data = raw_data.get_preprocessed_data(verbose = False)
+ by_name, parameters, arg_count = pta_trace_to_aggregate(preprocessed_data)
+ model = PTAModel(by_name, parameters, arg_count, verbose = False)
+ self.assertEqual(model.states(), 'POWERDOWN RX STANDBY1 TX'.split(' '))
+ self.assertEqual(model.transitions(), 'begin epilogue powerDown powerUp setDataRate_num setPALevel_num startListening stopListening write_nb'.split(' '))
+ static_model = model.get_static()
+ self.assertAlmostEqual(static_model('POWERDOWN', 'power'), 0, places=0)
+ self.assertAlmostEqual(static_model('RX', 'power'), 52254, places=0)
+ self.assertAlmostEqual(static_model('STANDBY1', 'power'), 7, places=0)
+ self.assertAlmostEqual(static_model('TX', 'power'), 18414, places=0)
+ self.assertAlmostEqual(static_model('begin', 'energy'), 1652249, places=0)
+ self.assertAlmostEqual(static_model('epilogue', 'energy'), 15449, places=0)
+ self.assertAlmostEqual(static_model('powerDown', 'energy'), 4547, places=0)
+ self.assertAlmostEqual(static_model('powerUp', 'energy'), 1641765, places=0)
+ self.assertAlmostEqual(static_model('setDataRate_num', 'energy'), 7749, places=0)
+ self.assertAlmostEqual(static_model('setPALevel_num', 'energy'), 4700, places=0)
+ self.assertAlmostEqual(static_model('startListening', 'energy'), 4309602, places=0)
+ self.assertAlmostEqual(static_model('stopListening', 'energy'), 193775, places=0)
+ self.assertAlmostEqual(static_model('write_nb', 'energy'), 218339, places=0)
+ self.assertAlmostEqual(static_model('begin', 'rel_energy_prev'), 1649571, places=0)
+ self.assertAlmostEqual(static_model('epilogue', 'rel_energy_prev'), -744114, places=0)
+ self.assertAlmostEqual(static_model('powerDown', 'rel_energy_prev'), 3854, places=0)
+ self.assertAlmostEqual(static_model('powerUp', 'rel_energy_prev'), 1641381, places=0)
+ self.assertAlmostEqual(static_model('setDataRate_num', 'rel_energy_prev'), 6777, places=0)
+ self.assertAlmostEqual(static_model('setPALevel_num', 'rel_energy_prev'), 3728, places=0)
+ self.assertAlmostEqual(static_model('startListening', 'rel_energy_prev'), 4307769, places=0)
+ self.assertAlmostEqual(static_model('stopListening', 'rel_energy_prev'), -13533693, places=0)
+ self.assertAlmostEqual(static_model('write_nb', 'rel_energy_prev'), 214618, places=0)
+ self.assertAlmostEqual(static_model('begin', 'duration'), 19830, places=0)
+ self.assertAlmostEqual(static_model('epilogue', 'duration'), 40, places=0)
+ self.assertAlmostEqual(static_model('powerDown', 'duration'), 90, places=0)
+ self.assertAlmostEqual(static_model('powerUp', 'duration'), 10030, places=0)
+ self.assertAlmostEqual(static_model('setDataRate_num', 'duration'), 140, places=0)
+ self.assertAlmostEqual(static_model('setPALevel_num', 'duration'), 90, places=0)
+ self.assertAlmostEqual(static_model('startListening', 'duration'), 260, places=0)
+ self.assertAlmostEqual(static_model('stopListening', 'duration'), 260, places=0)
+ self.assertAlmostEqual(static_model('write_nb', 'duration'), 510, places=0)
+
+ self.assertAlmostEqual(model.stats.param_dependence_ratio('POWERDOWN', 'power', 'datarate'), 0, places=2)
+ self.assertAlmostEqual(model.stats.param_dependence_ratio('POWERDOWN', 'power', 'txbytes'), 0, places=2)
+ self.assertAlmostEqual(model.stats.param_dependence_ratio('POWERDOWN', 'power', 'txpower'), 0, places=2)
+ self.assertAlmostEqual(model.stats.param_dependence_ratio('RX', 'power', 'datarate'), 0.99, places=2)
+ self.assertAlmostEqual(model.stats.param_dependence_ratio('RX', 'power', 'txbytes'), 0, places=2)
+ self.assertAlmostEqual(model.stats.param_dependence_ratio('RX', 'power', 'txpower'), 0.01, places=2)
+ self.assertAlmostEqual(model.stats.param_dependence_ratio('STANDBY1', 'power', 'datarate'), 0.04, places=2)
+ self.assertAlmostEqual(model.stats.param_dependence_ratio('STANDBY1', 'power', 'txbytes'), 0.35, places=2)
+ self.assertAlmostEqual(model.stats.param_dependence_ratio('STANDBY1', 'power', 'txpower'), 0.32, places=2)
+ self.assertAlmostEqual(model.stats.param_dependence_ratio('TX', 'power', 'datarate'), 1, places=2)
+ self.assertAlmostEqual(model.stats.param_dependence_ratio('TX', 'power', 'txbytes'), 0.09, places=2)
+ self.assertAlmostEqual(model.stats.param_dependence_ratio('TX', 'power', 'txpower'), 1, places=2)
+
+ param_model, param_info = model.get_fitted()
+ self.assertEqual(param_info('POWERDOWN', 'power'), None)
+ self.assertEqual(param_info('RX', 'power')['function']._model_str,
+ '0 + regression_arg(0) + regression_arg(1) * np.sqrt(parameter(datarate))')
+ self.assertEqual(param_info('STANDBY1', 'power'), None)
+ self.assertEqual(param_info('TX', 'power')['function']._model_str,
+ '0 + regression_arg(0) + regression_arg(1) * 1/(parameter(datarate)) + regression_arg(2) * parameter(txpower) + regression_arg(3) * 1/(parameter(datarate)) * parameter(txpower)')
+ self.assertEqual(param_info('epilogue', 'timeout')['function']._model_str,
+ '0 + regression_arg(0) + regression_arg(1) * 1/(parameter(datarate))')
+ self.assertEqual(param_info('stopListening', 'duration')['function']._model_str,
+ '0 + regression_arg(0) + regression_arg(1) * 1/(parameter(datarate))')
+
+
+ def test_model_singlefile_mmparam(self):
+ raw_data = RawData(['../data/20161221_123347_mmparam.tar'])
+ preprocessed_data = raw_data.get_preprocessed_data(verbose = False)
+ by_name, parameters, arg_count = pta_trace_to_aggregate(preprocessed_data)
+ model = PTAModel(by_name, parameters, arg_count, verbose = False)
+ self.assertEqual(model.states(), 'OFF ON'.split(' '))
+ self.assertEqual(model.transitions(), 'off setBrightness'.split(' '))
+ static_model = model.get_static()
+ self.assertAlmostEqual(static_model('OFF', 'power'), 7124, places=0)
+ self.assertAlmostEqual(static_model('ON', 'power'), 17866, places=0)
+ self.assertAlmostEqual(static_model('off', 'energy'), 268079197, places=0)
+ self.assertAlmostEqual(static_model('setBrightness', 'energy'), 168912773, places=0)
+ self.assertAlmostEqual(static_model('off', 'rel_energy_prev'), 105040198, places=0)
+ self.assertAlmostEqual(static_model('setBrightness', 'rel_energy_prev'), 103745586, places=0)
+ self.assertAlmostEqual(static_model('off', 'duration'), 9130, places=0)
+ self.assertAlmostEqual(static_model('setBrightness', 'duration'), 9130, places=0)
+
+ param_lut_model = model.get_param_lut()
+ self.assertAlmostEqual(param_lut_model('OFF', 'power', param=[None, None]), 7124, places=0)
+ with self.assertRaises(KeyError):
+ param_lut_model('ON', 'power', param=[None, None])
+ param_lut_model('ON', 'power', param=['a'])
+ param_lut_model('ON', 'power', param=[0])
+ self.assertTrue(param_lut_model('ON', 'power', param=[0, 0]))
+ param_lut_model = model.get_param_lut(fallback = True)
+ self.assertAlmostEqual(param_lut_model('ON', 'power', param=[None, None]), 17866, places=0)
+
+ def test_model_multifile_lm75x(self):
+ testfiles = [
+ '../data/20170116_124500_LM75x.tar',
+ '../data/20170116_131306_LM75x.tar',
+ ]
+ raw_data = RawData(testfiles)
+ preprocessed_data = raw_data.get_preprocessed_data(verbose = False)
+ by_name, parameters, arg_count = pta_trace_to_aggregate(preprocessed_data)
+ model = PTAModel(by_name, parameters, arg_count, verbose = False)
+ self.assertEqual(model.states(), 'ACTIVE POWEROFF'.split(' '))
+ self.assertEqual(model.transitions(), 'getTemp setHyst setOS shutdown start'.split(' '))
+ static_model = model.get_static()
+ self.assertAlmostEqual(static_model('ACTIVE', 'power'), 332, places=0)
+ self.assertAlmostEqual(static_model('POWEROFF', 'power'), 7, places=0)
+ self.assertAlmostEqual(static_model('getTemp', 'energy'), 26016748, places=0)
+ self.assertAlmostEqual(static_model('setHyst', 'energy'), 22082226, places=0)
+ self.assertAlmostEqual(static_model('setOS', 'energy'), 21774238, places=0)
+ self.assertAlmostEqual(static_model('shutdown', 'energy'), 11808160, places=0)
+ self.assertAlmostEqual(static_model('start', 'energy'), 12445302, places=0)
+ self.assertAlmostEqual(static_model('getTemp', 'rel_energy_prev'), 21722720, places=0)
+ self.assertAlmostEqual(static_model('setHyst', 'rel_energy_prev'), 19001499, places=0)
+ self.assertAlmostEqual(static_model('setOS', 'rel_energy_prev'), 18693283, places=0)
+ self.assertAlmostEqual(static_model('shutdown', 'rel_energy_prev'), 11746224, places=0)
+ self.assertAlmostEqual(static_model('start', 'rel_energy_prev'), 12391462, places=0)
+ self.assertAlmostEqual(static_model('getTemp', 'duration'), 12740, places=0)
+ self.assertAlmostEqual(static_model('setHyst', 'duration'), 9140, places=0)
+ self.assertAlmostEqual(static_model('setOS', 'duration'), 9140, places=0)
+ self.assertAlmostEqual(static_model('shutdown', 'duration'), 6980, places=0)
+ self.assertAlmostEqual(static_model('start', 'duration'), 6980, places=0)
+
+ def test_model_multifile_sharp(self):
+ testfiles = [
+ '../data/20170116_145420_sharpLS013B4DN.tar',
+ '../data/20170116_151348_sharpLS013B4DN.tar',
+ ]
+ raw_data = RawData(testfiles)
+ preprocessed_data = raw_data.get_preprocessed_data(verbose = False)
+ by_name, parameters, arg_count = pta_trace_to_aggregate(preprocessed_data)
+ model = PTAModel(by_name, parameters, arg_count, verbose = False)
+ self.assertEqual(model.states(), 'DISABLED ENABLED'.split(' '))
+ self.assertEqual(model.transitions(), 'clear disable enable ioInit sendLine toggleVCOM'.split(' '))
+ static_model = model.get_static()
+ self.assertAlmostEqual(static_model('DISABLED', 'power'), 22, places=0)
+ self.assertAlmostEqual(static_model('ENABLED', 'power'), 24, places=0)
+ self.assertAlmostEqual(static_model('clear', 'energy'), 14059, places=0)
+ self.assertAlmostEqual(static_model('disable', 'energy'), 0, places=0)
+ self.assertAlmostEqual(static_model('enable', 'energy'), 0, places=0)
+ self.assertAlmostEqual(static_model('ioInit', 'energy'), 0, places=0)
+ self.assertAlmostEqual(static_model('sendLine', 'energy'), 37874, places=0)
+ self.assertAlmostEqual(static_model('toggleVCOM', 'energy'), 30991, places=0)
+ self.assertAlmostEqual(static_model('clear', 'rel_energy_prev'), 13329, places=0)
+ self.assertAlmostEqual(static_model('disable', 'rel_energy_prev'), 0, places=0)
+ self.assertAlmostEqual(static_model('enable', 'rel_energy_prev'), 0, places=0)
+ self.assertAlmostEqual(static_model('ioInit', 'rel_energy_prev'), 0, places=0)
+ self.assertAlmostEqual(static_model('sendLine', 'rel_energy_prev'), 33447, places=0)
+ self.assertAlmostEqual(static_model('toggleVCOM', 'rel_energy_prev'), 30242, places=0)
+ self.assertAlmostEqual(static_model('clear', 'duration'), 30, places=0)
+ self.assertAlmostEqual(static_model('disable', 'duration'), 0, places=0)
+ self.assertAlmostEqual(static_model('enable', 'duration'), 0, places=0)
+ self.assertAlmostEqual(static_model('ioInit', 'duration'), 0, places=0)
+ self.assertAlmostEqual(static_model('sendLine', 'duration'), 180, places=0)
+ self.assertAlmostEqual(static_model('toggleVCOM', 'duration'), 30, places=0)
+
+ def test_model_multifile_mmstatic(self):
+ testfiles = [
+ '../data/20170116_143516_mmstatic.tar',
+ '../data/20170116_142654_mmstatic.tar',
+ ]
+ raw_data = RawData(testfiles)
+ preprocessed_data = raw_data.get_preprocessed_data(verbose = False)
+ by_name, parameters, arg_count = pta_trace_to_aggregate(preprocessed_data)
+ model = PTAModel(by_name, parameters, arg_count, verbose = False)
+ self.assertEqual(model.states(), 'B G OFF R'.split(' '))
+ self.assertEqual(model.transitions(), 'blue green off red'.split(' '))
+ static_model = model.get_static()
+ self.assertAlmostEqual(static_model('B', 'power'), 29443, places=0)
+ self.assertAlmostEqual(static_model('G', 'power'), 29432, places=0)
+ self.assertAlmostEqual(static_model('OFF', 'power'), 7057, places=0)
+ self.assertAlmostEqual(static_model('R', 'power'), 49068, places=0)
+ self.assertAlmostEqual(static_model('blue', 'energy'), 374440955, places=0)
+ self.assertAlmostEqual(static_model('green', 'energy'), 372026027, places=0)
+ self.assertAlmostEqual(static_model('off', 'energy'), 372999554, places=0)
+ self.assertAlmostEqual(static_model('red', 'energy'), 378936634, places=0)
+ self.assertAlmostEqual(static_model('blue', 'rel_energy_prev'), 105535587, places=0)
+ self.assertAlmostEqual(static_model('green', 'rel_energy_prev'), 102999371, places=0)
+ self.assertAlmostEqual(static_model('off', 'rel_energy_prev'), 103613698, places=0)
+ self.assertAlmostEqual(static_model('red', 'rel_energy_prev'), 110474331, places=0)
+ self.assertAlmostEqual(static_model('blue', 'duration'), 9140, places=0)
+ self.assertAlmostEqual(static_model('green', 'duration'), 9140, places=0)
+ self.assertAlmostEqual(static_model('off', 'duration'), 9140, places=0)
+ self.assertAlmostEqual(static_model('red', 'duration'), 9140, places=0)
+
+ def test_model_multifile_cc1200(self):
+ testfiles = [
+ '../data/20170125_125433_cc1200.tar',
+ '../data/20170125_142420_cc1200.tar',
+ '../data/20170125_144957_cc1200.tar',
+ '../data/20170125_151149_cc1200.tar',
+ '../data/20170125_151824_cc1200.tar',
+ '../data/20170125_154019_cc1200.tar',
+ ]
+ raw_data = RawData(testfiles)
+ preprocessed_data = raw_data.get_preprocessed_data(verbose = False)
+ by_name, parameters, arg_count = pta_trace_to_aggregate(preprocessed_data)
+ model = PTAModel(by_name, parameters, arg_count, verbose = False)
+ self.assertEqual(model.states(), 'IDLE RX SLEEP SLEEP_EWOR SYNTH_ON TX XOFF'.split(' '))
+ self.assertEqual(model.transitions(), 'crystal_off eWOR idle init prepare_xmit receive send setSymbolRate setTxPower sleep txDone'.split(' '))
+ static_model = model.get_static()
+ self.assertAlmostEqual(static_model('IDLE', 'power'), 9500, places=0)
+ self.assertAlmostEqual(static_model('RX', 'power'), 85177, places=0)
+ self.assertAlmostEqual(static_model('SLEEP', 'power'), 143, places=0)
+ self.assertAlmostEqual(static_model('SLEEP_EWOR', 'power'), 81801, places=0)
+ self.assertAlmostEqual(static_model('SYNTH_ON', 'power'), 60036, places=0)
+ self.assertAlmostEqual(static_model('TX', 'power'), 92461, places=0)
+ self.assertAlmostEqual(static_model('XOFF', 'power'), 780, places=0)
+ self.assertAlmostEqual(static_model('crystal_off', 'energy'), 114658, places=0)
+ self.assertAlmostEqual(static_model('eWOR', 'energy'), 317556, places=0)
+ self.assertAlmostEqual(static_model('idle', 'energy'), 717713, places=0)
+ self.assertAlmostEqual(static_model('init', 'energy'), 23028941, places=0)
+ self.assertAlmostEqual(static_model('prepare_xmit', 'energy'), 378552, places=0)
+ self.assertAlmostEqual(static_model('receive', 'energy'), 380335, places=0)
+ self.assertAlmostEqual(static_model('send', 'energy'), 4282597, places=0)
+ self.assertAlmostEqual(static_model('setSymbolRate', 'energy'), 962060, places=0)
+ self.assertAlmostEqual(static_model('setTxPower', 'energy'), 288701, places=0)
+ self.assertAlmostEqual(static_model('sleep', 'energy'), 104445, places=0)
+ self.assertEqual(static_model('txDone', 'energy'), 0)
+
+ param_model, param_info = model.get_fitted()
+ self.assertEqual(param_info('IDLE', 'power'), None)
+ self.assertEqual(param_info('RX', 'power')['function']._model_str,
+ '0 + regression_arg(0) + regression_arg(1) * np.log(parameter(symbolrate) + 1)')
+ self.assertEqual(param_info('SLEEP', 'power'), None)
+ self.assertEqual(param_info('SLEEP_EWOR', 'power'), None)
+ self.assertEqual(param_info('SYNTH_ON', 'power'), None)
+ self.assertEqual(param_info('XOFF', 'power'), None)
+
+ self.assertAlmostEqual(param_info('RX', 'power')['function']._regression_args[0], 84415, places=0)
+ self.assertAlmostEqual(param_info('RX', 'power')['function']._regression_args[1], 206, places=0)
+
+if __name__ == '__main__':
+ unittest.main()
diff --git a/test/pta.py b/test/pta.py
new file mode 100755
index 0000000..0ed95be
--- /dev/null
+++ b/test/pta.py
@@ -0,0 +1,376 @@
+#!/usr/bin/env python3
+
+from automata import PTA
+import unittest
+
+example_json_1 = {
+ 'parameters' : ['datarate', 'txbytes', 'txpower'],
+ 'initial_param_values' : [None, None],
+ 'state' : {
+ 'IDLE' : {
+ 'power' : {
+ 'static' : 5,
+ }
+ },
+ 'TX' : {
+ 'power' : {
+ 'static' : 100,
+ 'function' : {
+ 'raw' : 'regression_arg(0) + regression_arg(1)'
+ ' * parameter(txpower)',
+ 'regression_args' : [ 100, 2 ]
+ },
+ }
+ },
+ },
+ 'transitions' : [
+ {
+ 'name' : 'init',
+ 'origin' : ['UNINITIALIZED', 'IDLE'],
+ 'destination' : 'IDLE',
+ 'duration' : {
+ 'static' : 50000,
+ },
+ 'set_param' : {
+ 'txpower' : 10
+ },
+ },
+ {
+ 'name' : 'setTxPower',
+ 'origin' : 'IDLE',
+ 'destination' : 'IDLE',
+ 'duration' : { 'static' : 120 },
+ 'energy ' : { 'static' : 10000 },
+ 'arg_to_param_map' : { 'txpower' : 0 },
+ 'argument_values' : [ [10, 20, 30] ],
+ },
+ {
+ 'name' : 'send',
+ 'origin' : 'IDLE',
+ 'destination' : 'TX',
+ 'duration' : {
+ 'static' : 10,
+ 'function' : {
+ 'raw' : 'regression_arg(0) + regression_arg(1)'
+ ' * function_arg(1)',
+ 'regression_args' : [48, 8],
+ },
+ },
+ 'energy' : {
+ 'static' : 3,
+ 'function' : {
+ 'raw' : 'regression_arg(0) + regression_arg(1)'
+ ' * function_arg(1)',
+ 'regression_args' : [3, 5],
+ },
+ },
+ 'arg_to_param_map' : { 'txbytes' : 1 },
+ 'argument_values' : [ ['"foo"', '"hodor"'], [3, 5] ],
+ 'argument_combination' : 'zip',
+ },
+ {
+ 'name' : 'txComplete',
+ 'origin' : 'TX',
+ 'destination' : 'IDLE',
+ 'is_interrupt' : 1,
+ 'timeout' : {
+ 'static' : 2000,
+ 'function' : {
+ 'raw' : 'regression_arg(0) + regression_arg(1)'
+ ' * parameter(txbytes)',
+ 'regression_args' : [ 500, 16 ],
+ },
+ },
+ }
+ ],
+}
+
+def dfs_tran_to_name(runs: list, with_args: bool) -> list:
+ if with_args:
+ return list(map(lambda run: list(map(lambda x: (x[0].name, x[1]), run)), runs))
+ return list(map(lambda run: list(map(lambda x: (x[0].name), run)), runs))
+
+class TestPTA(unittest.TestCase):
+ def test_dfs(self):
+ pta = PTA(['IDLE', 'TX'])
+ pta.add_transition('UNINITIALIZED', 'IDLE', 'init')
+ pta.add_transition('IDLE', 'TX', 'send')
+ pta.add_transition('TX', 'IDLE', 'txComplete')
+ self.assertEqual(dfs_tran_to_name(pta.dfs(0), False), [['init']])
+ self.assertEqual(dfs_tran_to_name(pta.dfs(1), False), [['init', 'send']])
+ self.assertEqual(dfs_tran_to_name(pta.dfs(2), False), [['init', 'send', 'txComplete']])
+ self.assertEqual(dfs_tran_to_name(pta.dfs(3), False), [['init', 'send', 'txComplete', 'send']])
+
+ pta = PTA(['IDLE'])
+ pta.add_transition('UNINITIALIZED', 'IDLE', 'init')
+ pta.add_transition('IDLE', 'IDLE', 'set1')
+ pta.add_transition('IDLE', 'IDLE', 'set2')
+ self.assertEqual(dfs_tran_to_name(pta.dfs(0), False), [['init']])
+ self.assertEqual(sorted(dfs_tran_to_name(pta.dfs(1), False)), [['init', 'set1'], ['init', 'set2']])
+ self.assertEqual(sorted(dfs_tran_to_name(pta.dfs(2), False)), [['init', 'set1', 'set1'],
+ ['init', 'set1', 'set2'],
+ ['init', 'set2', 'set1'],
+ ['init', 'set2', 'set2']])
+
+ def test_dfs_accepting(self):
+ pta = PTA(['IDLE', 'TX'], accepting_states = ['IDLE'])
+ pta.add_transition('UNINITIALIZED', 'IDLE', 'init')
+ pta.add_transition('IDLE', 'TX', 'send')
+ pta.add_transition('TX', 'IDLE', 'txComplete')
+ self.assertEqual(dfs_tran_to_name(pta.dfs(0), False), [['init']])
+ self.assertEqual(dfs_tran_to_name(pta.dfs(1), False), [])
+ self.assertEqual(dfs_tran_to_name(pta.dfs(2), False), [['init', 'send', 'txComplete']])
+ self.assertEqual(dfs_tran_to_name(pta.dfs(3), False), [])
+
+ def test_dfs_objects(self):
+ pta = PTA(['IDLE', 'TX'])
+ pta.add_transition('UNINITIALIZED', 'IDLE', 'init')
+ pta.add_transition('IDLE', 'TX', 'send')
+ pta.add_transition('TX', 'IDLE', 'txComplete')
+ traces = list(pta.dfs(2))
+ self.assertEqual(len(traces), 1)
+ trace = traces[0]
+ self.assertEqual(len(trace), 3)
+ self.assertEqual(trace[0][0].name, 'init')
+ self.assertEqual(trace[1][0].name, 'send')
+ self.assertEqual(trace[2][0].name, 'txComplete')
+ self.assertEqual(pta.get_transition_id(trace[0][0]), 0)
+ self.assertEqual(pta.get_transition_id(trace[1][0]), 1)
+ self.assertEqual(pta.get_transition_id(trace[2][0]), 2)
+
+ def test_from_json(self):
+ pta = PTA.from_json(example_json_1)
+ self.assertEqual(pta.parameters, ['datarate', 'txbytes', 'txpower'])
+ self.assertEqual(pta.state['UNINITIALIZED'].name, 'UNINITIALIZED')
+ self.assertEqual(pta.state['IDLE'].name, 'IDLE')
+ self.assertEqual(pta.state['TX'].name, 'TX')
+ self.assertEqual(len(pta.transitions), 5)
+ self.assertEqual(pta.transitions[0].name, 'init')
+ self.assertEqual(pta.transitions[1].name, 'init')
+ self.assertEqual(pta.transitions[2].name, 'setTxPower')
+ self.assertEqual(pta.transitions[3].name, 'send')
+ self.assertEqual(pta.transitions[4].name, 'txComplete')
+
+ #def test_to_json(self):
+ # pta = PTA.from_json(example_json_1)
+ # json = pta.to_json()
+ # json['state'].pop('UNINITIALIZED')
+ # print(json)
+ # self.assertDictEqual(json, example_json_1)
+
+ def test_from_json_dfs(self):
+ pta = PTA.from_json(example_json_1)
+ self.assertEqual(sorted(dfs_tran_to_name(pta.dfs(1), False)), [['init', 'init'], ['init', 'send'], ['init', 'setTxPower']])
+ self.assertEqual(sorted(dfs_tran_to_name(pta.dfs(1, with_arguments = True), True)),
+ [
+ [('init', ()), ('init', ())],
+ [('init', ()), ('send', ('"foo"', 3))],
+ [('init', ()), ('send', ('"hodor"', 5))],
+ [('init', ()), ('setTxPower', (10,))],
+ [('init', ()), ('setTxPower', (20,))],
+ [('init', ()), ('setTxPower', (30,))],
+ ]
+ )
+
+ def test_from_json_function(self):
+ pta = PTA.from_json(example_json_1)
+ self.assertEqual(pta.state['TX'].get_energy(1000, {'datarate' : 10, 'txbytes' : 6, 'txpower' : 10 }), 1000 * (100 + 2 * 10))
+ self.assertEqual(pta.transitions[4].get_timeout({'datarate' : 10, 'txbytes' : 6, 'txpower' : 10 }), 500 + 16 * 6)
+
+ def test_simulation(self):
+ pta = PTA()
+ pta.add_state('IDLE', power = 5)
+ pta.add_state('TX', power = 100)
+ pta.add_transition('UNINITIALIZED', 'IDLE', 'init', duration = 50000)
+ pta.add_transition('IDLE', 'TX', 'send', energy = 3, duration = 10)
+ pta.add_transition('TX', 'IDLE', 'txComplete', timeout = 2000, is_interrupt = True)
+ trace = [
+ ['init'],
+ ['sleep', 10000000],
+ ['send', 'foo', 3],
+ ['sleep', 5000000],
+ ['send', 'foo', 3]
+ ]
+ expected_energy = 5. * 10000000 + 3 + 100 * 2000 + 5 * 5000000 + 3 + 100 * 2000
+ expected_duration = 50000 + 10000000 + 10 + 2000 + 5000000 + 10 + 2000
+ power, duration, state, parameters = pta.simulate(trace)
+ self.assertEqual(power, expected_energy)
+ self.assertEqual(duration, expected_duration)
+ self.assertEqual(state.name, 'IDLE')
+ self.assertEqual(parameters, {})
+
+ def test_simulation_param_none(self):
+ pta = PTA(parameters = ['txpower', 'length'])
+ pta.add_state('IDLE', power = 5)
+ pta.add_state('TX', power = 100)
+ pta.add_transition('UNINITIALIZED', 'IDLE', 'init', energy = 500000, duration = 50000)
+ pta.add_transition('IDLE', 'TX', 'send', energy = 3, duration = 10)
+ pta.add_transition('TX', 'IDLE', 'txComplete', timeout = 2000, is_interrupt = True)
+ trace = [
+ ['init'],
+ ]
+ expected_energy = 500000
+ expected_duration = 50000
+ power, duration, state, parameters = pta.simulate(trace)
+ self.assertEqual(power, expected_energy)
+ self.assertEqual(duration, expected_duration)
+ self.assertEqual(state.name, 'IDLE')
+ self.assertEqual(parameters, {
+ 'txpower' : None,
+ 'length' : None
+ })
+
+ def test_simulation_param_update_function(self):
+ pta = PTA(parameters = ['txpower', 'length'])
+ pta.add_state('IDLE', power = 5)
+ pta.add_state('TX', power = 100)
+ pta.add_transition('UNINITIALIZED', 'IDLE', 'init', energy = 500000, duration = 50000)
+ pta.add_transition('IDLE', 'IDLE', 'setTxPower', energy = 10000, duration = 120,
+ param_update_function = lambda param, arg: {**param, 'txpower' : arg[0]})
+ pta.add_transition('IDLE', 'TX', 'send', energy = 3, duration = 10)
+ pta.add_transition('TX', 'IDLE', 'txComplete', timeout = 2000, is_interrupt = True)
+ trace = [
+ ['init'],
+ ['setTxPower', 10]
+ ]
+ expected_energy = 510000
+ expected_duration = 50120
+ power, duration, state, parameters = pta.simulate(trace)
+ self.assertEqual(power, expected_energy)
+ self.assertEqual(duration, expected_duration)
+ self.assertEqual(state.name, 'IDLE')
+ self.assertEqual(parameters, {
+ 'txpower' : 10,
+ 'length' : None
+ })
+
+ def test_simulation_arg_to_param_map(self):
+ pta = PTA(parameters = ['txpower', 'length'])
+ pta.add_state('IDLE', power = 5)
+ pta.add_state('TX', power = 100)
+ pta.add_transition('UNINITIALIZED', 'IDLE', 'init', energy = 500000, duration = 50000)
+ pta.add_transition('IDLE', 'IDLE', 'setTxPower', energy = 10000, duration = 120,
+ arg_to_param_map = {'txpower' : 0})
+ pta.add_transition('IDLE', 'TX', 'send', energy = 3, duration = 10)
+ pta.add_transition('TX', 'IDLE', 'txComplete', timeout = 2000, is_interrupt = True)
+ trace = [
+ ['init'],
+ ['setTxPower', 10]
+ ]
+ expected_energy = 510000
+ expected_duration = 50120
+ power, duration, state, parameters = pta.simulate(trace)
+ self.assertEqual(power, expected_energy)
+ self.assertEqual(duration, expected_duration)
+ self.assertEqual(state.name, 'IDLE')
+ self.assertEqual(parameters, {
+ 'txpower' : 10,
+ 'length' : None
+ })
+
+ def test_simulation_set_param(self):
+ pta = PTA(parameters = ['txpower', 'length'])
+ pta.add_state('IDLE', power = 5)
+ pta.add_state('TX', power = 100)
+ pta.add_transition('UNINITIALIZED', 'IDLE', 'init', energy = 500000, duration = 50000, set_param = {'txpower' : 10})
+ trace = [
+ ['init'],
+ ]
+ expected_energy = 500000
+ expected_duration = 50000
+ power, duration, state, parameters = pta.simulate(trace)
+ self.assertEqual(power, expected_energy)
+ self.assertEqual(duration, expected_duration)
+ self.assertEqual(state.name, 'IDLE')
+ self.assertEqual(parameters, {
+ 'txpower' : 10,
+ 'length' : None
+ })
+
+ def test_simulation_arg_function(self):
+ pta = PTA(parameters = ['txpower', 'length'])
+ pta.add_state('IDLE', power = 5)
+ pta.add_state('TX', power = 100)
+ pta.add_transition('UNINITIALIZED', 'IDLE', 'init', energy = 500000, duration = 50000)
+ pta.add_transition('IDLE', 'IDLE', 'setTxPower', energy = 10000, duration = 120,
+ param_update_function = lambda param, arg: {**param, 'txpower' : arg[0]})
+ pta.add_transition('IDLE', 'TX', 'send', energy = 3, duration = 10,
+ energy_function = lambda param, arg: 3 + 5 * arg[1],
+ duration_function = lambda param, arg: 48 + 8 * arg[1])
+ pta.add_transition('TX', 'IDLE', 'txComplete', timeout = 2000, is_interrupt = True)
+ trace = [
+ ['init'],
+ ['setTxPower', 10],
+ ['send', 'foo', 3],
+ ]
+ expected_energy = 500000 + 10000 + (3 + 5 * 3) + (2000 * 100)
+ expected_duration = 50000 + 120 + (48 + 8 * 3) + 2000
+ power, duration, state, parameters = pta.simulate(trace)
+ self.assertEqual(power, expected_energy)
+ self.assertEqual(duration, expected_duration)
+ self.assertEqual(state.name, 'IDLE')
+ self.assertEqual(parameters, {
+ 'txpower' : 10,
+ 'length' : None
+ })
+
+ pta = PTA(parameters = ['txpower', 'length'])
+ pta.add_state('IDLE', power = 5)
+ pta.add_state('TX', power = 100)
+ pta.add_transition('UNINITIALIZED', 'IDLE', 'init', energy = 500000, duration = 50000)
+ pta.add_transition('IDLE', 'IDLE', 'setTxPower', energy = 10000, duration = 120,
+ param_update_function = lambda param, arg: {**param, 'txpower' : arg[0]})
+ pta.add_transition('IDLE', 'TX', 'send', energy = 3, duration = 10,
+ energy_function = lambda param, arg: 3 + 5 * arg[1],
+ duration_function = lambda param, arg: 48 + 8 * arg[1])
+ pta.add_transition('TX', 'IDLE', 'txComplete', timeout = 2000, is_interrupt = True)
+ trace = [
+ ['init'],
+ ['setTxPower', 10],
+ ['send', 'foobar', 6],
+ ]
+ expected_energy = 500000 + 10000 + (3 + 5 * 6) + (2000 * 100)
+ expected_duration = 50000 + 120 + (48 + 8 * 6) + 2000
+ power, duration, state, parameters = pta.simulate(trace)
+ self.assertEqual(power, expected_energy)
+ self.assertEqual(duration, expected_duration)
+ self.assertEqual(state.name, 'IDLE')
+ self.assertEqual(parameters, {
+ 'txpower' : 10,
+ 'length' : None
+ })
+
+
+ def test_simulation_param_function(self):
+ pta = PTA(parameters = ['length', 'txpower'])
+ pta.add_state('IDLE', power = 5)
+ pta.add_state('TX', power = 100,
+ power_function = lambda param, arg: 1000 + 2 * param[1])
+ pta.add_transition('UNINITIALIZED', 'IDLE', 'init', energy = 500000, duration = 50000)
+ pta.add_transition('IDLE', 'IDLE', 'setTxPower', energy = 10000, duration = 120,
+ param_update_function = lambda param, arg: {**param, 'txpower' : arg[0]})
+ pta.add_transition('IDLE', 'TX', 'send', energy = 3, duration = 10,
+ energy_function = lambda param, arg: 3 + 5 * arg[1],
+ param_update_function = lambda param, arg: {**param, 'length' : arg[1]})
+ pta.add_transition('TX', 'IDLE', 'txComplete', timeout = 2000, is_interrupt = True,
+ timeout_function = lambda param, arg: 500 + 16 * param[0])
+ trace = [
+ ['init'],
+ ['setTxPower', 10],
+ ['send', 'foo', 3],
+ ]
+ expected_energy = 500000 + 10000 + (3 + 5 * 3) + (1000 + 2 * 10) * (500 + 16 * 3)
+ expected_duration = 50000 + 120 + 10 + (500 + 16 * 3)
+ power, duration, state, parameters = pta.simulate(trace)
+ self.assertEqual(power, expected_energy)
+ self.assertEqual(duration, expected_duration)
+ self.assertEqual(state.name, 'IDLE')
+ self.assertEqual(parameters, {
+ 'txpower' : 10,
+ 'length' : 3
+ })
+
+
+
+if __name__ == '__main__':
+ unittest.main()