Stony Brook University Logo Cyner Logo Cyner Logo
  • Home
  • People
    • Leadership
    • Co-Investigators
    • External Collaborators
    • Students
  • Presentations
  • Publications
  • Members-Only
  • Blog

Search form


Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus

Submitted by drupalcm on Tue, 09/25/2018 - 17:29

TitleExperience Report: Model-Based Test Automation of a Concurrent Flight Software Bus
Publication TypeConference Paper
Year of Publication2016
AuthorsGanesan, D., Lindvall M., Hafsteinsson S., Cleaveland R., Strege S. L., and Moleski W.
Conference Name2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE)
Date PublishedOct
Keywordsaerospace computing, API, application program interfaces, Automation, Computer architecture, Concurrency, Concurrent computing, concurrent design, concurrent flight software bus, concurrent publisher-subscriber architecture style, concurrent system testing, Context, Flight Software, MBT technique, message passing, Microsoft Spec Explorer MBT tool, middleware, Model Based Testing, model-based test automation, NASA, NASA Core Flight Software software bus module, program testing, Publish-Subscribe, safety-critical software, safety-critical system, Software, software architecture, SUT, system-under-test, test case analysis, Testing
DOI10.1109/ISSRE.2016.47

Attachments: 

PDF icon Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus
  • Google Scholar
  • BibTeX
  • EndNote XML

© Department of Computer Science, Stony Brook University, Stony Brook, NY 11794-2424

Follow us on Twitter  Follow us on Twitter    |     Site Login