Object Code Structural Coverage for DO-178​C | Parasoft

Learn methods to focus testing and reduce redundant effort when testing for structural machine code coverage as described by DO-178C 6.4.4.2.

Guided by examples, this presentation takes an iterative approach to the process of producing complete structural coverage of machine code and shows best practices in action to reduce time to market.

Key Takeaways
• Simple categorizations for structural machine code coverage deficiencies.
• Example solutions for common categories of untested machine code.
• Strategies to minimize effort involving machine language debugging.

-----------------------------------------------------------------------------------------------
PRODUCT TOUR | Take a Tour of Parasoft C/C++test
https://www.parasoft.com/parasoft-c-c...
-----------------------------------------------------------------------------------------------

VIDEO CHAPTERS
0:00 - 0:41 Introduction & Agenda
0:42 - 2:13 Challenges in Achieving DO-178C Conformance
2:14 - 8:54 Introduction to Parasoft C/C++test for DO-178C
8:55 - 11:17 Object Code Coverage for DO-178C: Overview
11:18 - 13:48 Example Code Using MC/DC to Measure Completeness
13:49 - 19:58 Example 1: Deficient Structural Object Code Coverage for Conditional Branching
19:59 - 25:52 Example 2: Structural Coverage for Instructions Without Source Code Representation
25:53 - 28:03 Conclusion
28:04 - 35:24 Q&A

___________________________________________________________

ADDITIONAL RESOURCES

Software Development & Testing for Civil Aviation
https://www.parasoft.com/industries/embedded/civil-aviation/

Whitepaper: Developing DO-178B/C Compliant Software for Airborne Systems
https://alm.parasoft.com/developing-do-178b/c-compliant-software-for-airborne-systems

Case Study: Industry Leader Streamlines Workflow & Delivers Safe, Secure Avionic Systems
https://www.parasoft.com/resources/case-studies/avionics-leader-streamlines-workflow-delivers-safe-secure-avionic-systems/

Whitepaper | Continuous Integration & Continuous Delivery for Embedded Systems
https://alm.parasoft.com/whitepaper-c...

Buyer's Guide | Static Code Analysis for Embedded Development
https://alm.parasoft.com/buyers-guide...

___________________________________________________________

DO YOU HAVE MORE QUESTIONS?
Talk to a Solutions Expert: https://www.parasoft.com/contact/
Request Product Demo: https://www.parasoft.com/request-a-demo/

Checkout our blog and resources page for more helpful content: https://www.parasoft.com/resources/
https://www.parasoft.com/blog/

Want to stay connected? Find us on these platforms!
LinkedIn: https://www.linkedin.com/company/para...
Twitter: https://twitter.com/parasoft
Facebook: https://www.facebook.com/parasoftcorp...

___________________________________________________________

ABOUT PARASOFT
Parasoft helps organizations continuously deliver quality software with its market-proven, integrated suite of automated software testing tools. Supporting the embedded, enterprise, and IoT markets, Parasoft’s technologies reduce the time, effort, and cost of delivering secure, reliable, and compliant software by integrating everything from deep code analysis and unit testing to web UI and API testing, plus service virtualization and complete code coverage, into the delivery pipeline. Bringing all this together, Parasoft’s award winning reporting and analytics dashboard delivers a centralized view of quality enabling organizations to deliver with confidence and succeed in today’s most strategic ecosystems and development initiatives — security, safety-critical, Agile, DevOps, and continuous testing.