R M Hierons. Testing from a Z specification. Software Testing, Verification and Reliability, 7:19--33, 1997.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....aid in testing software by providing a starting point for selecting test inputs, executing test cases and determining expected outputs. Research in this area includes work on generating test cases for individual operations [10, 28, 29] generating finite state machines for the purpose of testing [6, 8, 15, 32], generating test oracles [18, 24, 27] and frameworks for specificationbased testing that support test case generation, execution, and evaluation [4, 5, 9] Zweben et al. 34] use specifications to generate controlflow and data flow diagrams. They then define three criteria for control flow ....

R. M. Hierons. Testing from a Z specification. Software Testing, Verification and Reliability, 7(1):19--33, 1997.

....each targeted towards detecting different types of faults. Equivalence class testing was used as the basis for the category partition approach developed by Ostrand and Balcer [22] This approach was then further developed and applied to the problem of generating test cases from Z specifications [2, 14, 25]. Category partitioning is an application of equivalence class testing where the specification is first decomposed into independently testable functional units and is then further partitioned based on various properties of these units known as categories. Each category is then partitioned into ....

....signature (variable type declarations) or the predicate part of the specification. In the latter case, partitioning information is typically derived from input predicates predicates that do not constrain output variables. For a description of how to extract the input predicates from a schema see [14]. Input predicates may involve intermediate variables but only those that are not used in the definition, either directly or indirectly, of output variables in other predicates. The only predicate that satisfies this criterion in the example is n 0. A boundary value analysis partitioning ....

R M Hierons. Testing from a Z specification. Software Testing, Verification and Reliability, 7:19--33, 1997.

....and after states of the sub operations. The sub operations correspond to our consideration of pairs of states in Op in Sect. 4.2. We extend their work by using an object oriented notation, Object Z, and by using the resulting finite state machine as input for a test execution framework. Hierons [11] describes the generation of a finite state machine from a Z specification. The input domain is partitioned using the category partition method of Ostrand and Balcer [24] The Test Template Framework, in contrast, permits use of a variety of testing strategies, including category partition. ....

R. Hierons. Testing from a Z Specification. Software Testing, Verification and Reliability, 7:19-33, 1997.

.... has been done in the areas of class and object oriented testing [2] Similarly, a significant amount of work has been done in the area of specification based testing, including the generation of test cases for single operations [9, 31] the generation of finite state machines for testing purposes [5, 11, 34], and the generation of oracles [1, 14, 23, 28] In the remainder of this section, we focus on frameworks for class testing that incorporate test case generation, execution, and evaluation. We first review the frameworks that incorporate formal specifications. Bosman and Schmidt [3] use finite ....

R.M. Hierons. Testing from a Z specification. Software Testing, Verification and Reliability, 7(1):19--33, 1997.

....of input and output spaces, but permits use of a variety of testing strategies, including DNF partitioning. Horcher et al. 12, 11, 16] use DNF partitioning to derive test inputs from Z specifications and have developed a Z predicate compiler to automate test result evaluation. Hall and Hierons [7, 8] also describe the generation of a finite state machine from a Z specification. The input domain is partitioned using the category partition method of Ostrand and Balcer [19] The Test Template Framework, in contrast, permits use of a variety of testing strategies, including category partition. ....

R. M. Hierons. Testing from a Z specification. Software Testing, Verification and Reliability, 7:19--33, 1997.

....and after states of the sub operations. The sub operations correspond to our consideration of pairs of states in Op in Section 4.2. We extend their work by using an object oriented notation, Object Z, and by using the resulting finite state machine as input for a test execution framework. Hierons [11] describes the generation of a finite state machine from a Z specification. The input domain is partitioned using the category partition method of Ostrand and Balcer [19] The Test Template Framework, in contrast, permits use of a variety of testing strategies, including category partition. ....

R. Hierons. Testing from a Z Specification. Software Testing, Verification and Reliability, 7:19-33, 1997.

....encouraging, due to the discovery of the incompleteness of the finite state machine derived by Dick and Faivre in [3] and the success of the whole approach in testing System. 4 Related Work Our work on deriving FSMs from formal specifications builds on that of Dick and Faivre [3] and Hierons [7]. We extend the work of Dick and Faivre by using a formal object oriented specification, and using the resulting FSM as input for a test execution framework. We extend the work of Hierons by providing test control and sequencing in our framework through ClassBench. Bosman and Schmidt [2] use FSMs ....

R. Hierons. Testing from a Z specification. Software Testing, Verification and Reliability, 7:19--33, 1997.

....requests to: R.M. Hierons and M. Harman Brunel University R.M. Hierons and M. Harman Brunel University model is used it is, however, important to test the implementation ( 6] Where there is a formal specification or model, this may be used as the basis of test automation (see, for example, [5, 8, 11, 10, 12]) One approach, to formally specifying a system, is to use a form of extended finite state machine called a stream X machine ( 13, 14, 3, 17, 2, 15, 18, 1] A stream X machine describes a system as a finite set of logical states, each with an internal store or memory, with transitions between ....

R. M. Hierons. Testing from a Z specification. Journal of Software Testing, Verification and Reliability, 7:19--33, 1997.

....consensus has developed. Under this consensus, these approaches are seen as complementary [29] This opens up the prospect of collaboration between individuals and groups in these fields. While there has already been some work on generating tests from formal specifications and models (e.g. see [27, 31, 49, 50] in the context of the Z notation) FORTEST is considering a much wider range of ways in which these fields might interact. In particular, it is considering relationships between static testing (verification that does not involve the execution of the implementation) and dynamic testing (executing ....

....to remove the tedium and expense of manual execution of test cases in favour of machine execution. What about generating the test cases There have been many advances in generating test cases from specifications. Test generation from formal specifications, such as Z or VDM, is now well covered [27, 31, 49, 50]. But the (apparently) less formal, although perhaps more widely used, specification techniques such as UML Sequence Charts, Statecharts and Cause Effect Graphing also have sound and automatable test case generation techniques associated with them [28] With the availability of techniques for ....

R. M. Hierons. Testing from a Z specification. Software Testing, Verification and Reliability, 7(1):19--33, 1997.

No context found.

R M Hierons. Testing from a Z specification. Software Testing, Verification and Reliability, 7:19--33, 1997.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC