Another related tool is mcdc-checker. This tool analyses code for conditions that require mcdc analysis based on some research that proves it isn't needed if the logic is properly structured. It can suggest alternatives that avoid the need for mcdc analysis. Research papers are linked there also.
https://gtd-gmbh.gitlab.io/mcdc-checker/mcdc-checker/index.html For RTEMS, I've tried to encourage us to just avoid the need for MCDC analysis for years. The tools to do the analysis were proprietary and expensive. All that said, I'm looking forward to gcov supporting mcdc. :) --joel On Fri, Jul 7, 2023 at 5:37 AM Richard Biener via Gcc <gcc@gcc.gnu.org> wrote: > On Thu, Jul 6, 2023 at 11:15 PM Daria Shatalinska via Gcc > <gcc@gcc.gnu.org> wrote: > > > > Hello, > > > > My name is Daria Shatalinska and I am a Project Manager at Freelancer. I > am > > contacting you to see if you might be interested in collaborating with us > > on a project for NASA's Open Innovation Services program (NOIS2). As an > > awardee of the $175 million NOIS2 contract < > https://www.freelancer.com/nasa>, > > we are one of a few approved vendors by NASA Tournament Labs to work on > > this opportunity. > > > > > > We received a new project from NASA's Orion Avionics, Power, and Software > > (APS) Office that seeks to modify the open source GNU Coverage (gcov) > > project to explicitly measure and report Modified Condition/Decision > > Coverage (MC/DC). Many different NASA projects, including the Orion > > Multipurpose Crew Vehicle (MPCV), use the gcc compiler and the gcov > > profiling tool to provide coverage metrics for Unit Tests. NPR 7150.2 > > standards now require full MC/DC analysis and 100% coverage. Adding MC/DC > > capability to gcov will benefit software development on many NASA > programs > > and projects across all mission directorates. > > > > > > We are looking for someone from the GCC team to serve as a subject matter > > expert for the software developer that will be executing this project. > The > > role as the subject matter expert (SME) would be to provide your > knowledge > > and expertise to help us and NASA develop the necessary modifications > > that will meet the standards of contribution to the gcov project. > > > > > > Is there anyone from the team who would be interested to partner with us > on > > this project? If this is something you are unable to assist with, is > there > > anyone you could recommend that might be suited to this project? > > I think Jørgen Kvalsvik <jorgen.kvalsvik@woven.toyota> was working on > this, > you might want to get in touch with him (CCed). > > Richard. > > > Thank you and best regards, > > > > *Daria Shatalinska* > > Project Manager, Freelancer Enterprise > > Freelancer.com > > [image: Freelancer logo] <http://www.freelancer.com> >
