Use test case for z-specification based criteria

Ace p.

Order the writing of a tailor-made Computer science Term papers

Free quote online

Thesis Format .pdf

Use test case for z-specification based criteria

Download

Read an extract

Reader
Abstract
Contents
Extract

Abstract

Testing is an important and critical part of the software development process, on which the quality and reliability of the delivered product strictly depend. Testing is not limited to the detection of "bugs" in the software, but it also increases the level of proper functioning and evaluation of functional and nonfunctional properties [12]. In compiling the survey, we tried to study this fascinating topic. The approaches overviewed include more traditional techniques, e.g., structural criteria, as well as more modern ones, such as specification based technique [3]. However, test practice inherently still remains a trial-and-error methodology. We will never find a test approach that is guaranteed to deliver a "perfect" product. So we carry out the research in the area of specification based testing.

Abstract
Introduction
Testing discipline
Testing based on specifications
Effective designing of software testing using Z specification
Results
Conclusion
References

Get this table of contents for free after login.

Extract

[...] In view of these facts research wants to carry out the research to generate test case when the specification of the software is made using mathematical formal specification techniques. In addition to that the measurement of completeness and effectiveness of test cases is also an important issue that helps in increasing the confidence of the software engineer in the product delivered. Testing effectiveness is determined by one's testing process- the way we do things that produces our results. Defect data are the most obvious testing artifact to measure, but they must be put in context and coupled with other key factors that are critical to enabling improvement. [...]

[...] For the black box testing, the input variables and in the schema would relate to the input of the implementation under test and the output variable would relate to the observable result of the test. Largest : N Max ! : N Max ! = ˇ ˇ ^ > ^ > ˇ > ^ > C?)ˇ > ^ > > ^ > Largest : Max ! : N N : Max ! = ^ = ^ = > ^ > Largest : Max ! [...]

[...] Efforts have been made to develop the specification based modules in MATLAB version The modules have been designed to work in Client-Server and stand-alone modes under PC based Windows environment TESTING DISCIPLINE The methods and criteria of testing are traditionally divided into structural (or white- box) and functional (or black-box) testing Structural testing criteria i.e. criteria which take into account an internal structure of the program, are in turn divided into data-flow and control-flow criteria, although the combination of the two has been considered too. [...]

[...] Use of Sequencing Constraints for Specification -Based Testing of Concurrent Programs”. IEEE Trans. on Soft. Eng, vol.24, no.6, pp. Rick D.Craig Stefan P.Jaskiel. “Systematic Software Testing” Ronald W. Potter, Art of Measurement: Theory and Practice”, Prentice Hall PTR Ross Grable, Jacquelyn Jernigan, Casey Pogue, and Dale Divis, “Metrics for Small Projects: Experiences at the pp 29, IEEE Software, vol no March/April Stephen H. Kan, “Metrics and Models in Software Quality Engineering”, Second Edition, Addison-Wesley Yuri Chernak, Valley Forge “Validating and Improving [...]

pdf