Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Testing object-oriented programs is still a hard task, despite many studies on criteria to better cover the test space. Test criteria establish requirements one want to achieve in testing programs to help in finding software defects. On the other hand, program verification guarantees that a program preserves its specification but its application is not very straightforward in many cases. Both program testing and verification are expensive tasks and could be used to complement each other. presents a new approach to automate and integrate testing and program verification for fault-tolerant systems. In this approach  show how to assess information from programs verification in order to reduce the test space regarding exceptions definition/use testing criteria. As properties on exception-handling mechanisms are checked using a model checker(Java PathFinder), programs are traced. Information from these traces can be used to realize how much testing criteria have been covered, reducing the further program test space.
['Kleber da Silva Xavier', 'Simone Hanazumi', 'A.C.V. de Melo']
I am writing a research paper on a idea Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs
[{"from": "human", "value": "I am writing a research paper on a idea Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Testing object-oriented programs is still a hard task, despite many studies on criteria to better cover the test space. Test criteria establish requirements one want to achieve in testing programs to help in finding software defects. On the other hand, program verification guarantees that a program preserves its specification but its application is not very straightforward in many cases. Both program testing and verification are expensive tasks and could be used to complement each other. presents a new approach to automate and integrate testing and program verification for fault-tolerant systems. In this approach  show how to assess information from programs verification in order to reduce the test space regarding exceptions definition/use testing criteria. As properties on exception-handling mechanisms are checked using a model checker(Java PathFinder), programs are traced. Information from these traces can be used to realize how much testing criteria have been covered, reducing the further program test space."}]