ESA SOCIS - Fault injection tools topic
Rempel, Cynthia
cynt6007 at vandals.uidaho.edu
Mon Jul 29 16:59:35 UTC 2013
Hi,
Did a quick write-up on the fault-injection open-project...
http://blitiri.com.ar/p/libfiu/ looks interesting... (the python bindings have been Debian packaged)
it would probably need to be evaluated more thoroughly as part of the project though...
Thanks,
Cindy
________________________________________
From: rtems-devel-bounces at rtems.org [rtems-devel-bounces at rtems.org] on behalf of Rempel, Cynthia [cynt6007 at vandals.uidaho.edu]
Sent: Monday, July 29, 2013 9:06 AM
To: Joel Sherrill; Gedare Bloom
Cc: Krzysztof Mięsowicz; rtems-devel at rtems.org
Subject: RE: ESA SOCIS - Fault injection tools topic
Hi,
Thanks for the link! This will be helpful with fleshing out the project...
Yes, the initial idea was to get a tool the RTEMS development community could use to help with certification efforts...
and having the certification report would be very helpful...
Given this information, we can start to write an open-project page for this...
The criteria we typically use for evaluating other projects are:
1. Free and open source (usually modified BSD or special exception GPLv2, but as this is testing GPL would be fine)
2. Works under Linux and Windows
3. Still under maintainence
Thanks!
Cindy
________________________________________
From: rtems-devel-bounces at rtems.org [rtems-devel-bounces at rtems.org] on behalf of Joel Sherrill [joel.sherrill at OARcorp.com]
Sent: Monday, July 29, 2013 8:23 AM
To: Gedare Bloom
Cc: Krzysztof Mięsowicz; rtems-devel at rtems.org
Subject: Re: ESA SOCIS - Fault injection tools topic
If I forgot the link:
ftp://www.rtems.org/pub/rtems/esa_validation_report_450/
On 7/29/2013 9:45 AM, Gedare Bloom wrote:
> This seems like a good project. Ballista looks like it is "dead"
> upstream. You'll want to scope your project to decide what / how much
> of RTEMS you can reasonably instrument with fault injection. I also
> wonder if it would be sensible to first start with a tool that can
> support test input "fuzzing", which is related to but somewhat
> different than fault injection. I think "fuzzing" is more
> appropriately related to test coverage /testing, whereas fault
> injection can include also non-valid inputs and faults, such as
> flipping bits in code or modifying values on-the-fly.
>
> On Mon, Jul 29, 2013 at 4:25 AM, Krzysztof Mięsowicz
> <krzysztof.miesowicz at gmail.com> wrote:
>> Hi!
>>
>> My name is Krzysiek. I participated in ESA SOCIS 2012 for RTEMS and worked
>> on improving test coverage. I'm interested in participating in this edition
>> of SOCIS again.
>>
>> I browse Open Projects page of RTEMS and I have question about topic related
>> to fault injection tools. Have you any tips or suggestions to this topic
>> (especially which tools are most desired or promising and how this project
>> should look in details).
>>
>> I googled a bit about fault injection and free tools and find some:
>> Ballista, LFI, Fuzz, or JACA which potentially could be applied to RTEMS
>> testing. But I'm looking forward to any tips or thoughts from you and
>> additionaly is it possible to be selected again this year.
>>
>> Thanks in advance for your replies.
>> Krzysiek Mięsowicz
>>
>> _______________________________________________
>> rtems-devel mailing list
>> rtems-devel at rtems.org
>> http://www.rtems.org/mailman/listinfo/rtems-devel
>>
> _______________________________________________
> rtems-devel mailing list
> rtems-devel at rtems.org
> http://www.rtems.org/mailman/listinfo/rtems-devel
--
Joel Sherrill, Ph.D. Director of Research & Development
joel.sherrill at OARcorp.com On-Line Applications Research
Ask me about RTEMS: a free RTOS Huntsville AL 35805
Support Available (256) 722-9985
_______________________________________________
rtems-devel mailing list
rtems-devel at rtems.org
http://www.rtems.org/mailman/listinfo/rtems-devel
_______________________________________________
rtems-devel mailing list
rtems-devel at rtems.org
http://www.rtems.org/mailman/listinfo/rtems-devel
More information about the devel
mailing list