We can write and execute test plans and procedures either for our own software or for existing products.  We are familiar with black- and white-box testing techniques, and with both static and dynamic methods of validating software.  We can create a traceability matrix to show the links between a top-level hazard analysis, the product requiremements, the software requirements, the test procedures and the test results.