Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely by pre- and post-conditions. Existing ...
详细信息
ISBN:
(纸本)0769524435
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely by pre- and post-conditions. Existing DbC approaches predominantly use textual representations of contracts to annotate the actual program code with assertions. In the Unified Modeling Language (UML), the textual Object Constraint Language (OCL) supports the specification of pre- and post-conditions by constraining the model elements that occur in UML diagrams. However textual specifications in OCL can become complex and cumbersome, especially for software developers who art, typically not used to OCL. In this paper we propose to specify the preand post-conditions of an operation visually by a pair of UML object diagrams (visual contract). We define a mapping of visual contracts into java classes that are annotated with behavioral interface specifications in the java Modeling Language (JML). The mapping supports testing the correctness of the implementation against the specification using JML tools, which include a runtime assertion checker Thus we make the visual contracts executable.
Although search-based test-data generators, like EVOSUITE, efficiently and automatically create effective JUnit test suites for java classes, these tools are often difficult to configure. Prior work by Arcuri and Fras...
详细信息
ISBN:
(纸本)9781479971978
Although search-based test-data generators, like EVOSUITE, efficiently and automatically create effective JUnit test suites for java classes, these tools are often difficult to configure. Prior work by Arcuri and Fraser revealed that the tuning of EVOSUITE with response surface methodology (RSM) yielded a configuration of the test data generator that did not outperform the default configuration. Following the experimental design and protocol described by Arcuri and Fraser, this paper presents the results of a study that lends further support to prior results: like RSM, the EVOSUITE configuration identified by the well-known Sequential Parameter Optimization Toolbox (SPOT) failed to significantly outperform the default settings. Although this result is negative, it furnishes further empirical evidence of the challenge associated with tuning a complex search-based test data generator. Moreover, the outcomes of the presented experiments also suggests that EVOSUITE's default parameters have been set by experts in the field and are thus suitable for use in future experimental studies and industrial testing efforts.
暂无评论