U. M.a. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6770 LNCS (PART 2):
225-233(2011)cited By (since 1996) 0; Conference of 1st International Conference on Design, User Experience and Usability: Theory, Methods, Tools and Practice, DUXU 2011, Held as Part of 14th International Conference on Human-Computer Interaction, HCI International 2011; Conference Date: 9 July 2011 through 14 July 2011; Conference Code: 85648.
E. Uzuncaova, D. Garcia, S. Khurshid, and D. Batory. ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, page 525--528. New York, NY, USA, ACM, (2007)ST: Die Spezifikation der Produktlinie liegt in einer formalen Beschreibung vor (LTL)
Es wird ein Modelchecking-Verfahren durchgefuehrt um zu beweisen, dass die Spezifikation gilt.
Fazit: Keine explizite Ableitung von Testdaten, die Spezifikation muss formal vorliegen.
MR: Anhand von formalen Alloy-Spezifikationen von Invarianten und Constraints kann der Alloy Analyzer (SAT solver) automatisch alle passenden Testdaten generieren.
Nachteile: Die erwarteten Ergebnisse werden nicht betrachtet (oder?). Die Spezifikation wird als Annotationen in den Code eingebracht (hier als moderner Ansatz angesehen ähnlich JML). An der Wiederverwendung wird erst gearbeitet..
J. Hartmann, M. Vieira, and A. Ruder. Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), page 58--65. Boston, MA, (August 2004)
B. Denkena, M. Dittrich, and F. Winter. Cyber-Physical and Gentelligent Systems in Manufacturing and Life Cycle, chapter 3.1.1, Academic Press, London, (2017)
P. Ansola, A. Garc\'ıa, and J. Morenas. Service Orientation in Holonic and Multi-Agent Manufacturing, volume 594 of Studies in Computational Intelligence, Springer, Cham, (2015)
O. Roulet-Dubonnet, and P. Ystgaard. Holonic and Multi-Agent Systems for Manufacturing: 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, volume 6867 of Lecture Notes in Artificial Intelligence, Springer, Heidelberg, (2011)
J. Neidig, and P. Stephan. Workshops Proceedings of the 5th International Conference on Intelligent Environments, volume 4 of Ambient Intelligence and Smart Environments, page 27--32. Amsterdam, IOS Press, (2009)
M. Bettwy, K. Deschinkel, and S. Gomes. Advances in Production Management Systems: Innovative and Knowledge-Based Production Management in a Global-Local World (Part I), volume 438 of IFIP Advances in Information and Communication Technology, Springer, Heidelberg, (2014)
B. Hellingrath, M. Witthaut, C. Böhle, and S. Brügger. Holonic and Multi-Agent Systems for Manufacturing: 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, volume 5696 of Lecture Notes in Artificial Intelligence, Springer, Berlin, (2009)
T. Wong, W. Lam, and T. Wong. SIGIR '08: Proceedings of the 31st annual international ACM SIGIR conference on Research and development in information retrieval, page 35--42. New York, NY, USA, ACM, (2008)
V. Demutsky, V. Khodusov, and O. Pignasty. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
D. Strang, and R. Anderl. Proceedings of the World Congress on Engineering and Computer Science (WCECS 2014), San Francisco, USA, Volume II, volume 2214 of Lecture Notes in Engineering and Computer Science, page 947--952. Hong Kong, International Association of Engineers (IAENG), Newswood, (2014)