Geração de testes estruturais para aplicações multithreads: abordagem por statecharts

A modelagem em \textit{Statecharts} do código fonte de softwares \textit{multithreads} é proposta neste trabalho. O objetivo deste trabalho é explorar testes caixa branca utilizando \textit{Statecharts}. O modelo proposto realiza a modelagem de softwares \textit{multithreads} em \textit{Statecharts}...

Full description

Bibliographic Details
Main Author: Rogério Marinke
Other Authors: Edson Luiz França Senne
Language:Portuguese
Published: Instituto Nacional de Pesquisas Espaciais 2011
Online Access:http://urlib.net/sid.inpe.br/mtc-m19/2011/11.04.20.08