Achieving High-Integrity Software Quality and Security through Automated Code Analysis, Testing, and Advanced Code Coverage with the LDRA Tool Suite

In areas where the failure of software entails disastrous consequences, like in the aerospace sector, automotive industry, medical sector and industrial control systems- software production is of primary importance.(10) This paper focuses on the importance of LDRA Tool Suite to attain high degree of software quality and strong security as well as demonstrate how, at a comparatively early stage of the development lifecycle, the entire potential of the LDRA suite may be utilized to uncover hidden flaws, coding standards, and possible security vulnerabilities in the code analysis with regard to the comprehensive testing of software by validation of its unit, integration and system level integration,(11) as well as the high level code coverage (e.g., MC/DC, statement and branch) which is of high importance when certification objectives are to be achieved.(12) This paper illustrates how LDRA tool Suite is useful in designing traceable and verifiable tracks to provide high-quality software reliability to face security risk, meet industry-specific safety or security standards and finally lead to predictable actions within any critical embedded systems.(13)