Runtime verification
ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯು ಚಾಲನೆಯಲ್ಲಿರುವ ವ್ಯವಸ್ಥೆಯಿಂದ ಮಾಹಿತಿಯನ್ನು ಹೊರತೆಗೆಯುವ ಮತ್ತು ಕೆಲವು ಗುಣಲಕ್ಷಣಗಳನ್ನು ತೃಪ್ತಿಪಡಿಸುವ ಅಥವಾ ಉಲ್ಲಂಘಿಸುವ ಗಮನಿಸಿದ ನಡವಳಿಕೆಗಳನ್ನು ಪತ್ತೆಹಚ್ಚಲು ಮತ್ತು ಬಹುಶಃ ಪ್ರತಿಕ್ರಿಯಿಸಲು ಅದನ್ನು ಬಳಸುವ ಆಧಾರದ ಮೇಲೆ ಕಂಪ್ಯೂಟಿಂಗ್ ಸಿಸ್ಟಮ್ ವಿಶ್ಲೇಷಣೆ ಮತ್ತು ಕಾರ್ಯಗತಗೊಳಿಸುವ ವಿಧಾನವಾಗಿದೆ. ಡಟಾರಸ್ ಮತ್ತು ಡೆಡ್ಲಾಕ್ ಫ್ರೀಡಮ್ನಂತಹ ಕೆಲವು ನಿರ್ದಿಷ್ಟ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಎಲ್ಲಾ ವ್ಯವಸ್ಥೆಗಳಿಂದ ತೃಪ್ತಿಪಡಿಸಲು ಬಯಸುತ್ತಾರೆ ಮತ್ತು ಅವುಗಳನ್ನು ಕ್ರಮಾವಳಿಯಂತೆ ಉತ್ತಮವಾಗಿ ಕಾರ್ಯಗತಗೊಳಿಸಬಹುದು. ಇತರ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಔಪಚಾರಿಕ ವಿಶೇಷಣಗಳಾಗಿ ಹೆಚ್ಚು ಅನುಕೂಲಕರವಾಗಿ ಸೆರೆಹಿಡಿಯಬಹುದು. ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ವಿಶೇಷಣಗಳನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಸೀಮಿತ ಸ್ಥಿತಿ ಯಂತ್ರಗಳು, ನಿಯಮಿತ ಅಭಿವ್ಯಕ್ತಿಗಳು, ಸಂದರ್ಭ-ಮುಕ್ತ ಮಾದರಿಗಳು, ರೇಖೀಯ ತಾತ್ಕಾಲಿಕ ತರ್ಕಗಳು, ಇತ್ಯಾದಿ ಅಥವಾ ಇವುಗಳ ವಿಸ್ತರಣೆಗಳಂತಹ ಟ್ರೇಸ್ ಪ್ರಿಡಿಕೇಟ್ ಔಪಚಾರಿಕತೆಗಳಲ್ಲಿ ವ್ಯಕ್ತಪಡಿಸಲಾಗುತ್ತದೆ. ಇದು ಸಾಮಾನ್ಯ ಪರೀಕ್ಷೆಗಿಂತ ಕಡಿಮೆ ತಾತ್ಕಾಲಿಕ ವಿಧಾನಕ್ಕೆ ಅವಕಾಶ ನೀಡುತ್ತದೆ. ಆದಾಗ್ಯೂ, ಕಾರ್ಯಗತಗೊಳಿಸುವ ವ್ಯವಸ್ಥೆಯನ್ನು ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡುವ ಯಾವುದೇ ಕಾರ್ಯವಿಧಾನವನ್ನು ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆ ಎಂದು ಪರಿಗಣಿಸಲಾಗುತ್ತದೆ, ಇದರಲ್ಲಿ ಪರೀಕ್ಷಾ ಒರಾಕಲ್ಗಳ ವಿರುದ್ಧ ಪರಿಶೀಲಿಸುವುದು ಮತ್ತು ಉಲ್ಲೇಖ ಅನುಷ್ಠಾನಗಳು ಸೇರಿವೆ. ಔಪಚಾರಿಕ ಅವಶ್ಯಕತೆಗಳ ನಿರ್ದಿಷ್ಟತೆಗಳನ್ನು ಒದಗಿಸಿದಾಗ, ಮಾನಿಟರ್ಗಳನ್ನು ಅವುಗಳಿಂದ ಸಂಶ್ಲೇಷಿಸಲಾಗುತ್ತದೆ ಮತ್ತು ಉಪಕರಣಗಳ ಮೂಲಕ ವ್ಯವಸ್ಥೆಯೊಳಗೆ ತುಂಬಿಸಲಾಗುತ್ತದೆ. ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯನ್ನು ಸುರಕ್ಷತೆ ಅಥವಾ ಸುರಕ್ಷತಾ ನೀತಿಯ ಮೇಲ್ವಿಚಾರಣೆ, ಡೀಬಗ್ಗಿಂಗ್, ಪರೀಕ್ಷೆ, ಪರಿಶೀಲನೆ, ಊರ್ಜಿತಗೊಳಿಸುವಿಕೆ, ಪ್ರೊಫೈಲಿಂಗ್, ದೋಷ ರಕ್ಷಣೆ, ನಡವಳಿಕೆಯ ಮಾರ್ಪಾಡು (ಉದಾಹರಣೆಗೆ, ಮರುಪಡೆಯುವಿಕೆ) ಮುಂತಾದ ಅನೇಕ ಉದ್ದೇಶಗಳಿಗಾಗಿ ಬಳಸಬಹುದು. ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯು ಸಾಂಪ್ರದಾಯಿಕ ಔಪಚಾರಿಕ ಪರಿಶೀಲನಾ ತಂತ್ರಗಳ ಸಂಕೀರ್ಣತೆಯನ್ನು ತಪ್ಪಿಸುತ್ತದೆ, ಉದಾಹರಣೆಗೆ ಮಾದರಿ ಪರಿಶೀಲನೆ ಮತ್ತು ಸಿದ್ಧಾಂತವನ್ನು ಸಾಬೀತುಪಡಿಸುವುದು, ಕೇವಲ ಒಂದು ಅಥವಾ ಕೆಲವು ಕಾರ್ಯಗತಗೊಳಿಸುವ ಕುರುಹುಗಳನ್ನು ವಿಶ್ಲೇಷಿಸುವ ಮೂಲಕ ಮತ್ತು ನಿಜವಾದ ವ್ಯವಸ್ಥೆಯೊಂದಿಗೆ ನೇರವಾಗಿ ಕೆಲಸ ಮಾಡುವ ಮೂಲಕ, ಹೀಗಾಗಿ ತುಲನಾತ್ಮಕವಾಗಿ ಉತ್ತಮವಾಗಿ ಸ್ಕೇಲಿಂಗ್ ಮಾಡುವುದು ಮತ್ತು ಫಲಿತಾಂಶಗಳಲ್ಲಿ ಹೆಚ್ಚಿನ ವಿಶ್ವಾಸವನ್ನು ನೀಡುತ್ತದೆ ವಿಶ್ಲೇಷಣೆಯ (ಏಕೆಂದರೆ ಇದು ಕಡಿಮೆ ವ್ಯಾಪ್ತಿಯ ವೆಚ್ಚದಲ್ಲಿ ವ್ಯವಸ್ಥೆಯನ್ನು ಔಪಚಾರಿಕವಾಗಿ ರೂಪಿಸುವ ಬೇಸರದ ಮತ್ತು ದೋಷ-ಪೀಡಿತ ಹಂತವನ್ನು ತಪ್ಪಿಸುತ್ತದೆ). ಇದಲ್ಲದೆ, ಅದರ ಪ್ರತಿಫಲಿತ ಸಾಮರ್ಥ್ಯಗಳ ಮೂಲಕ ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯನ್ನು ಗುರಿ ವ್ಯವಸ್ಥೆಯ ಅವಿಭಾಜ್ಯ ಅಂಗವನ್ನಾಗಿ ಮಾಡಬಹುದು, ನಿಯೋಜನೆಯ ಸಮಯದಲ್ಲಿ ಅದರ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯನ್ನು ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡಬಹುದು ಮತ್ತು ಮಾರ್ಗದರ್ಶನ ಮಾಡಬಹುದು. ಕಾರ್ಯಗತಗೊಳಿಸುವ ವ್ಯವಸ್ಥೆಗಳು ಅಥವಾ ಪ್ರೋಗ್ರಾಂಗಳ ವಿರುದ್ಧ ಔಪಚಾರಿಕವಾಗಿ ಅಥವಾ ಅನೌಪಚಾರಿಕವಾಗಿ ನಿರ್ದಿಷ್ಟಪಡಿಸಿದ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಪರಿಶೀಲಿಸುವುದು ಹಳೆಯ ವಿಷಯವಾಗಿದೆ (ಗಮನಾರ್ಹ ಉದಾಹರಣೆಗಳೆಂದರೆ ಸಾಫ್ಟ್ವೇರ್ನಲ್ಲಿ ಡೈನಾಮಿಕ್ ಟೈಪಿಂಗ್, ಅಥವಾ ವೈಫಲ್ಯ-ಸುರಕ್ಷಿತ ಸಾಧನಗಳು ಅಥವಾ ಹಾರ್ಡ್ವೇರ್ನಲ್ಲಿನ ವಾಚ್ಡಾಗ್ ಟೈಮರ್ಗಳು), ಅವುಗಳ ನಿಖರವಾದ ಮೂಲಗಳನ್ನು ಗುರುತಿಸುವುದು ಕಷ್ಟ. ಔಪಚಾರಿಕ ಪರಿಶೀಲನೆ ಮತ್ತು ಪರೀಕ್ಷೆಯ ನಡುವಿನ ಗಡಿಯಲ್ಲಿನ ಸಮಸ್ಯೆಗಳನ್ನು ಪರಿಹರಿಸುವ ಗುರಿಯನ್ನು ಹೊಂದಿರುವ 2001 ರ ಕಾರ್ಯಾಗಾರದ ಹೆಸರಾಗಿ ಪರಿಭಾಷೆಯ ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯನ್ನು ಔಪಚಾರಿಕವಾಗಿ ಪರಿಚಯಿಸಲಾಯಿತು. ದೊಡ್ಡ ಕೋಡ್ ಬೇಸ್ಗಳಿಗೆ, ಕೈಯಿಂದ ಪರೀಕ್ಷಾ ಪ್ರಕರಣಗಳನ್ನು ಬರೆಯುವುದು ಬಹಳ ಸಮಯ ತೆಗೆದುಕೊಳ್ಳುತ್ತದೆ. ಇದಲ್ಲದೆ, ಅಭಿವೃದ್ಧಿಯ ಸಮಯದಲ್ಲಿ ಎಲ್ಲಾ ದೋಷಗಳನ್ನು ಪತ್ತೆಹಚ್ಚಲಾಗುವುದಿಲ್ಲ. ಬಾಹ್ಯಾಕಾಶ ನೌಕೆ, ರೋವರ್ಗಳು ಮತ್ತು ಏವಿಯಾನಿಕ್ಸ್ ತಂತ್ರಜ್ಞಾನದಲ್ಲಿ ಹೆಚ್ಚಿನ ಸುರಕ್ಷತಾ ಮಾನದಂಡಗಳನ್ನು ಸಂಗ್ರಹಿಸಲು ನಾಸಾ ಅಮೆಸ್ ಸಂಶೋಧನಾ ಕೇಂದ್ರದಲ್ಲಿ ಕ್ಲಾಸ್ ಹ್ಯಾವೆಲಂಡ್ ಮತ್ತು ಗ್ರಿಗೋರ್ ರೋಸು ಅವರು ಸ್ವಯಂಚಾಲಿತ ಪರಿಶೀಲನೆಗೆ ಆರಂಭಿಕ ಕೊಡುಗೆಗಳನ್ನು ನೀಡಿದರು. ಅವರು ತಾತ್ಕಾಲಿಕ ತರ್ಕದಲ್ಲಿ ವಿಶೇಷಣಗಳನ್ನು ಪರಿಶೀಲಿಸಲು ಮತ್ತು ಏಕ ಕಾರ್ಯಗತಗೊಳಿಸುವ ಮಾರ್ಗಗಳನ್ನು ವಿಶ್ಲೇಷಿಸುವ ಮೂಲಕ ಜಾವಾ ಕಾರ್ಯಕ್ರಮಗಳಲ್ಲಿ ಓಟದ ಪರಿಸ್ಥಿತಿಗಳು ಮತ್ತು ಡೆಡ್ಲಾಕ್ಗಳನ್ನು ಪತ್ತೆಹಚ್ಚಲು ಒಂದು ಸಾಧನವನ್ನು ಪ್ರಸ್ತಾಪಿಸಿದರು. ಪ್ರಸ್ತುತ, ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ತಂತ್ರಗಳನ್ನು ವಿವಿಧ ಪರ್ಯಾಯ ಹೆಸರುಗಳೊಂದಿಗೆ ಪ್ರಸ್ತುತಪಡಿಸಲಾಗುತ್ತದೆ, ಉದಾಹರಣೆಗೆ ರನ್ಟೈಮ್ ಮಾನಿಟರಿಂಗ್, ರನ್ಟೈಮ್ ಚೆಕಿಂಗ್, ರನ್ಟೈಮ್ ರಿಫ್ಲೆಕ್ಷನ್, ರನ್ಟೈಮ್ ಅನಾಲಿಸಿಸ್, ಡೈನಾಮಿಕ್ ಅನಾಲಿಸಿಸ್, ರನ್ಟೈಮ್/ಡೈನಾಮಿಕ್ ಸಿಂಬಾಲಿಕ್ ಅನಾಲಿಸಿಸ್, ಟ್ರೇಸ್ ಅನಾಲಿಸಿಸ್, ಲಾಗ್ ಫೈಲ್ ಅನಾಲಿಸಿಸ್, ಇತ್ಯಾದಿ. ನಿಯೋಜನೆಯ ಮೊದಲು ಬಳಸಿದಾಗ ಪರೀಕ್ಷೆ (ವಿಶೇಷವಾಗಿ ಮಾದರಿ-ಆಧಾರಿತ ಪರೀಕ್ಷೆ) ಮತ್ತು ನಿಯೋಜನೆಯ ಸಮಯದಲ್ಲಿ ಬಳಸಿದಾಗ ದೋಷ-ಸಹಿಷ್ಣು ವ್ಯವಸ್ಥೆಗಳಂತಹ ಇತರ ಸುಸ್ಥಾಪಿತ ಕ್ಷೇತ್ರಗಳೊಂದಿಗೆ ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯು ನಿಕಟ ಸಂಬಂಧವನ್ನು ಹೊಂದಿದೆ. ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯ ವಿಶಾಲ ಪ್ರದೇಶದೊಳಗೆ, ಒಬ್ಬರು ಹಲವಾರು ವರ್ಗಗಳನ್ನು ಪ್ರತ್ಯೇಕಿಸಬಹುದು, ಉದಾಹರಣೆಗೆಃ ಪರಮಾಣುಗಳಂತಹ ಬಹುತೇಕ ಏಕಕಾಲೀನ-ಸಂಬಂಧಿತ ಗುಣಲಕ್ಷಣಗಳ ಸ್ಥಿರ ಗುಂಪನ್ನು ಗುರಿಯಾಗಿಸುವ "ವಿವರಣೆ-ಕಡಿಮೆ" ಮೇಲ್ವಿಚಾರಣೆ. ಈ ಕ್ಷೇತ್ರದಲ್ಲಿ ಪ್ರವರ್ತಕ ಕೆಲಸವೆಂದರೆ ಸ್ಯಾವೇಜ್ ಮತ್ತು ಇತರರು. ತಾತ್ಕಾಲಿಕ ತರ್ಕದ ನಿರ್ದಿಷ್ಟತೆಗಳಿಗೆ ಸಂಬಂಧಿಸಿದಂತೆ ಎರೇಸರ್ ಅಲ್ಗಾರಿದಮ್ ಮೇಲ್ವಿಚಾರಣೆಯೊಂದಿಗೆ; ಈ ದಿಕ್ಕಿನಲ್ಲಿ ಆರಂಭಿಕ ಕೊಡುಗೆಗಳನ್ನು ಲೀ, ಕಣ್ಣನ್ ಮತ್ತು ಅವರ ಸಹಯೋಗಿಗಳು ಮತ್ತು ಹ್ಯಾವೆಲಂಡ್ ಮತ್ತು ರೋಸು ಮಾಡಿದ್ದಾರೆ. ಮೂಲಭೂತ ವಿಧಾನಗಳು ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ವಿಧಾನಗಳ ವಿಶಾಲ ಕ್ಷೇತ್ರವನ್ನು ಮೂರು ಆಯಾಮಗಳಿಂದ ವರ್ಗೀಕರಿಸಬಹುದುಃ ಕಾರ್ಯಗತಗೊಳಿಸುವ ಸಮಯದಲ್ಲಿ (ಆನ್ಲೈನ್) ಅಥವಾ ಕಾರ್ಯಗತಗೊಳಿಸಿದ ನಂತರ ವ್ಯವಸ್ಥೆಯನ್ನು ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡಬಹುದು. ಲಾಗ್ ವಿಶ್ಲೇಷಣೆಯ ರೂಪದಲ್ಲಿ (ಆಫ್ಲೈನ್). ಪರಿಶೀಲನಾ ಸಂಕೇತವನ್ನು ವ್ಯವಸ್ಥೆಯಲ್ಲಿ ಸಂಯೋಜಿಸಲಾಗಿದೆ (ಆಸ್ಪೆಕ್ಟ್-ಓರಿಯೆಂಟೆಡ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ನಲ್ಲಿ ಮಾಡಿದಂತೆ) ಅಥವಾ ಬಾಹ್ಯ ಘಟಕವಾಗಿ ಒದಗಿಸಲಾಗಿದೆ. ಮಾನಿಟರ್ ಅಪೇಕ್ಷಿತ ನಿರ್ದಿಷ್ಟತೆಯ ಉಲ್ಲಂಘನೆ ಅಥವಾ ಊರ್ಜಿತಗೊಳಿಸುವಿಕೆಯನ್ನು ವರದಿ ಮಾಡಬಹುದು. ಆದಾಗ್ಯೂ, ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯಲ್ಲಿನ ಮೂಲ ಪ್ರಕ್ರಿಯೆಯು ಇದೇ ರೀತಿ ಉಳಿದಿದೆಃ ಕೆಲವು ಔಪಚಾರಿಕ ವಿವರಣೆಯಿಂದ ಮಾನಿಟರ್ ಅನ್ನು ರಚಿಸಲಾಗಿದೆ. ಆಸ್ತಿಯನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸಿದ ಔಪಚಾರಿಕ ಭಾಷೆಯ ಸೂತ್ರಗಳಿಗೆ ಸಮಾನವಾದ ಸ್ವಯಂಚಾಲಿತತೆ ಇದ್ದರೆ ಈ ಪ್ರಕ್ರಿಯೆಯನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಸ್ವಯಂಚಾಲಿತವಾಗಿ ಮಾಡಬಹುದು. ನಿಯಮಿತ ಅಭಿವ್ಯಕ್ತಿಯನ್ನು ಪರಿವರ್ತಿಸಲು, ಸೀಮಿತ-ಸ್ಥಿತಿಯ ಯಂತ್ರವನ್ನು ಬಳಸಬಹುದು; ರೇಖೀಯ ತಾತ್ಕಾಲಿಕ ತರ್ಕದಲ್ಲಿನ ಒಂದು ಗುಣವನ್ನು ಬುಚಿ ಸ್ವಯಂಚಾಲಿತವಾಗಿ ಪರಿವರ್ತಿಸಬಹುದು (ಬುಚಿ ಸ್ವಯಂಚಾಲಿತಕ್ಕೆ ರೇಖೀಯ ತಾತ್ಕಾಲಿಕ ತರ್ಕವನ್ನು ಸಹ ನೋಡಿ). ಈ ವ್ಯವಸ್ಥೆಯು ಅದರ ಕಾರ್ಯಗತ ಸ್ಥಿತಿಗೆ ಸಂಬಂಧಿಸಿದ ಘಟನೆಗಳನ್ನು ಮಾನಿಟರ್ಗೆ ಕಳುಹಿಸಲು ಸಾಧನವಾಗಿದೆ. ಈ ವ್ಯವಸ್ಥೆಯನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸಲಾಗುತ್ತದೆ ಮತ್ತು ಮಾನಿಟರ್ನಿಂದ ಪರಿಶೀಲಿಸಲಾಗುತ್ತದೆ. ಮಾನಿಟರ್ ಸ್ವೀಕರಿಸಿದ ಘಟನೆಯ ಕುರುಹುಗಳನ್ನು ಪರಿಶೀಲಿಸುತ್ತದೆ ಮತ್ತು ವಿವರಣೆಯು ತೃಪ್ತಿಯಾಗಿದೆಯೇ ಎಂಬ ತೀರ್ಪನ್ನು ನೀಡುತ್ತದೆ. ಹೆಚ್ಚುವರಿಯಾಗಿ, ಮಾನಿಟರ್ ತಪ್ಪಾದ ನಡವಳಿಕೆಯನ್ನು ಸರಿಪಡಿಸಲು ವ್ಯವಸ್ಥೆಗೆ ಪ್ರತಿಕ್ರಿಯೆಯನ್ನು ಕಳುಹಿಸುತ್ತದೆ. ಆಫ್ಲೈನ್ ಮೇಲ್ವಿಚಾರಣೆಯನ್ನು ಬಳಸುವಾಗ ಕಾರಣದ ವ್ಯವಸ್ಥೆಯು ಯಾವುದೇ ಪ್ರತಿಕ್ರಿಯೆಯನ್ನು ಸ್ವೀಕರಿಸುವುದಿಲ್ಲ, ಏಕೆಂದರೆ ಪರಿಶೀಲನೆಯನ್ನು ನಂತರದ ಹಂತದಲ್ಲಿ ಮಾಡಲಾಗುತ್ತದೆ. ಉದಾಹರಣೆಗಳು ಈ ಕೆಳಗಿನ ಉದಾಹರಣೆಗಳು ಈ ಬರವಣಿಗೆಯ ಸಮಯದಲ್ಲಿ (ಏಪ್ರಿಲ್ 2011) ಹಲವಾರು ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ಗುಂಪುಗಳು ಪರಿಗಣಿಸಿರುವ ಕೆಲವು ಸರಳ ಗುಣಲಕ್ಷಣಗಳನ್ನು, ಬಹುಶಃ ಸಣ್ಣ ವ್ಯತ್ಯಾಸಗಳೊಂದಿಗೆ ಚರ್ಚಿಸುತ್ತವೆ. ಅವುಗಳನ್ನು ಹೆಚ್ಚು ಆಸಕ್ತಿದಾಯಕವಾಗಿಸಲು, ಕೆಳಗಿನ ಪ್ರತಿಯೊಂದು ಗುಣಲಕ್ಷಣವು ವಿಭಿನ್ನ ನಿರ್ದಿಷ್ಟತೆಯ ಔಪಚಾರಿಕತೆಯನ್ನು ಬಳಸುತ್ತದೆ ಮತ್ತು ಅವೆಲ್ಲವೂ ನಿಯತಾಂಕಗಳಾಗಿವೆ. ನಿಯತಾಂಕ ಗುಣಲಕ್ಷಣಗಳು ನಿಯತಾಂಕ ಘಟನೆಗಳೊಂದಿಗೆ ರೂಪುಗೊಂಡ ಕುರುಹುಗಳ ಗುಣಲಕ್ಷಣಗಳಾಗಿವೆ, ಇವು ಡೇಟಾವನ್ನು ನಿಯತಾಂಕಗಳಿಗೆ ಬಂಧಿಸುವ ಘಟನೆಗಳಾಗಿವೆ. ಇಲ್ಲಿ ನಿಯತಾಂಕ ಗುಣಲಕ್ಷಣವು ರೂಪವನ್ನು ಹೊಂದಿದೆ, ಅಲ್ಲಿ ಸಾಮಾನ್ಯ (ದೃಢೀಕರಿಸದ) ನಿಯತಾಂಕ ಘಟನೆಗಳನ್ನು ಉಲ್ಲೇಖಿಸುವ ಕೆಲವು ಸೂಕ್ತ ಔಪಚಾರಿಕತೆಗಳಲ್ಲಿ ಒಂದು ವಿವರಣೆ ಇದೆ. ಅಂತಹ ನಿಯತಾಂಕ ಗುಣಲಕ್ಷಣಗಳ ಅಂತಃಪ್ರಜ್ಞೆಯೆಂದರೆ, ವ್ಯಕ್ತಪಡಿಸಿದ ಗುಣಲಕ್ಷಣವು ಗಮನಿಸಿದ ಜಾಡಿನೊಳಗೆ ಎದುರಾಗುವ ಎಲ್ಲಾ ನಿಯತಾಂಕ ನಿದರ್ಶನಗಳಿಗೆ (ನಿಯತಾಂಕ ಘಟನೆಗಳ ಮೂಲಕ) ಹೊಂದಿರಬೇಕು. ಈ ಕೆಳಗಿನ ಯಾವುದೇ ಉದಾಹರಣೆಗಳು ಯಾವುದೇ ನಿರ್ದಿಷ್ಟ ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ವ್ಯವಸ್ಥೆಗೆ ನಿರ್ದಿಷ್ಟವಾಗಿಲ್ಲ, ಆದರೂ ನಿಯತಾಂಕಗಳಿಗೆ ಬೆಂಬಲವು ನಿಸ್ಸಂಶಯವಾಗಿ ಅಗತ್ಯವಾಗಿದೆ. ಈ ಕೆಳಗಿನ ಉದಾಹರಣೆಗಳಲ್ಲಿ ಜಾವಾ ವಾಕ್ಯರಚನೆಯನ್ನು ಊಹಿಸಲಾಗಿದೆ, ಹೀಗಾಗಿ "= =" ತಾರ್ಕಿಕ ಸಮಾನತೆ, ಆದರೆ "=" ನಿಯೋಜನೆಯಾಗಿದೆ. ಕೆಲವು ವಿಧಾನಗಳು (ಉದಾಹರಣೆಗೆ, ಅನ್ಸೇಫೆಎನಮ್ಎಕ್ಸಾಂಪಲ್ನಲ್ಲಿನ ಅಪ್ಡೇಟ್ ()) ಡಮ್ಮಿ ವಿಧಾನಗಳಾಗಿವೆ, ಇವು ಜಾವಾ ಎಪಿಐನ ಭಾಗವಲ್ಲ, ಇವುಗಳನ್ನು ಸ್ಪಷ್ಟತೆಗಾಗಿ ಬಳಸಲಾಗುತ್ತದೆ. ಹ್ಯಾಸ್ನೆಕ್ಸ್ಟ್ ಜಾವಾ ಇಟರೇಟರ್ ಇಂಟರ್ಫೇಸ್ಗೆ ನೆಕ್ಸ್ಟ್ () ವಿಧಾನವನ್ನು ಕರೆ ಮಾಡಿ ಮತ್ತು ಮುಂದಿನ () ವಿಧಾನವನ್ನು ಕರೆಯುವ ಮೊದಲು ಟ್ರು ಅನ್ನು ಹಿಂತಿರುಗಿಸುವ ಅಗತ್ಯವಿದೆ. ಇದು ಸಂಭವಿಸದಿದ್ದರೆ, ಬಳಕೆದಾರರು ಸಂಗ್ರಹದ "ಕೊನೆಯಲ್ಲಿ" ಪುನರಾವರ್ತಿಸುವ ಸಾಧ್ಯತೆಯಿದೆ. ಬಲಭಾಗದಲ್ಲಿರುವ ಚಿತ್ರವು ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯೊಂದಿಗೆ ಈ ಆಸ್ತಿಯನ್ನು ಪರಿಶೀಲಿಸಲು ಮತ್ತು ಜಾರಿಗೊಳಿಸಲು ಸಂಭವನೀಯ ಮಾನಿಟರ್ ಅನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುವ ಸೀಮಿತ ಸ್ಥಿತಿ ಯಂತ್ರವನ್ನು ತೋರಿಸುತ್ತದೆ. ಅಜ್ಞಾತ ಸ್ಥಿತಿಯಿಂದ, ಮುಂದಿನ () ವಿಧಾನಕ್ಕೆ ಕರೆ ಮಾಡುವುದು ಯಾವಾಗಲೂ ದೋಷವಾಗಿದೆ ಏಕೆಂದರೆ ಅಂತಹ ಕಾರ್ಯಾಚರಣೆಯು ಅಸುರಕ್ಷಿತವಾಗಿರಬಹುದು. ನೆಕ್ಸ್ಟ್ () ಅನ್ನು ಕರೆದರೆ ಮತ್ತು ನಿಜವಾಗಿ ಹಿಂತಿರುಗಿದರೆ, ನೆಕ್ಸ್ಟ್ () ಅನ್ನು ಕರೆ ಮಾಡುವುದು ಸುರಕ್ಷಿತವಾಗಿದೆ, ಆದ್ದರಿಂದ ಮಾನಿಟರ್ ಹೆಚ್ಚಿನ ಸ್ಥಿತಿಯನ್ನು ಪ್ರವೇಶಿಸುತ್ತದೆ. ಆದಾಗ್ಯೂ, ನೆಕ್ಸ್ಟ್ () ವಿಧಾನವು ತಪ್ಪಾಗಿದ್ದರೆ, ಯಾವುದೇ ಅಂಶಗಳು ಇರುವುದಿಲ್ಲ ಮತ್ತು ಮಾನಿಟರ್ ಶೂನ್ಯ ಸ್ಥಿತಿಯನ್ನು ಪ್ರವೇಶಿಸುತ್ತದೆ. ಹೆಚ್ಚು ಮತ್ತು ಯಾವುದೂ ಇಲ್ಲದ ರಾಜ್ಯಗಳಲ್ಲಿ, ಹ್ಯಾಸ್ ನೆಕ್ಸ್ಟ್ () ವಿಧಾನಕ್ಕೆ ಕರೆ ಮಾಡುವುದು ಯಾವುದೇ ಹೊಸ ಮಾಹಿತಿಯನ್ನು ಒದಗಿಸುವುದಿಲ್ಲ. ಹೆಚ್ಚಿನ ಸ್ಥಿತಿಯಿಂದ ಮುಂದಿನ () ವಿಧಾನಕ್ಕೆ ಕರೆ ಮಾಡುವುದು ಸುರಕ್ಷಿತವಾಗಿದೆ, ಆದರೆ ಹೆಚ್ಚಿನ ಅಂಶಗಳು ಅಸ್ತಿತ್ವದಲ್ಲಿದ್ದರೆ ಅದು ತಿಳಿದಿರುವುದಿಲ್ಲ, ಆದ್ದರಿಂದ ಮಾನಿಟರ್ ಆರಂಭಿಕ ಅಜ್ಞಾತ ಸ್ಥಿತಿಯನ್ನು ಮರುಪ್ರವೇಶಿಸುತ್ತದೆ. ಅಂತಿಮವಾಗಿ, ನನ್ ಸ್ಟೇಟ್ನಿಂದ ಮುಂದಿನ () ವಿಧಾನಕ್ಕೆ ಕರೆ ಮಾಡುವುದರಿಂದ ದೋಷ ಸ್ಥಿತಿಯನ್ನು ಪ್ರವೇಶಿಸಲು ಕಾರಣವಾಗುತ್ತದೆ. ನಿಯತಾಂಕ ಹಿಂದಿನ ಸಮಯದ ರೇಖೀಯ ತಾತ್ಕಾಲಿಕ ತರ್ಕವನ್ನು ಬಳಸಿಕೊಂಡು ಈ ಆಸ್ತಿಯ ಪ್ರಾತಿನಿಧ್ಯವು ಈ ಕೆಳಗಿನಂತಿದೆ. ಈ ಸೂತ್ರವು ಮುಂದಿನ () ವಿಧಾನಕ್ಕೆ ಯಾವುದೇ ಕರೆಯು ತಕ್ಷಣವೇ ಕರೆ ಮಾಡುವ ಮೊದಲು ನಿಜವಾದ () ವಿಧಾನವನ್ನು ಹೊಂದಿರಬೇಕು ಎಂದು ಹೇಳುತ್ತದೆ. ಇಲ್ಲಿನ ಗುಣಲಕ್ಷಣವು ಇಟರೇಟರ್ i ನಲ್ಲಿ ನಿಯತಾಂಕವಾಗಿದೆ. ಕಲ್ಪನಾತ್ಮಕವಾಗಿ, ಇದರರ್ಥ ಪರೀಕ್ಷಾ ಕಾರ್ಯಕ್ರಮದಲ್ಲಿ ಪ್ರತಿ ಸಂಭವನೀಯ ಇಟರೇಟರ್ಗೆ ಮಾನಿಟರ್ನ ಒಂದು ಪ್ರತಿ ಇರುತ್ತದೆ, ಆದಾಗ್ಯೂ ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ವ್ಯವಸ್ಥೆಗಳು ತಮ್ಮ ನಿಯತಾಂಕ ಮಾನಿಟರ್ಗಳನ್ನು ಈ ರೀತಿಯಲ್ಲಿ ಕಾರ್ಯಗತಗೊಳಿಸಬೇಕಾಗಿಲ್ಲ. ಸೂತ್ರವನ್ನು ಉಲ್ಲಂಘಿಸಿದಾಗ ಈ ಗುಣಲಕ್ಷಣದ ಮಾನಿಟರ್ ಅನ್ನು ಹ್ಯಾಂಡ್ಲರ್ ಅನ್ನು ಪ್ರಚೋದಿಸಲು ಹೊಂದಿಸಲಾಗುತ್ತದೆ (ಸಮಾನವಾಗಿ ಸೀಮಿತ ಸ್ಥಿತಿಯ ಯಂತ್ರವು ದೋಷ ಸ್ಥಿತಿಯನ್ನು ಪ್ರವೇಶಿಸಿದಾಗ), ಇದು ಮೊದಲು ಕರೆ ಮಾಡದೆಯೇ ಮುಂದಿನ () ಅನ್ನು ಕರೆ ಮಾಡಿದಾಗ ನೆಕ್ಸ್ಟ್ (), ಅಥವಾ ನೆಕ್ಸ್ಟ್ () ಅನ್ನು ಮುಂದಿನ () ಮೊದಲು ಕರೆ ಮಾಡಿದಾಗ ಸಂಭವಿಸುತ್ತದೆ, ಆದರೆ ತಪ್ಪಾಗಿ ಹಿಂತಿರುಗುತ್ತದೆ. ಜಾವಾದಲ್ಲಿನ ವೆಕ್ಟರ್ ವರ್ಗವು ಅದರ ಅಂಶಗಳ ಮೇಲೆ ಪುನರಾವರ್ತಿಸಲು ಎರಡು ವಿಧಾನಗಳನ್ನು ಹೊಂದಿದೆ. ಹಿಂದಿನ ಉದಾಹರಣೆಯಲ್ಲಿ ನೋಡಿದಂತೆ ಒಬ್ಬರು ಇಟರೇಟರ್ ಇಂಟರ್ಫೇಸ್ ಅನ್ನು ಬಳಸಬಹುದು, ಅಥವಾ ಒಬ್ಬರು ಎನ್ಯೂಮರೇಷನ್ ಇಂಟರ್ಫೇಸ್ ಅನ್ನು ಬಳಸಬಹುದು. ಇಟರೇಟರ್ ಇಂಟರ್ಫೇಸ್ಗೆ ತೆಗೆದುಹಾಕುವ ವಿಧಾನವನ್ನು ಸೇರಿಸುವುದರ ಜೊತೆಗೆ, ಮುಖ್ಯ ವ್ಯತ್ಯಾಸವೆಂದರೆ ಇಟರೇಟರ್ "ಫೇಲ್ ಫಾಸ್ಟ್" ಆದರೆ ಎನ್ಯೂಮರೇಷನ್ ಅಲ್ಲ. ಇದರ ಅರ್ಥವೇನೆಂದರೆ, ಒಬ್ಬರು ಐಟೆರೇಟರ್ ಅನ್ನು ಬಳಸಿಕೊಂಡು ವೆಕ್ಟರ್ನ ಮೇಲೆ ಪುನರಾವರ್ತಿಸುವಾಗ ವೆಕ್ಟರ್ ಅನ್ನು ಮಾರ್ಪಡಿಸಿದರೆ (ಐಟೆರೇಟರ್ ತೆಗೆದುಹಾಕುವ ವಿಧಾನವನ್ನು ಬಳಸುವುದನ್ನು ಹೊರತುಪಡಿಸಿ), ಕಾಂಕರೆಂಟ್ ಮೋಡಿಫಿಕೇಷನ್ ಎಕ್ಸೆಪ್ಶನ್ ಅನ್ನು ಎಸೆಯಲಾಗುತ್ತದೆ. ಆದಾಗ್ಯೂ, ಎನ್ಯೂಮರೇಷನ್ ಅನ್ನು ಬಳಸುವಾಗ, ಉಲ್ಲೇಖಿಸಿದಂತೆ ಇದು ಒಂದು ಪ್ರಕರಣವಲ್ಲ. ಇದು ಪ್ರೋಗ್ರಾಂನಿಂದ ನಿರ್ಣಾಯಕವಲ್ಲದ ಫಲಿತಾಂಶಗಳಿಗೆ ಕಾರಣವಾಗಬಹುದು ಏಕೆಂದರೆ ಗಣನೆಯ ದೃಷ್ಟಿಕೋನದಿಂದ ವಾಹಕವು ಅಸಮಂಜಸ ಸ್ಥಿತಿಯಲ್ಲಿರುತ್ತದೆ. ಇನ್ನೂ ಎನ್ಯೂಮರೇಷನ್ ಇಂಟರ್ಫೇಸ್ ಅನ್ನು ಬಳಸುವ ಲೆಗಸಿ ಪ್ರೋಗ್ರಾಂಗಳಿಗೆ, ಅವುಗಳ ಆಧಾರವಾಗಿರುವ ವೆಕ್ಟರ್ ಅನ್ನು ಮಾರ್ಪಡಿಸಿದಾಗ ಎನ್ಯೂಮರೇಷನ್ಗಳನ್ನು ಬಳಸಲಾಗುವುದಿಲ್ಲ ಎಂದು ಒತ್ತಾಯಿಸಲು ಒಬ್ಬರು ಬಯಸಬಹುದು. ಈ ನಡವಳಿಕೆಯನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸಲು ಈ ಕೆಳಗಿನ ನಿಯತಾಂಕ ನಿಯಮಿತ ಮಾದರಿಯನ್ನು ಬಳಸಬಹುದುಃ ವೆಕ್ಟರ್ ವಿ, ಎನ್ಯೂಮರೇಷನ್ ಇಃ (ಇ = v.elements ()) (e.nextElement ()) * v.update () e.nextElement () ಈ ಮಾದರಿಯು ಎನ್ಯೂಮರೇಷನ್ ಮತ್ತು ವೆಕ್ಟರ್ ಎರಡರಲ್ಲೂ ನಿಯತಾಂಕವಾಗಿದೆ. ಅಂತರ್ಬೋಧೆಯಿಂದ, ಮತ್ತು ಮೇಲಿನ ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ವ್ಯವಸ್ಥೆಗಳು ತಮ್ಮ ನಿಯತಾಂಕ ಮಾನಿಟರ್ಗಳನ್ನು ಈ ರೀತಿಯಲ್ಲಿ ಕಾರ್ಯಗತಗೊಳಿಸಬೇಕಾಗಿಲ್ಲವಾದ್ದರಿಂದ, ಈ ಗುಣಲಕ್ಷಣಕ್ಕಾಗಿ ನಿಯತಾಂಕ ಮಾನಿಟರ್ ಅನ್ನು ಪ್ರತಿ ಸಂಭವನೀಯ ಜೋಡಿ ವೆಕ್ಟರ್ ಮತ್ತು ಎನ್ಯೂಮರೇಷನ್ಗೆ ನಿಯತಾಂಕವಲ್ಲದ ಮಾನಿಟರ್ ನಿದರ್ಶನವನ್ನು ರಚಿಸುವುದು ಮತ್ತು ಟ್ರ್ಯಾಕ್ ಮಾಡುವುದು ಎಂದು ಭಾವಿಸಬಹುದು. ಕೆಲವು ಘಟನೆಗಳು ಒಂದೇ ಸಮಯದಲ್ಲಿ ಹಲವಾರು ಮಾನಿಟರ್ಗಳಿಗೆ ಸಂಬಂಧಿಸಿರಬಹುದು, ಉದಾಹರಣೆಗೆ v.update (), ಆದ್ದರಿಂದ ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ವ್ಯವಸ್ಥೆಯು ಅವುಗಳನ್ನು (ಮತ್ತೆ ಪರಿಕಲ್ಪನಾತ್ಮಕವಾಗಿ) ಎಲ್ಲಾ ಆಸಕ್ತ ಮಾನಿಟರ್ಗಳಿಗೆ ಕಳುಹಿಸಬೇಕು. ಇಲ್ಲಿ ಗುಣಲಕ್ಷಣವನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸಲಾಗಿದೆ ಆದ್ದರಿಂದ ಅದು ಕಾರ್ಯಕ್ರಮದ ಕೆಟ್ಟ ನಡವಳಿಕೆಗಳನ್ನು ಹೇಳುತ್ತದೆ. ಈ ಗುಣಲಕ್ಷಣವನ್ನು, ಮಾದರಿಯ ಹೊಂದಾಣಿಕೆಗಾಗಿ ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡಬೇಕು. ಬಲಭಾಗದಲ್ಲಿರುವ ಚಿತ್ರವು ಈ ಮಾದರಿಯೊಂದಿಗೆ ಹೊಂದಿಕೆಯಾಗುವ ಜಾವಾ ಕೋಡ್ ಅನ್ನು ತೋರಿಸುತ್ತದೆ, ಹೀಗಾಗಿ ಆಸ್ತಿಯನ್ನು ಉಲ್ಲಂಘಿಸುತ್ತದೆ. ಎಣಿಕೆ, ಇ, ಅನ್ನು ರಚಿಸಿದ ನಂತರ ವೆಕ್ಟರ್, ವಿ, ಅನ್ನು ನವೀಕರಿಸಲಾಗುತ್ತದೆ ಮತ್ತು ನಂತರ ಇ ಅನ್ನು ಬಳಸಲಾಗುತ್ತದೆ. ಸೇಫ್ ಲಾಕ್ ಹಿಂದಿನ ಎರಡು ಉದಾಹರಣೆಗಳು ಸೀಮಿತ ಸ್ಥಿತಿಯ ಗುಣಲಕ್ಷಣಗಳನ್ನು ತೋರಿಸುತ್ತವೆ, ಆದರೆ ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯಲ್ಲಿ ಬಳಸುವ ಗುಣಲಕ್ಷಣಗಳು ಹೆಚ್ಚು ಸಂಕೀರ್ಣವಾಗಿರಬಹುದು. ಸೇಫ್ ಲಾಕ್ ಆಸ್ತಿಯು ಒಂದು (ಮರುಪ್ರವೇಶಿಸುವ) ಲಾಕ್ ವರ್ಗದ ಸ್ವಾಧೀನಗಳು ಮತ್ತು ಬಿಡುಗಡೆಗಳ ಸಂಖ್ಯೆಯನ್ನು ನಿರ್ದಿಷ್ಟ ವಿಧಾನದ ಕರೆಯೊಳಗೆ ಹೊಂದಿಸುವ ನೀತಿಯನ್ನು ಜಾರಿಗೊಳಿಸುತ್ತದೆ. ಇದು, ಸಹಜವಾಗಿ, ಅವುಗಳನ್ನು ಪಡೆಯುವ ವಿಧಾನಗಳನ್ನು ಹೊರತುಪಡಿಸಿ ಬೇರೆ ವಿಧಾನಗಳಲ್ಲಿ ಲಾಕ್ಗಳನ್ನು ಬಿಡುಗಡೆ ಮಾಡಲು ಅನುಮತಿಸುವುದಿಲ್ಲ, ಆದರೆ ಇದು ಪರೀಕ್ಷಿಸಿದ ವ್ಯವಸ್ಥೆಯು ಸಾಧಿಸಲು ಅಪೇಕ್ಷಣೀಯ ಗುರಿಯಾಗಿದೆ. ನಿಯತಾಂಕದ ಸಂದರ್ಭ-ಮುಕ್ತ ಮಾದರಿಯನ್ನು ಬಳಸಿಕೊಂಡು ಈ ಗುಣಲಕ್ಷಣದ ವಿವರಣೆಯನ್ನು ಕೆಳಗೆ ನೀಡಲಾಗಿದೆಃ ಥ್ರೆಡ್ t, ಲಾಕ್ l: S → ε | S ಪ್ರಾರಂಭ (t) S ಅಂತ್ಯ (t) | S l.acquire (t) S l.release (t) ಮಾದರಿಯು ಪ್ರತಿ ಥ್ರೆಡ್ ಮತ್ತು ಲಾಕ್ಗೆ (ಖಾಲಿ ಅನುಕ್ರಮ) ನೆಸ್ಟೆಡ್ ಪ್ರಾರಂಭ/ಅಂತ್ಯ ಮತ್ತು ಸ್ವಾಧೀನ/ಬಿಡುಗಡೆ ಜೋಡಿಗಳ ಸಮತೋಲಿತ ಅನುಕ್ರಮಗಳನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸುತ್ತದೆ. ಇಲ್ಲಿ ಪ್ರಾರಂಭ ಮತ್ತು ಅಂತ್ಯವು ಪ್ರೋಗ್ರಾಂನಲ್ಲಿನ ಪ್ರತಿಯೊಂದು ವಿಧಾನದ ಪ್ರಾರಂಭ ಮತ್ತು ಅಂತ್ಯವನ್ನು ಉಲ್ಲೇಖಿಸುತ್ತದೆ (ತಮ್ಮನ್ನು ತಾವು ಸ್ವಾಧೀನಪಡಿಸಿಕೊಳ್ಳುವ ಮತ್ತು ಬಿಡುಗಡೆ ಮಾಡುವ ಕರೆಗಳನ್ನು ಹೊರತುಪಡಿಸಿ). ಅವು ಥ್ರೆಡ್ನಲ್ಲಿ ನಿಯತಾಂಕಗಳಾಗಿವೆ ಏಕೆಂದರೆ ವಿಧಾನಗಳ ಪ್ರಾರಂಭ ಮತ್ತು ಅಂತ್ಯವನ್ನು ಅವು ಒಂದೇ ಥ್ರೆಡ್ಗೆ ಸೇರಿದವರಾಗಿದ್ದರೆ ಮಾತ್ರ ಸಂಯೋಜಿಸುವುದು ಅವಶ್ಯಕವಾಗಿದೆ. ಅದೇ ಕಾರಣಕ್ಕಾಗಿ ಥ್ರೆಡ್ನಲ್ಲಿ ಸ್ವಾಧೀನ ಮತ್ತು ಬಿಡುಗಡೆ ಘಟನೆಗಳು ಸಹ ನಿಯತಾಂಕಗಳಾಗಿವೆ. ಅವು ಹೆಚ್ಚುವರಿಯಾಗಿ, ಲಾಕ್ನಲ್ಲಿ ನಿಯತಾಂಕಗಳಾಗಿವೆ ಏಕೆಂದರೆ ನಾವು ಒಂದು ಲಾಕ್ನ ಬಿಡುಗಡೆಗಳನ್ನು ಇನ್ನೊಂದರ ಸ್ವಾಧೀನಗಳೊಂದಿಗೆ ಸಂಯೋಜಿಸಲು ಬಯಸುವುದಿಲ್ಲ. ವಿಪರೀತವಾಗಿ, ಥ್ರೆಡ್ನೊಂದಿಗೆ ಲಾಕ್ನ ಪ್ರತಿಯೊಂದು ಸಂಭವನೀಯ ಸಂಯೋಜನೆಗೆ ಆಸ್ತಿಯ ಒಂದು ಉದಾಹರಣೆ, ಅಂದರೆ, ಸಂದರ್ಭ-ಮುಕ್ತ ಪಾರ್ಸಿಂಗ್ ಕಾರ್ಯವಿಧಾನದ ಒಂದು ನಕಲು ಇರುವ ಸಾಧ್ಯತೆಯಿದೆ; ಇದು ಮತ್ತೆ, ಅಂತರ್ಬೋಧೆಯಿಂದ ಸಂಭವಿಸುತ್ತದೆ, ಏಕೆಂದರೆ ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ವ್ಯವಸ್ಥೆಗಳು ಅದೇ ಕಾರ್ಯವನ್ನು ವಿಭಿನ್ನವಾಗಿ ಕಾರ್ಯಗತಗೊಳಿಸಬಹುದು. ಉದಾಹರಣೆಗೆ, ಒಂದು ವ್ಯವಸ್ಥೆಯು ಥ್ರೆಡ್ಗಳನ್ನು ಹೊಂದಿದ್ದರೆ, ಮತ್ತು ಲಾಕ್ಸ್ನೊಂದಿಗೆ ಮತ್ತು, ನಂತರ ಜೋಡಿಗಳಿಗೆ ಪ್ರಾಪರ್ಟಿ ನಿದರ್ಶನಗಳನ್ನು ನಿರ್ವಹಿಸಲು ಸಾಧ್ಯವಿದೆ <,>, <,>, <,>, <,>, <,>, <,>, ಮತ್ತು <,>. ಮಾದರಿಯು ಸರಿಯಾದ ನಡವಳಿಕೆಯನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸಿರುವುದರಿಂದ ಮಾದರಿಯೊಂದಿಗೆ ಹೊಂದಿಕೆಯಾಗದ ವೈಫಲ್ಯಗಳಿಗಾಗಿ ಈ ಗುಣಲಕ್ಷಣವನ್ನು ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡಬೇಕು. ಬಲಭಾಗದಲ್ಲಿರುವ ಚಿತ್ರವು ಈ ಆಸ್ತಿಯ ಎರಡು ಉಲ್ಲಂಘನೆಗಳನ್ನು ಉಂಟುಮಾಡುವ ಕುರುಹುಗಳನ್ನು ತೋರಿಸುತ್ತದೆ. ಚಿತ್ರದಲ್ಲಿ ಕೆಳಗಿರುವ ಹಂತಗಳು ಒಂದು ವಿಧಾನದ ಆರಂಭವನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತವೆ, ಆದರೆ ಮೇಲಿನ ಹಂತಗಳು ಅಂತ್ಯವನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತವೆ. ಚಿತ್ರದಲ್ಲಿರುವ ಬೂದುಬಣ್ಣದ ಬಾಣಗಳು ಅದೇ ಲಾಕ್ನ ಕೊಟ್ಟಿರುವ ಸ್ವಾಧೀನಗಳು ಮತ್ತು ಬಿಡುಗಡೆಗಳ ನಡುವಿನ ಹೊಂದಾಣಿಕೆಯನ್ನು ತೋರಿಸುತ್ತವೆ. ಸರಳತೆಗಾಗಿ, ಜಾಡಿನ ಒಂದು ಥ್ರೆಡ್ ಮತ್ತು ಒಂದು ಲಾಕ್ ಅನ್ನು ಮಾತ್ರ ತೋರಿಸುತ್ತದೆ. ಸಂಶೋಧನಾ ಸವಾಲುಗಳು ಮತ್ತು ಅನ್ವಯಿಕೆಗಳು ಹೆಚ್ಚಿನ ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ಸಂಶೋಧನೆಯು ಕೆಳಗೆ ಪಟ್ಟಿ ಮಾಡಲಾದ ಒಂದು ಅಥವಾ ಹೆಚ್ಚಿನ ವಿಷಯಗಳನ್ನು ತಿಳಿಸುತ್ತದೆ. ರನ್ ಟೈಮ್ ಓವರ್ಹೆಡ್ ಅನ್ನು ಕಡಿಮೆ ಮಾಡುವುದು ಕಾರ್ಯಗತಗೊಳಿಸುವ ವ್ಯವಸ್ಥೆಯನ್ನು ಗಮನಿಸುವುದು ಸಾಮಾನ್ಯವಾಗಿ ಕೆಲವು ರನ್ ಟೈಮ್ ಓವರ್ಹೆಡ್ ಅನ್ನು ಉಂಟುಮಾಡುತ್ತದೆ (ಹಾರ್ಡ್ವೇರ್ ಮಾನಿಟರ್ಗಳು ಇದಕ್ಕೆ ಹೊರತಾಗಿರಬಹುದು). ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ಸಾಧನಗಳ ಓವರ್ಹೆಡ್ ಅನ್ನು ಸಾಧ್ಯವಾದಷ್ಟು ಕಡಿಮೆ ಮಾಡುವುದು ಮುಖ್ಯವಾಗಿದೆ, ವಿಶೇಷವಾಗಿ ರಚಿತವಾದ ಮಾನಿಟರ್ಗಳನ್ನು ಸಿಸ್ಟಮ್ನೊಂದಿಗೆ ನಿಯೋಜಿಸಿದಾಗ. ರನ್ಟೈಮ್ ಓವರ್ಹೆಡ್ ಕಡಿಮೆ ಮಾಡುವ ತಂತ್ರಗಳು ಈ ಕೆಳಗಿನವುಗಳನ್ನು ಒಳಗೊಂಡಿವೆಃ ಸುಧಾರಿತ ಸಲಕರಣೆ. ಕಾರ್ಯಗತಗೊಳಿಸುವ ವ್ಯವಸ್ಥೆಯಿಂದ ಘಟನೆಗಳನ್ನು ಹೊರತೆಗೆಯುವುದು ಮತ್ತು ಅವುಗಳನ್ನು ಮಾನಿಟರ್ಗಳಿಗೆ ಕಳುಹಿಸುವುದು ನಿಷ್ಕಪಟವಾಗಿ ಮಾಡಿದರೆ ದೊಡ್ಡ ರನ್ಟೈಮ್ ಓವರ್ಹೆಡ್ ಅನ್ನು ಉತ್ಪಾದಿಸಬಹುದು. ಸಾಧನವು ಅಸ್ತಿತ್ವದಲ್ಲಿರುವ ಕಾರ್ಯಗತಗೊಳಿಸುವ ದಾಖಲಾತಿಗಳನ್ನು ಸ್ಪಷ್ಟವಾಗಿ ಗುರಿಯಾಗಿಸದ ಹೊರತು, ಯಾವುದೇ ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ಸಾಧನಕ್ಕೆ ಉತ್ತಮ ಸಿಸ್ಟಮ್ ಉಪಕರಣವು ನಿರ್ಣಾಯಕವಾಗಿದೆ. ಪ್ರಸ್ತುತ ಬಳಕೆಯಲ್ಲಿ ಅನೇಕ ಸಲಕರಣೆಗಳ ವಿಧಾನಗಳಿವೆ, ಪ್ರತಿಯೊಂದೂ ಅದರ ಅನುಕೂಲಗಳು ಮತ್ತು ಅನಾನುಕೂಲಗಳನ್ನು ಹೊಂದಿದೆ, ಕಸ್ಟಮ್ ಅಥವಾ ಹಸ್ತಚಾಲಿತ ಸಲಕರಣೆಗಳಿಂದ, ವಿಶೇಷ ಗ್ರಂಥಾಲಯಗಳವರೆಗೆ, ಆಕಾರ-ಆಧಾರಿತ ಭಾಷೆಗಳಿಗೆ ಸಂಕಲಿಸುವವರೆಗೆ, ವರ್ಚುವಲ್ ಯಂತ್ರವನ್ನು ವರ್ಧಿಸುವವರೆಗೆ, ಯಂತ್ರಾಂಶ ಬೆಂಬಲವನ್ನು ನಿರ್ಮಿಸುವವರೆಗೆ. ಸ್ಥಿರ ವಿಶ್ಲೇಷಣೆಯೊಂದಿಗೆ ಸಂಯೋಜನೆ. ನಿರ್ದಿಷ್ಟವಾಗಿ ಕಂಪೈಲರ್ಗಳಲ್ಲಿ ಕಂಡುಬರುವ ಸ್ಥಿರ ಮತ್ತು ಕ್ರಿಯಾತ್ಮಕ ವಿಶ್ಲೇಷಣೆಗಳ ಸಾಮಾನ್ಯ ಸಂಯೋಜನೆಯೆಂದರೆ, ಸ್ಥಿರವಾಗಿ ಬಿಡುಗಡೆ ಮಾಡಲಾಗದ ಎಲ್ಲಾ ಅವಶ್ಯಕತೆಗಳನ್ನು ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡುವುದು. ದ್ವಂದ್ವ ಮತ್ತು ಅಂತಿಮವಾಗಿ ಸಮಾನವಾದ ವಿಧಾನವು ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯಲ್ಲಿ ರೂಢಿಯಾಗುತ್ತದೆ, ಅವುಗಳೆಂದರೆ ಸಮಗ್ರ ಮೇಲ್ವಿಚಾರಣೆಯ ಪ್ರಮಾಣವನ್ನು ಕಡಿಮೆ ಮಾಡಲು ಸ್ಥಿರ ವಿಶ್ಲೇಷಣೆಯನ್ನು ಬಳಸುವುದು. ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡುವ ಆಸ್ತಿಯ ಮೇಲೆ ಮತ್ತು ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡಬೇಕಾದ ವ್ಯವಸ್ಥೆಯ ಮೇಲೆ ಸ್ಥಿರ ವಿಶ್ಲೇಷಣೆಯನ್ನು ಮಾಡಬಹುದು. ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡಲು ಆಸ್ತಿಯ ಸ್ಥಿರ ವಿಶ್ಲೇಷಣೆಯು ಕೆಲವು ಘಟನೆಗಳನ್ನು ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡುವುದು ಅನಗತ್ಯವಾಗಿದೆ, ಕೆಲವು ಮಾನಿಟರ್ಗಳ ರಚನೆಯು ವಿಳಂಬವಾಗಬಹುದು ಮತ್ತು ಅಸ್ತಿತ್ವದಲ್ಲಿರುವ ಕೆಲವು ಮಾನಿಟರ್ಗಳು ಎಂದಿಗೂ ಪ್ರಚೋದಿಸುವುದಿಲ್ಲ ಮತ್ತು ಆದ್ದರಿಂದ ಕಸವನ್ನು ಸಂಗ್ರಹಿಸಬಹುದು ಎಂದು ಬಹಿರಂಗಪಡಿಸಬಹುದು. ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡುವ ವ್ಯವಸ್ಥೆಯ ಸ್ಥಿರ ವಿಶ್ಲೇಷಣೆಯು ಮಾನಿಟರ್ಗಳ ಮೇಲೆ ಎಂದಿಗೂ ಪ್ರಭಾವ ಬೀರದ ಕೋಡ್ ಅನ್ನು ಪತ್ತೆಹಚ್ಚುತ್ತದೆ. ಉದಾಹರಣೆಗೆ, ಮೇಲಿನ ಹ್ಯಾಸ್ನೆಕ್ಸ್ಟ್ ಗುಣಲಕ್ಷಣವನ್ನು ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡುವಾಗ, ಪ್ರತಿ ಕರೆ i.next () ಅನ್ನು ಯಾವುದೇ ಹಾದಿಯಲ್ಲಿ ತಕ್ಷಣವೇ ಮುಂಚಿತವಾಗಿ ಕರೆ i.hasnext () ಮೂಲಕ ಹಿಂತಿರುಗಿಸುವ ಕೋಡ್ನ ಇನ್ಸ್ಟ್ರುಮೆಂಟ್ ಭಾಗಗಳ ಅಗತ್ಯವಿಲ್ಲ (ನಿಯಂತ್ರಣ-ಹರಿವಿನ ಗ್ರಾಫ್ನಲ್ಲಿ ಗೋಚರಿಸುತ್ತದೆ). ಸಮರ್ಥ ಮೇಲ್ವಿಚಾರಣಾ ಉತ್ಪಾದನೆ ಮತ್ತು ನಿರ್ವಹಣೆ. ಮೇಲಿನ ಉದಾಹರಣೆಗಳಲ್ಲಿರುವಂತಹ ನಿಯತಾಂಕ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡುವಾಗ, ಮೇಲ್ವಿಚಾರಣಾ ವ್ಯವಸ್ಥೆಯು ಪ್ರತಿ ನಿಯತಾಂಕ ನಿದರ್ಶನಕ್ಕೆ ಸಂಬಂಧಿಸಿದಂತೆ ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡಲಾದ ಆಸ್ತಿಯ ಸ್ಥಿತಿಯನ್ನು ಗಮನಿಸಬೇಕಾಗುತ್ತದೆ. ಅಂತಹ ನಿದರ್ಶನಗಳ ಸಂಖ್ಯೆಯು ಸೈದ್ಧಾಂತಿಕವಾಗಿ ಅಪರಿಮಿತವಾಗಿದೆ ಮತ್ತು ಆಚರಣೆಯಲ್ಲಿ ಅಗಾಧವಾಗಿದೆ. ಗಮನಿಸಿರುವ ಘಟನೆಗಳನ್ನು ಅವುಗಳ ಅಗತ್ಯವಿರುವ ಸಂದರ್ಭಗಳಿಗೆ ನಿಖರವಾಗಿ ಹೇಗೆ ರವಾನಿಸುವುದು ಎಂಬುದು ಒಂದು ಪ್ರಮುಖ ಸಂಶೋಧನಾ ಸವಾಲಾಗಿದೆ. ಅಂತಹ ನಿದರ್ಶನಗಳ ಸಂಖ್ಯೆಯನ್ನು ಹೇಗೆ ಚಿಕ್ಕದಾಗಿ ಇಡುವುದು (ಆದ್ದರಿಂದ ರವಾನೆ ವೇಗವಾಗಿರುತ್ತದೆ), ಅಥವಾ ಬೇರೆ ರೀತಿಯಲ್ಲಿ ಹೇಳುವುದಾದರೆ, ಸಾಧ್ಯವಾದಷ್ಟು ಕಾಲ ಅನಗತ್ಯ ನಿದರ್ಶನಗಳನ್ನು ಸೃಷ್ಟಿಸುವುದನ್ನು ಹೇಗೆ ತಪ್ಪಿಸುವುದು ಮತ್ತು ಎರಡರಲ್ಲೂ, ಈಗಾಗಲೇ ರಚಿಸಲಾದ ನಿದರ್ಶನಗಳು ಅನಗತ್ಯವಾದ ತಕ್ಷಣ ಅವುಗಳನ್ನು ಹೇಗೆ ತೆಗೆದುಹಾಕುವುದು ಎಂಬುದು ಸಂಬಂಧಿತ ಸವಾಲಾಗಿದೆ. ಅಂತಿಮವಾಗಿ, ನಿಯತಾಂಕ ಮೇಲ್ವಿಚಾರಣಾ ಕ್ರಮಾವಳಿಗಳು ಸಾಮಾನ್ಯವಾಗಿ ನಿಯತಾಂಕವಲ್ಲದ ಮಾನಿಟರ್ಗಳನ್ನು ಉತ್ಪಾದಿಸಲು ಇದೇ ರೀತಿಯ ಕ್ರಮಾವಳಿಗಳನ್ನು ಸಾಮಾನ್ಯಗೊಳಿಸುತ್ತವೆ. ಹೀಗಾಗಿ, ಉತ್ಪತ್ತಿಯಾಗುವ ಪ್ಯಾರಾಮೆಟ್ರಿಕ್ ಅಲ್ಲದ ಮಾನಿಟರ್ಗಳ ಗುಣಮಟ್ಟವು ಪರಿಣಾಮವಾಗಿ ಬರುವ ಪ್ಯಾರಾಮೆಟ್ರಿಕ್ ಮಾನಿಟರ್ಗಳ ಗುಣಮಟ್ಟವನ್ನು ನಿರ್ದೇಶಿಸುತ್ತದೆ. ಆದಾಗ್ಯೂ, ಇತರ ಪರಿಶೀಲನಾ ವಿಧಾನಗಳಿಗಿಂತ ಭಿನ್ನವಾಗಿ (ಉದಾಹರಣೆಗೆ, ಮಾದರಿ ಪರಿಶೀಲನೆ), ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯಲ್ಲಿ ಸ್ಥಿತಿಗಳ ಸಂಖ್ಯೆ ಅಥವಾ ಉತ್ಪತ್ತಿಯಾದ ಮಾನಿಟರ್ನ ಗಾತ್ರವು ಕಡಿಮೆ ಮುಖ್ಯವಾಗಿದೆ; ವಾಸ್ತವವಾಗಿ, ಕೆಲವು ಮಾನಿಟರ್ಗಳು ಅನಂತವಾದ ಅನೇಕ ಸ್ಥಿತಿಗಳನ್ನು ಹೊಂದಿರಬಹುದು, ಉದಾಹರಣೆಗೆ ಮೇಲಿನ ಸೇಫ್ ಲಾಕ್ ಆಸ್ತಿಯ ಸ್ಥಿತಿ, ಆದಾಗ್ಯೂ ಯಾವುದೇ ಸಮಯದಲ್ಲಿ ಸೀಮಿತ ಸಂಖ್ಯೆಯ ಸ್ಥಿತಿಗಳು ಮಾತ್ರ ಸಂಭವಿಸಿರಬಹುದು. ಕಾರ್ಯಗತಗೊಳಿಸುವ ವ್ಯವಸ್ಥೆಯಿಂದ ಒಂದು ಘಟನೆಯನ್ನು ಸ್ವೀಕರಿಸಿದಾಗ ಮಾನಿಟರ್ ಒಂದು ರಾಜ್ಯದಿಂದ ಅದರ ಮುಂದಿನ ಸ್ಥಿತಿಗೆ ಎಷ್ಟು ಪರಿಣಾಮಕಾರಿಯಾಗಿ ಸಾಗುತ್ತದೆ ಎಂಬುದು ಮುಖ್ಯವಾಗಿದೆ. ಗುಣಲಕ್ಷಣಗಳನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸುವುದು ಎಲ್ಲಾ ಔಪಚಾರಿಕ ವಿಧಾನಗಳ ಪ್ರಮುಖ ಪ್ರಾಯೋಗಿಕ ಅಡೆತಡೆಗಳಲ್ಲಿ ಒಂದೆಂದರೆ, ಅವುಗಳ ಬಳಕೆದಾರರು ನಿರ್ದಿಷ್ಟತೆಗಳನ್ನು ಓದಲು ಅಥವಾ ಬರೆಯಲು ಇಷ್ಟವಿರುವುದಿಲ್ಲ, ಅಥವಾ ತಿಳಿದಿರುವುದಿಲ್ಲ ಮತ್ತು ಕಲಿಯಲು ಬಯಸುವುದಿಲ್ಲ. ಕೆಲವು ಸಂದರ್ಭಗಳಲ್ಲಿ ಡೆಡ್ಲಾಕ್ಗಳು ಮತ್ತು ಡೇಟಾ-ರೇಸ್ಗಳಂತಹ ವಿಶೇಷಣಗಳು ಸೂಚ್ಯವಾಗಿರುತ್ತವೆ, ಆದರೆ ಹೆಚ್ಚಿನ ಸಂದರ್ಭಗಳಲ್ಲಿ ಅವುಗಳನ್ನು ಉತ್ಪಾದಿಸಬೇಕಾಗುತ್ತದೆ. ಹೆಚ್ಚುವರಿ ಅನನುಕೂಲವೆಂದರೆ, ವಿಶೇಷವಾಗಿ ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯ ಸಂದರ್ಭದಲ್ಲಿ, ಅಸ್ತಿತ್ವದಲ್ಲಿರುವ ಅನೇಕ ನಿರ್ದಿಷ್ಟ ಭಾಷೆಗಳು ಉದ್ದೇಶಿತ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಸೆರೆಹಿಡಿಯುವಷ್ಟು ಅಭಿವ್ಯಕ್ತವಾಗಿಲ್ಲ. ಉತ್ತಮ ಔಪಚಾರಿಕತೆಗಳು. ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ಸಮುದಾಯದಲ್ಲಿ ಗಮನಾರ್ಹ ಪ್ರಮಾಣದ ಕೆಲಸವನ್ನು ಸಾಂಪ್ರದಾಯಿಕ ನಿರ್ದಿಷ್ಟತೆಯ ಔಪಚಾರಿಕತೆಗಳಿಗಿಂತ ಉತ್ತಮವಾಗಿ ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಗಾಗಿ ಅಪೇಕ್ಷಿತ ಅಪ್ಲಿಕೇಶನ್ ಡೊಮೇನ್ಗಳಿಗೆ ಸರಿಹೊಂದುವ ನಿರ್ದಿಷ್ಟತೆಯ ಔಪಚಾರಿಕತೆಗಳನ್ನು ವಿನ್ಯಾಸಗೊಳಿಸಲು ಇರಿಸಲಾಗಿದೆ. ಇವುಗಳಲ್ಲಿ ಕೆಲವು ಸಾಂಪ್ರದಾಯಿಕ ಔಪಚಾರಿಕತೆಗಳಿಗೆ ಸ್ವಲ್ಪ ಅಥವಾ ಯಾವುದೇ ವಾಕ್ಯರಚನೆಯ ಬದಲಾವಣೆಗಳನ್ನು ಹೊಂದಿರುವುದಿಲ್ಲ, ಆದರೆ ಅವುಗಳ ಶಬ್ದಾರ್ಥದಲ್ಲಿನ ಬದಲಾವಣೆಗಳನ್ನು ಮಾತ್ರ ಒಳಗೊಂಡಿರುತ್ತವೆ (ಉದಾಹರಣೆಗೆ, ಸೀಮಿತ ಜಾಡಿನ ವಿರುದ್ಧ ಅನಂತ ಜಾಡಿನ ಶಬ್ದಾರ್ಥಗಳು, ಇತ್ಯಾದಿ). ಮತ್ತು ಅವುಗಳ ಅನುಷ್ಠಾನಕ್ಕೆ (ಬುಚಿ ಆಟೋಮ್ಯಾಟಾ, ಇತ್ಯಾದಿಗಳ ಬದಲಿಗೆ ಆಪ್ಟಿಮೈಸ್ಡ್ ಫೈನೈಟ್ ಸ್ಟೇಟ್ ಯಂತ್ರಗಳು). ಇತರರು ಅಸ್ತಿತ್ವದಲ್ಲಿರುವ ಔಪಚಾರಿಕತೆಗಳನ್ನು ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಗೆ ಅನುಕೂಲಕರವಾದ ವೈಶಿಷ್ಟ್ಯಗಳೊಂದಿಗೆ ವಿಸ್ತರಿಸುತ್ತಾರೆ ಆದರೆ ಮೇಲಿನ ಉದಾಹರಣೆಗಳಲ್ಲಿ ಕಂಡುಬರುವಂತೆ ನಿಯತಾಂಕಗಳನ್ನು ಸೇರಿಸುವಂತಹ ಇತರ ಪರಿಶೀಲನಾ ವಿಧಾನಗಳಿಗೆ ಸುಲಭವಾಗಿ ಇರಬಹುದು. ಅಂತಿಮವಾಗಿ, ನಿರ್ದಿಷ್ಟವಾಗಿ ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಗಾಗಿ ವಿನ್ಯಾಸಗೊಳಿಸಲಾದ ವಿವರಣಾತ್ಮಕ ಔಪಚಾರಿಕತೆಗಳಿವೆ, ಈ ಡೊಮೇನ್ಗಾಗಿ ತಮ್ಮ ಅತ್ಯುತ್ತಮವಾದದ್ದನ್ನು ಸಾಧಿಸಲು ಪ್ರಯತ್ನಿಸುತ್ತದೆ ಮತ್ತು ಇತರ ಅಪ್ಲಿಕೇಶನ್ ಡೊಮೇನ್ಗಳ ಬಗ್ಗೆ ಕಡಿಮೆ ಕಾಳಜಿ ವಹಿಸುತ್ತದೆ. ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಗಾಗಿ ಸಾರ್ವತ್ರಿಕವಾಗಿ ಉತ್ತಮ ಅಥವಾ ಡೊಮೇನ್-ನಿರ್ದಿಷ್ಟವಾಗಿ ಉತ್ತಮ ನಿರ್ದಿಷ್ಟತೆಯ ಔಪಚಾರಿಕತೆಗಳನ್ನು ವಿನ್ಯಾಸಗೊಳಿಸುವುದು ಅದರ ಪ್ರಮುಖ ಸಂಶೋಧನಾ ಸವಾಲುಗಳಲ್ಲಿ ಒಂದಾಗಿದೆ ಮತ್ತು ಮುಂದುವರಿಯುತ್ತದೆ. ಪರಿಮಾಣಾತ್ಮಕ ಗುಣಲಕ್ಷಣಗಳು. ಇತರ ಪರಿಶೀಲನಾ ವಿಧಾನಗಳಿಗೆ ಹೋಲಿಸಿದರೆ, ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯು ಸಿಸ್ಟಮ್ ಸ್ಟೇಟ್ ವೇರಿಯೇಬಲ್ಗಳ ಕಾಂಕ್ರೀಟ್ ಮೌಲ್ಯಗಳ ಮೇಲೆ ಕಾರ್ಯನಿರ್ವಹಿಸಲು ಸಾಧ್ಯವಾಗುತ್ತದೆ, ಇದು ಪ್ರೋಗ್ರಾಂ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯ ಬಗ್ಗೆ ಸಂಖ್ಯಾಶಾಸ್ತ್ರೀಯ ಮಾಹಿತಿಯನ್ನು ಸಂಗ್ರಹಿಸಲು ಮತ್ತು ಸಂಕೀರ್ಣ ಪರಿಮಾಣಾತ್ಮಕ ಗುಣಲಕ್ಷಣಗಳನ್ನು ನಿರ್ಣಯಿಸಲು ಈ ಮಾಹಿತಿಯನ್ನು ಬಳಸಲು ಸಾಧ್ಯವಾಗಿಸುತ್ತದೆ. ಈ ಸಾಮರ್ಥ್ಯವನ್ನು ಸಂಪೂರ್ಣವಾಗಿ ಬಳಸಿಕೊಳ್ಳಲು ನಮಗೆ ಅನುವು ಮಾಡಿಕೊಡುವ ಹೆಚ್ಚು ಅಭಿವ್ಯಕ್ತಿಶೀಲ ಆಸ್ತಿ ಭಾಷೆಗಳ ಅಗತ್ಯವಿದೆ. ಉತ್ತಮ ಇಂಟರ್ಫೇಸ್ಗಳು. ಪರಿಣತರಲ್ಲದವರಿಗೆ ಆಸ್ತಿ ವಿವರಗಳನ್ನು ಓದುವುದು ಮತ್ತು ಬರೆಯುವುದು ಸುಲಭವಲ್ಲ. ತಜ್ಞರು ಸಹ ಸಾಮಾನ್ಯವಾಗಿ ತುಲನಾತ್ಮಕವಾಗಿ ಸಣ್ಣ ತಾತ್ಕಾಲಿಕ ತರ್ಕ ಸೂತ್ರಗಳನ್ನು (ವಿಶೇಷವಾಗಿ ಅವರು "ತನಕ" ಆಪರೇಟರ್ಗಳನ್ನು ನೆಸ್ಟೆಡ್ ಮಾಡಿದಾಗ) ನಿಮಿಷಗಳ ಕಾಲ ನೋಡುತ್ತಾರೆ. ಬಳಕೆದಾರರಿಗೆ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಹೆಚ್ಚು ಸುಲಭವಾಗಿ ಅರ್ಥಮಾಡಿಕೊಳ್ಳಲು, ಬರೆಯಲು ಮತ್ತು ದೃಶ್ಯೀಕರಿಸಲು ಅನುವು ಮಾಡಿಕೊಡುವ ವಿವಿಧ ನಿರ್ದಿಷ್ಟತೆಯ ಔಪಚಾರಿಕತೆಗಳಿಗಾಗಿ ಶಕ್ತಿಯುತವಾದ ಬಳಕೆದಾರ ಸಂಪರ್ಕಸಾಧನಗಳನ್ನು ಅಭಿವೃದ್ಧಿಪಡಿಸುವುದು ಒಂದು ಪ್ರಮುಖ ಸಂಶೋಧನಾ ಕ್ಷೇತ್ರವಾಗಿದೆ. ಗಣಿಗಾರಿಕೆಯ ವಿಶೇಷಣಗಳು. ನಿರ್ದಿಷ್ಟತೆಗಳನ್ನು ಉತ್ಪಾದಿಸಲು ಬಳಕೆದಾರರಿಗೆ ಸಹಾಯ ಮಾಡಲು ಯಾವ ಸಾಧನದ ಬೆಂಬಲ ಲಭ್ಯವಿದ್ದರೂ, ಯಾವುದೇ ನಿರ್ದಿಷ್ಟತೆಗಳನ್ನು ಬರೆಯಬೇಕಾಗಿಲ್ಲ ಎಂದು ಅವರು ಯಾವಾಗಲೂ ಹೆಚ್ಚು ಸಂತೋಷಪಡುತ್ತಾರೆ, ವಿಶೇಷವಾಗಿ ಅವು ಕ್ಷುಲ್ಲಕವಾಗಿದ್ದಾಗ. ಅದೃಷ್ಟವಶಾತ್, ಗುಣಲಕ್ಷಣಗಳನ್ನು ಹೊಂದಲು ಬಯಸುವ ಕ್ರಿಯೆಗಳು/ಘಟನೆಗಳನ್ನು ಸರಿಯಾಗಿ ಬಳಸಿಕೊಳ್ಳುವ ಸಾಕಷ್ಟು ಕಾರ್ಯಕ್ರಮಗಳಿವೆ. ಹಾಗಿದ್ದಲ್ಲಿ, ಆ ಸರಿಯಾದ ಪ್ರೋಗ್ರಾಂಗಳಿಂದ ಅಪೇಕ್ಷಿತ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಸ್ವಯಂಚಾಲಿತವಾಗಿ ಕಲಿಯುವ ಮೂಲಕ ಅವುಗಳನ್ನು ಬಳಸಲು ಒಬ್ಬರು ಬಯಸುತ್ತಾರೆ ಎಂದು ಊಹಿಸಬಹುದು. ಸ್ವಯಂಚಾಲಿತವಾಗಿ ಗಣಿಗಾರಿಕೆ ಮಾಡಲಾದ ವಿಶೇಷಣಗಳ ಒಟ್ಟಾರೆ ಗುಣಮಟ್ಟವು ಕೈಯಿಂದ ತಯಾರಿಸಿದ ವಿಶೇಷಣಗಳಿಗಿಂತ ಕಡಿಮೆಯಿರುತ್ತದೆ ಎಂದು ನಿರೀಕ್ಷಿಸಲಾಗಿದ್ದರೂ ಸಹ, ಅವು ಎರಡನೆಯದಕ್ಕೆ ಆರಂಭಿಕ ಹಂತವಾಗಿ ಅಥವಾ ದೋಷಗಳನ್ನು ಕಂಡುಹಿಡಿಯುವ ಗುರಿಯನ್ನು ಹೊಂದಿರುವ ಸ್ವಯಂಚಾಲಿತ ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ಸಾಧನಗಳಿಗೆ ಆಧಾರವಾಗಿ ಕಾರ್ಯನಿರ್ವಹಿಸುತ್ತವೆ (ಅಲ್ಲಿ ಕಳಪೆ ವಿವರಣೆಯು ಸುಳ್ಳು ಧನಾತ್ಮಕ ಅಥವಾ ನಕಾರಾತ್ಮಕವಾಗಿ ಬದಲಾಗುತ್ತದೆ, ಪರೀಕ್ಷೆಯ ಸಮಯದಲ್ಲಿ ಹೆಚ್ಚಾಗಿ ಸ್ವೀಕಾರಾರ್ಹವಾಗಿರುತ್ತದೆ). ಕಾರ್ಯಗತಗೊಳಿಸುವ ಮಾದರಿಗಳು ಮತ್ತು ಮುನ್ಸೂಚಕ ವಿಶ್ಲೇಷಣೆ ದೋಷಗಳನ್ನು ಪತ್ತೆಹಚ್ಚುವ ರನ್ಟೈಮ್ ವೆರಿಫೈಯರ್ನ ಸಾಮರ್ಥ್ಯವು ಕಾರ್ಯಗತಗೊಳಿಸುವ ಕುರುಹುಗಳನ್ನು ವಿಶ್ಲೇಷಿಸುವ ಅದರ ಸಾಮರ್ಥ್ಯವನ್ನು ಕಟ್ಟುನಿಟ್ಟಾಗಿ ಅವಲಂಬಿಸಿರುತ್ತದೆ. ಮಾನಿಟರ್ಗಳನ್ನು ಸಿಸ್ಟಮ್ನೊಂದಿಗೆ ನಿಯೋಜಿಸಿದಾಗ, ಇನ್ಸ್ಟ್ರುಮೆಂಟೇಶನ್ ಸಾಮಾನ್ಯವಾಗಿ ಕನಿಷ್ಠವಾಗಿರುತ್ತದೆ ಮತ್ತು ರನ್ ಟೈಮ್ ಓವರ್ಹೆಡ್ ಅನ್ನು ಕಡಿಮೆ ಮಾಡಲು ಕಾರ್ಯಗತಗೊಳಿಸುವ ಕುರುಹುಗಳು ಸಾಧ್ಯವಾದಷ್ಟು ಸರಳವಾಗಿರುತ್ತವೆ. ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯನ್ನು ಪರೀಕ್ಷೆಗೆ ಬಳಸಿದಾಗ, ಕಾರ್ಯಗತಗೊಳಿಸುವ ವ್ಯವಸ್ಥೆಯ ಹೆಚ್ಚು ಸಂಸ್ಕರಿಸಿದ ಮಾದರಿಗಳನ್ನು ನಿರ್ಮಿಸಲು ಮತ್ತು ವಿಶ್ಲೇಷಿಸಲು ಮಾನಿಟರ್ಗಳು ಬಳಸಬಹುದಾದ ಪ್ರಮುಖ ಸಿಸ್ಟಮ್ ಮಾಹಿತಿಯೊಂದಿಗೆ ಘಟನೆಗಳನ್ನು ಹೆಚ್ಚಿಸುವ ಹೆಚ್ಚು ಸಮಗ್ರವಾದ ಉಪಕರಣಗಳನ್ನು ಹೊಂದಬಹುದು. ಉದಾಹರಣೆಗೆ, ವೆಕ್ಟರ್ ಗಡಿಯಾರದ ಮಾಹಿತಿಯೊಂದಿಗೆ ಮತ್ತು ದತ್ತಾಂಶ ಮತ್ತು ನಿಯಂತ್ರಣ ಹರಿವಿನ ಮಾಹಿತಿಯೊಂದಿಗೆ ಘಟನೆಗಳನ್ನು ವರ್ಧಿಸುವುದರಿಂದ ಮಾನಿಟರ್ಗಳು ಚಾಲನೆಯಲ್ಲಿರುವ ವ್ಯವಸ್ಥೆಯ ಸಾಂದರ್ಭಿಕ ಮಾದರಿಯನ್ನು ನಿರ್ಮಿಸಲು ಅನುವು ಮಾಡಿಕೊಡುತ್ತದೆ, ಇದರಲ್ಲಿ ಗಮನಿಸಿದ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯು ಕೇವಲ ಒಂದು ಸಂಭವನೀಯ ಉದಾಹರಣೆಯಾಗಿದೆ. ಮಾದರಿಯೊಂದಿಗೆ ಸ್ಥಿರವಾಗಿರುವ ಘಟನೆಗಳ ಯಾವುದೇ ಕ್ರಮಪಲ್ಲಟನೆಯು ವ್ಯವಸ್ಥೆಯ ಕಾರ್ಯಸಾಧ್ಯವಾದ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯಾಗಿದೆ, ಇದು ಬೇರೆ ಥ್ರೆಡ್ ಇಂಟರ್ಲೀವಿಂಗ್ ಅಡಿಯಲ್ಲಿ ಸಂಭವಿಸಬಹುದು. ಅಂತಹ ಊಹಿಸಲಾದ ಮರಣದಂಡನೆಗಳಲ್ಲಿ ಆಸ್ತಿ ಉಲ್ಲಂಘನೆಗಳನ್ನು ಪತ್ತೆಹಚ್ಚುವುದು (ಅವುಗಳನ್ನು ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡುವ ಮೂಲಕ) ಮಾನಿಟರ್ ಅನ್ನು ಗಮನಿಸಿದ ಮರಣದಂಡನೆಯಲ್ಲಿ ಸಂಭವಿಸದ ದೋಷಗಳನ್ನು ಊಹಿಸುವಂತೆ ಮಾಡುತ್ತದೆ, ಆದರೆ ಅದೇ ವ್ಯವಸ್ಥೆಯ ಮತ್ತೊಂದು ಮರಣದಂಡನೆಯಲ್ಲಿ ಇದು ಸಂಭವಿಸಬಹುದು. ಸಾಧ್ಯವಾದಷ್ಟು ಇತರ ಕಾರ್ಯಗತಗೊಳಿಸುವ ಕುರುಹುಗಳನ್ನು ಒಳಗೊಂಡಿರುವ ಕಾರ್ಯಗತಗೊಳಿಸುವ ಕುರುಹುಗಳಿಂದ ಮಾದರಿಗಳನ್ನು ಹೊರತೆಗೆಯುವುದು ಒಂದು ಪ್ರಮುಖ ಸಂಶೋಧನಾ ಸವಾಲಾಗಿದೆ. ನಡವಳಿಕೆಯ ಮಾರ್ಪಾಡು ಪರೀಕ್ಷೆ ಅಥವಾ ಸಮಗ್ರ ಪರಿಶೀಲನೆಯಂತಲ್ಲದೆ, ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯು ಮರು ಸಂರಚನೆ, ಮೈಕ್ರೋ-ರೀಸೆಟ್ಗಳ ಮೂಲಕ ಅಥವಾ ಕೆಲವೊಮ್ಮೆ ಟ್ಯೂನಿಂಗ್ ಅಥವಾ ಸ್ಟೀರಿಂಗ್ ಎಂದು ಕರೆಯಲಾಗುವ ಸೂಕ್ಷ್ಮವಾದ ಮಧ್ಯಸ್ಥಿಕೆ ಕಾರ್ಯವಿಧಾನಗಳ ಮೂಲಕ ಪತ್ತೆಹಚ್ಚಲಾದ ಉಲ್ಲಂಘನೆಗಳಿಂದ ಚೇತರಿಸಿಕೊಳ್ಳಲು ವ್ಯವಸ್ಥೆಗೆ ಅವಕಾಶ ನೀಡುವ ಭರವಸೆಯನ್ನು ಹೊಂದಿದೆ. ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯ ಕಠಿಣ ಚೌಕಟ್ಟಿನೊಳಗೆ ಈ ತಂತ್ರಗಳ ಅನುಷ್ಠಾನವು ಹೆಚ್ಚುವರಿ ಸವಾಲುಗಳಿಗೆ ಕಾರಣವಾಗುತ್ತದೆ. ಕ್ರಿಯೆಗಳ ವಿವರಣೆ. ಬಳಕೆದಾರರು ಅಪ್ರಸ್ತುತ ಅನುಷ್ಠಾನದ ವಿವರಗಳನ್ನು ತಿಳಿದುಕೊಳ್ಳುವ ಅಗತ್ಯವಿಲ್ಲದ ಅಮೂರ್ತ ಶೈಲಿಯಲ್ಲಿ ಮಾಡಬೇಕಾದ ಮಾರ್ಪಾಡುಗಳನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸಬೇಕಾಗಿದೆ. ಇದಲ್ಲದೆ, ವ್ಯವಸ್ಥೆಯ ಸಮಗ್ರತೆಯನ್ನು ಕಾಪಾಡಿಕೊಳ್ಳಲು ಅಂತಹ ಮಾರ್ಪಾಡು ಯಾವಾಗ ನಡೆಯಬಹುದು ಎಂಬುದನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸಬೇಕಾಗಿದೆ. ಮಧ್ಯಸ್ಥಿಕೆಯ ಪರಿಣಾಮಗಳ ಬಗ್ಗೆ ತರ್ಕಿಸುವುದು. ಮಧ್ಯಸ್ಥಿಕೆಯು ಪರಿಸ್ಥಿತಿಯನ್ನು ಸುಧಾರಿಸುತ್ತದೆ ಅಥವಾ ಕನಿಷ್ಠ ಪರಿಸ್ಥಿತಿಯನ್ನು ಇನ್ನಷ್ಟು ಹದಗೆಡಿಸುವುದಿಲ್ಲ ಎಂಬುದನ್ನು ತಿಳಿದುಕೊಳ್ಳುವುದು ಮುಖ್ಯವಾಗಿದೆ. ಆಕ್ಷನ್ ಇಂಟರ್ಫೇಸ್ಗಳು. ಮೇಲ್ವಿಚಾರಣೆಯ ಸಲಕರಣೆಗಳಂತೆಯೇ, ನಾವು ಕ್ರಮ ಆಹ್ವಾನಗಳನ್ನು ಸ್ವೀಕರಿಸಲು ವ್ಯವಸ್ಥೆಯನ್ನು ಸಕ್ರಿಯಗೊಳಿಸಬೇಕಾಗಿದೆ. ಆಹ್ವಾನ ಕಾರ್ಯವಿಧಾನಗಳು ಅನಿವಾರ್ಯವಾಗಿ ವ್ಯವಸ್ಥೆಯ ಅನುಷ್ಠಾನದ ವಿವರಗಳನ್ನು ಅವಲಂಬಿಸಿರುತ್ತವೆ. ಆದಾಗ್ಯೂ, ನಿರ್ದಿಷ್ಟತೆಯ ಮಟ್ಟದಲ್ಲಿ, ಯಾವ ಪರಿಸ್ಥಿತಿಗಳಲ್ಲಿ ಯಾವ ಕ್ರಮಗಳನ್ನು ಅನ್ವಯಿಸಬೇಕು ಎಂಬುದನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸುವ ಮೂಲಕ ವ್ಯವಸ್ಥೆಗೆ ಪ್ರತಿಕ್ರಿಯೆಯನ್ನು ಒದಗಿಸುವ ಘೋಷಣಾತ್ಮಕ ಮಾರ್ಗವನ್ನು ನಾವು ಬಳಕೆದಾರರಿಗೆ ಒದಗಿಸಬೇಕಾಗಿದೆ. ರನ್ಟೈಮ್ ವೆರಿಫಿಕೇಶನ್ನಲ್ಲಿನ ಸಂಬಂಧಿತ ಕೆಲಸ ಆಸ್ಪೆಕ್ಟ್-ಓರಿಯೆಂಟೆಡ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಸಂಶೋಧಕರು ಆಸ್ಪೆಕ್ಟ್-ಓರಿಯೆಂಟೆಡ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಅನ್ನು ಮಾಡ್ಯುಲರ್ ರೀತಿಯಲ್ಲಿ ಪ್ರೋಗ್ರಾಂ ಇನ್ಸ್ಟ್ರುಮೆಂಟೇಶನ್ ಅನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುವ ತಂತ್ರವಾಗಿ ಬಳಸುವ ಸಾಮರ್ಥ್ಯವನ್ನು ಗುರುತಿಸಿದ್ದಾರೆ. ಆಸ್ಪೆಕ್ಟ್-ಓರಿಯೆಂಟೆಡ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ (ಎಒಪಿ) ಸಾಮಾನ್ಯವಾಗಿ ಅಡ್ಡ ಕತ್ತರಿಸುವ ಕಾಳಜಿಗಳ ಮಾಡ್ಯುಲರೈಸೇಶನ್ ಅನ್ನು ಉತ್ತೇಜಿಸುತ್ತದೆ. ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆ ಸ್ವಾಭಾವಿಕವಾಗಿ ಅಂತಹ ಒಂದು ಕಾಳಜಿಯಾಗಿದೆ ಮತ್ತು ಆದ್ದರಿಂದ ಎಒಪಿಯ ಕೆಲವು ಗುಣಲಕ್ಷಣಗಳಿಂದ ಪ್ರಯೋಜನ ಪಡೆಯಬಹುದು. ಆಸ್ಪೆಕ್ಟ್-ಓರಿಯೆಂಟೆಡ್ ಮಾನಿಟರ್ ವ್ಯಾಖ್ಯಾನಗಳು ಹೆಚ್ಚಾಗಿ ಘೋಷಣಾತ್ಮಕವಾಗಿರುತ್ತವೆ, ಮತ್ತು ಆದ್ದರಿಂದ ಅನಿವಾರ್ಯ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಯಲ್ಲಿ ಬರೆಯಲಾದ ಪ್ರೋಗ್ರಾಂ ರೂಪಾಂತರದ ಮೂಲಕ ವ್ಯಕ್ತಪಡಿಸಲಾದ ಸಲಕರಣೆಗಳಿಗಿಂತ ತರ್ಕಿಸುವುದು ಸುಲಭವಾಗಿದೆ. ಇದಲ್ಲದೆ, ಸ್ಥಿರ ವಿಶ್ಲೇಷಣೆಗಳು ಇತರ ರೀತಿಯ ಪ್ರೋಗ್ರಾಂ ಉಪಕರಣಗಳಿಗಿಂತ ಮೇಲ್ವಿಚಾರಣಾ ಅಂಶಗಳ ಬಗ್ಗೆ ಹೆಚ್ಚು ಸುಲಭವಾಗಿ ತರ್ಕಿಸಬಹುದು, ಏಕೆಂದರೆ ಎಲ್ಲಾ ಉಪಕರಣಗಳು ಒಂದೇ ಅಂಶದಲ್ಲಿರುತ್ತವೆ. ಅನೇಕ ಪ್ರಸ್ತುತ ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ಸಾಧನಗಳನ್ನು ಆದ್ದರಿಂದ ನಿರ್ದಿಷ್ಟತೆಯ ಕಂಪೈಲರ್ಗಳ ರೂಪದಲ್ಲಿ ನಿರ್ಮಿಸಲಾಗಿದೆ, ಇದು ಅಭಿವ್ಯಕ್ತಿಶೀಲ ಉನ್ನತ ಮಟ್ಟದ ನಿರ್ದಿಷ್ಟತೆಯನ್ನು ಇನ್ಪುಟ್ ಆಗಿ ತೆಗೆದುಕೊಳ್ಳುತ್ತದೆ ಮತ್ತು ಕೆಲವು ಆಸ್ಪೆಕ್ಟ್-ಓರಿಯೆಂಟೆಡ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಯಲ್ಲಿ (ಆಸ್ಪೆಕ್ಟ್ಜೆ ನಂತಹ) ಬರೆಯಲಾದ ಔಟ್ಪುಟ್ ಕೋಡ್ ಆಗಿ ಉತ್ಪಾದಿಸುತ್ತದೆ. ಔಪಚಾರಿಕ ಪರಿಶೀಲನೆಯೊಂದಿಗೆ ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯ ಸಂಯೋಜನೆಯು, ನಿಖರವಾದ ರಿಕವರಿ ಕೋಡ್ನೊಂದಿಗೆ ಸಂಯೋಜನೆಯಲ್ಲಿ ಬಳಸಿದರೆ, ಪ್ರೋಗ್ರಾಂ ಪರಿಶೀಲನೆಗೆ ಅಮೂಲ್ಯವಾದ ಮೂಲಸೌಕರ್ಯವನ್ನು ಒದಗಿಸುತ್ತದೆ, ಇದು ನಂತರದ ಸಂಕೀರ್ಣತೆಯನ್ನು ಗಮನಾರ್ಹವಾಗಿ ಕಡಿಮೆ ಮಾಡುತ್ತದೆ. ಉದಾಹರಣೆಗೆ, ಹೀಪ್-ಸಾರ್ಟ್ ಅಲ್ಗಾರಿದಮ್ ಅನ್ನು ಔಪಚಾರಿಕವಾಗಿ ಪರಿಶೀಲಿಸುವುದು ಬಹಳ ಸವಾಲಿನ ಸಂಗತಿಯಾಗಿದೆ. ಅದನ್ನು ಪರಿಶೀಲಿಸಲು ಒಂದು ಕಡಿಮೆ ಸವಾಲಿನ ತಂತ್ರವೆಂದರೆ ವಿಂಗಡಿಸಬೇಕಾದ ಅದರ ಔಟ್ಪುಟ್ ಅನ್ನು ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡುವುದು (ರೇಖೀಯ ಸಂಕೀರ್ಣತೆ ಮಾನಿಟರ್) ಮತ್ತು ವಿಂಗಡಿಸದಿದ್ದರೆ, ನಂತರ ಅದನ್ನು ಸುಲಭವಾಗಿ ಪರಿಶೀಲಿಸಬಹುದಾದ ವಿಧಾನವನ್ನು ಬಳಸಿಕೊಂಡು ವಿಂಗಡಿಸಿ, ಉದಾಹರಣೆಗೆ ಇನ್ಸರ್ಷನ್ ಸಾರ್ಟ್. ಪರಿಣಾಮವಾಗಿ ವಿಂಗಡಿಸುವ ಪ್ರೋಗ್ರಾಂ ಅನ್ನು ಈಗ ಹೆಚ್ಚು ಸುಲಭವಾಗಿ ಪರಿಶೀಲಿಸಬಹುದಾಗಿದೆ, ಹೀಪ್-ಸಾರ್ಟ್ನಿಂದ ಅಗತ್ಯವಿರುವ ಏಕೈಕ ವಿಷಯವೆಂದರೆ ಅದು ಮಲ್ಟಿಸೆಟ್ ಎಂದು ಪರಿಗಣಿಸಲಾದ ಮೂಲ ಅಂಶಗಳನ್ನು ನಾಶಪಡಿಸುವುದಿಲ್ಲ, ಇದನ್ನು ಸಾಬೀತುಪಡಿಸುವುದು ತುಂಬಾ ಸುಲಭ. ಇನ್ನೊಂದು ದಿಕ್ಕಿನಿಂದ ನೋಡಿದರೆ, ಔಪಚಾರಿಕ ಪರಿಶೀಲನೆಯ ಬದಲು ಸ್ಥಿರ ವಿಶ್ಲೇಷಣೆಗಾಗಿ ಮೇಲೆ ತಿಳಿಸಿದಂತೆ, ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯ ಓವರ್ಹೆಡ್ ಅನ್ನು ಕಡಿಮೆ ಮಾಡಲು ಔಪಚಾರಿಕ ಪರಿಶೀಲನೆಯನ್ನು ಬಳಸಬಹುದು. ವಾಸ್ತವವಾಗಿ, ಒಬ್ಬರು ಸಂಪೂರ್ಣವಾಗಿ ಪರಿಶೀಲಿಸಿದ ರನ್ಟೈಮ್ನೊಂದಿಗೆ ಪ್ರಾರಂಭಿಸಬಹುದು, ಆದರೆ ಬಹುಶಃ ನಿಧಾನವಾದ ಪ್ರೋಗ್ರಾಂ. ನಂತರ ಮಾನಿಟರ್ಗಳನ್ನು ಹೊರಹಾಕಲು ಔಪಚಾರಿಕ ಪರಿಶೀಲನೆಯನ್ನು (ಅಥವಾ ಸ್ಥಿರ ವಿಶ್ಲೇಷಣೆ) ಬಳಸಬಹುದು, ಅದೇ ರೀತಿಯಲ್ಲಿ ಕಂಪೈಲರ್ ನಿಖರತೆ ಅಥವಾ ಮೆಮೊರಿ ಸುರಕ್ಷತೆಯ ಪ್ರಕಾರದ ರನ್ಟೈಮ್ ಚೆಕ್ಗಳನ್ನು ಹೊರಹಾಕಲು ಸ್ಥಿರ ವಿಶ್ಲೇಷಣೆಯನ್ನು ಬಳಸುತ್ತದೆ. ಹೆಚ್ಚುತ್ತಿರುವ ವ್ಯಾಪ್ತಿ ಹೆಚ್ಚು ಸಾಂಪ್ರದಾಯಿಕ ಪರಿಶೀಲನಾ ವಿಧಾನಗಳಿಗೆ ಹೋಲಿಸಿದರೆ, ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯ ತಕ್ಷಣದ ಅನನುಕೂಲವೆಂದರೆ ಅದರ ಕಡಿಮೆ ವ್ಯಾಪ್ತಿ. ರನ್ಟೈಮ್ ಮಾನಿಟರ್ಗಳನ್ನು ಸಿಸ್ಟಮ್ನೊಂದಿಗೆ ನಿಯೋಜಿಸಿದಾಗ ಇದು ಸಮಸ್ಯೆಯಾಗುವುದಿಲ್ಲ (ಆಸ್ತಿಯನ್ನು ಉಲ್ಲಂಘಿಸಿದಾಗ ಕಾರ್ಯಗತಗೊಳಿಸಬೇಕಾದ ಸೂಕ್ತವಾದ ರಿಕವರಿ ಕೋಡ್ನೊಂದಿಗೆ), ಆದರೆ ಸಿಸ್ಟಮ್ಗಳಲ್ಲಿನ ದೋಷಗಳನ್ನು ಕಂಡುಹಿಡಿಯಲು ಬಳಸಿದಾಗ ಇದು ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯ ಪರಿಣಾಮಕಾರಿತ್ವವನ್ನು ಮಿತಿಗೊಳಿಸಬಹುದು. ದೋಷ ಪತ್ತೆಹಚ್ಚುವ ಉದ್ದೇಶಗಳಿಗಾಗಿ ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯ ವ್ಯಾಪ್ತಿಯನ್ನು ಹೆಚ್ಚಿಸುವ ತಂತ್ರಗಳು ಈ ಕೆಳಗಿನವುಗಳನ್ನು ಒಳಗೊಂಡಿವೆಃ ಉತ್ತಮ ಪ್ರಮಾಣದ ಇನ್ಪುಟ್ಗಳನ್ನು (ಪ್ರೋಗ್ರಾಂ ಇನ್ಪುಟ್ ವೇರಿಯೇಬಲ್ ಮೌಲ್ಯಗಳು, ಸಿಸ್ಟಮ್ ಕರೆ ಮೌಲ್ಯಗಳು, ಥ್ರೆಡ್ ವೇಳಾಪಟ್ಟಿಗಳು, ಇತ್ಯಾದಿ) ಉತ್ಪಾದಿಸುವುದು ಎಲ್ಲರಿಗೂ ತಿಳಿದಿದೆ. ಪರೀಕ್ಷೆಯ ಪರಿಣಾಮಕಾರಿತ್ವವನ್ನು ಅಗಾಧವಾಗಿ ಹೆಚ್ಚಿಸಬಹುದು. ದೋಷ ಪತ್ತೆಹಚ್ಚಲು ಬಳಸುವ ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಗೆ ಇದು ಅನ್ವಯಿಸುತ್ತದೆ, ಆದರೆ ಇನ್ಪುಟ್ ಉತ್ಪಾದನಾ ಪ್ರಕ್ರಿಯೆಯನ್ನು ನಡೆಸಲು ಪ್ರೋಗ್ರಾಂ ಕೋಡ್ ಅನ್ನು ಬಳಸುವುದರ ಜೊತೆಗೆ, ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯಲ್ಲಿ ಲಭ್ಯವಿರುವಾಗ ಪ್ರಾಪರ್ಟಿ ಸ್ಪೆಸಿಫಿಕೇಷನ್ಗಳನ್ನು ಸಹ ಬಳಸಬಹುದು ಮತ್ತು ಅಪೇಕ್ಷಿತ ನಡವಳಿಕೆಗಳನ್ನು ಪ್ರೇರೇಪಿಸಲು ಮಾನಿಟರಿಂಗ್ ತಂತ್ರಗಳನ್ನು ಸಹ ಬಳಸಬಹುದು. ರನ್ಟೈಮ್ ಪರಿಶೀಲನೆಯ ಈ ಬಳಕೆಯು ಮಾದರಿ-ಆಧಾರಿತ ಪರೀಕ್ಷೆಗೆ ನಿಕಟ ಸಂಬಂಧವನ್ನು ಹೊಂದಿದೆ, ಆದಾಗ್ಯೂ ರನ್ಟೈಮ್ ಪರಿಶೀಲನಾ ವಿಶೇಷಣಗಳು ಸಾಮಾನ್ಯವಾಗಿ ಸಾಮಾನ್ಯ ಉದ್ದೇಶವನ್ನು ಹೊಂದಿವೆ, ಪರೀಕ್ಷಾ ಕಾರಣಗಳಿಗಾಗಿ ರಚಿಸಲಾಗಿಲ್ಲ. ಉದಾಹರಣೆಗೆ, ಮೇಲಿನ ಸಾಮಾನ್ಯ-ಉದ್ದೇಶದ ಅನ್ಸಫೆಎನಮ್ ಗುಣಲಕ್ಷಣವನ್ನು ಪರೀಕ್ಷಿಸಲು ಒಬ್ಬರು ಬಯಸುತ್ತಾರೆ ಎಂಬುದನ್ನು ಪರಿಗಣಿಸಿ. ವ್ಯವಸ್ಥೆಯ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯನ್ನು ನಿಷ್ಕ್ರಿಯವಾಗಿ ವೀಕ್ಷಿಸಲು ಮೇಲೆ ತಿಳಿಸಲಾದ ಮಾನಿಟರ್ ಅನ್ನು ಉತ್ಪಾದಿಸುವ ಬದಲು, ಒಬ್ಬರು ಚುರುಕಾದ ಮಾನಿಟರ್ ಅನ್ನು ರಚಿಸಬಹುದು, ಅದು ಎರಡನೇ e.nextElement () ಈವೆಂಟ್ ಅನ್ನು ರಚಿಸಲು ಪ್ರಯತ್ನಿಸುವ ಥ್ರೆಡ್ ಅನ್ನು ಹೆಪ್ಪುಗಟ್ಟಿಸುತ್ತದೆ (ಅದು ಅದನ್ನು ಉತ್ಪಾದಿಸುವ ಮೊದಲು), ಇತರ ಥ್ರೆಡ್ಗಳಿಗೆ ಅವಕಾಶ ನೀಡುತ್ತದೆ ಅವುಗಳಲ್ಲಿ ಒಂದು v.update () ಈವೆಂಟ್ ಅನ್ನು ಉತ್ಪಾದಿಸಬಹುದು ಎಂಬ ಭರವಸೆಯಲ್ಲಿ ಕಾರ್ಯಗತಗೊಳಿಸಿ, ಈ ಸಂದರ್ಭದಲ್ಲಿ ದೋಷ ಕಂಡುಬಂದಿದೆ. ಕ್ರಿಯಾತ್ಮಕ ಸಾಂಕೇತಿಕ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆ. ಸಾಂಕೇತಿಕ ಕಾರ್ಯಗತಗೊಳಿಸುವ ಕಾರ್ಯಕ್ರಮಗಳಲ್ಲಿ ಸಾಂಕೇತಿಕವಾಗಿ ಕಾರ್ಯಗತಗೊಳಿಸಲಾಗುತ್ತದೆ ಮತ್ತು ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡಲಾಗುತ್ತದೆ, ಅಂದರೆ, ಕಾಂಕ್ರೀಟ್ ಇನ್ಪುಟ್ಗಳಿಲ್ಲದೆ. ವ್ಯವಸ್ಥೆಯ ಒಂದು ಸಾಂಕೇತಿಕ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯು ದೊಡ್ಡ ಪ್ರಮಾಣದ ಕಾಂಕ್ರೀಟ್ ಇನ್ಪುಟ್ಗಳನ್ನು ಒಳಗೊಂಡಿರಬಹುದು. ಸಾಂಕೇತಿಕ ಮರಣದಂಡನೆಗಳನ್ನು ನಡೆಸಲು ಅಥವಾ ಅವುಗಳ ಸ್ಥಳವನ್ನು ವ್ಯವಸ್ಥಿತವಾಗಿ ಅನ್ವೇಷಿಸಲು ಆಫ್-ದಿ-ಶೆಲ್ಫ್ ನಿರ್ಬಂಧ ಪರಿಹಾರ ಅಥವಾ ತೃಪ್ತಿಕರ ಪರಿಶೀಲನಾ ತಂತ್ರಗಳನ್ನು ಹೆಚ್ಚಾಗಿ ಬಳಸಲಾಗುತ್ತದೆ. ಆಧಾರವಾಗಿರುವ ತೃಪ್ತಿದಾಯಕ ಪರೀಕ್ಷಕರು ಆಯ್ಕೆಯ ಬಿಂದುವನ್ನು ನಿರ್ವಹಿಸಲು ಸಾಧ್ಯವಾಗದಿದ್ದಾಗ, ಆ ಬಿಂದುವನ್ನು ಹಾದುಹೋಗಲು ಕಾಂಕ್ರೀಟ್ ಇನ್ಪುಟ್ ಅನ್ನು ಉತ್ಪಾದಿಸಬಹುದು; ಕಾಂಕ್ರೀಟ್ ಮತ್ತು ಸಾಂಕೇತಿಕ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯ ಈ ಸಂಯೋಜನೆಯನ್ನು ಕಾನ್ಕೊಲಿಕ್ ಎಕ್ಸಿಕ್ಯುಷನ್ ಎಂದೂ ಕರೆಯಲಾಗುತ್ತದೆ. ಡೈನಾಮಿಕ್ ಪ್ರೋಗ್ರಾಂ ಅನಾಲಿಸಿಸ್ ಪ್ರೊಫೈಲಿಂಗ್ (ಕಂಪ್ಯೂಟರ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್) ರನ್ಟೈಮ್ ಎರರ್ ಡಿಟೆಕ್ಷನ್ ರನ್ಟೈಮ್ ಅಪ್ಲಿಕೇಶನ್ ಸೆಲ್ಫ್ ಪ್ರೊಟೆಕ್ಷನ್ (ಆರ್. ಎ. ಎಸ್. ಪಿ) ರೆಫರೆನ್ಸಸ್ ಫಾರ್ಮಲ್ ಮೆಥೆಡ್ಜ್ ಲಾಜಿಕ್ ಇನ್ ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್ ಅನ್ನು ಸಹ ನೋಡಿ.