According to Professor Schlingloff: "Testing was and is the most important quality assurance measure in the development of complex computational systems. For some years, it has been recognised that the design of test cases should not be postponed until after the implementation is completed, but should start as early in the design process as possible, in particular, when the first formal specifications or models of the designated system are available."
This two-day course is oriented towards professional software engineers, who want to improve their skills and processes in software testing. The course consists of four parts:
(1) Testing processes
(2) Component testing and static analysis
(3) Interface and service testing
(4) Test generation and test management
Each part will be augmented by practical exercises and tool demos. In the first part, we will discuss prerequisites and facilities for a systematic test of software. Then, we will move to unit testing, formulation of pre- and post-conditions, and automation of unit tests. On the second day, we discuss tools for testing of graphical user interfaces (GUIs) and Web services. Finally, we discuss model-based test generation, where tests are automatically generated and executed from an abstract behavioural model, and management aspects of test documentation, reporting and archiving.
Holger Schlingloff is professor of software engineering at Humboldt-University, Berlin. He is also scientific director of the embedded systems group at the Fraunhofer Institute for Computer Architecture and Software Technology, Berlin. This research institute is doing applied projects with industrial partners. His scientific interests include the specification, verification, and testing of safety-critical embedded software. He is project leader of several international projects with partners from the automotive, rail, and other domains.
Solms TCD has much interest in model-driven development. The company is the originator of URDAD, a technology neutral analysis and design methodology, which is suited for model-driven development. The methodology generates services contracts for all services across levels of granularity. These services contracts typically form the basis for testing.
Solms TCD is also partnering with the University of Pretoria in a research collaboration around model-driven development based on the URDAD methodology, and provides a series of courses in model-driven development.
This short course is endorsed by the SSFM Research Group for Software Science and Formal Methods, University of Pretoria, in co-operation with the Department for Embedded Systems at the Fraunhofer Institute for Computer Architecture and Software Technology, Berlin, and the Research Unit for Specification, Verification and Test Theory at the Institute for Informatics of the Humboldt-University to Berlin.
Course fees are R2 860 excl VAT.
Candidates who are interested can register at http://www.solms.co.za or inquire at mailto: info@solms.co.za.
Share
Editorial contacts