Measuring Coverage Percentage for C Programs using Code Slicer and CREST Tool

نویسندگان

  • Sangharatna Godboley
  • Avijit Das
  • Kuleshwar Sahu
  • Durga Prasad Mohapatra
  • Banshidhar Majhi
چکیده

Augmented test suite generation is a technique to minimise test effort and duration. Modified condition and decision coverage (MC/DC) is a white box software testing criteria targeting to prove all the conditions involved in a predicate which can influence the predicate value in an efficient way. The coverage analysis is a structural testing method, which helps to remove gaps in a test suite and determines when to stop testing. In this paper, we propose an augmented method to generate a test suite that helps in measuring coverage percentage of a program. We propose a technique which consists of mainly three modules. The crest module is a program slicer, who accepts a program written in C language and uses some slicing criteria results an executable sliced program. The second module is the CREST tool (CONCOLIC tester) which accepts the executable C sliced program as an input. The CREST tool drives to generate the test suite. The third module is Coverage Analyser (CA) to compute the coverage percentage. Our technique helps to achieve the coverage percentage with time taken to execute the program.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Analysis of MC/DC Coverage Percentage and Cyclometic Complexity for structured C Programs

Now a days, testing activity consumes about 60% of software development resources, so any concept aiming at reducing Software Testing costs are likely to decrease the whole development costs. Proposed by NASA in 1994, the MC/DC criteria is a testing strategy required, among other practices, by the RTCA DO-178B. MC/DC is a white box testing criteria targeting at proving evidence that all clauses...

متن کامل

Abstraction-driven Concolic Testing

ion-driven Concolic Testing‹ Przemys law Daca, Ashutosh Gupta, and Thomas A. Henzinger 1 IST Austria, Austria 2 Tata Institute for Fundamental Research, India Abstract. Concolic testing is a promising method for generating test suites for large programs. However, it suffers from the path-explosion problem and often fails to find tests that cover difficult-to-reach parts of programs. In contrast...

متن کامل

Generation of Branch Coverage Test Data for Simulink/Stateflow Models Using Crest Tool

Automated test suite generation is an optimization technique to reduce test effort and duration. Software Testing has traditionally been one of the main techniques contributing to high software quality and dependability. Testing performance consumes about 50% of software development resources, so any methods aiming at reducing softwaretesting costs are likely to reduce software development cost...

متن کامل

Using Code Coverage Tools in the Linux Kernel

Defining software reliability is hard enough, let alone ensuring it. However, most all software developers agree on the importance of testing. The often unspoken assumption with testing is that the test programs cover a majority of the source code written. A test covers a line of code if running the test executes the line. Coverage analysis measures how much of the target code is run during a t...

متن کامل

Reliability and Quality Control – Practice and Experience 38 SOFTWARE QUALITY VERIFICATION THROUGH EMPIRICAL TESTING

Included is research that contributes to raising the quality of programs written in C/C++. Empirical testing was tackled. The empirical nature is characterized by the partial quality of its elements, the absence of systematic behavior in the process and the idea of random attempts at program behavior. Empirical testing methods are used the program as a black box view, as well as for the source ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013