Picolibc has integrated testing support for many architectures which is used to validate the code for all patch integration: ARC (32- and 64- bit) ARM (32- and 64- bit) i386 (Native and Linux hosted, for testing) Motorola 68000 (m68k) MIPS MSP430 Nios II Power9 RISC-V (both 32- and 64- bit) SparcV8 (32 bit) x86_64 (Native and Linux hosted, for testing) There is also build infrastructure and contin
Janet is a functional and imperative programming language. It runs on Windows, Linux, macOS, BSDs, and should run on other systems with some porting. The entire language (core library, interpreter, compiler, assembler, PEG) is less than 1MB. You can also add Janet scripting to an application by embedding a single C source file and a single header. Use Cases Janet makes a good system scripting lang
Unit Testing for C(especially Embedded Software) Unity is a Unit-Testing framework written in 100% pure ANSI C. It’s been carefully written and self-tested to be portable, working efficiently on tiny 8-bit microcontrollers to 64-bit powerhouses. As a single C file and a pair of header files, Unity provides a slim but expressive collection of assertions and supporting structure, enabling you to wri
Since 2015, Rust has been redefining what it means to combine the best-in-class aspects of performance, correctness, and developer convenience into one language, without compromise. In this post, we’ll bootstrap a Rust environment on a Cortex-M microcontroller from scratch, and explain a few of the language concepts you might not have seen before. From Zero to main(): Bootstrapping libc with Newli
From Wikipedia: A Forth environment combines the compiler with an interactive shell, where the user defines and runs subroutines called words. Words can be tested, redefined, and debugged as the source is entered without recompiling or restarting the whole program. All syntactic elements, including variables and basic operators are defined as words. Forth environments vary in how the resulting pro
3日目！ Nature Engineering Blog祭3日目は、ファームウェアエンジニアの中林 (id:tomo-wait-for-it-yuki) がお送りします。みなさま、自動テストはお好きですか？私は大好きです。手動で何度も同じことをテストするのは苦痛ですが、それをプログラミングのタスクに転化できるとなれば、最高ですよね！ 今回はNature Remoのファームウェア開発で使用しているユニットテストフレームワーク『Catch2』の活用方法を紹介します。ESP-IDFで使えるテンプレートプロジェクトも用意してありますので、少し長いですが、最後まで楽しく読んでいただけると嬉しいです。 Catch2 Catch2は (modern) C++で書かれたユニットテストフレームワークです。Nature RemoのファームウェアはC言語で書いていますが、テストフレームワークはC++で書かれたも
LEARN.ADACORE.COM Edit on GitHub What is Ada and SPARK? Ada is a state-of-the art programming language that development teams worldwide are using for critical software: from microkernels and small-footprint, real-time embedded systems to large-scale enterprise applications, and everything in between. SPARK is a formally analyzable subset of Ada — and a toolset that brings mathematics-based confi
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
