Professional Documents
Culture Documents
Ec1141 PDF
Ec1141 PDF
5, Issue Spl - 2, Jan - March 2014 ISSN : 0976-8491 (Online) | ISSN : 2229-4333 (Print)
Keywords
We would like to encourage you to list 4 to 5 keywords in this
section.
I. Introduction
Test coverage is a measure used in software testing. It describes the
degree to which the source code of a program has been tested. This
form of testing that inspects the code directly and therefore a form
of white box testing. Use of code coverage has been extended to the
concept of digital hardware, the contemporary design methodology
of which relies on hardware description languages (HDLs).
Coverage scanner is a c++ program, preprocess the source code Fig. 1:
using the native preprocessor program, insert instrumentation code
and finally compilers the project file. Coverage scanner analyses This above fig. states the artifacts and activities of the model based
the sequential statements to record each execution path. To avoid testing process in the purposed approach. The activities involved
the performance problem coverage scanner groups all sequential are described below.
instruction instructions together and records their execution only
once before execution of the last sequential instruction, this kind A. Visual Modeling
coverage instrumentation is called statement coverage. Code The structure and behavior of the relevant features of the SUT are
coverage monitors execution by recording if the condition was modeled and UML activity and class diagram, using an existing
true or false during complete application execution. This type of UML tool.
code coverage instrumentation is called Decision Coverage.
B. Test Case Generation
II. Componentes of Objects Oriented Systems in the In the AMBER test environment, the visual UML model is
Contexts of test Coverge first translated into as formal Spec# model.Abstrat test cases
To understand the applicability of conventional testing methods are subsequently generated automatically with Spec Explorer
to object oriented programming, it is needed to examine the by bounded exploration of Spec# model, based on parameters
components of these five components such as supplied by tester. These parameters should choose carefully.
• Objects
• Their associated messages and methods C. Test Coverage Analysis
• Classes of objects New MoCAT tool helps assessing the adequacy of the test suite
• External interface generated in the above step. It receives the UML model and the
• Tools and utilities abstract test suite produced by Spec Explorer and produces a
colored UML model showing the elements covered.
III. Covertures: An Innovative Open Framework For Cove
Rage Analysis of Safety Critical Applications D. Test Case Concretization and Execution
The development of high intensity application usually requires The abstract test cases generated from the model have to
a close interaction between the design and testing phase. System transform into concrete test case. Concrete test cases are executed
requirements are decomposed into high level architecture, then automatically on the SUT and all inconsistencies found should
into modules and use some language such as Ada and C/C++. report.
The test cases are derived from the requirements themselves, the
Reference
[1] Sreenivasa S.Pisupati,"Planetsoft”, Test coverage analysis
process”. Rajesh Kumar Subudhi received his
[2] Mustafa M.Tikir,"Efficient online computation of statement M.Tech degree in Computer Sc. And
coverage”. Informatics from ITER, Bhubaneswar,
[3] Coverage meter,"Code Coverage measurement for C/ Odisha, India, in 2013. He is engaged
C++". in Department CSE , Gandhi Institute
[4] Bernhard rumpe,"Model based testing of object object For Technology, Bhubaneswar, Odisha,
oriented systems”. India. His research interests include
[5] DanialGraziotin, Element and Concepts,"Introduction to digital Image processing, Software
software testing”. Engineering and Soft Computing.
[6] D.Seifert, C.Gaston,"Evaluating coverage based testing",
Vol-3472/2005, 2005: Spinger Berlin/Heidelberg, pp. 293-
322.