Title | Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus |
Publication Type | Conference Paper |
Year of Publication | 2016 |
Authors | Ganesan, D., Lindvall M., Hafsteinsson S., Cleaveland R., Strege S. L., and Moleski W. |
Conference Name | 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE) |
Date Published | Oct |
Keywords | aerospace 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 |
DOI | 10.1109/ISSRE.2016.47 |