Högskolan i Skövde

his.sePublications
Change search
Link to record
Permanent link

Direct link
Nilsson, Robert
Publications (6 of 6) Show all publications
Lindström, B., Nilsson, R., Ericsson, A., Grindal, M., Andler, S. F., Eftring, B. & Offutt, J. (2007). Six Issues in Testing Event-Triggered Real-Time Systems. Skövde: Institutionen för kommunikation och information
Open this publication in new window or tab >>Six Issues in Testing Event-Triggered Real-Time Systems
Show others...
2007 (English)Report (Other academic)
Abstract [en]

Verification of real-time systems is a complex task, with problems coming from issues like concurrency. A previous paper suggested dealing with these problems by using a time-triggered design, which gives good support both for testing and formal analysis. However, a

time-triggered solution is not always feasible and an event-triggered design is needed. Event-triggered systems are far more difficult to test than time-triggered systems.

This paper revisits previously identified testing problems from a new perspective and identifies additional problems for event-triggered systems. The paper also presents an approach to deal with these problems. The TETReS project assumes a model-driven development

process. We combine research within three different fields: (i) transformation of rule sets between timed automata specifications and ECA rules with maintained semantics, (ii) increasing testability in event-triggered system, and (iii) development of test case generation methods for event-triggered systems.

Place, publisher, year, edition, pages
Skövde: Institutionen för kommunikation och information, 2007. p. 10
Series
IKI Technical Reports ; HS-IKI-TR-07-005
National Category
Information Systems
Identifiers
urn:nbn:se:his:diva-1269 (URN)
Available from: 2008-06-17 Created: 2008-06-17 Last updated: 2018-09-07Bibliographically approved
Nilsson, R., Offutt, J. & Mellin, J. (2006). Test case generation for mutation-based testing of timeliness. Paper presented at Second Workshop on Model Based Testing 2006 (MBT 2006), 25-26 March 2006, Vienna, Austria. Electronic Notes in Theoretical Computer Science, 164(4), 97-114
Open this publication in new window or tab >>Test case generation for mutation-based testing of timeliness
2006 (English)In: Electronic Notes in Theoretical Computer Science, E-ISSN 1571-0661, Vol. 164, no 4, p. 97-114Article in journal (Refereed) Published
Abstract [en]

Temporal correctness is crucial for real-time systems. Few methods exist to test temporal correctness and most methods used in practice are ad-hoc. A problem with testing real-time applications is the response-time dependency on the execution order of concurrent tasks. Execution order in turn depends on execution environment properties such as scheduling protocols, use of mutual exclusive resources as well as the point in time when stimuli is injected. Model based mutation testing has previously been proposed to determine the execution orders that need to be verified to increase confidence in timeliness. An effective way to automatically generate such test cases for dynamic real-time systems is still needed. This paper presents a method using heuristic-driven simulation to generate test cases.

Place, publisher, year, edition, pages
Elsevier, 2006
Keywords
Real-time Systems, Mutation Testing, Model based
National Category
Computer Systems Computer Sciences Information Systems
Research subject
Distributed Real-Time Systems
Identifiers
urn:nbn:se:his:diva-1811 (URN)10.1016/j.entcs.2006.10.010 (DOI)2-s2.0-33750062888 (Scopus ID)
Conference
Second Workshop on Model Based Testing 2006 (MBT 2006), 25-26 March 2006, Vienna, Austria
Note

CC BY-NC-ND 3.0

Special issue: Proceedings of the Second Workshop on Model Based Testing (MBT 2006). Edited by B. Finkbeiner, Y. Gurevich, A.K. Petrenko

Available from: 2007-10-12 Created: 2007-10-12 Last updated: 2024-07-04Bibliographically approved
Nilsson, R. & Henriksson, D. (2005). Test Case Generation for Flexible Real-Time Control Systems. In: L. LoBello; T. Sauter (Ed.), 10th IEEE international conference of Emerging Technologies and Factory Automation: ETFA 2005. Paper presented at 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, Catania, 19 September 2005 - 22 September 2005 (pp. 723-730). IEEE conference proceedings
Open this publication in new window or tab >>Test Case Generation for Flexible Real-Time Control Systems
2005 (English)In: 10th IEEE international conference of Emerging Technologies and Factory Automation: ETFA 2005 / [ed] L. LoBello; T. Sauter, IEEE conference proceedings, 2005, p. 723-730Conference paper, Published paper (Refereed)
Abstract [en]

Temporal correctness is crucial for the dependability of real-time control systems. A problem with testing such systems is the dependency on the execution orders of tasks. Mutation-based testing criteria have been proposed to determine which execution orders need to be exercised to verify that real-time systems are timely. For flexible control systems, timeliness in itself may only be relevant for a subset of tasks, whereas maintained control performance in the presence of worst-case jitter and disturbances is essential. This paper presents an extension to the co-simulator tool TrueTime, to support mutation-based testing of control performance and timeliness. Further, an approach for automatic generation of test cases using genetic algorithms is presented. A conclusion is that testing criteria for timeliness can be used to increase confidence in the dependability of flexible control systems.

