Model Driven Testing Based on Test History

Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems. We propose an exhaustive test procedure that uses the knowledge of system structure and the prior test history. Since exhaustive testing is not always feasible, we also present a statistical release procedure based on the characteristics of the system and the test history.

• Type: Journal
• Year: 2008
• Where: TOPNOC
• Authors: Isaac Corro Ramos, Alessandro Di Bucchianico, Lusine Hakobyan, Kees M. van Hee
• Keywords: Artificial Intelligence, Exhaustive Test Procedure, Software Systems, Test History, TOPNOC 2008