• Kapcsolat

  • Hírlevél

  • Rólunk

  • Szállítási lehetőségek

  • Hírek

  • 0
    Embedded Software System Testing: Automatic Testing Solution Based on Formal Method

    Embedded Software System Testing by Yin, Yongfeng; Jiang, Bo;

    Automatic Testing Solution Based on Formal Method

      • 10% KEDVEZMÉNY?

      • A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
      • Kiadói listaár GBP 77.99
      • Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.

        39 470 Ft (37 591 Ft + 5% áfa)
      • Kedvezmény(ek) 10% (cc. 3 947 Ft off)
      • Discounted price 35 523 Ft (33 832 Ft + 5% áfa)

    Beszerezhetőség

    Becsült beszerzési idő: A Prosperónál jelenleg nincsen raktáron, de a kiadónál igen. Beszerzés kb. 3-5 hét..
    A Prosperónál jelenleg nincsen raktáron.

    Why don't you give exact delivery time?

    A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.

    A termék adatai:

    • Kiadás sorszáma 1
    • Kiadó CRC Press
    • Megjelenés dátuma 2023. szeptember 6.

    • ISBN 9781032488189
    • Kötéstípus Keménykötés
    • Terjedelem329 oldal
    • Méret 234x156 mm
    • Súly 453 g
    • Nyelv angol
    • Illusztrációk 72 Illustrations, black & white; 72 Line drawings, black & white; 51 Tables, black & white
    • 552

    Kategóriák

    Rövid leírás:

    This book introduces embedded software engineering and management methods, proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems.

    Több

    Hosszú leírás:

    This book introduces embedded software engineering and management methods, proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems.


    The quality and reliability of embedded systems have become a great concern, faced with the rising demands for the complexity and scale of system hardware and software. The authors propose and expound on the testing theory and techniques of embedded software systems and relevant environment construction technologies, providing effective solutions for the automated testing of embedded systems. Through analyzing typical testing examples of the complex embedded software systems, the authors verify the effectiveness of the theories, technologies and methods proposed in the book.


    In combining the fundamental theory and technology and practical solutions, this book will appeal to researchers and students studying computer science, software engineering, and embedded systems, as well as professionals and practitioners engaged in the development, verification, and maintenance of embedded systems in the military and civilian fields.

    Több

    Tartalomjegyzék:

    1. Introduction  2. Embedded System and Software  3. Embedded Software Engineering and Quality Characteristics  4. Embedded Software System Testing Techniques Based on Formal Methods  5. Real-time Embedded Software Automation Test Description Technology  6. Testing Technology of Intelligent Terminal Application Software System  7. Real-time Embedded Software System Testing Environment Construction Technology  8. Case Study of Real-time Embedded Software System Testing

    Több