Test driven development (TDD) is emerging as one of the most successful developer productivity enhancing techniques to be recently discovered. The three-step: write test, write code, refactor – is a dance many of us are enjoying. This site is dedicated to promoting techniques, tools, and general good will in the test-driven community.
Jumble is a class level mutation testing tool that works in conjunction with JUnit. The purpose of mutation testing is to provide a measure of the effectiveness of test cases. A single mutation is performed on the code to be tested, the corresponding test cases are then executed. If the modified code fails the tests, then this increases confidence in the tests. Conversely, if the modified code passes the tests this indicates a testing deficiency.
GlobalTester: Professional Open Source for the e-Passport experts´ community
Driven by the EU-legislation and the requirements of the US visa waiver program more than 40 countries are planning to introduce e-Passports commencing 2006.
GlobalTester has full support for
* the ICAO test standard for e-Passports and
* the BSI e-Passport conformity testing specification
layer 6 (LDS Protocol) & layer 7 (LDS Data).
Full transparency through Open Source, coupled with the professional support you require.
AceUnit (Advanced C and Embedded Unit) ist ein komfortables Framework für Unit-Tests von C-Code. AceUnit orientiert sich am Stil von JUnit 4.x und ist einfach, modular und flexibel. AceUnit kann in Umgebungen mit geringen Ressourcen verwendet werden, beispielsweise in der Entwicklung eingebetteter Systeme.
Selenium is a test tool for web applications. Selenium tests run directly in a browser, just as real users do. And they run in Internet Explorer, Mozilla and Firefox on Windows, Linux, and Macintosh. No other test tool covers such a wide array of platform
SelfEsteem is a graphical presentation of Acceptance Test results. It allows customers to actually SEE a development teams progress. Our goal is to have metrics that are so clear and reliable that software development starts becoming something concrete.
A. Bertolino. Abstract State Machines, page 1-21. (2003)MR: Gute Zusammenfassung der Grundlagen über Testen, aber gleichzeitig auch Überblick zum State-Of-The-Art.
Für IST-SPL: Wertvoller Überblick über spezifikationsbasierte Testmethoden und kurz zum Testorakel-Problem..
M. Chen, X. Qiu, W. Xu, L. Wang, J. Zhao, and X. Li. The Computer Journal, (2007)MR: Der Ansatz ist ein Gray-Box-Ansatz, obwohl es auf Modellen basiert, muss das Programm selbst auch ausgeführt werden um bestimmte Eingaben für das Verfahren zu liefern.
Die Generierung von Testdaten ist kaum automatisiert.
Für IST-SPL interessant wegen den Formalismen für Aktivitätsdiagramme..