diff options
author | Daniel Friesel <derf@finalrewind.org> | 2019-03-01 15:43:44 +0100 |
---|---|---|
committer | Daniel Friesel <derf@finalrewind.org> | 2019-03-01 15:43:44 +0100 |
commit | db5a1ee454cad546bda011a78ce33e6890cf8ce0 (patch) | |
tree | 8af01c280b73d1cfd8e06d8a62b1790193f6fdad /test | |
parent | 610fb4b531d12886ec144e3004b4c90a2051d96f (diff) |
move tests to separate directory
Diffstat (limited to 'test')
-rwxr-xr-x | test/mimosa-to-pta-model.py | 240 | ||||
-rwxr-xr-x | test/pta.py | 376 |
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() |