Embedded software system testing: automatic testing solution based on formal method
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Yin, Yongfeng 1978- (VerfasserIn), Jiang, Bo 1981- (VerfasserIn)
Weitere beteiligte Personen: Su, Qingran (ÜbersetzerIn), Qiu, Ruinan (ÜbersetzerIn), Guo, Yang (ÜbersetzerIn), Song, Yi (ÜbersetzerIn), Yin, Rui (ÜbersetzerIn)
Format: Elektronisch E-Book
Sprache:Englisch
Veröffentlicht: Boca Raton CRC Press 2024
Schlagwörter:
Links:https://doi.org/10.1201/9781003390923
https://doi.org/10.1201/9781003390923
Abstract:Embedded system and software -- Embedded software engineering and quality characteristics -- Embedded software system testing techniques based on formal methods -- Real-time embedded software automation test description technology -- Testing technology of intelligent terminal application software system -- Real-time embedded software system testing environment construction technology -- Case study of real-time embedded software system testing.
Beschreibung:bereits 2023 erschienen
Umfang:1 Online-Ressource (xxiv, 305 Seiten)
ISBN:9781003390923
DOI:10.1201/9781003390923