Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Executable statecharts-based models of embedded real-time systems provide a solid basis for early detection of behavioral errors. Hover, there are two major semantic gaps beten execution of system model and execution of its actual implementation. One is treating of time: simulated time (where every reaction to environment stimuli takes zero time) vs. running in real time. Another one relates to "maximum parallelism" of statechart components vs. actual concurrent tasks running under certain scheduler. As a result, test set that is adequate for system model might be non-adequate for system implementation.  presents a series of statechart mutations that allows to address the above differences and to evaluate "implementation oriented" adequacy of tests.
['Mark B. Trakhtenbrot']
I am writing a research paper on a idea Implementation-Oriented Mutation Testing of Statechart Models
[{"from": "human", "value": "I am writing a research paper on a idea Implementation-Oriented Mutation Testing of Statechart Models"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Executable statecharts-based models of embedded real-time systems provide a solid basis for early detection of behavioral errors. Hover, there are two major semantic gaps beten execution of system model and execution of its actual implementation. One is treating of time: simulated time (where every reaction to environment stimuli takes zero time) vs. running in real time. Another one relates to \"maximum parallelism\" of statechart components vs. actual concurrent tasks running under certain scheduler. As a result, test set that is adequate for system model might be non-adequate for system implementation.  presents a series of statechart mutations that allows to address the above differences and to evaluate \"implementation oriented\" adequacy of tests."}]