Cream - a system for object-oriented mutation of C# programs

• Autorzy: Derezińska A. , Szustek A.

Warianty tytułu

PL

CREAM - automatyczny system do obiektowych mutacji programów w C#

• Języki publikacji: EN

Abstrakty

EN

Creator of Mutants (CREAM) is a tool that introduces small faults called mutations into C# programs. It is useful to investigate the quality of a mutated program and effectiveness of a prepared test suite. The CREAM system generates several object-oriented types of faults, puts them into the code of the original program according to its parsed trees, and compiles the modified sources. Obtained assemblies can be tested measuring the number of revealed modifications. CREAM cooperates with NUnit for running of test suites against the set of mutants.

PL

CREAM (Creator of Mutants) jest narzędziem pozwalającym wprowadzać błędy tzw. mutacje do programów napisanych w języku C#. Może służyć do badania jakości mutowanego programu i efektywności przygotowanego zbioru testów. System generuje kilka obiektowych typów mutacji, modyfikuje kod źródłowy zgodnie z drzewami rozbioru składniowego, a następnie kompiluje zmutowane programy. W procesie testowania można mierzyć liczbę błędów wykrytych przez testy. CREAM wspiera testowanie za pomocą środowiska NUnit.

Słowa kluczowe

EN

Creator of Mutants - CREAM; mutation tools; mutation testing with CREAM system; CREAM architecture; CREAM verification and evolution

PL

Creator of Mutants CREAM; język C#; mutacje programowe; testowanie; środowisko NUnit

• Wydawca: Wydział Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej
• Czasopismo: Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne
• Rocznik: 2007
• Tom: T. 13
• Strony: 389--398
• Opis fizyczny: Bibliogr. 23 poz., rys.

Twórcy

autor

Derezińska A.

autor

Szustek A.

• Institute of Computer Science, Warsaw University of Technology

Bibliografia

• [1] Andrews, J. H., Briand, L. C., Labiche, Y.: Is Mutation Testing an Appropriate Tool for Testing Experiments, In: Proc. of Int'l Conf. Softw. Eng., ACM, 15-21 May 2005, pp. 402-411.
• [2] Do, H., Rothennel G.: A Controlled Experiment Assessing Test Case Prioritization Techniques via Mutation Faults, In Proc. of the 21 st IEEE Int. Conf. on Software Maintenance, ICSM'05, IEEE Comp. Soc., 2005, pp. 411-420.
• [3] Kim, S., Clark, J., McDennid J. A: Investigating the Effectiveness of Object-oriented testing Strategies with the Mutation Method, J. of Soft. Testing, Verif. and Rel., 11(4) 2001, pp. 207-225.
• [4] Ed. W. E. Wong, Mutation Testing for the New Century, Kluwer Acad. Publ., June 2001.
• [5] Voas J.M., McGraw G.: Software fault injection, Inoculating Programs against Errors, John Wiley & Sons Inc., 1998.
• [6] Kim S., Clark J., McDennid J. A: Class Mutation: Mutation Testing for Object-oriented Programs, In Proc of Conf. on Object-Oriented Soft. Systems, Erfurt, Germany, Oct. 2000
• [7] Ma, Y-S., Kwon, Y-R., Offutt, J.: Inter-class Mutation Operators for Java, Proc. of Inter. Symp. on Software Reliability Engin., ISSRE'02, IEEE Computer Soc., 2002.
• [8] Derezińska A: Quality Assessment of Mutation Operators Dedicated for C# Programs, In Proc of 6th Inter. Conf. on Quality Software, QSIC'06, Beijing, China, Oct. 2006, IEEE Computer Soc. Press, Los Alamitos California 2006 pp.227-234.
• [9] Derezińska A.: Advanced Mutation Operators Applicable in C# Programs, In K. Sacha (ed.) IFIP Vol. 227, Software Engineering Techniques: Design for Quality, Boston, Springer 2006, pp. 283-288.
• [10] Derezińska A: Specification of Mutation Operators Specialized for C# Code, ICS Res. Raport 2/05 WUT 2005
• [11] Chevalley P., Thevenod-Fosse P.: A Mutation Analysis Tool for Java Programs, Journal on Software Tools for Techn. Transfer (STTT), Dec. 2002, pp. 1-14.
• [12] Ma, Y-S., Offutt, J., Kwon, Y-R.: MuJava: an Automated Class Mutation System, Softw. Testing, Verif. and Reliab., vo115, no 2, June 2005, pp. 97-133.
• [13] Stępień A J.: Parser-based Generation of Object Mutations of C# Programs, Bachelor Thesis, Inst. of Comp. Science, Warsaw Univ. of Technology, Sept. 2006 (in polish).
• [14] King K., Offutt A, A Fortran Language System for Mutation-based Software Testing, Software - Practice and Experience, 21(7), July 1991, pp. 685-718.
• [15] Delmaro M., Maldonado J.: Proteum - a Tool for the Assessment of Test Adequacy for C Programs, In Proc. of Conf. on Performability in Computing Sys., PCS96, Jul. 1996, pp. 79-95.
• [16] Nester, http://nester.sourceforge.net/
• [17] Bogacki B., Walter B.: Aspect-Oriented Response Injection: an Alternative to Classical Mutation Testing, In: K. Sacha (ed.) IFIP Vol. 227, Software Engineering Techniques: Design for Quality, Boston, Springer 2006, pp. 273-282.
• [18] Baudry B., Fleurey F., Jezequel J-M., Traon Y. Le.: From Genetic to Bacteriological Algorithms for Mutation-Based Testing, Softw. Testing Verif. and Reliab, vo115, no 2, June 2005, pp. 73-96.
• [19] Polo M., Tendero S., Piattini M.: Integrating techniques and tools for testing automation, Software Testing, Verification and Reliability, vo117, J. Wiley & Song Ltd., 2007, pp. 3-39.
• [20] Kim S-W., Harrold M. J., Kwon Y-R.: MuGamma: Mutation Analysis of Deployed Software to Increase Confidence and Assist Evolution, In Proc. of 2nd Workshop on Mutation Analysis, Mutation 2006, Releigh, North Carolina, Nov. 2006.
• [21] Bradbury J. S., Cordy J. R., Dingel J.: ExMAn: a Generic and Customizable Framework for Experimental Mutation Analysis, In Proc. of 2nd Workshop on Mutation Analysis, Mutation 2006, Releigh, North Carolina, Nov. 2006.
• [22] Andrews J. H., Zang Y.: General test result checking with log file analysis, IEEE Trans. Softw. Eng., 29 (7), 2003, pp.634-648.
• [23] Cordy J., Dean T., Malton A, and Schneider K.: Source transformation in software engineering using the TXL Transformation system, In: Journal of Information and Software Technology, 44(13),2002, pp. 827-837.