พื้นที่เก็บข้อมูลนี้จัดเตรียมเนื้อหาเสริมให้กับรายงาน ICSE 2023 เรื่อง "การวิเคราะห์ผลกระทบของปริมาณงานต่อการสร้างแบบจำลองประสิทธิภาพของระบบซอฟต์แวร์ที่กำหนดค่าได้" รวมถึงข้อมูลการทดลอง (ตัวอย่างการกำหนดค่า รหัสระบบหัวเรื่อง) และการวัด (การครอบคลุมประสิทธิภาพ ตัวเลือก และโค้ดเฉพาะงาน ) รวมถึงแดชบอร์ดแบบโต้ตอบ ส่วนหลังช่วยเสริมการนำเสนอผลการศึกษาในรายงานและช่วยให้สามารถทำซ้ำการวิเคราะห์และข้อค้นพบของเราได้
เนื้อหาประกอบด้วยข้อมูลเกี่ยวกับระบบซอฟต์แวร์เก้าระบบต่อไปนี้:
ชื่อ | โดเมน | ภาษา | พื้นที่เก็บข้อมูล | รหัสที่ใช้ / เวอร์ชัน | ใบอนุญาต |
---|---|---|---|---|---|
jump3r | ตัวเข้ารหัสเสียง | ชวา | Link | v1.0.4 | LGPL2.1 |
kanzi | ไฟล์คอมเพรสเซอร์ | ชวา | Link | v1.9 | ใบอนุญาต Apache 2.0 |
dconvert | การปรับขนาดภาพ | ชวา | Link | v1.0.0.-alpha7 | ใบอนุญาต Apache 2.0 |
h2 | ฐานข้อมูล | ชวา | Link | v1.4.200 | ใบอนุญาตสาธารณะของ Mozilla เวอร์ชัน 2.0 |
batik | SVG แรสเตอร์ไรเซอร์ | ชวา | Link | v.1.14 | ใบอนุญาต Apache 2.0 |
xz | ตัวบีบอัดไฟล์ | ซี/ซี++ | Link | v5.2.0 | GPL 2.0 และ GPL 3.0 |
lrzip | ไฟล์คอมเพรสเซอร์ | ซี/ซี++ | Link | v0.651 | จีพีแอล 2.0 |
x264 | ตัวเข้ารหัสวิดีโอ | ซี/ซี++ | Link | baee400.. | จีพีแอล 2.0 |
z3 | ตัวแก้ปัญหา SMT | ซี/ซี++ | Link | v4.8.14 | ใบอนุญาตเอ็มไอที |
ไฟล์เก็บถาวรนี้ประกอบด้วยการกำหนดค่าที่สุ่มตัวอย่างและใช้สำหรับดำเนินการทดลองเป็นไฟล์ CSV:
data/coverage_raw.tar.gz
ไฟล์ที่ใช้เป็นปริมาณงาน/อินพุตในการทดลองถูกรวบรวมจากแหล่งต่างๆ เราจัดเตรียมรายการแหล่งที่มาของไฟล์ไว้ที่:
data/workload_sources.csv
ตามใบอนุญาต (LICENSE.txt) ไฟล์เก็บถาวรนี้ไม่รวมชุดไฟล์ทั้งหมดที่ใช้ เนื่องจากไฟล์บางไฟล์ที่ใช้ไม่อนุญาตให้แจกจ่ายซ้ำภายใต้ลิขสิทธิ์ CC BY-SA 4.0
ไฟล์เก็บถาวรนี้ประกอบด้วยการวัดประสิทธิภาพ (ปริมาณงานและเวลาดำเนินการ) ต่อการกำหนดค่าและปริมาณงานเป็นไฟล์ CSV การวัดประสิทธิภาพสำหรับแต่ละ <software system>
สามารถพบได้ในโฟลเดอร์ย่อยต่อไปนี้:
dashboard/resources/<software_system>/measurements.csv
ไฟล์เก็บถาวรนี้ประกอบด้วย (เป็นไฟล์แยกต่างหาก!) การวัดความครอบคลุมดิบต่อการกำหนดค่าและปริมาณงานเป็นไฟล์ CSV ขึ้นอยู่กับไฟล์เหล่านี้ รหัสเฉพาะตัวเลือกและภาระงานจะถูกอนุมาน การวัดความครอบคลุมของโค้ดดิบสามารถพบได้ในไฟล์เก็บถาวร tar ของ gz-ip:
./coverage_raw.tar.gz
ไฟล์เก็บถาวรนี้ประกอบด้วยส่วนของโค้ดจากการคำนวณที่เป็น a) เฉพาะตัวเลือก และ b) ปริมาณงานและเฉพาะตัวเลือก ส่วนรหัสสำหรับแต่ละ <software system>
สามารถพบได้ในโฟลเดอร์ย่อยต่อไปนี้:
dashboard/resources/<software_system>/code/
เราจัดทำแดชบอร์ดแบบโต้ตอบโดยใช้ frameword streamlit
ซึ่งช่วยให้สำรวจรายละเอียดการวิเคราะห์ของเราสำหรับตัวเลือกการกำหนดค่าและปริมาณงานแต่ละรายการได้ เอกสารต้นฉบับนำเสนอชุดย่อยที่เป็นตัวแทนของผลลัพธ์ การวิเคราะห์และการแสดงภาพทั้งหมดสามารถทำซ้ำได้โดยใช้แดชบอร์ดนี้ เราจัดเตรียมเวอร์ชันที่ขับเคลื่อนด้วย Docker เพื่อเรียกใช้แดชบอร์ดในเครื่อง
ในการสร้างและรันคอนเทนเนอร์ Docker ให้รันคำสั่งต่อไปนี้:
#!/bin/sh
cd ./dashboard
docker build -t streamlitapp:latest .
docker run -p 8501:8501 streamlitapp:latest
ตอนนี้คุณสามารถสำรวจแดชบอร์ดที่ทำงานในเครื่องได้ที่ https://127.0.0.1:8501 หรือ https://localhost:8501
หากต้องการใช้แอปพลิเคชันแบบเทียบท่า จะต้องตั้งค่าและใช้งาน Docker สภาพแวดล้อมคอนเทนเนอร์ หากต้องการติดตั้ง Docker บทช่วยสอนเหล่านี้จะให้คำแนะนำ: