Uploaded image for project: 'Qt Safe Renderer'
  1. Qt Safe Renderer
  2. QSR-981

Evaluate Polyspace Code Prover tool

    XMLWordPrintable

Details

    Description

      Evaluate if the code prover could spot issues that are difficult to spot by using:

      • Regular static analysis with Polyspace Bug Finder
      • MISRA C++ 2008 rules compliance check with Polyspace Bug Finder
      • Code review by subjet matter expert
      • Unit test cases with high coverage rate for statements, multiple conditions or MC/DC

      An example of case that might be discovered by the tool:

      https://codereview.qt-project.org/c/tqtc-boot2qt/qtsaferenderer/+/327278

      Evaluate the usefulness. Now that issue was spotted by professional exploratory testing.

      TestRail: Results

        Attachments

          Activity

            People

              teemu.holappa Teemu Holappa
              assaarel Asmo Saarela
              Miao Luo Miao Luo
              Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved:

                TestRail: Runs

                  TestRail: Cases