S. Mahadev Patil K. Journal of Scholastic Engineering Science and Management, 1 (1):
14-22(January 2021)@articlemahadev2021influence, title=Influence of Hardening Process Over Modified Heat-Treated Carbon Steel Cutting Tool Materials, author=Mahadev Patil K, Suresh Kumar, journal=Journal of Scholastic Engineering Science and Management, volume=1, number=1, pages=14--22, year=2021, publisher=Jsesm.
S. Krishnamurthi, K. Fisler, D. Dougherty, and D. Yoo. SIGSOFT '08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, page 158--169. New York, NY, USA, ACM, (2008)
J. Rubin, M. Chechik, and S. Easterbrook. MiSE '08: Proceedings of the 2008 international workshop on Models in software engineering, page 7--14. New York, NY, USA, ACM, (2008)
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..
F. Mostefaoui, and J. Vachon. AOM '07: Proceedings of the 10th international workshop on Aspect-oriented modeling, page 41--48. New York, NY, USA, ACM Press, (2007)
S. Khurshid, M. Malik, and E. Uzuncaova. Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on, page 449--457. (2006)
J. Kim, and D. Garlan. ROSATEA '06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, page 70--80. New York, NY, USA, ACM, (2006)