https://dev.eiffel.com/api.php?action=feedcontributions&feedformat=atom&user=Liuli 2026-04-17T12:33:05Z User contributions MediaWiki 1.24.1 https://dev.eiffel.com/index.php?title=Eiffel_Mutation_Testing_Tool&diff=6368 2006-11-23T10:15:34Z

<p>Liuli: </p> <hr /> <div>[[Category:Projects]]<br /> <br /> == Overview ==<br /> The whole goal of Eiffel mutation testing tool is:<br /> * Defining a set of efficient Eiffel mutation operators<br /> * Implementing these mutation operators<br /> * Executing test cases on mutants to evaluate their quality<br /> This tool is mainly used for evaluating the quality of test strategies, especially the evaluation of fault detectablity and redundance.<br /> <br /> == Goals ==<br /> We aim to implement a completely automatic Eiffel mutation testing tool.<br /> <br /> == Steps ==<br /> <br /> * Instrument Eiffel source code to generate mutant schema file<br /> * Create mutant objects from mutant schema file and execute test cases on mutants to calculate the mutation score of test cases<br /> <br /> == Milestones ==<br /> <br /> == Todo == <br /> <br /> <br /> <br /> == Team ==<br /> Philippe Masson<br /> <br /> Silvio Kohler</div>

Liuli https://dev.eiffel.com/index.php?title=Eiffel_Mutation_Testing_Tool&diff=6367 2006-11-23T10:14:24Z

<p>Liuli: </p> <hr /> <div>[[Category:Projects]]<br /> <br /> == Overview ==<br /> The whole goal of Eiffel mutation testing tool is:<br /> * Defining a set of efficient Eiffel mutation operators<br /> * Implementing these mutation operators<br /> * Executing test cases on mutants to evaluate their quality<br /> This tool is mainly used for evaluating the quality of test strategies, especially the evaluation of fault detectablity and redundance.<br /> <br /> == Goals ==<br /> We aim to implement a completly automatic Eiffel mutation testing tool.<br /> <br /> == Steps ==<br /> <br /> * Instrument Eiffel source code to generate mutant schema file<br /> * Create mutant objects from mutant schema file and execute test cases on mutants to calculate the mutation score of test cases<br /> <br /> == Milestones ==<br /> <br /> == Todo == <br /> <br /> <br /> <br /> == Team ==<br /> Philippe Masson<br /> Silvio Kohler</div>

Liuli https://dev.eiffel.com/index.php?title=Category:Projects&diff=6366 2006-11-23T09:58:18Z

<p>Liuli: </p> <hr /> <div>Projects and project suggestions.<br /> <br /> * Build infrastructure<br /> **[[Build_tool | Build tool]]&lt;br&gt;<br /> **[[Debian_packages | Debian packages]]&lt;br&gt;<br /> **[[OSX_release_infrastructure|OSX release infrastructure]]<br /> **[[Component_standards| Standards and tools for Eiffel based components]]<br /> <br /> * UI<br /> **[[Vision2_Accelerator|Vision2 Accelerator]]&lt;br&gt;<br /> **[[Vision2_and_Unicode|Unicode support for Vision2]]&lt;br&gt;<br /> **[[Editor|Editor]]&lt;br&gt;<br /> **[[EiffelBuild_Integration|EiffelBuild Integration]]&lt;br&gt;<br /> **[[Cocoa_for_EiffelVision2|Cocoa for EiffelVision2]]<br /> ** [[Internationalization|EiffelStudio UI for other languages (internationalization)]]<br /> <br /> * Library<br /> **[[Scintilla_component| Multiplatform editor component: Scintilla]]&lt;br&gt;<br /> **[[Gecko_component| Multiplatform layout engine component: Mozilla/Gecko]]&lt;br&gt;<br /> <br /> * Other Stuff<br /> ** [[EMU| Eiffel Multi User]]&lt;br&gt;<br /> ** [[ESTeaching | Eiffel Studio for Teaching]]<br /> ** [[Advanced Class and Feature Wizard| Advanced Class and Feature Wizard ]]<br /> ** [[AutoTest_Integration|Integrating AutoTest into EiffelStudio]]<br /> ** [[Eiffel_Mutation_Testing_Tool| Eiffel Mutation Testing Tool]]</div>

Liuli