Testing is an important phase in SDLC. Can we ignore this phase by using formal methods? Briefly explain the importance of testing in the light of formal methods

Tupperware Having made ‘Poly-T’ (as he named it), Earl Tupper from Massachusetts, looked around to find ways of using it, coming up, amongst other things, with a food container which he could make in fresh bright colours. More important, he took inspiration from the way paint tins are sealed to develop a snap-on lid which gave an excellent seal. He registered his patent in 1947 (awarded in 1949), launched a range of 14 products – and failed to grow any kind of market. Not entirely surprising since plastics were still in their early stage as consumer products; people associated the material with being easy to break, greasy to touch and smelly. What he was offering was a good product with a potentially big relative advantage – an alternative to tin foil as a way of storing and keeping food fresh. He tried to deal with the issues the market was concerned about – his plastics were brightly coloured, odourless and soft to the touch – and priced reasonably. Market testing suggested they…

What is the reason that some firms do not implement TQM?

Describe the proces of testing the operation ofLSPv