50 likes | 63 Views
Testing research directions: an industrial perspective. Ashok Sreenivas TRDDC, Pune. Primary problems. Still very expensive 40-50% of time/effort Guarantees on quality very poor What kind of defects cannot occur? What have I tested?. Test evolution. All software has very long lives
E N D
Testing research directions: an industrial perspective Ashok Sreenivas TRDDC, Pune
Primary problems • Still very expensive • 40-50% of time/effort • Guarantees on quality very poor • What kind of defects cannot occur? • What have I tested?
Test evolution • All software has very long lives • Maintenance / enhancement cycles • Developing regression test-suites • Test selection • Some work done on test prioritisation • How to evolve test-suites for such systems? • Testing often inadequate and ad-hoc • Completeness, coverage …
Use of formal methods • Precise descriptions • Can verify correctness at each step • Possibly other aspects than correctness too … • Guarantees on quality of testing • Quality improvement • Tools are a possibility • Cost reduction • The test-oracle problem?
Domain specific formalisms • Formal spec idea not new! • Unfortunately, has not worked • General purpose formalisms may be too general! • Domain specific formalisms may be useful • Telecommunications: SDL, MSCs • Help in productivity and quality improvements • Systems with a persistent component?