Coverage testing software architectural design in SDL

Wong, W. Eric; Sugeta, Tatiana; Li, J. Jenny; Maldonado, José Carlos

doi:10.1016/s1389-1286(03)00248-2

Cited by 13 publications

(9 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…χVue Agrawal et al in [37] introduce χVue, which locates features in source code by recording which blocks of code are executed by a set of scenarios or test cases.…”

Section: Retaining All Artifacts Executed By Test Setmentioning

confidence: 99%

Dynamic feature traces: finding features in unfamiliar code

Eisenberg

Volder

2005

21st IEEE International Conference on Software Maintenance (ICSM'05)

106

View full text Add to dashboard Cite

This dissertation shows that existing functional tests of software features can be used by a developer unfamiliar with the software system to identify source code relevant to those features as well as understand why the source code is relevant.There have been prior techniques to locate features in source code which can be roughly broken down into techniques that use static analysis and those that use dynamic analysis.Features, being behaviors of a system, are dynamic in nature. Therefore, this dissertation focuses on dynamic techniques, rather than the use static techniques.The dynamic techniques all require significant knowledge about the system before the technique can be useful. Furthermore, they all suffer in one or both of these respects: they make binary judgments about which source code artifacts relate to a feature without determining to what extent they relate (meaning that the feature must be precisely characterized, or else the technique will return inaccurate results), or they do not provide an idea of why a piece of code is relevant to a feature.Our technique of creating Dynamic Feature Traces improves upon previous work 1) by taking advantage of an existing test suite thereby reducing the amount of system knowledge necessary to use the technique, 2) by ranking the source code artifacts by how strongly they are related to the feature, and 3) by retaining some part of the execution trace of the test suite so that developers can understand why a piece of code is part of a feature. We show that our technique provides benefit over other techniques by applying it to existing software systems and comparing its results to an existing technique.ii

show abstract

“…χVue Agrawal et al in [37] introduce χVue, which locates features in source code by recording which blocks of code are executed by a set of scenarios or test cases.…”

Section: Retaining All Artifacts Executed By Test Setmentioning

confidence: 99%

Dynamic feature traces: finding features in unfamiliar code

Eisenberg

Volder

2005

21st IEEE International Conference on Software Maintenance (ICSM'05)

106

View full text Add to dashboard Cite

show abstract

“…The preliminary results we present in this paper were obtained manually, but this was a very simple example and the development of a supporting tool is required. In fact we intend to add these functionalities into an existing tool named CAT SDL [35], a coverage analysis tool that aids in testing specifications written in SDL. This tool supports control flow and data flow-based criteria.…”

Section: Incremental Testing Strategies and Automation Aspectsmentioning

confidence: 99%

Mutation Testing Applied to Validate SDL Specifications

Sugeta

Maldonado

Wong

2004

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Mutation Testing is an error-based criterion that provides mechanisms to evaluate the quality of a test set and/or to generate test sets. This criterion, originally proposed to program testing, has also been applied to specification testing. In this paper, we propose the application of Mutation Testing for testing SDL specifications. We define a mutant operator set for SDL that intends to model errors related to the behavioral aspect of the processes, the communication among processes, the structure of the specification and some intrinsic characteristics of SDL. A testing strategy to apply the mutant operators to test SDL specifications is proposed. We illustrate our approach using the Alternating-Bit protocol.

show abstract

“…Refer to Section 2: Methodology for more details. By determining the weights of all uncovered nodes and edges in the EFSM, we can guide testing by identifying so-called ''hot spots" [1,24] which have the highest weights and should be covered first during testing. Our case studies indicate that node or edge coverage can be effectively increased by generating test cases that target these higher weight nodes or edges before those with a lower weight.…”

Section: Introductionmentioning

confidence: 99%