Acta Infologica

GÖNDERBİLGİ
EnglishTürkçe

Araştırma Makalesi


DOI :10.26650/acin.879052   IUP :10.26650/acin.879052    Tam Metin (PDF)

Formel Yaklaşımlar ile Sürüm Değerlendirme

Ebru Aydın Göl

Bu çalışmada sürüm değerlendirme sürecini otomatikleştirmek için formel metotlar kullanılarak bir yöntem geliştirilmiştir. Sürüm değerlendirme sürecinde, bir sunucunun yeni ve eski sürümleri benzer (veya aynı) konfigürasyonlarda çalıştırılır ve sistemlerin ürettikleri izler karşılaştırılır. Bu karşılaştırma grafik incelenmesi, izlerin sabit ölçütler ile karşılaştırılması veya regresyon analizi tabanlı olabilir. Bu makalede ise, yapılan önceki çalışmalardan farklı olarak formel metotlar tabanlı bir analiz yöntemi sunulmaktadır. Bu yöntem karşılaştırılacak sistemlerden verilerin toplanması, her iki veri kümesi için bu kümeleri tanımlayacak Sinyal Zamansal Mantık (STL) formüllerinin üretilmesi ve son olarak da yüksek başarım ile kümeleri tanımlayabilen aynı yapıya sahip formüllerin karşılaştırılması ile sürüm değerlendirme sonucunun üretilmesi adımlarından oluşmaktadır. Bu yöntem ile sürüm değerlendirmede kullanılmak üzere, ölçütlerin STL formülü olarak ifade edilmesi ve bu ölçütlerin sistem izlerinden otomatik olarak üretilmesi sağlanmıştır. Zamansal mantıkların konuşma diline benzerlikleri sayesinde bu formüller açıklayıcıdır. Geliştirilen metot ile değerlendirme süreci otomatikleştirilmektedir. Elde edilen sonuçlar örnek veri kümeleri üzerinde incelenmiştir. 

Anahtar Kelimeler: Formel Metotlar, Sürüm Değerlendirme, Formül Türetme, Zamansal Mantık
DOI :10.26650/acin.879052   IUP :10.26650/acin.879052    Tam Metin (PDF)

A Formal Methods Approach for Release Evaluation

Ebru Aydın Göl

In this paper, a formal method-based release evaluation method was developed. During the release evaluation process, two versions of a server are run under similar (or the same) configurations and the system logs are compared. This comparison can be based on graphical analysis, applying fixed rules over logs or regression analysis. This paper presents a novel release evaluation approach based on formal methods. The proposed method consists of three main steps. The first step is the collection of data from both versions of the server. The second step is the synthesis of Signal Temporal Logic (STL) formulas for each dataset. The final step is the generation of the release evaluation result by comparing the formulas that have the same structure and that can represent both datasets with high accuracy. Thus, the proposed approach represents the release evaluation rules as STL formulas and generates such formulas from system logs in an automated way. Due to the resemblance of temporal logics to natural language, the resulting formulas explain the evaluation result. The proposed method automates the release evaluation process. The findings of the paper are shown over sample datasets. 

Anahtar Kelimeler: Formal Methods, Release Evaluation, Formula Synthesis, Temporal Logics

PDF Görünüm

Referanslar

  • Asarin E., Donze A., Maler O. & Nickovic D. (2012). Parametric Identification of Temporal Properties. In: Khurshid S., Sen K. (eds). Lecture Notes in Computer Science, vol 7186: Proceedings of Runtime Verification (pp. 147-160). Springer, Berlin, Heidelberg. https://doi. org/10.1007/978-3-642-29860-8_12. google scholar
  • Aydin, S. K. & Aydin Gol, E. (2020). Synthesis of monitoring rules with STL. Journal of Circuits, Systems, and Computers, 29(11), 1-26. https://doi. org/10.1142/S0218126620501777. google scholar
  • Bartocci E., Bortolussi L. & Sanguinetti G. (2014) Data-Driven statistical learning of temporal logic properties. In: Legay A., Bozga M. (eds). Lecture Notes in Computer Science, vol 8711: Proceedings of Formal Modeling and Analysis of Timed Systems (pp 23-37). Springer, Cham. https://doi. org/10.1007/978-3-319-10512-3_3. google scholar
  • Bays, M. E. (1999). Software Release Methodology. USA: Prentice-Hall. google scholar
  • Bombara, G., Vasile, C.-I., Penedo, F., Yasuoka, H. & Belta, C. (2016). A decision tree approach to data classification using signal temporal logic. Proceedings of the Hybrid Systems: Computation and Control, 1-10. https://doi.org/10.1145/2883817.2883843. google scholar
  • Chatterjee, S. & Simonoff, J. S. (2013). Handbook ofRegression Analysis. Wiley. google scholar
  • Donze A. (2013). On signal temporal logic. In: Legay A., Bensalem S. (eds). Lecture Notes in Computer Science, vol 8174: Proceedings of Runtime Verification (pp 382-383). Berlin: Springer. https://doi.org/10.1007/978-3-642-40787-1_27. google scholar
  • Ergurtuna, M. & Aydin Gol E. (2019). An efficient formula synthesis method with past signal temporal logic. Proceedings of the IFAC Conference on Intelligent Control and Automation Sciences (ICONS), 43-48. https://doi.org/10.1016/j.ifacol.2019.09.116. google scholar
  • Gabbay D. (1989) The declarative past and imperative future. In: Banieqbal B., Barringer H., Pnueli A. (eds) Temporal Logic in Specification. Lecture Notes in Computer Science, vol 398 (pp. 409-448). Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51803-7_36. google scholar
  • Howard, D. (2016). IT Release Management. O’Reilly. google scholar
  • Hoxha, B., Dokhanchi, A. & Fainekos, G. (2018). Mining parametric temporal logic properties in model-based design for cyber-physical systems. Int J Softw Tools Technol Transfer 20, 79-93. https://doi.org/10.1007/s10009-017-0447-4 . google scholar
  • Jha, S., Tiwari, A., Seshia, S.A., Sahai, T. & Shankar, N. (2019). TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods in System Design 54. 364-387. https://doi.org/10.1007/s10703-019-00332-1. google scholar
  • Jin, X., Donze, A., Deshmukh, J. V. & Seshia, S. A. (2015). Mining requirements from closed-loop control models. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 34, 11. 1704-1717. https://doi.org/10.1109/TCAD.2015.2421907. google scholar
  • Ketenci, A. & Aydin Gol, E. (2019). Synthesis of monitoring rules via data mining. Proceedings of the IEEE American Control Conference (ACC), 16841689. https://doi.org/10.23919/ACC.2019.8815002. google scholar
  • Kong, Z., Jones, A., Ayala, A. M., Aydin Gol, E. & Belta, C. (2014). Temporal logic inference for classification and prediction from data. Proceedings of the Hybrid Systems: Computation and Control, 273-282. https://doi.org/10.1145/2562059.2562146. google scholar
  • Mohammadinejad, S., Deshmukh, J. V., Puranic, A. G., Vazquez-Chanlatte, M. & Donze, A. (2020). Interpretable classification of time-series data using efficient enumerative techniques. Proceedings of the Hybrid Systems: Computation and Control, 1-10. https://doi.org/10.1145/3365365.3382218. google scholar
  • Sommerville, I. (2015). Software Engineering (10th ed.). Pearson. google scholar
  • Yoo, C & Belta, C. (2017). Rich time series classification using temporal logic. Proceedings of Robotic: Science and Systems. 1-9. google scholar

