# Inspectable Control for Structure-Preserving Software Regeneration

Canonical HTML: https://aogavrilov.com/he/publications/inspectable-control/

Document language: he

בקרה פתוחה לבחינה ביצירה מחדש של תוכנה תוך שימור המבנה

יצירה מחדש חלקית ומבוקרת של קוד באמצעות ייצוגים לטנטיים בדידים היררכיים.

[Alexey Gavrilov](https://orcid.org/0009-0006-3147-5430) 1 [Alan-Barsag Gazzaev](https://orcid.org/0009-0000-0334-312X) 1 [Mikhail Mozikov](https://orcid.org/0000-0003-0594-867X) 2 [Ilya Makarov](https://orcid.org/0000-0002-3308-8825) 2 [Sergey Muravyov](https://orcid.org/0000-0002-4251-1744) 1

1. [אוניברסיטת ITMO, סנקט פטרבורג, הפדרציה הרוסית](https://en.itmo.ru/)
2. [AXXX, Moscow, Russian Federation](https://axxx.tech/)

[לקריאת המאמר המלא ב־HTML](https://aogavrilov.com/publications/inspectable-control/full-text/) טקסט המאפשר חיפוש וכולל נוסחאות, טבלאות, איורים ומקורות.

כתב היד הסופי של המחברים, עם רשימת המחברים הסופית ו־DOI. CC BY 4.0 author manuscript; the ACM DOI page remains the version of record. [תנאי פרסום ושימוש חוזר](https://creativecommons.org/licenses/by/4.0/) .

## המאמר ב־30 שניות

**שאלת מחקר** כיצד יכול מודל גנרטיבי לשנות חלקים נבחרים בתוכנית ובה בעת לשמר רכיבים שנבחרו במבנה הגס שלה?

### הבעיה

שינוי קוד בסיוע בינה מלאכותית דורש לעיתים שינוי נקודתי אחד, בעוד שרכיבים נבחרים במבנה התוכנית נשארים קבועים. יצירה מחדש של התוכנית כולה עלולה לשבש אזורים שאינם קשורים לשינוי, ואילוצים ברמת האסימון אינם מספקים ממשק בקרה על המבנה הגס.

### גישה

המחקר מקודד פונקציות Python בנות 64 אסימונים באמצעות VQ-VAE היררכי, נועל קודים בדידים גסים שנבחרו, ומשתמש ביצירה בדידה ממוסכת כדי ליצור מחדש קוד באופן מקומי בשאר המיקומים הלטנטיים.

### תוצאה עיקרית

נעילת ארבעה קודים ברמה העליונה מעלה את שיעור ההצלחה בניתוח התחבירי מ־0.453 ל־0.591; בה בעת, שיעור השינוי במיקומים שלא ננעלו נותר 0.936 ושיעור הדגימות המותנות הייחודיות נותר 0.998.

### מדוע זה חשוב

התוצאות חושפות פשרה מדידה בין יציבות לחופש בעריכת קוד מבוקרת וביצירה חלקית מחדש של תוכניות. הן מספקות ראיות ראשוניות לשכבת בקרה במרחב הלטנטי הפתוחה לבחינה, ולא הוכחה לשקילות סמנטית או לנכונות תפקודית.

## תקציר

תהליכי עבודה בהנדסת תוכנה, כגון תיקון תחת אילוצים, עידון מדורג ושינוי המשמר מבנה, מחייבים שליטה במה שמשתנה ובמה שנותר קבוע. יצירה ברמת האסימון מספקת ממשק בקרה מוגבל לפעולות אלה, משום שהיא מגבילה את הטקסט הגלוי והמקומי ולא את האינווריאנטים המבניים הגסים שהנדסת תוכנה מבקשת לעיתים לשמר. אנו חוקרים משתנים לטנטיים בדידים היררכיים כייצוג ביניים פתוח לבחינה של תוצרי תוכנה: VQ-VAE היררכי דוחס פונקציית Python בת 64 אסימונים לקודים בדידים גסים ועדינים, ויצירה בדידה ממוסכת יוצרת מחדש רק מיקומים נבחרים בכפוף לאילוצים חלקיים. ב־2,000 פונקציות Python שעברו עיבוד מקדים, נעילת ארבעה קודים ברמה העליונה משפרת את שיעור ההצלחה בניתוח התחבירי מ־0.453 ל־0.591, תוך שמירה על שינוי ניכר במיקומים שלא ננעלו (חופש עריכה, 0.936) ועל ייחודיות דגימות כמעט מרבית (גיוון, 0.998). כאשר ההקשר הגס קבוע, העידון ברמה הנמוכה חלש יותר אך נותר מונוטוני, ממצא התומך בפרשנות ההיררכיה מן הגס אל העדין. ככלל, התוצאות מספקות ראיות ראשוניות לשכבת בקרה מעשית התומכת ביצירה מחדש תחומה ומשמרת מבנה של תוצרי תוכנה, מעל לרמת האסימון.

פורסם במסגרת Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering

סוג התרומה שיטת בקרה במרחב הסמוי

5 ביולי 2026 עמ' 1406–1407 כרזה נלווית

DOI [https://doi.org/10.1145/3803437.3807386](https://doi.org/10.1145/3803437.3807386)

## תוכן העניינים בעמוד זה

## תוצאות מרכזיות

| הגדרה | שיעור ניתוח תחבירי | שלד | חתימה | שינוי שאינו נעול |
| --- | --- | --- | --- | --- |
| קלט (מקוצר) | 0.994 | 0.994 | 0.994 | — |
| שחזור הקודק | 0.857 | 0.848 | 0.493 | 0 |
| יצירה בלתי מותנית | 0.453 | 0.08 | 0 | 0.995 |
| מותנה, תחילית k=4 | 0.591 | 0.295 | 0.061 | 0.936 |
| מותנה, טווח החתימה | 0.6 | 0.302 | 0.063 | לא דווח |

**תוצאה מרכזית.** נעילת משתנים לטנטיים גסים משפרת את היציבות התחבירית בלי לבטל את השינוי באזור הניתן לעריכה; התוצאה מדגימה בקרה מבנית, ולא שקילות תפקודית מובטחת.

הורדת תוצאות: [CSV](https://aogavrilov.com/publications/inspectable-control/results.csv) [JSON](https://aogavrilov.com/publications/inspectable-control/results.json) [Markdown](https://aogavrilov.com/publications/inspectable-control/results.md) עותק חיצוני: [כרטיס מערך נתונים של Hugging Face](https://huggingface.co/datasets/aogavrilov/inspectable-control-results)

## PDF וציטוט ביבליוגרפי

**כיצד לצטט מאמר זה** BibTeX הוא הפורמט המומלץ. כל הגרסאות שלהלן מופקות מאותה רשומת פרסום.

```
@inproceedings{Gavrilov2026InspectableControl,
  title      = {Inspectable Control for Structure-Preserving Software Regeneration},
  author     = {Gavrilov, Alexey and Gazzaev, Alan-Barsag and Mozikov, Mikhail and Makarov, Ilya and Muravyov, Sergey},
  booktitle  = {Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering},
  publisher  = {ACM},
  year       = {2026},
  pages      = {1406--1407},
  doi        = {10.1145/3803437.3807386},
  url        = {https://doi.org/10.1145/3803437.3807386},
  isbn       = {979-8-4007-2636-1},
}
```

קובצי ציטוט: [טקסט APA](https://aogavrilov.com/publications/inspectable-control/citation-apa.txt) [טקסט IEEE](https://aogavrilov.com/publications/inspectable-control/citation-ieee.txt) [RIS](https://aogavrilov.com/publications/inspectable-control/citation.ris) [CSL-JSON](https://aogavrilov.com/publications/inspectable-control/citation.json) [Schema.org JSON-LD](https://aogavrilov.com/publications/inspectable-control/metadata.jsonld) [OAI-DC XML](https://aogavrilov.com/publications/inspectable-control/oai-dc.xml) [OpenAIRE v4 XML](https://aogavrilov.com/publications/inspectable-control/openaire.xml) [MODS XML](https://aogavrilov.com/publications/inspectable-control/mods.xml) [מטא־נתונים XML בתקן JATS 1.4](https://aogavrilov.com/publications/inspectable-control/metadata.jats.xml) [טקסט מלא בפורמט JATS 1.4 XML](https://aogavrilov.com/publications/inspectable-control/full-text/article.jats.xml) [RDF Turtle](https://aogavrilov.com/publications/inspectable-control/metadata.ttl) [מערך קישורים (JSON)](https://aogavrilov.com/publications/inspectable-control/linkset.json) [מערך קישורים (HTTP)](https://aogavrilov.com/publications/inspectable-control/linkset) [RO-Crate](https://aogavrilov.com/publications/inspectable-control/ro-crate-metadata.json)

DOI: [https://doi.org/10.1145/3803437.3807386](https://doi.org/10.1145/3803437.3807386)

המדריך המלא

## מדריך המחקר המלא

## שיטה

## 

השיטה דוחסת פונקציית Python קצרה לשתי רמות של קודים בדידים, מקבעת מיקומים גסים נבחרים ויוצרת מחדש את שאר המיקומים לפני פענוחם בחזרה לקוד.

1. קידוד דחסו פונקציית Python בת 64 אסימונים ל-16 קודים ברמה העליונה ול-32 קודים ברמה התחתונה באמצעות VQ-VAE היררכי.
2. נעילה בחרו מיקומי קוד גסים המייצגים מבנה שיש לשמר, כגון תחילית המכסה את טווח חתימת הפונקציה.
3. יצירה מחדש יש להריץ יצירה בדידה ממוסכת רק על המיקומים שאינם נעולים, ולפענח את ההיררכיה שהושלמה בחזרה לקוד מקור.
4. בחינה לפני קבלת יצירה מחודשת, יש למדוד את שיעור הניתוח התחבירי, מדדי הקירוב המבניים, השינוי במיקומים שאינם נעולים ואת ייחודיות הדגימה.

![קודי תוכנית גסים שנבחרו נותרים קבועים, ואילו קודים בדידים עדינים וממוסכים נוצרים מחדש ומפוענחים לפונקציית Python ששונתה.](https://aogavrilov.com/publications/inspectable-control/hierarchical-discrete-latent-code-editing.svg)

**עריכה היררכית של קוד לטנטי בדיד משמרת רכיבים נבחרים במבנה הגס של התוכנית, ובה בעת יוצרת מחדש קודים עדינים באזור הניתן לעריכה.* מקור: [תרשים הסבר שיצרו המחברים על סמך השיטה והתוצאות שפורסמו.](https://doi.org/10.1145/3803437.3807386) . תנאי שימוש חוזר: [CC BY 4.0](https://creativecommons.org/licenses/by/4.0/) . אזכור מוצע: Gavrilov et al. (2026), Inspectable Control for Structure-Preserving Software Regeneration. [הורדת SVG](https://aogavrilov.com/publications/inspectable-control/hierarchical-discrete-latent-code-editing.svg) .*

### רעיון מרכזי

השליטה מופעלת על ייצוג נלמד שמעל לרמת האסימונים: מיקומים לטנטיים גסים מגדירים במפורש היכן אפשר להקפיא את המבנה, בעוד פרטי מימוש סמוכים נותרים ניתנים לעריכה.

### הבדלים מגישות קרובות

אילוצים ברמת ההנחיה או ברמת האסימון פועלים על הטקסט הגלוי. הממשק המוצע חושף נקודות בקרה בדידות גסות ועדינות ומודד את האיזון המתקבל בין יציבות לחופש.

### מה חדש

העבודה מציגה ומעריכה שכבת בקרה חבויה היררכית הניתנת לבחינה, המיועדת ליצירה מחדש תחומה של תוצרי תוכנה.

## שאלות שמאמר זה מסייע להשיב עליהן

## 

פתחו שאלה לקבלת תשובה תמציתית המעוגנת במאמר. גבולות הראיות המפורטים מופיעים בסעיף המגבלות.

1. כיצד יכולה בינה מלאכותית לערוך קוד בלי לשכתב את הכול? המאמר חוקר יצירה חלקית מחדש של קוד מעל לרמת האסימון. VQ-VAE היררכי ממפה פונקציית Python קצרה לקודים בדידים גסים ועדינים; מיקומים גסים נבחרים ננעלים, ויצירה בדידה ממוסכת משנה רק את יתר המיקומים הלטנטיים לפני הפענוח. כך מתקבל גבול שימור מפורש במקום יצירה מחדש של הפונקציה כולה.
2. אילו שיטות משמרות את מבנה התוכנית במהלך יצירת קוד? עבודה זו בוחנת בקרה חבויה בדידה והיררכית. אפשר לקבע מיקומים חבויים גסים בעת שהמיקומים שאינם נעולים נוצרים מחדש, ולאחר מכן למדוד את שיעור הניתוח התחבירי ומדדי עקיפין מבניים. הראיות נוגעות ליציבות מבנית הסתברותית בפונקציות Python קצרות; הן אינן מבססות שימור AST מדויק, שקילות סמנטית או נכונות תפקודית.
3. האם משתנים לטנטיים בדידים היררכיים יכולים לאפשר שליטה מקומית בקוד? בניסוי המדווח שכלל 2,000 פונקציות, נעילת ארבעה קודים ברמה העליונה הגדילה את שיעור הניתוח התחבירי מ־0.453 ל־0.591. במקביל, 0.936 מן המיקומים שלא ננעלו השתנו, ו־0.998 מן הדגימות המותנות היו ייחודיות. תוצאות אלה הן ראיות ראשוניות לכך שאילוצים גסים במרחב הסמוי יכולים לשמר חלק מן המבנה בלי לבטל את חופש העריכה המקומית או את מגוון הדגימות.
4. כיצד אפשר לאזן ביצירת קוד בין יציבות מבנית לבין גיוון? המאמר מעריך יציבות וחופש במשותף, במקום למטב תקינות בלבד. נעילת קודים גסים מעלה את התקינות התחבירית, בעוד שהשינוי במיקומים שלא ננעלו נותר גבוה והדגימות המותנות נותרות ייחודיות כמעט לחלוטין. התוצאה מדגימה שקלול תמורות מדיד בין יציבות לחופש בתצורה שנבדקה, ולא נקודת מיטב אוניברסלית.
5. כיצד עבודה זו קשורה לעריכת קוד בסיוע LLM? המודל שנבדק הוא VQ-VAE היררכי עם יצירה בדידה ממוסכת, ולא מודל שפה גדול. עם זאת, בעיית הבקרה רלוונטית לעריכה בסיוע LLM, משום ששינויים מיותרים מחוץ לאזור המבוקש הם בעיה מעשית. תרומת המאמר היא מנגנון משלים במרחב חבוי ומסגרת הערכה, ולא אמת מידה לעריכה באמצעות LLM.

## השוואה לגישות קרובות

## 

| יכולת | בקרה ברמת האסימון | בקרה היררכית במרחב הסמוי |
| --- | --- | --- |
| הקפאת המבנה הגס | מוגבל | נעילה מובנית של קוד גס |
| יצירה מחודשת חלקית | אילוצי מעטפת שבריריים | דגימה חוזרת ממוסכת של קודים נבחרים |
| נקודות בקרה הניתנות לבחינה | ללא שכבת ביניים מפורשת | מיקומים בדידים גסים ועדינים |
| הראיות במאמר זה | לא הוערך כקו בסיס מלא | אבחון יציבות תחבירית וחופש עריכה |

הטבלה מתארת ממשקים ואת הראיות שנמדדו במחקר; אין בה טענה לנכונות תפקודית או לעליונות אוניברסלית.

## רלוונטיות והיקף

## 

המאמר רלוונטי במיוחד לעבודות הזקוקות לשליטה מפורשת במה שהתמרת קוד בסיוע בינה מלאכותית רשאית לשנות ובחלקי התוכנית שעליהם להישאר יציבים.

1. יצירת קוד נשלטת המשמרת מבנה
2. תיקון מקומי של תוכניות ושכתוב מבני תחום
3. ייצוגים בדידים היררכיים לקוד מקור
4. יצירה בדידה ממוסכת של קוד מקור
5. בקרה במרחב הסמוי על תוצרי תוכנה

## מגבלות

## 

- המחקר מוגבל לפונקציות Python קצרות שנקטמו לאורך של 64 אסימונים.
- ההערכה משתמשת בפענוח argmax ובמדדים עקיפים לתקינות תחבירית וליציבות מבנית, ולא בבדיקות של שקילות תפקודית.
- היכולת לשמר את החתימה במדויק עודנה מוגבלת.
- בקרה ברמה נמוכה חלשה מבקרה ברמה העליונה.
- המיקומים במרחב הסמוי עדיין אינם מיושרים עם אזורים סמנטיים כגון מקטעי AST, חתימות או מבנה זרימת בקרה.
- התוצאות אינן מבססות נכונות עבור תיקון מעשי, ארגון קוד מחדש או שינויים ברמת המאגר.

## מקורות המצוטטים במאמר

## 

רשומות אלה תואמות לסעיפים הממוספרים בפרק References בקובץ ה-PDF של המאמר.

1. Ali Razavi, Aaron van den Oord, Oriol Vinyals. 2019 . [Generating Diverse High-Fidelity Images with VQ-VAE-2](https://arxiv.org/abs/1906.00446) . Advances in Neural Information Processing Systems .
2. Jacob Austin, Daniel D. Johnson, Jonathan Ho, Daniel Tarlow, Rianne van den Berg. 2021 . [Structured Denoising Diffusion Models in Discrete State-Spaces](https://arxiv.org/abs/2107.03006) . Advances in Neural Information Processing Systems .
3. Subham Sekhar Sahoo, Marianne Arriola, Yair Schiff, Aaron Gokaslan, Edgar Marroquin, Justin T Chiu, Alexander Rush, Volodymyr Kuleshov. 2024 . [Simple and Effective Masked Diffusion Language Models](https://arxiv.org/abs/2406.07524) . Advances in Neural Information Processing Systems .
4. Shraddha Barke, Michael B. James, Nadia Polikarpova. 2023 . [Grounded Copilot: How Programmers Interact with Code-Generating Models](https://doi.org/10.1145/3586030) . Proceedings of the ACM on Programming Languages .
5. Fengji Zhang, Bei Chen, Yue Zhang, Jacky Keung, Jin Liu, Daoguang Zan, Yi Mao, Jian-Guang Lou, Weizhu Chen. 2023 . [RepoCoder: Repository-Level Code Completion Through Iterative Retrieval and Generation](https://doi.org/10.18653/v1/2023.emnlp-main.151) . Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing .

## משאבים ויכולת שחזור

## 

### הצהרת נתונים

## גרסאות

## 

1. **גרסה שפורסמה** [ACM FSE Companion, 2026](https://doi.org/10.1145/3803437.3807386)
2. **כתב יד של המחברים** [כתב יד סופי לפרסום הנגיש כטקסט, עם רשימת המחברים הסופית ו-DOI](https://aogavrilov.com/publications/inspectable-control/paper.pdf)
3. **עותק חיצוני של הטקסט המלא** [כתב־יד של המחבר ברישיון CC BY 4.0 ב-Hugging Face](https://huggingface.co/datasets/aogavrilov/inspectable-control-results/resolve/main/paper.pdf)
4. **פתיחת הרשומה במאגר** [רשומת Zenodo המאונדקסת בידי OpenAIRE](https://zenodo.org/records/21605395)
5. **פתיחת הטקסט המלא במאגר** [כתב יד של המחבר ב-Zenodo ברישיון CC BY 4.0; זהה מבחינת הטקסט לכתב היד המקומי](https://zenodo.org/records/21605395/files/fse2026-posters-final11%20%284%29.pdf?download=1)
6. **משאבי המחברים** [כרזה ומצגת שקופיות](https://aogavrilov.com/publications/inspectable-control/media/)
7. **רשומה ביבליוגרפית** [DBLP](https://dblp.org/rec/conf/sigsoft/GavrilovGMMM26)
8. **פתיחת הרשומה האקדמית** [OpenAlex](https://openalex.org/W7169573479)
9. **רשומת גרף ציטוטים** [Semantic Scholar](https://www.semanticscholar.org/paper/93c3de037596ce177d9d882d214ccad5c5405b00)
10. **טקסט מלא ששיתפו המחברים** [ResearchGate](https://www.researchgate.net/publication/410435483_Inspectable_Control_for_Structure-Preserving_Software_Regeneration)
11. **סיכום בלשון בהירה** [הערכה](https://www.growkudos.com/publications/10.1145%252F3803437.3807386/reader)

ה-DOI שפורסם הוא המזהה הביבליוגרפי העיקרי. עמוד זה נותר כתובת ה-URL הקנונית היחידה של הפרויקט בכל הגרסאות.

## פרסום קשור

- [Where Quality Breaks in Compressed Short-Text Generation: Staged Bottleneck Localization](https://aogavrilov.com/he/publications/where-quality-breaks/)

לקריאת [עריכת קוד נשלטת](https://aogavrilov.com/he/projects/discrete-latent-generation/) מדריך מחקר. [על המחבר](https://aogavrilov.com/about/) .

### רשומות מחקר ממוקדות

תשובות המותאמות לכוונה, עם גבולות ראייתיים וקישורים חזרה למאמר זה.

- [שינוי מקומי של קוד באמצעות מודלים גנרטיביים](https://aogavrilov.com/he/research-notes/localized-code-modification-generative-models/)
- [יצירת קוד תחת אילוצים להנדסת תוכנה](https://aogavrilov.com/he/research-notes/constrained-code-generation-software-engineering/)
- [ארגון קוד מחדש בסיוע AI: שיטות וראיות](https://aogavrilov.com/he/research-notes/ai-assisted-refactoring-evidence/)
- [יצירת קוד ניתנת לחיזוי מחייבת חוזה שימור](https://aogavrilov.com/he/research-notes/predictable-code-generation-preservation-contract/)