Generating test cases for context-aware applications using bigraphs

Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014

Volumn , Issue , 2014, Pages 137-146

  Yu, Lian ^a   Tsai, Wei Tek ^b   Jiang, Yanbing ^a   Gao, Jerry ^c  

^a PEKING UNIVERSITY   (China)

^b ARIZONA STATE UNIVERSITY   (United States)

^c SAN JOSE STATE UNIVERSITY   (United States)

Author keywords

Bigraphcial Pattern flow; Bigraphical data model; Bigraphical reaction systems; Context aware environment modeling; EFSM; Sorting predicate logic

Indexed keywords

FAULT DETECTION; MIDDLEWARE; SOFTWARE RELIABILITY;

BIGRAPHCIAL PATTERN-FLOW; CONTEXT-AWARE ENVIRONMENTS; EFSM; PREDICATE LOGIC; REACTION SYSTEM;

SORTING;

EID: 84910030655     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SERE.2014.27     Document Type: Conference Paper

References (31)

1. Muhammad Zohaib Zafar Iqbal, Environment model-based system testing of real-time embedded systems., Ph.D thesis, 2012.
2. OMG metamodel architecture: http://www.omg.org/mof
3. UML: http://en.wikipedia.org/wiki/Unified-Modeling-Language
4. OCL: http://en.wikipedia.org/wiki/Object-Constraint-Language
5. R. Milner (2006): Pure Bigraphs: Structure and Dynamics. Information and Computation 204(1), pp. 60-122, doi:10.1016/j.ic.2005.07.003.
6. R. Milner (2009): The space and motion of communicating agents. Cambridge University Press.
7. Jean Krivine, Robin Milner, Angelo Troin, "Stochastic Bigraphs", Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, Electronic Notes in Theoretical Computer Science, Volume 218, 22 October 2008, Pages 73-96.
8. Cheng, K-T; Krishnakumar, A.S. (1993). "Automatic Functional Test Generation Using The Extended Finite State Machine Model". International Design Automation Conference (DAC). ACM. pp. 86-91.
9. Weiser M. The computer for the 21st Century[J]. Scientific American, 1991, 265(3): 94-104.
10. Matthias Baldauf, Schahram Dustdar and Florian Rosenberg, "International Journal of Ad Hoc and Ubiquitous Computing" Volume 2 Issue 4, June 2007, Pages 263-277.
11. L. Birkedal, S. Debois, E. Elsborg, T. Hildebrandt, and H. Niss, Bigraphical Models of Context-Aware Systems. FOSSACS 2006, LNCS 3921, pp. 187-201.
12. S. Dalal et al. (1999), "Model-based testing in practice", In: ICSE'99, May, pp. 285-294.
13. J. Edvardsson (1999), "A survey on automatic test data generation". In: 2nd ECSEL, pages 21-28. October.
14. A. Hartman (2002), "Model Based Test Generation Survey", Technical Report, available on 11/2006 at http://www.agedis.de/downloads.shtml.
15. M. Prasanna et al. (2005), "Survey on Automatic Test Case Generation", Academic Open Internet Journal, available at http://www.acadjournal.com/2005/v15/part6/p4/.
16. Arilo C.Dias Neto A C, Subramanyan R, Vieira M, et al. A survey on model-based testing approaches: a systematic review[C]. Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies. 2007: pp.31-36.
17. Kansomkeat S, Rivepiboon W. Automated-generating test case using UML statechart diagrams[C]. Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology. 2003: 296-300.
18. Poore J H, Kelly D P, Oshana R S. Editorial: Introduction to the special issue on: model-based statistical testing of software intensive systems[J]. Information and Software Technology, 2000, 42(12).
19. Beizer B. Black-box testing: techniques for functional testing of software and systems[M]. John Wiley &Sons, Inc., 1995.
20. I. Parissis, F. Ouabdesselam (1996), "Specification-based testing of synchronous software", In: Symposium on the Foundations of Software Engineering (21), pp.127-134.
21. K. Stobie (2005), "Model Based Testing in Practice at Microsoft", Electronic Notes in Theoretical Computer Science 111(SPEC ISS), 5-12.
22. A. Gargantini, C. Heitmeyer (1999), "Using model checking to generate tests from requirements specifications", In: ESEC/FSE-7, ACM Press.
23. G. Perrone, S. Debois, and T.T. Hildebrandt. A Model Checker for Bigraphs. In ACM Symposium on Applied Computing 2012 Software Verification and Testing Track. ACM, 2012.
24. Gian Perrone, Domain-Specific Modelling Languages in Bigraphs, PhD thesis, IT University of Copenhagen, 2012.
25. T. Kishi and N. Noda, "Aspect-oriented Context Modeling for Embedded Systems," presented at the Workshop on Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design, 2004.
26. G. Karsai, S. Neema, and D. Sharp, "Model-driven architecture for embedded software: A synopsis and an example," Science of Computer Programming, vol. 73, pp. 26-38, 2008.
27. C. Kreiner, C. Steger, and R. Weiss, "Improvement of Control Software for Automatic Logistic Systems Using Executable Environment Models," presented at the EUROMICRO '98: Proceedings of the 24th Conference on EUROMICRO, 1998.
28. H. Gomaa, Designing Concurrent, Distributed And Real-Time Applications With UML: Addison-Wesley Educational Publishers Inc, 2000.
29. Z. Wang, S. Elbaum, and D.S. Rosenblum, "Automated Generation of Context-aware Tests", Proc. 29th International Conference on Software Engineering, pp. 406-415, Minneapolis, MN, USA, May 2007.
30. H. Lu, W. K. Chan, and T. H Tse,. 2006. Testing context-aware middleware-centric programs: A data flow approach and a RFID-based experimentation. In Proceedings of the 14thACMSIGSOFT Symposium on the Foundations of Software Engineering. 242-252.
31. Y. Liu, C. Xu, and S.C. Cheung, "AFChecker: Effective Model Checking for Context-aware Adaptive Applications," Journal of Systems and Software, vol. 86, no. 3, pp. 854-867, Mar 2013.