Atıflar

Biçimlendirilmiş bir atıfı kopyalayıp yapıştırın veya seçtiğiniz biçimde dışa aktarmak için seçeneklerden birini kullanın


DIŞA AKTAR



APA

Aydın Göl, E. (2021). Formel Yaklaşımlar ile Sürüm Değerlendirme. Acta Infologica, 5(1), 129-140. https://doi.org/10.26650/acin.879052


AMA

Aydın Göl E. Formel Yaklaşımlar ile Sürüm Değerlendirme. Acta Infologica. 2021;5(1):129-140. https://doi.org/10.26650/acin.879052


ABNT

Aydın Göl, E. Formel Yaklaşımlar ile Sürüm Değerlendirme. Acta Infologica, [Publisher Location], v. 5, n. 1, p. 129-140, 2021.


Chicago: Author-Date Style

Aydın Göl, Ebru,. 2021. “Formel Yaklaşımlar ile Sürüm Değerlendirme.” Acta Infologica 5, no. 1: 129-140. https://doi.org/10.26650/acin.879052


Chicago: Humanities Style

Aydın Göl, Ebru,. “Formel Yaklaşımlar ile Sürüm Değerlendirme.” Acta Infologica 5, no. 1 (Nov. 2024): 129-140. https://doi.org/10.26650/acin.879052


Harvard: Australian Style

Aydın Göl, E 2021, 'Formel Yaklaşımlar ile Sürüm Değerlendirme', Acta Infologica, vol. 5, no. 1, pp. 129-140, viewed 22 Nov. 2024, https://doi.org/10.26650/acin.879052


Harvard: Author-Date Style

Aydın Göl, E. (2021) ‘Formel Yaklaşımlar ile Sürüm Değerlendirme’, Acta Infologica, 5(1), pp. 129-140. https://doi.org/10.26650/acin.879052 (22 Nov. 2024).


MLA

Aydın Göl, Ebru,. “Formel Yaklaşımlar ile Sürüm Değerlendirme.” Acta Infologica, vol. 5, no. 1, 2021, pp. 129-140. [Database Container], https://doi.org/10.26650/acin.879052


Vancouver

Aydın Göl E. Formel Yaklaşımlar ile Sürüm Değerlendirme. Acta Infologica [Internet]. 22 Nov. 2024 [cited 22 Nov. 2024];5(1):129-140. Available from: https://doi.org/10.26650/acin.879052 doi: 10.26650/acin.879052


ISNAD

Aydın Göl, Ebru. “Formel Yaklaşımlar ile Sürüm Değerlendirme”. Acta Infologica 5/1 (Nov. 2024): 129-140. https://doi.org/10.26650/acin.879052



ZAMAN ÇİZELGESİ


Gönderim12.02.2021
Kabul17.05.2021
Çevrimiçi Yayınlanma29.06.2021

LİSANS


Attribution-NonCommercial (CC BY-NC)

This license lets others remix, tweak, and build upon your work non-commercially, and although their new works must also acknowledge you and be non-commercial, they don’t have to license their derivative works on the same terms.


PAYLAŞ




İstanbul Üniversitesi Yayınları, uluslararası yayıncılık standartları ve etiğine uygun olarak, yüksek kalitede bilimsel dergi ve kitapların yayınlanmasıyla giderek artan bilimsel bilginin yayılmasına katkıda bulunmayı amaçlamaktadır. İstanbul Üniversitesi Yayınları açık erişimli, ticari olmayan, bilimsel yayıncılığı takip etmektedir.