1. |
- Felderer, Michael, 1978-, et al.
(författare)
-
A testability analysis framework for non-functional properties
- 2018
-
Ingår i: 2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW). - : Institute of Electrical and Electronics Engineers Inc.. - 9781538663523 ; , s. 54-58
-
Konferensbidrag (refereegranskat)abstract
- This paper presents background, the basic steps and an example for a testability analysis framework for non-functional properties.
|
|
2. |
- Helali Moghadam, Mahshid, et al.
(författare)
-
Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System
- 2018
-
Ingår i: ICST Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems ITEQS'18. - 9781538663523 ; , s. 77-80
-
Konferensbidrag (refereegranskat)abstract
- Providing an adaptive runtime assurance technique to meet the performance requirements of a real-time system without the need for a precise model could be a challenge. Adaptive performance assurance based on monitoring the status of timing properties can bring more robustness to the underlying platform. At the same time, the results or the achieved policy of this adaptive procedure could be used as feedback to update the initial model, and consequently for producing proper test cases. Reinforcement-learning has been considered as a promising adaptive technique for assuring the satisfaction of the performance properties of software-intensive systems in recent years. In this work-in-progress paper, we propose an adaptive runtime timing assurance procedure based on reinforcement learning to satisfy the performance requirements in terms of response time. The timing control problem is formulated as a Markov Decision Process and the details of applying the proposed learning-based timing assurance technique are described.
|
|
3. |
- Lindström, Birgitta, et al.
(författare)
-
Identifying Useful Mutants to Test Time Properties
- 2018
-
Ingår i: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). - : IEEE Computer Society. - 9781538663523 - 9781538663530 ; , s. 69-76
-
Konferensbidrag (refereegranskat)abstract
- Real-time systems have to be verified and tested for timely behavior as well as functional behavior. Thus, time is an extra dimension that adds to the complexity of software testing. A timed automata model with a model-checker can be used to generate timed test traces. To properly test the timely behavior, the set of test traces should challenge the different time constraints in the model. This paper describes and adapts mutation operators that target such time constraints in timed automata models. Time mutation operators apply a delta to the time constraints to help testers design tests that exceed the time constraints. We suggest that the size of this delta determines how easy the mutant is to kill and that the optimal delta varies by the program, mutation operator, and the individual mutant. To avoid trivial and equivalent time mutants, the delta should be set individually for each mutant. We discuss mutant subsumption and define the problem of finding dominator mutants in this new domain. In this position paper, we outline an iterative tuning process where a statistical model-checker, UPPAAL SMC, is used to: (i) create a tuned set of dominator time mutants, and (ii) generate test traces that kill the mutants.
|
|
4. |
- Saadatmand, Mehrdad, et al.
(författare)
-
Message from the ITEQS 2018 workshop chairs
- 2018
-
Ingår i: 11th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018. - VästerÃ¥s, Sweden.
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- Testing a system with respect to extra-functional properties poses specific challenges as traditional methods and approaches for testing the system’s functional correctness may not apply. A few examples of such challenges are: fault localization, the need to have appropriate techniques for different types of extra-functional properties, the role and impact of the environment when testing, observability and testability issues. ITEQS provides a well-focused forum with the goal of bringing together researchers and practitioners to share ideas, identify challenges, propose solutions and techniques, and in general expand the state of the art in testing EFPs and quality characteristics of software systems and services. ITEQS 2018 attracted 8 submissions (1 withdrawn). Each paper underwent a careful review and discussion process by at least three members of the program committee. Based on the reviews, 5 papers were selected for publication and presentation at the workshop. ITEQS 2018 program includes keynotes by Konstantinos Sagonas and Brian Nielsen, who both kindly accepted our invitation. Konstantinos gives a keynote on testing for concurrency bugs and Brian gives a keynote where he discusses how we may achieve a methodology for compositional testing of real-time systems. Finally, we would like to thank our general sponsors, the publicity chairs, the program committee, the external reviewers, the keynote speakers, the authors and participants. You all contribute to the quality and success of this workshop. Welcome to the workshop! We hope you will enjoy it. xv
|
|