Stream X-Machine
ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಮೆಷಿನ್ (ಎಸ್ಎಕ್ಸ್ಎಂ) ಎಂಬುದು ಗಿಲ್ಬರ್ಟ್ ಲೇಕಾಕ್ ಅವರು ತಮ್ಮ 1993 ರ ಪಿಎಚ್ಡಿ ಪ್ರಬಂಧವಾದ ದಿ ಥಿಯರಿ ಅಂಡ್ ಪ್ರಾಕ್ಟೀಸ್ ಆಫ್ ಸ್ಪೆಸಿಫಿಕೇಷನ್ ಬೇಸ್ಡ್ ಸಾಫ್ಟ್ವೇರ್ ಟೆಸ್ಟಿಂಗ್ ನಲ್ಲಿ ಪರಿಚಯಿಸಿದ ಗಣನೆಯ ಮಾದರಿಯಾಗಿದೆ. ಸ್ಯಾಮ್ಯುಯೆಲ್ ಐಲೆನ್ಬರ್ಗ್ನ ಎಕ್ಸ್-ಯಂತ್ರವನ್ನು ಆಧರಿಸಿ, ಎಕ್ಸ್ ಪ್ರಕಾರದ ದತ್ತಾಂಶವನ್ನು ಸಂಸ್ಕರಿಸುವ ವಿಸ್ತೃತ ಸೀಮಿತ-ಸ್ಥಿತಿಯ ಯಂತ್ರ, ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಯಂತ್ರವು ಮೆಮೊರಿ ದತ್ತಾಂಶ ಪ್ರಕಾರ ಮೆಮ್ ಅನ್ನು ಸಂಬಂಧಿತ ಇನ್ಪುಟ್ ಮತ್ತು ಔಟ್ಪುಟ್ ಸ್ಟ್ರೀಮ್ಗಳೊಂದಿಗೆ ಸಂಸ್ಕರಿಸಲು ಒಂದು ರೀತಿಯ ಎಕ್ಸ್-ಯಂತ್ರವಾಗಿದೆ ಇನ್ * ಮತ್ತು ಔಟ್ *, ಅಂದರೆ, ಎಕ್ಸ್ = ಔಟ್ * × ಮೆಮ್ × ಇನ್ *. ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಯಂತ್ರದ ಪರಿವರ್ತನೆಗಳನ್ನು φ ರೂಪದ ಕಾರ್ಯಗಳಿಂದ ಲೇಬಲ್ ಮಾಡಲಾಗುತ್ತದೆಃ ಮೆಮ್ × ಇನ್ → ಔಟ್ × ಮೆಮ್, ಅಂದರೆ, ಇದು ಔಟ್ಪುಟ್ ಮೌಲ್ಯವನ್ನು ಲೆಕ್ಕಾಚಾರ ಮಾಡುತ್ತದೆ ಮತ್ತು ಪ್ರಸ್ತುತ ಮೆಮೊರಿ ಮತ್ತು ಇನ್ಪುಟ್ ಮೌಲ್ಯದಿಂದ ಮೆಮೊರಿಯನ್ನು ನವೀಕರಿಸುತ್ತದೆ. ಸಾಮಾನ್ಯ ಎಕ್ಸ್-ಯಂತ್ರವನ್ನು 1980ರ ದಶಕದಲ್ಲಿ ತಂತ್ರಾಂಶ ವ್ಯವಸ್ಥೆಗಳನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸಲು ಸಂಭಾವ್ಯವಾಗಿ ಉಪಯುಕ್ತವಾದ ಔಪಚಾರಿಕ ಮಾದರಿ ಎಂದು ಗುರುತಿಸಲಾಗಿದ್ದರೂ, ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಯಂತ್ರದ ಹೊರಹೊಮ್ಮುವವರೆಗೆ ಈ ಕಲ್ಪನೆಯನ್ನು ಸಂಪೂರ್ಣವಾಗಿ ಬಳಸಿಕೊಳ್ಳಲಾಗಲಿಲ್ಲ. ಫ್ಲೋರೆಂಟಿನ್ ಇಪೇಟ್ ಮತ್ತು ಮೈಕ್ ಹೋಲ್ಕೊಂಬೆ ಸಂಪೂರ್ಣ ಕ್ರಿಯಾತ್ಮಕ ಪರೀಕ್ಷೆಯ ಸಿದ್ಧಾಂತವನ್ನು ಅಭಿವೃದ್ಧಿಪಡಿಸಿದರು, ಮೈಕ್ ಹೋಲ್ಕೊಂಬೆ ಮತ್ತು ಫ್ಲೋರೆಂಟಿನ್ ಇಪೇಟ್ (1998)-ವ್ಯಾಪಾರ ಪ್ರಕ್ರಿಯೆಯ ಪರಿಹಾರವನ್ನು ನಿರ್ಮಿಸುವ ಸರಿಯಾದ ವ್ಯವಸ್ಥೆಗಳು. ಅನ್ವಯಿಕ ಕಂಪ್ಯೂಟಿಂಗ್ ಸರಣಿ. ಬರ್ಲಿನ್ಃ ಸ್ಪ್ರಿಂಗರ್-ವೆರ್ಲಾಗ್. ಇದರಲ್ಲಿ ನೂರಾರು ಸಾವಿರ ಸ್ಥಿತಿಗಳು ಮತ್ತು ಲಕ್ಷಾಂತರ ಪರಿವರ್ತನೆಗಳನ್ನು ಹೊಂದಿರುವ ಸಂಕೀರ್ಣ ಸಾಫ್ಟ್ವೇರ್ ವ್ಯವಸ್ಥೆಗಳನ್ನು ಪ್ರತ್ಯೇಕ ಎಸ್ಎಕ್ಸ್ಎಂಗಳಾಗಿ ವಿಭಜಿಸಬಹುದು, ಅವುಗಳನ್ನು ಸರಿಯಾದ ಏಕೀಕರಣದ ಖಚಿತವಾದ ಪುರಾವೆಯೊಂದಿಗೆ ಸಮಗ್ರವಾಗಿ ಪರೀಕ್ಷಿಸಬಹುದು. ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಯಂತ್ರಗಳ "ಇನ್ಪುಟ್ಗಳು ಮತ್ತು ಔಟ್ಪುಟ್ಗಳೊಂದಿಗೆ ಸಂಸ್ಕರಣಾ ಏಜೆಂಟ್ಗಳು" ಎಂಬ ಅಂತರ್ಬೋಧೆಯ ವ್ಯಾಖ್ಯಾನದಿಂದಾಗಿ, ಅವು ನೈಜ-ಪ್ರಪಂಚದ ವಿದ್ಯಮಾನಗಳನ್ನು ರೂಪಿಸುವಲ್ಲಿ ಅವುಗಳ ಉಪಯುಕ್ತತೆಯಿಂದಾಗಿ ಹೆಚ್ಚಿನ ಆಸಕ್ತಿಯನ್ನು ಆಕರ್ಷಿಸಿವೆ. ಎಸ್ಎಕ್ಸ್ಎಂ ಮಾದರಿಯು ಕಂಪ್ಯೂಟೇಶನಲ್ ಬಯಾಲಜಿ, ಸಾಫ್ಟ್ವೇರ್ ಟೆಸ್ಟಿಂಗ್ ಮತ್ತು ಏಜೆಂಟ್ ಆಧಾರಿತ ಕಂಪ್ಯೂಟೇಶನಲ್ ಎಕನಾಮಿಕ್ಸ್ನಂತಹ ವೈವಿಧ್ಯಮಯ ಕ್ಷೇತ್ರಗಳಲ್ಲಿ ಪ್ರಮುಖ ಅನ್ವಯಗಳನ್ನು ಹೊಂದಿದೆ. ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಮೆಷಿನ್ ಎ ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಮೆಷಿನ್ (ಎಸ್ಎಕ್ಸ್ಎಂ) ಸಹಾಯಕ ಮೆಮೊರಿ, ಇನ್ಪುಟ್ಗಳು ಮತ್ತು ಔಟ್ಪುಟ್ಗಳನ್ನು ಹೊಂದಿರುವ ವಿಸ್ತೃತ ಸೀಮಿತ-ಸ್ಥಿತಿಯ ಯಂತ್ರವಾಗಿದೆ. ಇದು ಸಾಮಾನ್ಯ ಎಕ್ಸ್-ಯಂತ್ರದ ಒಂದು ರೂಪಾಂತರವಾಗಿದೆ, ಇದರಲ್ಲಿ ಮೂಲಭೂತ ದತ್ತಾಂಶ ಪ್ರಕಾರವಾದ ಎಕ್ಸ್ = ಔಟ್ * × ಮೆಮ್ × ಇನ್ *, ಅಂದರೆ, ಔಟ್ಪುಟ್ ಸ್ಟ್ರೀಮ್, ಮೆಮೊರಿ ಮತ್ತು ಇನ್ಪುಟ್ ಸ್ಟ್ರೀಮ್ ಅನ್ನು ಒಳಗೊಂಡಿರುವ ಟುಪಲ್ ಆಗಿದೆ. ಎಸ್ಎಕ್ಸ್ಎಂ ಒಂದು ವ್ಯವಸ್ಥೆಯ ನಿಯಂತ್ರಣ ಹರಿವನ್ನು ವ್ಯವಸ್ಥೆಯು ನಡೆಸುವ ಸಂಸ್ಕರಣೆಯಿಂದ ಬೇರ್ಪಡಿಸುತ್ತದೆ. ನಿಯಂತ್ರಣವನ್ನು ಸೀಮಿತ-ಸ್ಥಿತಿಯ ಯಂತ್ರದಿಂದ (ಸಂಬಂಧಿತ ಆಟೋಮ್ಯಾಟನ್ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ) ರೂಪಿಸಲಾಗಿದೆ, ಅದರ ಪರಿವರ್ತನೆಗಳನ್ನು ಮೂಲಭೂತ ದತ್ತಾಂಶ ಪ್ರಕಾರದ ಮೇಲೆ ಕಾರ್ಯನಿರ್ವಹಿಸುವ ಸೆಟ್ (ಯಂತ್ರದ ಪ್ರಕಾರ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ) ನಿಂದ ಆಯ್ಕೆ ಮಾಡಲಾದ ಸಂಸ್ಕರಣಾ ಕಾರ್ಯಗಳೊಂದಿಗೆ ಲೇಬಲ್ ಮಾಡಲಾಗುತ್ತದೆ. φಯಲ್ಲಿನ ಪ್ರತಿಯೊಂದು ಸಂಸ್ಕರಣಾ ಕಾರ್ಯವು ಭಾಗಶಃ ಕಾರ್ಯವಾಗಿದೆ, ಮತ್ತು ಇದನ್ನು φ ಪ್ರಕಾರವನ್ನು ಹೊಂದಿದೆ ಎಂದು ಪರಿಗಣಿಸಬಹುದುಃ ಮೆಮ್ × ಇನ್ → ಔಟ್ × ಮೆಮ್, ಇಲ್ಲಿ ಮೆಮ್ ಮೆಮೊರಿ ಪ್ರಕಾರವಾಗಿದೆ, ಮತ್ತು ಇನ್ ಮತ್ತು ಔಟ್ ಅನುಕ್ರಮವಾಗಿ ಇನ್ಪುಟ್ ಮತ್ತು ಔಟ್ಪುಟ್ ಪ್ರಕಾರಗಳಾಗಿವೆ. ಯಾವುದೇ ನಿರ್ದಿಷ್ಟ ಸ್ಥಿತಿಯಲ್ಲಿ, ಸಂಬಂಧಿತ ಕಾರ್ಯದ ಡೊಮೇನ್ φi ಮುಂದಿನ ಇನ್ಪುಟ್ ಮೌಲ್ಯ ಮತ್ತು ಪ್ರಸ್ತುತ ಮೆಮೊರಿ ಸ್ಥಿತಿಯನ್ನು ಒಳಗೊಂಡಿದ್ದರೆ ಪರಿವರ್ತನೆಯನ್ನು ಸಕ್ರಿಯಗೊಳಿಸಲಾಗುತ್ತದೆ. ಒಂದು ನಿರ್ದಿಷ್ಟ ಸ್ಥಿತಿಯಲ್ಲಿ (ಗರಿಷ್ಠ) ಒಂದು ಪರಿವರ್ತನೆಯನ್ನು ಸಕ್ರಿಯಗೊಳಿಸಿದರೆ, ಯಂತ್ರವು ನಿರ್ಣಾಯಕವಾಗಿರುತ್ತದೆ. ಪರಿವರ್ತನೆಯನ್ನು ದಾಟುವುದು ಸಂಬಂಧಿತ ಕಾರ್ಯ φi ಅನ್ನು ಅನ್ವಯಿಸುವುದಕ್ಕೆ ಸಮನಾಗಿರುತ್ತದೆ, ಇದು ಒಂದು ಇನ್ಪುಟ್ ಅನ್ನು ಬಳಸುತ್ತದೆ, ಬಹುಶಃ ಮೆಮೊರಿಯನ್ನು ಮಾರ್ಪಡಿಸುತ್ತದೆ ಮತ್ತು ಒಂದು ಔಟ್ಪುಟ್ ಅನ್ನು ಉತ್ಪಾದಿಸುತ್ತದೆ. ಆದ್ದರಿಂದ ಯಂತ್ರದ ಮೂಲಕ ಗುರುತಿಸಲಾದ ಪ್ರತಿಯೊಂದು ಮಾರ್ಗವು φ1. φn ಕಾರ್ಯಗಳ ಪಟ್ಟಿಯನ್ನು ಉತ್ಪಾದಿಸುತ್ತದೆ, ಮತ್ತು SXM ಈ ಕಾರ್ಯಗಳನ್ನು ಒಟ್ಟುಗೂಡಿಸಿ ಮೂಲಭೂತ ದತ್ತಾಂಶ ಪ್ರಕಾರ |φ1. φn |: X → X ನಲ್ಲಿ ಸಂಬಂಧವನ್ನು ಸೃಷ್ಟಿಸುತ್ತದೆ. ಎಕ್ಸ್-ಯಂತ್ರಗಳೊಂದಿಗಿನ ಸಂಬಂಧ ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಯಂತ್ರವು ಎಕ್ಸ್-ಯಂತ್ರದ ಒಂದು ರೂಪಾಂತರವಾಗಿದೆ, ಇದರಲ್ಲಿ ಮೂಲಭೂತ ದತ್ತಾಂಶ ಪ್ರಕಾರವಾದ ಎಕ್ಸ್ = ಔಟ್ * × ಮೆಮ್ × ಇನ್ * ಆಗಿದೆ. ಮೂಲ X-ಯಂತ್ರದಲ್ಲಿ, φi ಗಳು X ಮೇಲಿನ ಸಾಮಾನ್ಯ ಸಂಬಂಧಗಳಾಗಿವೆ. ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಮೆಷಿನ್ನಲ್ಲಿ, ಇವುಗಳನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಕಾರ್ಯಗಳಿಗೆ ಸೀಮಿತಗೊಳಿಸಲಾಗಿದೆ; ಆದಾಗ್ಯೂ, ಪ್ರತಿ ಸ್ಥಿತಿಯಲ್ಲಿ (ಗರಿಷ್ಠ) ಒಂದು ಪರಿವರ್ತನೆಯನ್ನು ಸಕ್ರಿಯಗೊಳಿಸಿದರೆ ಮಾತ್ರ ಎಸ್ಎಕ್ಸ್ಎಂ ಇನ್ನೂ ನಿರ್ಣಾಯಕವಾಗಿರುತ್ತದೆ. ಒಂದು ಸಾಮಾನ್ಯ X-ಯಂತ್ರವು ಇನ್ಪುಟ್ಗಾಗಿ ಪೂರ್ವ ಎನ್ಕೋಡಿಂಗ್ ಕಾರ್ಯ α: Y → X ಅನ್ನು ಬಳಸಿಕೊಂಡು ಇನ್ಪುಟ್ ಮತ್ತು ಔಟ್ಪುಟ್ ಅನ್ನು ನಿರ್ವಹಿಸುತ್ತದೆ ಮತ್ತು ಔಟ್ಪುಟ್ಗಾಗಿ ಹಿಂಭಾಗದ ಡಿಕೋಡಿಂಗ್ ಕಾರ್ಯ β: X → Z ಅನ್ನು ಬಳಸುತ್ತದೆ, ಇಲ್ಲಿ Y ಮತ್ತು Z ಅನುಕ್ರಮವಾಗಿ ಇನ್ಪುಟ್ ಮತ್ತು ಔಟ್ಪುಟ್ ಪ್ರಕಾರಗಳಾಗಿವೆ. ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಮೆಷಿನ್ನಲ್ಲಿ, ಈ ವಿಧಗಳು ಸ್ಟ್ರೀಮ್ಗಳಾಗಿರುತ್ತವೆಃ ವೈ = ಇನ್ * ಝಡ್ = ಔಟ್ * ಮತ್ತು ಎನ್ಕೋಡಿಂಗ್ ಮತ್ತು ಡಿಕೋಡಿಂಗ್ ಕಾರ್ಯಗಳನ್ನು ಹೀಗೆ ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆಃ α (ಇನ್ಗಳು) = (<>, ಮೆಮ್0, ಇನ್ಗಳು) β (ಔಟ್ಗಳು, ಮೆಮನ್, <>) = ಔಟ್ಗಳು ಅಲ್ಲಿ ಇನ್ಗಳುಃ ಇನ್ *, ಔಟ್ಃ ಔಟ್ * ಮತ್ತು ಮೆಮಿಃ ಮೆಮ್. ಬೇರೆ ರೀತಿಯಲ್ಲಿ ಹೇಳುವುದಾದರೆ, ಯಂತ್ರವನ್ನು ಇಡೀ ಇನ್ಪುಟ್ ಸ್ಟ್ರೀಮ್ನೊಂದಿಗೆ ಪ್ರಾರಂಭಿಸಲಾಗುತ್ತದೆ; ಮತ್ತು ಡಿಕೋಡ್ ಮಾಡಲಾದ ಫಲಿತಾಂಶವು ಇಡೀ ಔಟ್ಪುಟ್ ಸ್ಟ್ರೀಮ್ ಆಗಿದೆ, ಇನ್ಪುಟ್ ಸ್ಟ್ರೀಮ್ ಅನ್ನು ಅಂತಿಮವಾಗಿ ಸೇವಿಸಲಾಗುತ್ತದೆ (ಇಲ್ಲದಿದ್ದರೆ ಫಲಿತಾಂಶವನ್ನು ವಿವರಿಸಲಾಗುವುದಿಲ್ಲ). ಎಸ್ಎಕ್ಸ್ಎಂನಲ್ಲಿನ ಪ್ರತಿಯೊಂದು ಸಂಸ್ಕರಣಾ ಕಾರ್ಯಕ್ಕೂ ಸಂಕ್ಷಿಪ್ತ ಪ್ರಕಾರವಾದ φSXM: ಮೆಮ್ × ಇನ್ → ಔಟ್ × ಮೆಮ್ ಅನ್ನು ನೀಡಲಾಗುತ್ತದೆ. ನಾವು ಇದನ್ನು ಗಣನೆಯಂತೆ ಪರಿಗಣಿಸಿದರೆ ಇದನ್ನು φ: X → X ಪ್ರಕಾರದ ಸಾಮಾನ್ಯ X-ಯಂತ್ರ ಸಂಬಂಧದ ಮೇಲೆ ನಕ್ಷೆ ಮಾಡಬಹುದುಃ φ (ಔಟ್ಗಳು, ಮೆಮಿ, ಇನ್ಃ: ಇನ್ಗಳು) = (ಔಟ್ಃಃ ಔಟ್, ಮೆಮಿ + 1, ಇನ್ಗಳು) ಅಲ್ಲಿಃ: ಅಂಶ ಮತ್ತು ಅನುಕ್ರಮದ ಸಂಯೋಜನೆಯನ್ನು ಸೂಚಿಸುತ್ತದೆ. ಬೇರೆ ರೀತಿಯಲ್ಲಿ ಹೇಳುವುದಾದರೆ, ಸಂಬಂಧವು ಇನ್ಪುಟ್ ಸ್ಟ್ರೀಮ್ನ ತಲೆಯನ್ನು ಹೊರತೆಗೆಯುತ್ತದೆ, ಮೆಮೊರಿಯನ್ನು ಮಾರ್ಪಡಿಸುತ್ತದೆ ಮತ್ತು ಔಟ್ಪುಟ್ ಸ್ಟ್ರೀಮ್ನ ಬಾಲಕ್ಕೆ ಮೌಲ್ಯವನ್ನು ಸೇರಿಸುತ್ತದೆ. ಸಂಸ್ಕರಣೆ ಮತ್ತು ಪರೀಕ್ಷಿಸಬಹುದಾದ ಗುಣಲಕ್ಷಣಗಳು ಮೇಲಿನ ಸಮಾನತೆಯ ಕಾರಣದಿಂದಾಗಿ, ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಮೆಷಿನ್ ಸಹಾಯಕ ಮೆಮೊರಿಯನ್ನು ಬಳಸಿಕೊಂಡು ಇನ್ಪುಟ್ಗಳನ್ನು ಔಟ್ಪುಟ್ಗಳಾಗಿ ಪ್ರಕ್ರಿಯೆಗೊಳಿಸುವ ವಿಧಾನದ ಮೇಲೆ ಗಮನ ಕೇಂದ್ರೀಕರಿಸಬಹುದು. ಆರಂಭಿಕ ಮೆಮೊರಿ ಸ್ಥಿತಿ ಮೆಮ್0 ಮತ್ತು ಇನ್ಪುಟ್ ಸ್ಟ್ರೀಮ್ ಇನ್ಗಳನ್ನು ನೀಡಿದರೆ, ಯಂತ್ರವು ಹಂತವಾರು ಶೈಲಿಯಲ್ಲಿ ಕಾರ್ಯಗತಗೊಳ್ಳುತ್ತದೆ, ಒಂದು ಸಮಯದಲ್ಲಿ ಒಂದು ಇನ್ಪುಟ್ ಅನ್ನು ಸೇವಿಸುತ್ತದೆ ಮತ್ತು ಒಂದು ಸಮಯದಲ್ಲಿ ಒಂದು ಔಟ್ಪುಟ್ ಅನ್ನು ಉತ್ಪಾದಿಸುತ್ತದೆ. (ಕನಿಷ್ಠ) ಒಂದು ಗುರುತಿಸಲಾದ ಮಾರ್ಗ ಮಾರ್ಗ = φ1. φn ಅಸ್ತಿತ್ವದಲ್ಲಿದ್ದರೆ, ಅದು ಇನ್ಪುಟ್ ಅನ್ನು ಸೇವಿಸಿದ ಸ್ಥಿತಿಗೆ ಕಾರಣವಾಗುತ್ತದೆ, ಯಂತ್ರವು ಅಂತಿಮ ಮೆಮೊರಿ ಸ್ಥಿತಿ ಮೆಮನ್ ಮತ್ತು ಔಟ್ಪುಟ್ ಸ್ಟ್ರೀಮ್ ಔಟ್ ಅನ್ನು ನೀಡುತ್ತದೆ. ಸಾಮಾನ್ಯವಾಗಿ, ನಾವು ಇದನ್ನು ಎಲ್ಲಾ ಗುರುತಿಸಲಾದ ಮಾರ್ಗಗಳಿಂದ ಲೆಕ್ಕಹಾಕಲಾದ ಸಂಬಂಧವೆಂದು ಭಾವಿಸಬಹುದುಃ | ಮಾರ್ಗ |: ಇನ್ * → ಔಟ್ *. ಇದನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಯಂತ್ರದ ನಡವಳಿಕೆ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಪ್ರತಿ ಸ್ಥಿತಿಯಲ್ಲಿ (ಗರಿಷ್ಠ) ಒಂದು ಪರಿವರ್ತನೆಯನ್ನು ಸಕ್ರಿಯಗೊಳಿಸಿದರೆ ನಡವಳಿಕೆಯು ನಿರ್ಣಾಯಕವಾಗಿರುತ್ತದೆ. ಈ ಗುಣಲಕ್ಷಣ ಮತ್ತು ಇನ್ಪುಟ್ಗಳು ಮತ್ತು ಮೆಮೊರಿಗೆ ಪ್ರತಿಕ್ರಿಯೆಯಾಗಿ ಯಂತ್ರವು ಹಂತವಾರು ರೀತಿಯಲ್ಲಿ ಹೇಗೆ ವರ್ತಿಸುತ್ತದೆ ಎಂಬುದನ್ನು ನಿಯಂತ್ರಿಸುವ ಸಾಮರ್ಥ್ಯವು ಸಾಫ್ಟ್ವೇರ್ ವ್ಯವಸ್ಥೆಗಳ ನಿರ್ದಿಷ್ಟತೆಗೆ ಸೂಕ್ತವಾದ ಮಾದರಿಯಾಗಿದೆ. ನಿರ್ದಿಷ್ಟತೆ ಮತ್ತು ಅನುಷ್ಠಾನ ಎರಡನ್ನೂ ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಯಂತ್ರಗಳು ಎಂದು ಭಾವಿಸಿದರೆ, ಪ್ರತಿ ಹಂತದಲ್ಲೂ ಇನ್ಪುಟ್ಗಳು ಮತ್ತು ಔಟ್ಪುಟ್ಗಳನ್ನು ಗಮನಿಸುವುದರ ಮೂಲಕ ನಿರ್ದಿಷ್ಟತೆ ಯಂತ್ರಕ್ಕೆ ಅನುಗುಣವಾಗಿ ಅನುಷ್ಠಾನವನ್ನು ಪರೀಕ್ಷಿಸಬಹುದು. ಪರೀಕ್ಷೆಯ ಉದ್ದೇಶಗಳಿಗಾಗಿ ವೀಕ್ಷಣೆಗಳೊಂದಿಗೆ ಏಕ-ಹಂತದ ಸಂಸ್ಕರಣೆಯ ಉಪಯುಕ್ತತೆಯನ್ನು ಲೇಕಾಕ್ ಮೊದಲು ಎತ್ತಿ ತೋರಿಸಿದರು. ಹೋಲ್ಕೊಂಬೆ ಮತ್ತು ಇಪೇಟ್ ಇದನ್ನು ಸಾಫ್ಟ್ವೇರ್ ಪರೀಕ್ಷೆಯ ಪ್ರಾಯೋಗಿಕ ಸಿದ್ಧಾಂತವಾಗಿ ಅಭಿವೃದ್ಧಿಪಡಿಸಿದರು, ಇದು ಸಂಪೂರ್ಣವಾಗಿ ಸಂಯೋಜಿತವಾಗಿದ್ದು, ಬಹಳ ದೊಡ್ಡ ವ್ಯವಸ್ಥೆಗಳವರೆಗೆ ಸ್ಕೇಲಿಂಗ್ ಆಗಿತ್ತು. ಸರಿಯಾದ ಏಕೀಕರಣದ ಪುರಾವೆಯು ಪ್ರತಿ ಘಟಕ ಮತ್ತು ಪ್ರತಿ ಏಕೀಕರಣ ಪದರವನ್ನು ಪ್ರತ್ಯೇಕವಾಗಿ ಪರೀಕ್ಷಿಸುವುದು ಇಡೀ ವ್ಯವಸ್ಥೆಯನ್ನು ಪರೀಕ್ಷಿಸುವುದಕ್ಕೆ ಅನುರೂಪವಾಗಿದೆ ಎಂದು ಖಾತರಿಪಡಿಸುತ್ತದೆ. ಈ ವಿಭಜಿಸಿ ಮತ್ತು ಗೆಲ್ಲುವ ವಿಧಾನವು ದೊಡ್ಡ ವ್ಯವಸ್ಥೆಗಳಿಗೆ ಸಮಗ್ರ ಪರೀಕ್ಷೆಯನ್ನು ಕಾರ್ಯಸಾಧ್ಯವಾಗಿಸುತ್ತದೆ. ಪರೀಕ್ಷಾ ವಿಧಾನವನ್ನು ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಮೆಷಿನ್ ಪರೀಕ್ಷಾ ವಿಧಾನದ ಬಗ್ಗೆ ಪ್ರತ್ಯೇಕ ಲೇಖನದಲ್ಲಿ ವಿವರಿಸಲಾಗಿದೆ. ಒಂದು ಸರಳ ಉದಾಹರಣೆಯನ್ನು ಒಳಗೊಂಡಂತೆ, ಎಕ್ಸ್-ಯಂತ್ರ ಮಾದರಿಯ ಸಾಮಾನ್ಯ ವಿವರಣೆಯಾದ ಎಕ್ಸ್-ಯಂತ್ರಗಳನ್ನೂ ಸಹ ನೋಡಿ. ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಮೆಷಿನ್ ಪರೀಕ್ಷಾ ವಿಧಾನವು ಒಂದು ಸಂಪೂರ್ಣ ಕ್ರಿಯಾತ್ಮಕ ಪರೀಕ್ಷಾ ತಂತ್ರವಾಗಿದೆ. ಈ ವಿಧಾನವನ್ನು ಬಳಸಿಕೊಂಡು, ಅನುಷ್ಠಾನವು ಅದರ ನಿರ್ದಿಷ್ಟತೆಗೆ ಹೊಂದಿಕೆಯಾಗುತ್ತದೆಯೇ ಎಂಬುದನ್ನು ಸಮಗ್ರವಾಗಿ ನಿರ್ಧರಿಸುವ ಸೀಮಿತ ಪರೀಕ್ಷೆಗಳ ಗುಂಪನ್ನು ಗುರುತಿಸಲು ಸಾಧ್ಯವಿದೆ. ಅನುಷ್ಠಾನದ ಸಮಯದಲ್ಲಿ ಬಳಕೆದಾರರು ಪರೀಕ್ಷಾ ತತ್ವಗಳಿಗೆ ಎಚ್ಚರಿಕೆಯಿಂದ ನಿರ್ದಿಷ್ಟಪಡಿಸಿದ ವಿನ್ಯಾಸವನ್ನು ಅನ್ವಯಿಸಬೇಕೆಂದು ಒತ್ತಾಯಿಸುವ ಮೂಲಕ ತಂತ್ರವು ಔಪಚಾರಿಕ ಅನಿಶ್ಚಿತತೆಯ ಮಿತಿಗಳನ್ನು ಮೀರಿಸುತ್ತದೆ. ಸಾಮಾಜಿಕ ಕೀಟಗಳಿಂದ ಹಿಡಿದು ಅರ್ಥಶಾಸ್ತ್ರದವರೆಗಿನ ಕ್ಷೇತ್ರಗಳಲ್ಲಿನ ಅನ್ವಯಗಳೊಂದಿಗೆ ಎಸ್ಎಕ್ಸ್ಎಂ ಮಾದರಿಯ ಏಕಕಾಲೀನ ಆವೃತ್ತಿಯಾದ ಕಮ್ಯುನಿಕೇಟಿಂಗ್ ಸ್ಟ್ರೀಮ್ ಎಕ್ಸ್-ಮೆಷಿನ್ಸ್ (ಸಿಎಸ್ಎಕ್ಸ್ಎಂ). ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಆಬ್ಜೆಕ್ಟ್-ಓರಿಯೆಂಟೆಡ್ ಸಾಫ್ಟ್ವೇರ್ಗಾಗಿ ಪರೀಕ್ಷಾ ಸೆಟ್ಗಳನ್ನು ಉತ್ಪಾದಿಸಲು ಎಸ್ಎಕ್ಸ್ಎಂ ತಂತ್ರಗಳನ್ನು ಬಳಸಿಕೊಂಡು ಮೂಟಿವ್ ಪ್ರಾಜೆಕ್ಟ್. ಏಜೆಂಟ್-ಆಧಾರಿತ ಕಂಪ್ಯೂಟೇಶನಲ್ ಅರ್ಥಶಾಸ್ತ್ರಕ್ಕೆ CSXM ತಂತ್ರಗಳ ಅನ್ವಯವಾದ EURACE ಯೋಜನೆಯಾಗಿದೆ. x-machines.net, ಎಕ್ಸ್-ಮೆಷಿನ್ ಸಂಶೋಧನೆಯ ಹಿನ್ನೆಲೆಯನ್ನು ವಿವರಿಸುವ ತಾಣವಾಗಿದೆ. ಮೈಕ್ (ಪ್ರೊ. ಡಬ್ಲ್ಯೂ. ಎಂ. ಎಲ್.) ಶೆಫೀಲ್ಡ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದಲ್ಲಿ ಹೋಲ್ಕೊಂಬೆ ಅವರ ಜಾಲತಾಣ ಪುಟ. ಗಣನೆಯ ಉಲ್ಲೇಖಗಳ ಸಿದ್ಧಾಂತ ಗಣನೆಯ ತಂತ್ರಾಂಶ ಪರೀಕ್ಷೆಯ ಮಾದರಿಗಳು