LETS - Laboratório de Especificação e Teste de Software

Sobre

A missão do Laboratório de Especificação e Teste de Software (LETS) é atuar em atividades de

pesquisa e inovação relacionadas a elaboração e avaliação de técnicas e ferramentas para

apoiar engenheiros de software nas atividades de especificação de requisitos e garantia da

qualidade. Dentre as linhas específicas de pesquisa e inovação podemos citar: análise qualitativa

de especificações de requisitos baseada em grounded theory; análise dinâmica e estática do

comportamento exceptional; elaboração de estratégias e ferramentas de elicitação, modelagem

de requisitos e teste de software. Os membros do grupo LETS estão associados ao INES, o

Instituto Nacional de Engenharia de Software (INCT). O laboratório conta com a participação de

estudantes do Curso de Doutorado e Mestrado em Sistemas e Computação do Programa de Pós-

Graduação em Sistemas e Computação (PPgSC), estudantes de mestrado do Mestrado

Profissional em Engenharia de Software (MPES) e cursos de Bacharelado em Tecnologia da

Informação, Ciência da Computação e Engenharia de Software.

Objetivo

Esse laboratório não possui objetivo cadastrado.

Missão

Esse laboratório não possui missão cadastrada.

Infraestrutura

● Mobiliário: Mobiliário necessário para realização dos projetos: mesas e cadeiras, quadro branco, armários (inexistente).
● Equipamentos e tecnologias: computadores, impressora (inexistente). A impressora será obtida através de projetos submetidos pelos professores membros junto agências de fomento.

Contexto

Contribuição para o IMD

● O LETS atua junto ao IMD formando competências e habilidades nas áres de Engenharia de Requisitos, Teste de Software, Especificação de Sistemas, Qualidade de Software, Processos de Software e Dependabilidade em cursos de graduação e pós-graduação relacionados ao IMD. Além disto o LETS tem o objetivo de atuar junto a empresas incubadas e pré-incubadas no IMD capacitando-as nas áreas de competência do laboratório.

Apoio a disciplinas específicas

● DIM0507 - Teste de Software I (BES)
● DIM0512 - Teste de Software II (BES)
● MPES005 - Teste de Software (MPES)
● DIM0887 - Teste de Software (PPgSC)
● IMD0029 - Estrutura de Dados Básicas I (BTI)
● IMD0408 - Processos de Software (BTI)
● IMD0412 - Introdução ao Teste de Software (BTI)
● DIM0504 - Análise e Projeto Orientado a Objetos (BES)
● DIM0511 - Engenharia de Requisitos (BES)
● DIM0537 - Visualização de Requisitos (BES)
● DIM0538 - Requisitos Avançados (BES)
● DIM0519 - Qualidade de Software (BES)
● DIM0520 - Modelagem de Processo de Negócios (BES)
● PPGSC0090 - Engenharia de Requisitos (PPgSC)
● DIM0515 - Manutenção de Software (BES)
● DIM0510 - Processos de Software (BES)
● DIM0506 - Projeto Detalhado de Software (BES)
● DIM0543 - Desenvolvimento de Sistemas Web (BES)
● MPES0006 - Metodologia de Experimentação Científica na Indústria (MPES)
● MPES0011 - Desenvolvimento Web I (MPES)
● DIM0804 - Engenharia de Software (PPgSC)

Apoio a ações específicas do IMD

● Interação com empresas spin-off do IMD (no momento atuação junto a LogAp)
● Interação com empresas de informática (atualmente interagindo com ESIG Software e

Consultoria em TI e Petrobrás).
● Interação com o setor de desenvolvimento de software do IMD (atualmente realizamos

atividades de teste de software em sistemas desenvolvidos pelo IMD e.g., Sistema

INOVA).
● Elaboração de material de capacitação em teste de software e especificação a ser

disponibilizado a empresas incubadas no IMD.
● Elaboração de surveys e entrevistas guiadas para identificar necessidades de

treinamento das empresas incubadas e pre-incubadas no IMD.
● Além destas ações específicas, o laboratório estará disponível para atender as

demandas que surjam no IMD que estejam relacionadas as competências e habilidades dos membros deste laboratório.