Ideiação (brainstorm) sobre exemplos trabalhados, referente ao projeto CNPq coordenado pelo Igor Wiese. A partir de projetos disponibilizados no Github, podemos obter aqueles cujos commits criam ou alteram casos de teste e, a partir disso, estabelecer exemplos trabalhados de problemas que foram resolvidos com auxílio de teste de software ou de casos de teste que foram simplesmente melhorados ao longo do tempo. Projetos candidatos para isso podem ser aqueles voltados a códigos simples e domínio geral (Apache Commons-Lang, por exemplo, relacionado com programação) e de domínio específico (JabRef, por exemplo, relacionado a teste de software e, talvez até modelos, padrões e arquitetura de software). Com isso podemos definir critérios para bons exemplos trabalhados e quais são os metadados necessários a serem considerados no contexto de ensino de engenharia de software. Deste ponto em diante estaria diretamente associado ao trabalho do Vinicius Petris, em continuidade ao TCC com o Code Defenders. Ao invés de usar código informado pelo professor para criar mutantes ou casos de teste, podemos usar os exemplos trabalhados. Nesse caso temos a vantagem de já saber algumas possibilidades de como melhorar os casos de teste ou de que defeitos os casos de teste deveriam detectar. Em outra perspectiva, considerando o código da aplicação relacionado ao caso de teste, também já sabemos que defeitos eles tem e usar isso para guiar as possibilidades de alterações (e mutações). Assim atacamos tanto ensino de programação quanto teste de software. No âmbito de modelos, podemos utilizar indícios de problemas (software smells), algo que inclusive já existe no Code Defenders.

Primeiro dia do curso de modelos de simulação. Bem básico, apenas a construção de um modelo baseado em máquina de estados e simulado com o MS4Me. Foi útil para deixar as ferramentas configuradas e obter toda a documentação necessária para modelos de simulação. Vai ser particularmente útil para modelos baseados no IMA-CID e LODM. Quem sabe dá para continuar o trabalho iniciado pelo Wagner também com isso.

Correção dos artigos escritos pelos estudantes da disciplina de mestrado.