Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  addresses the problem of automating the production of test sequences for a particular class of Programmable Logic Controllers (em4) produced by InnoVista Sensors. The latter are synchronous systems and are programmed by means of an ad hoc integrated development environment (IDE). People using and programming such controllers are not necessarily experienced programmers, so the development of software applications must be simple and intuitive. This should also be the case for testing. Until now, the design of test input sequences is informal and testing is interactively performed by programmers using a simulator included in the IDE. Based on previous investigations on testing of synchronous programs,  propose a method to automatically generate test inputs sequences for synchronous controllers. In a previous paper  presented a new test specification language, called SPTL (Synchronous Programs Testing Language) that makes possible to simply express test scenarios. ,  present a prototype tool that  designed and developed, named "Testium", that translates a SPTL program into a set of constraints exploited by a Prolog solver to randomly choose test inputs.
['Mouna Tka Mnad', 'Christophe Deleuze', 'Ioannis Parissis', 'Jackie Launay', 'Jean Baptiste Gning']
I am writing a research paper on a idea Automated test generation for synchronous controllers
[{"from": "human", "value": "I am writing a research paper on a idea Automated test generation for synchronous controllers"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  addresses the problem of automating the production of test sequences for a particular class of Programmable Logic Controllers (em4) produced by InnoVista Sensors. The latter are synchronous systems and are programmed by means of an ad hoc integrated development environment (IDE). People using and programming such controllers are not necessarily experienced programmers, so the development of software applications must be simple and intuitive. This should also be the case for testing. Until now, the design of test input sequences is informal and testing is interactively performed by programmers using a simulator included in the IDE. Based on previous investigations on testing of synchronous programs,  propose a method to automatically generate test inputs sequences for synchronous controllers. In a previous paper  presented a new test specification language, called SPTL (Synchronous Programs Testing Language) that makes possible to simply express test scenarios. ,  present a prototype tool that  designed and developed, named \"Testium\", that translates a SPTL program into a set of constraints exploited by a Prolog solver to randomly choose test inputs."}]