CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  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  [ show info ] ; Simone Souza  [ hide info ]

Simone Souza

Country: Brazil

Affiliation: Universidade de São Paulo ( BR )


Simone R. S. 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. She received her PhD from IFSC/USP in 2000, working with testing of formal specifications. She was a lecturer at UEPG for 14 years (1991/2005). Since 2005 she is an assistant professor at ICMC/USP - São Carlos, where she develops her research in the Laboratory of Software Engineering (LABES). She was an Academic Visitor at the University of Southampton/UK (2010/2011), working in testing of concurrent programs. Simone R. S. Souza teaches courses for undergraduate and graduate students, such as: software engineering, software testing and inspection, systematic review in software engineering and introduction to computer science. She is a supervisor in PhD and MSc Programs at the ICMC/USP. Her research interests are software testing, concurrent program testing, software quality and experimentation in software testing.

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