The Assertion Based Testing Tool for OOP: ADL2 This is a paper describing an assertion based testing tool for object oriented programming (OOP) languages. It includes the architecture of formal specification language and its translator to test programs.
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Baresi, Luciano; Young, Michal: Toward translating design constraints to run-time assertions. (2005)
- Kuliamin, Victor V.: Multi-paradigm models as source for automated test construction. (2005)
- Bourdonov, Igor B.; Demakov, Alexey V.; Jarov, Andrew A.; Kossatchev, Alexander S.; Kuliamin, Victor V.; Petrenko, Alexander K.; Zelenov, Sergey V.: Java specification extension for automated test development (2001)
- Wilson, Rodney C.: UNIX test tools and benchmarks. Methods and tools to design, develop, and execute. Functional, structural, reliability, and regression tests (1995)