add a testcase in test_sorm