Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs: add slides of OSS Europe talk #12

Merged
merged 1 commit into from
Sep 23, 2024
Merged

docs: add slides of OSS Europe talk #12

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -116,3 +116,7 @@ By making a contribution to this project, I certify that:
maintained indefinitely and may be redistributed consistent with
this project or the open source license(s) involved.
```

## Talks

Slides and recordings related to this project can be found [in the `talks` directory](talks/).
7 changes: 4 additions & 3 deletions examples/digital_microscope/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,9 @@
# Digital Microscope

This is a simple example of a digital microscope that functioned as an
example in the conference talk "Level Up Your Embedded Testing Game:
FRETish, Robot, and Twister: A Dream Team" on the "Open Source Summit Europe 2024"
example in the conference talk [*Level Up Your Embedded Testing Game –
FRETish, Robot, and Twister: A Dream Team* on Open Source Summit Europe 2024
in Vienna](/talks/).

This is just for illustration purposes of FRET to RobotFramework tests
This is just for illustration purposes of FRET to Robot Framework tests
and does not guarantee correctness or best-practices of Zephyr.
Binary file added talks/20240917 OSS Europe Level Up Your Embedded Testing Game.pdf
View file
Open in desktop
Binary file not shown.
25 changes: 25 additions & 0 deletions talks/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
# Talks

This directory contains slides and recordings of talks related to `fret-to-robot`.

## Level Up Your Embedded Testing Game – FRETish, Robot, and Twister: A Dream Team

* **Date**: September 17, 2024
* **Event**: Open Source Summit Europa, Vienna
* **Slides**: [20240917 OSS Europe Level Up Your Embedded Testing Game.pdf](20240917%20OSS%20Europe%20Level%20Up%20Your%20Embedded%20Testing%20Game.pdf)
* **Abstract**:

Developing embedded software for regulated environments like medical devices presents unique challenges. Crucially,
we need to document how the software design fulfills stated product requirements. While functional testing remains
dominant for verifying functional suitability, deriving and maintaining effective test suites can quickly become
cumbersome.

This talk explores a novel approach to this longstanding problem. We leverage NASA's FRETish method for formally
capturing requirements. We will talk about how the formal nature of FRETish requirements allows for automatic test
case generation leveraging the Robot Framework. The latter was specifically chosen as it is partially supported by
Zephyr's test harness today and allows to utilize twister for automated test execution of these test suites on real
hardware. This method has the potential to streamline testing, offering benefits such as reduced time and
maintenance efforts as well as accurate coverage metrics from very early on in the project's lifecycle.

We'll discuss our progress in implementing this approach, the challenges we encountered, and potential solutions for
deeper integration with the Zephyr project.