Logo image
Back
Mocking Temporal Logic
Conference proceeding   Open access

Mocking Temporal Logic

Colin S. Gordon
Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E, pp 98-109
17 Oct 2024
DOI: https://doi.org/10.1145/3689493.3689980
Featured in Collection :   Research Supported by Drexel Libraries' OA Programs
url
https://doi.org/10.1145/3689493.3689980View
Published, Version of Record (VoR)Open Access via Drexel Libraries Read and Publish Program 2024CC BY V4.0,  Open

Abstract

Social and professional topics -- Software engineering education Software and its engineering -- Domain specific languages Software and its engineering -- Software verification and validation Software and its engineering -- Specification languages
Temporal logics cover important classes of system specifications dealing with system behavior over time. Despite the prevalence of long-running systems that accept repeated input and output, and thus the clear relevance of temporal specifications to training software engineers, temporal logics are rarely taught to undergraduates. We motivate and describe an approach to teaching temporal specifications and temporal reasoning indirectly through teaching students about mocking dependencies, which is widely used in software testing of large systems (and therefore of more obvious relevance to students), less notationally intimidating to students, and still teaches similar reasoning principles. We report on 7 years of experience using this indirect approach to behavioral specifications in a software quality course.

Metrics

8 Record Views

Details

InCites Highlights

Data related to this publication, from InCites Benchmarking & Analytics tool:

Web of Science research areas
Computer Science, Software Engineering
Computer Science, Theory & Methods
Education, Scientific Disciplines
Logo image