Keeping requirements and test cases consistent: Towards an ontology-based approach

Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014

Volumn , Issue , 2014, Pages 726-732

  Feldmann, S ^a   Rosch S ^a   Legat, C ^a   Vogel Heuser, B ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INDUSTRIAL INFORMATICS; SEMANTICS;

MECHATRONIC SYSTEMS; MODEL APPROACH; ONTOLOGY-BASED; SEMANTIC TECHNOLOGIES; SUPPORTING TESTS; TEST CASE;

ONTOLOGY;

EID: 84914144547     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2014.6945603     Document Type: Conference Paper

References (28)

1. T. Strasser et al., "A research roadmap for model-driven design of embedded systems for automation components," in 7th IEEE Int. Conf. Ind. Informatics, 2009, pp. 564-569
2. R. Hametner, D. Winkler, and A. Zoitl, "Agile testing concepts based on keyword-driven testing for industrial automation systems," in 38th Annu. Conf. IEEE Ind. Electron. Soc., 2012, pp. 3727-3732
3. S. Runde and A. Fay, "Software Support for Building Automation Requirements Engineering An Application of Semantic Web Technologies in Automation," IEEE Trans. Ind. Informat., vol. 7, no. 4, pp. 723-730, 2011
4. C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw, "Automated consistency checking of requirements specifications," ACM Trans. Softw. Eng. Methodol., vol. 5, no. 3, pp. 231-261, 1996
5. R. Hametner et al., "Test case generation approach for industrial automation systems," in 5th Int. Conf. Autom. Robot. Appl., 2011, pp. 57-62
6. K. Thramboulidis and G. Frey, "Towards a Model-Driven IEC 61131-Based Development Process in Industrial Automation," J. Softw. Eng. Appl., vol. 4, no. 4, pp. 217-226, 2011
7. M. Wehrmeister, C. E. Pereira, and F. J. Rammig, "Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems," IEEE Trans. Ind. Informat., vol. 9, no. 4, pp. 2373-2386, 2013
8. N. G. Leveson, M. P. E. Heimdahl, and J. D. Reese, "Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future?" in Softw. Eng., ser. LNCS. Berlin, Heidelberg, Germany: Springer-Verlag, 1999, pp. 127-146
9. T. R. Gruber, "A Translation Approach to Portable Ontology Specifications by A Translation Approach to Portable Ontology Specifications," Knowl. Aquis., vol. 5, no. 4, pp. 199-220, 1993
10. P. Hitzler, M. Krötzsch, and S. Rudolph, Foundations of Semantic Web Technologies. Boca Raton, US-FL: CRC Press, 2009
11. F. Baader et al., The Description Logic Handbook. Theory, Implementation and Applications. Cambridge, UK: Cambridge University Press, 2003
12. D. Magka, Y. Kazakov, and I. Horrocks, "Tractable Extensions of the Description Logic EL with Numerical Datatypes," in Autom. Reason., ser. LNCS, 2010, vol. 6173, pp. 61-75
13. B. Vogel-Heuser et al., "Research evolution in industrial plant automation: Scenarios and documentation of the pick and place unit," Institute of Automation and Information Systems, Technische Universität München, Technical Report TUM-AIS-TR-01-14-02, 2014. Available: https://mediatum.ub.tum.de/node?id=1208973
14. Institute of Automation and Information Systems, "The Pick and Place Unit: Demonstrator for Evolution in Industrial Plant Automation," 2014. [Online]. Available: http://www.ppu-demonstrator.org
15. M. Broy and O. Slotosch, "From Requirements to Validated Embedded Systems," in Embed. Softw., ser. LNCS. Berlin, Heidelberg, Germany: Springer-Verlag, 2001, vol. 2211, pp. 51-65
16. A. van Lamsweerde, Requirements Engineering: From System Goals to UML Models to Software Specifications. Hoboken, US-NJ: John Wiley & Sons, Ltd., 2009
17. D. Winkler, S. Biffl, and T. Östreicher, "Test-Driven Automation: Adopting Test-First Development to Improve Automation Systems Engineering Processes," in Eur. Syst. Softw. Process Improv. Innov., 2009
18. M. Heindl and S. Biffl, "A case study on value-based requirements tracing," in Eur. Softw. Eng. Conf., 2005, pp. 60-69
19. Y. Yu, S. Ng, and E. Chan, "Generating, selecting and prioritizing test cases from specifications with tool support," in Int. Conf. Qual. Softw., 2003, pp. 83-90
20. M. Mauco et al., "Formalising a derivation strategy for formal specifications from natural language requirements models," in IEEE Int. Symp. Signal Process. Inf. Technol., 2005, pp. 646-651
21. A. Fleischmann et al., "Concretization and formalization of requirements for automotive embedded software systems development," in 10th Aust. Work. Requir. Eng., 2005, pp. 60-65
22. M. K. Zimmerman, K. Lundqvist, and N. Leveson, "Investigating the readability of state-based formal requirements specification languages," in Int. Conf. Softw. Eng., 2002, pp. 33-43
23. K. Kelley, "Automated test case generation from correct and complete system requirements models," in IEEE Aerosp. Conf., 2009
24. H. Kaiya and M. Saeki, "Using Domain Ontology as Domain Knowledge for Requirements Elicitation," in IEEE Int. Requir. Eng. Conf., 2006, pp. 189-198
25. K. Siegemund et al., "Towards Ontology-driven Requirements Engineering," in Int. Work. Semant. Web Enabled Softw. Eng., 2011
26. P. Kroha, R. Janetzko, and J. E. Labra, "Ontologies in Checking for Inconsistency of Requirements Specification," in Int. Conf. Adv. Semant. Process., 2009, pp. 32-37
27. D. V. Dzung and A. Ohnishi, "Ontology-Based Reasoning in Requirements Elicitation," in IEEE Int. Conf. Softw. Eng. Form. Methods, 2009, pp. 263-272
28. T. Moser et al., "Requirements Management with Semantic Technology: An Empirical Study on Automated Requirements Categorization and Conflict Analysis," in Adv. Inf. Syst. Eng., ser. LNCS. Berlin, Heidelberg, Germany: Springer-Verlag, 2011, vol. 6741, pp. 3-17.