CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Seminars @ CITI  \  Seminar Page Login  
   
banner bottom
File Top
The Challenges of the Coverage Testing applied to Concurrent Software
{ Mon, 3 Jun 2013, 14h00 }

By: Paulo Souza  [ hide info ] ; Simone Souza  [ show info ]

Paulo Souza

Country: Brazil

Affiliation: Universidade de São Paulo ( BR )


Bio:

Paulo Souza received a Bachelor degree in Informatics from State University of Ponta Grossa (UEPG) in 1990 and an MSc in Mathematics and Computer from ICMC/USP in 1996. He received his PhD from IFSC/USP in 2000, working with process scheduling in distributed systems. He was a lecturer at UEPG for 14 years (1991/2005), being head of the Informatics Department in 1992/1993. Since 2005 he is an assistant professor at the ICMC/USP - São Carlos, where he develops his research in the Laboratory of Distributed Systems and Concurrent Programming (LASDPC). Paulo Souza was an Academic Visitor at the University of Southampton/UK (2010/2011), working in testing of concurrent programs. Paulo Souza teaches courses for undergraduate and graduate students, such as: organization and computer architecture, concurrent programming, computer networking and data structures. He is a supervisor in PhD and MSc Programs at ICMC/USP. His research interests are distributed systems, parallel computing, development of high-performance applications, testing of parallel/distributed applications and simulation tools to assist the teaching of computing.


Concurrent programs are becoming popular due to several application domains where performance and distributed access are essential. Due to this demand, the high-quality of these applications is mandatory, motivating the proposition of different testing approaches. However, the test of concurrent programs is still a challenge because the intrinsic features of the concurrent applications impose a high application cost. Issues such as non-determinism, synchronization and communication must be properly considered during the testing activity. In this scenario, coverage testing criteria offer information to guide the testing activity, providing information to support the selection and evaluation of test cases. In this talk we will present the challenges to define coverage testing criteria for concurrent programs, showing some results obtained in relation to the definition of coverage testing criteria for message-passing and shared-memory programs.


Hosted by: Computer Systems

Location: DI seminars room

File Bottom