Is 25 years enough time to build up a coherent body of knowledge that can help point to useful principles? As a testbed for helping us answer this question, software testing techniques are a good place to start. Few s...
详细信息
Is 25 years enough time to build up a coherent body of knowledge that can help point to useful principles? As a testbed for helping us answer this question, software testing techniques are a good place to start. Few software practices are as important as testing, and testing techniques are amenable to measurement and reasoning about their effectiveness. Because they're aimed at removing faults, measuring the number and type of such removed faults seems like a natural part of applying these techniques. To make sense of this data, Universidad Politecnica de Madrid researchers have spent some time worrying about how to put 25 years' worth of work together usefully.
Cleanroom software engineering (CSE) reference model is a rigorous incremental model that focuses on defect prevention using sound mathematical principles combined with statistical usage testing (Linger, Trammell, in ...
详细信息
ISBN:
(纸本)9789811088483;9789811088476
Cleanroom software engineering (CSE) reference model is a rigorous incremental model that focuses on defect prevention using sound mathematical principles combined with statistical usage testing (Linger, Trammell, in cleanroom software engineering reference model, 1996, [1]). Similar to the concept of hardware cleanrooms, this model is also used for the development of zero defect and extremely reliable software (Mills, Poore, in Quality Progress, 1988, [2]). Statistical usage testing (SUT) is a technique defined for testing as a part of CSE model [1]. The technique works by performing usage modelling and assigning usage probabilities (Runeson, Wohlin in IEEE Trans Softw Eng 20(6): 494-499, 1994, [3]). Next statistical tests are carried out on the usage models [3]. CSE relies on SUT for testing, and unit testing is not defined in the CSE process (Hausler et al. in IBM Syst J 33(1): 89, 109, 1994, [4]). However, additional testing can be carried out along with SUT depending on the need (Prowell et al. in cleanroom software engineering technology and process, 1999, [5]). The paper presents the usefulness and advantages of applying SUT along with various white box testing techniques. The white box testing techniques used in the paper are data flowtesting, control flow testing and mutation testing.
The state of the art software product line testing methods attempted test derivation from product lines modeled as activity diagrams (ADs) with the test coverage goals of controlflow and data flow. However, the exist...
详细信息
ISBN:
(纸本)9781479948970
The state of the art software product line testing methods attempted test derivation from product lines modeled as activity diagrams (ADs) with the test coverage goals of controlflow and data flow. However, the existing methods applied widely different approaches to closely related problems with the consequence that the user of the methods cannot easily see the essence of product line test derivation. Moreover, the existing methods have no solution for P-use test derivation for data flowtesting. This paper views this status as the result of not suitably handling variability modeling and binding formation and application and proposes a method that addresses these issues. This is done by introducing an explicit notation for product line AD, which makes clear the distinction between platform AD and product AD, and also by explicitly forming test artifact bindings for products and applying them at suitable steps in the test cases derivation paths.
暂无评论