U-test: Evolving, modelling and testing realistic uncertain behaviours of cyber-physical systems

2015 IEEE 8th International Conference on Software Testing, Verification and Validation, ICST 2015 - Proceedings

Volumn , Issue , 2015, Pages

  Ali, Shaukat ^a   Yue, Tao ^b  

^a SIMULA RESEARCH LABORATORY   (Norway)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

ABILITY TESTING; AUTOMATIC TEST PATTERN GENERATION; AUTOMATION; COST EFFECTIVENESS; CYBER PHYSICAL SYSTEM; EMBEDDED SYSTEMS; GENETIC ALGORITHMS; MODEL CHECKING; RISK ASSESSMENT; UNCERTAINTY ANALYSIS;

AUTOMATED MODELING; CLOUD INFRASTRUCTURES; CYBER PHYSICAL SYSTEMS (CPSS); NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY; NETWORKING EQUIPMENT; SEARCH-BASED TESTING; THEORETICAL FOUNDATIONS; UNKNOWN UNCERTAINTY;

SOFTWARE TESTING;

EID: 84935137534     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2015.7102637     Document Type: Conference Paper

References (9)

1. M. Broy, "Engineering Cyber-Physical Systems: Challenges and Foundations," in Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012, 2013, pp. 1-13.
2. H.-M. Huang, T. Tidwell, C. Gill, C. Lu, X. Gao, and S. Dyke, "Cyber-Physical Systems for Real-Time Hybrid Structural Testing: A Case Study," in Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, 2010, pp. 69-78.
3. T. Tidwell, X. Gao, H.-M. Huang, C. Lu, S. Dyke, and C. Gil, "Towards Configurable Real-Time Hybrid Structural Testing: A Cyber Physical Systems Approach," in ISORC '09 Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009, pp. 37-44.
4. P. C. Evans and M. Annunziata, "Pushing the Boundaries of Minds and Machines," presented at the General Electric (GE), 2012.
5. M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach: Morgan-Kaufmann, 2006.
6. T. S. Chow, "Testing Software Design Modeled by Finite-State Machines," IEEE Transactions on Software Engineering, vol. 4, pp. 178-187, 1978.
7. "The UML MARTE profile, http://www. omgmarte . org/," ed.
8. T. Weilkiens, Systems Engineering with SysML/UML: Modeling, Analysis, Design: Tim Weilkiens, 2008.
9. S. Ali, M. Z. Iqbal, A. Arcuri, and L. Briand, "Generating Test Data from OCL Constraints with Search Techniques," IEEE Trans. Softw. Eng., vol. 39, pp. 1376-1402, 2013.