Spécification et test des applicationsEA Internet Of Things (STI)

FISE STI Semester 8 Applied Exercise - IoT Machine translation

Application Specification and Testing

Teaching unit Advanced Track: Internet of Things · S08T_MOB1 | EC Code S08_MOB-04

Course on Celene

6ECTS (EU)

1Coefficient

21:20Hours

Séquencement

Learning objectives

This module focuses on applications that are deployed on smart card systems. These applications run directly on a limited memory and power system. After studying the specification of such software

Prerequisites

Module	Teaching unit	Semester
Object-Oriented Programming	Programming Principles	S5
Introduction to Software Engineering	Programming Principles	S5
Software Modeling	Programming Principles	S5

Program

This module covers the following aspects: - Software specification,

animation and testing of specifications,
Control flow graph,
Semantic traces,
Static analysis of programs by abstract interpretation,
Formal programme specification,
Audit of programs by deductive methods.