NDLI: Achieving both model and code coverage with automated gray-box testing

Please wait, while we are loading the content...

Achieving both model and code coverage with automated gray-box testing

Automatic generation of model based tests for a class of security properties

Combining test case generation for component and integration testing

Model-based test prioritization heuristic methods and their evaluation

An approach for selective state machine based regression testing

Model-based regression test suite generation using dependence analysis

Using LTL rewriting to improve the performance of model-checker based test-case generation

Relating counterexamples to test cases in CTL model checking specifications

Test case generation from formal models through abstraction refinement and model checking

A subset of precise UML for model-based testing

Towards traceability of model-based testing artifacts

Test purpose generation in an industrial application

Achieving both model and code coverage with automated gray-box testing

Content Provider	ACM Digital Library
Author	Kicillof, Nicolas Tillmann, Nikolai Braberman, Victor Grieskamp, Wolfgang
Abstract	We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. The former provides general guidance for the structure of the tests in the form of test sequences, as well as the oracle to check for conformance of an application under test with respect to a behavioral model. The latter finds a set of concrete parameter values that maximize code coverage using symbolic analysis. By applying these techniques together, we can produce test definitions (expressed as code to be run in a test management framework) that exercise all selected paths in the model, while also covering code branches specific to the implementation. These results cannot be obtained from any of the individual approaches alone, as the model cannot predict what values are significant to a particular implementation, while parameterized unit testing requires manually written test sequences and correctness validations. We provide tool support, integrated into our model-based testing tool.
Starting Page	1
Ending Page	11
Page Count	11
File Format	PDF
ISBN	9781595938503
DOI	10.1145/1291535.1291536
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2007-07-09
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Test-case generation Parameterized unit testing Concolic execution Model-based testing Symbolic execution
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in