Hello, During SOCIS15, I adapted two fault injection tools to RTEMS: one tool to generate and compile code (in Python), one tool to execute the binary on (virtual) machine and store injection result (in Java). Interestingly, bunch of test cases (POSIX function calls with corner arguments) led to RTEMS crash (out of approximately 600 test cases).
Future works for current state of the project are listed under final report's <https://docs.google.com/document/d/1DVbwDUEf0DDzzLQbYQo7oPF0zKwueCaLS87cqKSlsGw/pub> TOC. This year (hopefully I get admitted!), I'm very interested to integrate the two in one tool (in Python) and automate the whole generation-execution-store results process. FYI, the proposed framework tests RTEMS' POSIX API via data-type based fault injection. Any and all ideas, suggestions, comments are highly welcomed! Best Regards, Saeed
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
