JSEA is a professional journal in the field of software engineering and application. The goal of this journal is to provide an international platform for engineers and academicians all over the world to promote, share, and discuss various new issues and development in the field of software engineering. It is an archival publication to disseminate the results of fundamental and applied research, especially those relevant to software engineering. This journal aims to encourage deeper understanding and greater effectiveness in the theory analysis and engineering application relevant to software engineering fields.
ObjectGen is a tool for generating test objectives from use cases. ValueGen is a tool for generating operational variables and combination of values from use cases. Although ValueGen needs the artefacts generated by ObjectGen, both tools are independent.
S. Goldberg, A. Niemierko, и A. Turchin. AMIA ... Annual Symposium proceedings / AMIA Symposium. AMIA Symposium, (января 2008)5488<m:linebreak></m:linebreak>JID: 101209213; OID: NLM: PMC2656002; 2008/03/13 received; 2008/07/01 revised; epublish; SO: AMIA Annu Symp Proc. 2008 Nov 6:242-6.;<m:linebreak></m:linebreak>Recollida de dades.
E. Hilgendorf, и U. Seidel. Robotics, Autonomics, and the Law: Legal Issues Arising from the AUTONOMICS for Industry 4.0 Technology Programme of the German Federal Ministry for Economic Affairs and Energy. Nomos Verlagsgesellschaft, Baden Baden, (2017)
T. Shaked, K. Bar-Sinai, и A. Sprecher. 25th International Conference on Computer-Aided Architectural Design Research in Asia: RE: Anthropocene - Design in the Age of Humans, CAADRIA 2020, Bangkok, Thailand, (2020)
N. Nerkar, N. Jain, D. Mehta, K. Sodha, и C. Barot. International Journal on Recent and Innovation Trends in Computing and Communication, 3 (2):
542--544(февраля 2015)
Y. Jung, J. Yoo, S. Myaeng, и D. Han. Web Information Systems Engineering - WISE 2008, том 5175 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2008)
Y. Jung, J. Yoo, S. Myaeng, и D. Han. Web Information Systems Engineering - WISE 2008, том 5175 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2008)
R. Karmani, P. Madhusudan, и B. Moore. Proceedings of the 16th ACM symposium on Principles and practice of parallel programming, стр. 125--134. New York, NY, USA, ACM, (2011)
K. Chaudhuri, D. Doligez, L. Lamport, и S. Merz. Theoretical Aspects of Computing – ICTAC 2010, том 6255 из Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-14808-8_3.(2010)
J. Søgaard-Andersen, S. Garl, J. Guttag, N. Lynch, и A. Pogosyants. PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, ELOUNDA, GREECE, VOLUME 697 OF LECTURE, стр. 305--319. Springer Verlag, (1993)
T. Arons, A. Pnueli, S. Ruah, J. Xu, и L. Zuck. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, стр. 221--234. London, UK, Springer-Verlag, (2001)
M. Bobaru, C. Pasareanu, и D. Giannakopoulou. CAV '08: Proceedings of the 20th international conference on Computer Aided Verification, стр. 135--148. Berlin, Heidelberg, Springer-Verlag, (2008)
P. Santos-Neto, R. Resende, и C. Pádua. SAC '07: Proceedings of the 2007 ACM symposium on Applied computing, стр. 1409--1415. New York, NY, USA, ACM, (2007)
B. Genge, I. Ignat, и P. Haller. Proceedings of the 5th IEEE International Conference on Intelligent Computer Communication and Processing, стр. 251-258. UTCN Press, (2009)
R. Ferguson, и B. Korel. ACM Trans. Softw. Eng. Methodol., 5 (1):
63--86(1996)ST: Vorgehensweise:
Die Idee dieses Ansatzes ist es eine Sequenz von Knoten im Kontrollflussgraphen zu finden, die zu einer Ausführung eines bestimmten Knoten führt.
Eignung:
Dieser Ansatz ist zwar zunächst in den codebasierten Bereich einzuordnen, aber es spricht auf den ersten Blick nichts dagegen, die Idee auf Kontrollflussgraphen zu übertragen, die auf einer höheren Abstraktion sind (wie z.B. bei dem Systemtest). Abzudeckende Elemente wären dann z.B. Kanten im Aktivitätsdigramm..
M. Soffa, A. Mathur, и N. Gupta. ASE '00: Proceedings of the 15th IEEE international conference on Automated software engineering, стр. 219. Washington, DC, USA, IEEE Computer Society, (2000)ST: Zusammenfassung:
In diesem Paper liegt der Fokus auf der automatischen Testdatengenerierung. Die Testdaten werden so generiert, dass ein gewünschtes Element im Programm durch einen Pfad abgedeckt wird, d.h. es werden die Testdaten werden so generiert, dass dieser Pfad ausgeführt werden kann. Das Programm liegt als Flussgraph vor. Elemente die abgedeckt werden können sind z.B. Kanten, Statements, oder auch aus dem datenflussorientierten Testen defs-uses Paare. Der vorgeschlagene Algorithmus sucht nun Testdaten um genau dieses Element abzudecken. Dabei wird der Flussgraph auf einen Erreichbarkeitspfad reduziert, der die Erreichbarkeit für das gewünschte Element darstellt. Mit Hilfe der Bedingungen, die an den Entscheidungspunkten stehen, können bei Zahlenwerten Ungleichungen aufgestellt werden. Wenn diese nicht lösbar sind, können auch nicht erreichbare Pfade gefunden werden.
Eignung:
Das Beispiel im Paper ist ein White-Box Ansatz, da der Flussgraph sehr quellcodenah ist. Außerdem wird das Beispiel nur mit numerischen Werten durchgeführt, bei denen die Suche mit Ungleichungssystemen einleuchtet. Im Paper wird allerdings erwähnt, dass der Algorithmus auch auf nicht-numerische Werte, die für unsere Zwecke auch auftreten, angewendet werden kann. Der Ansatz ist deswegen als interessant einzuschätzen, da es denkbar ist, ihn auch auf Flussdiagramme (z.B. Aktivitätsdiagramme) auf einer höheren Ebene anzuwenden. Man könnte z.B. genau die Kanten abdecken wollen, die variabel sind, also für eine Applikation neu hinzukommen. Eine andere Idee ist, den Algorithmus so anzupassen, dass er variable Kanten und die Belegungsmöglichkeiten des OVM mit berücksichtigt. (Ähnlich wie bei den Modelcheckingansätzen von Kim)..