Place, publisher, year, edition, pages
IEEE conference proceedings, 2005
Series
IEEE International Conference on Emerging Technologies and Factory Automation, ISSN 1946-0740, E-ISSN 1946-0759
National Category
Control Engineering Computer Sciences
Identifiers
urn:nbn:se:his:diva-1709 (URN)10.1109/ETFA.2005.1612746 (DOI)000296356600092 ()2-s2.0-33847310942 (Scopus ID)0-7803-9401-1 (ISBN)978-0-7803-9401-8 (ISBN)0-7803-9402-X (ISBN)978-0-7803-9402-5 (ISBN)
Conference
10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, Catania, 19 September 2005 - 22 September 2005
Note

Henriksson: Department of Automatic Control, Lund University, Box 118, SE-22100 Lund, Sweden

Available from: 2007-08-20 Created: 2007-08-20 Last updated: 2021-05-24Bibliographically approved
Nilsson, R., Offutt, J. & Mellin, J. (2005). Test case generation for testing of timeliness: Extended version. Skövde: Institutionen för kommunikation och information
Open this publication in new window or tab >>Test case generation for testing of timeliness: Extended version
2005 (English)Report (Other academic)
Abstract [en]

Temporal correctness is crucial for real-time systems. There are few methods to test temporal correctness and most methods used in practice are ad-hoc. A problem with testing real-time applications is the response-time dependency on the execution order of concurrent tasks. Execution orders in turn depends on scheduling protocols, task execution times, and use of mutual exclusive resources apart from the points in time when stimuli is injected. Model-based mutation testing has previously been proposed to determine the execution orders that need to be tested to increase confidence in timeliness. An effective way to automatically generate such test cases for dynamic real-time systems is still needed. This paper presents a method using heuristic-driven simulation for generation of test cases.

Place, publisher, year, edition, pages
Skövde: Institutionen för kommunikation och information, 2005. p. 22
Series
IKI Technical Reports ; HS-IKI-TR-05-003
National Category
Information Systems
Identifiers
urn:nbn:se:his:diva-1277 (URN)
Available from: 2008-06-17 Created: 2008-06-17 Last updated: 2018-01-13Bibliographically approved
Nilsson, R., Offutt, J. & Andler, S. F. (2004). Mutation-Based Testing Criteria for Timeliness. In: Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004: . Paper presented at The 28th Annual International Computer Software and Applications Conference, COMPSAC 2004, Hong Kong, 28 September 2004 through 30 September 2004 (pp. 306-311). IEEE conference proceedings
Open this publication in new window or tab >>Mutation-Based Testing Criteria for Timeliness
2004 (English)In: Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004, IEEE conference proceedings, 2004, p. 306-311Conference paper, Published paper (Other academic)
Place, publisher, year, edition, pages
IEEE conference proceedings, 2004
Research subject
Technology
Identifiers
urn:nbn:se:his:diva-1511 (URN)10.1109/CMPSAC.2004.1342848 (DOI)2-s2.0-18744376886 (Scopus ID)0-7695-2209-2 (ISBN)
Conference
The 28th Annual International Computer Software and Applications Conference, COMPSAC 2004, Hong Kong, 28 September 2004 through 30 September 2004
Available from: 2007-07-06 Created: 2007-07-06 Last updated: 2017-11-27Bibliographically approved
Ericsson, A.-m., Nilsson, R. & Andler, S. F. (2003). Operator Patterns for Analysis of Composite Events in Timed Automata. In: WIP Proceedings: 24th IEEE Real-Time Systems Symposium. Paper presented at 24th IEEE Real-Time Systems Symposium, Work-in-Progress Session, Cancun, Mexico, December 2003 (pp. 1555-1558).
Open this publication in new window or tab >>Operator Patterns for Analysis of Composite Events in Timed Automata
2003 (English)In: WIP Proceedings: 24th IEEE Real-Time Systems Symposium, 2003, p. 1555-1558Conference paper, Published paper (Refereed)
Abstract [en]

Abstract—Event-triggered real-time systems interact with the environment by executing actions in response to monitored events. Such systems may be implemented using event condition action (ECA) rules, which execute an action if the associated event occurs and a specified condition is true. However, the ECA rule paradigm is known to be hard to analyze with respect to correctness and timeliness, which is not conducive to the high predictability requirements typically associated with real-time systems. To still take advantage of the ECA rule paradigm when event-triggered real-time systems are developed, we propose an approach where systems are specified and analyzed in a high-level formal language (timed automata) and later transformed into the ECA rule paradigm. We especially focus on a high-level approach for specifying and analyzing composite event occurrences in timed automata.

Identifiers
urn:nbn:se:his:diva-1643 (URN)
Conference
24th IEEE Real-Time Systems Symposium, Work-in-Progress Session, Cancun, Mexico, December 2003
Available from: 2007-10-03 Created: 2007-10-03 Last updated: 2018-09-13Bibliographically approved
Organisations

Search in DiVA

Show all publications