Reading can be a rudimentary form o

Reading can be a rudimentary form of inspection. Thelin et al.’s “An Experimental Comparison of Usage- Based and Checklist-Based Reading” describes two different reading techniques and provides a detailed study on their effectiveness.
Both papers illustrate how customizing the inspection
process to the task at hand can provide benefits.

5.2 Systems with Real-Time Requirements and Concurrent Activities
Software systems that must deal with a variety of ongoing activities (e.g., device management, user interactions, external event monitoring) have been observed to be less trustworthy than purely sequential programs. Concurrency introduces a form of nondeterminism into the system—external events, which happen at unpredictable times, determine the order of internal events. When nondeterminism is present, an assessor’s inability to remain aware of all possible sequences makes inspection more difficult. The nondeterminism makes testing more difficult because a test sequence may cause an error in one case and not in another.
One approach to software quality assessment of systems
with real-time requirements in the presence of concurrency that seems worth exploring is restricting the design to place it in a class that is easier to analyze. In what is likely to be the most controversial article in the special issues, Xu’s “On Inspection and Verification with Timing Requirements” advocates handling concurrent real-time systems through a preruntime scheduling approach. Xu is asking the designers to accept strong restrictions on their work to make the inspector’s job easier.

5.3 Tool Supported Software Inspection
Part of the motivation for organizing the Workshop on Inspection in Software Engineering as a satellite event of CAV ’01 stems from the guest editors’ belief that computer aided inspection and formal verification techniques represents the area of greatest potential for the future of inspection. From tools to support the work-flow and book keeping of the inspection process through to integrated computer aided verification techniques to allow inspectors to ask the important questions and delegate some of the mechanical details to model-checkers, theorem provers, and other tools, there are many ways opportunities for tools to improve the efficiency and accuracy of inspections. In “Design and Implementation of a Fine-Grained Software Inspection Tool,” Anderson et al. describe the theoretical and practical issues underlying a tool that tool can be used to make the inspection of complex software systems more manageable.

Results (Thai) 1:

อ่านได้แบบ rudimentary ตรวจสอบ Thelin et al. "การทดลองเปรียบเทียบการอ่าน ตามการใช้งาน และ ใช้รายการตรวจสอบ" อธิบายเทคนิคการอ่านที่แตกต่างกันสอง และให้ศึกษารายละเอียดเกี่ยวกับประสิทธิภาพแสดงเอกสารทั้งวิธีปรับแต่งการตรวจสอบกระบวนการการใช้งานที่สามารถให้ประโยชน์5.2 ระบบมีความต้องการแบบเรียลไทม์พร้อมกันระบบซอฟต์แวร์ที่ต้องจัดการกับความหลากหลายของกิจกรรมอย่างต่อเนื่อง (เช่น การจัดการอุปกรณ์ การโต้ตอบผู้ใช้ การตรวจสอบเหตุการณ์ภายนอก) ได้รับการปฏิบัติที่จะน่าเชื่อถือน้อยกว่าโปรแกรมที่เรียงตามลำดับ พร้อมกันแนะนำแบบ nondeterminism เป็นระบบ — เหตุการณ์ภายนอก ซึ่งเกิดขึ้นในเวลาที่คาดไม่ถึง กำหนดลำดับของกิจกรรมภายในงาน เมื่อ nondeterminism ไม่สามารถประเมินการยังคงทราบถึงลำดับทั้งหมดที่ได้ทำการตรวจสอบยากนั้น Nondeterminism การทำทดสอบยาก เพราะลำดับการทดสอบอาจทำให้เกิดข้อผิดพลาด ในกรณีหนึ่ง และ ในอีกไม่วิธีการหนึ่งในการประเมินคุณภาพของซอฟต์แวร์ระบบกับความต้องการแบบเรียลไทม์ในกันที่เที่ยวเป็นการจำกัดการออกแบบการวางในชั้นเรียนเพื่อการวิเคราะห์ที่ง่าย ในสิ่งที่จะเป็นบทความถกเถียงสุดในปัญหาพิเศษ ของซูในการตรวจสอบและตรวจสอบกับเวลากำหนด""สนับสนุนการจัดการระบบแบบเรียลไทม์พร้อมกันผ่าน preruntime วิธีการจัดกำหนดการ ซูถามนักออกแบบยอมรับข้อจำกัดของแรงงานเพื่อให้งานของผู้ตรวจสอบได้ง่าย5.3 เครื่องมือตรวจสอบซอฟต์แวร์ที่สนับสนุนส่วนหนึ่งของแรงจูงใจสำหรับการจัดอบรมเชิงปฏิบัติการการตรวจสอบในวิศวกรรมซอฟต์แวร์เป็นเหตุการณ์ดาวเทียม CAV ' 01 เกิดจากความเชื่อของบรรณาธิการผู้ตรวจสอบว่าคอมพิวเตอร์ช่วย และตรวจสอบทางเทคนิคแสดงถึงพื้นที่ศักยภาพที่ยิ่งใหญ่ที่สุดสำหรับอนาคตของการตรวจสอบ จากเครื่องมือในการสนับสนุนกระบวนการทำงานและลงของกระบวนการตรวจสอบผ่านเทคนิคการตรวจสอบแบบคอมพิวเตอร์ช่วยให้ผู้ตรวจสอบเพื่อถามคำถามสำคัญ และผู้รับมอบสิทธิ์บางรายละเอียดกล หมากฮอสรุ่น ทฤษฎีบท provers และเครื่องมืออื่น ๆ มีหลายวิธีโอกาสสำหรับเครื่องมือการปรับปรุงประสิทธิภาพและความแม่นยำของการตรวจสอบ "ออกแบบและดำเนินการของเป็น Fine-Grained ซอฟต์แวร์ตรวจสอบเครื่องมือ ร้อยเอ็ดแอนเดอร์สันอธิบายทฤษฎี และการปฏิบัติปัญหาพื้นฐานเครื่องมือเครื่องมือที่ใช้ตรวจสอบซอฟต์แวร์ที่ซับซ้อนระบบจัดการได้ง่ายขึ้น

Results (Thai) 2:

อ่านอาจจะเป็นรูปแบบพื้นฐานของการตรวจสอบ Thelin et al. เรื่อง "การเปรียบเทียบการทดลองของ Usage- based และการอ่านรายการตรวจสอบตาม" อธิบายสองเทคนิคการอ่านที่แตกต่างกันและมีการศึกษารายละเอียดเกี่ยวกับประสิทธิภาพของพวกเขา.
เอกสารทั้งสองแสดงให้เห็นถึงวิธีการปรับแต่งการตรวจสอบ
ขั้นตอนการงานในมือที่สามารถให้ประโยชน์ . 5.2 ระบบที่มีความต้องการในเวลาจริงและกิจกรรมพร้อมกันระบบซอฟแวร์ที่จะต้องจัดการกับความหลากหลายของกิจกรรมอย่างต่อเนื่อง (เช่นการจัดการอุปกรณ์ปฏิสัมพันธ์ของผู้ใช้, การตรวจสอบเหตุการณ์ภายนอก) กับได้รับการปฏิบัติที่จะเป็นที่น่าเชื่อถือน้อยกว่าโปรแกรมตามลำดับอย่างหมดจด เห็นพ้องแนะนำรูปแบบของการไม่นิยมเข้าไปในเหตุการณ์ของระบบภายนอกซึ่งเกิดขึ้นในช่วงเวลาที่ไม่สามารถคาดเดาการกำหนดลำดับของเหตุการณ์ภายใน เมื่อไม่นิยมเป็นปัจจุบันไม่สามารถของผู้ประเมินยังคงตระหนักถึงลำดับที่เป็นไปได้ทั้งหมดทำให้การตรวจสอบยากขึ้น ไม่นิยมทำให้การทดสอบที่ยากลำบากมากขึ้นเพราะลำดับการทดสอบอาจก่อให้เกิดข้อผิดพลาดในกรณีหนึ่งและไม่อยู่ในอีก. วิธีการหนึ่งในการประเมินคุณภาพของซอฟต์แวร์ของระบบที่มีความต้องการแบบ real-time ในการปรากฏตัวพร้อมกันที่ดูเหมือนว่ามูลค่าการสำรวจมีการ จำกัด การออกแบบไปยังสถานที่ มันอยู่ในระดับที่ง่ายต่อการวิเคราะห์ ในสิ่งที่มีแนวโน้มที่จะเป็นบทความที่ขัดแย้งกันมากที่สุดในประเด็นพิเศษเสี่ยว "ในการตรวจสอบและการตรวจสอบที่มีความต้องการระยะเวลา" สนับสนุนการจัดการระบบพร้อมกันในเวลาจริงผ่านวิธีการตั้งเวลา preruntime เสี่ยวจะขอให้นักออกแบบที่จะยอมรับข้อ จำกัด ที่แข็งแกร่งในการทำงานของพวกเขาเพื่อให้งานตรวจสอบได้ง่ายขึ้น. 5.3 เครื่องมือซอฟต์แวร์ที่สนับสนุนการตรวจสอบเป็นส่วนหนึ่งของแรงจูงใจในการจัดฝึกอบรมเชิงปฏิบัติการในการตรวจสอบในสาขาวิชาวิศวกรรมซอฟแวร์เป็นเหตุการณ์ดาวเทียมของ CAV '01 เกิดจากบรรณาธิการของผู้เข้าพัก 'ความเชื่อที่ว่าการตรวจสอบคอมพิวเตอร์ช่วยและเทคนิคการตรวจสอบอย่างเป็นทางการแสดงให้เห็นถึงพื้นที่ที่มีศักยภาพที่ยิ่งใหญ่ที่สุดสำหรับอนาคตของการตรวจสอบ จากเครื่องมือที่จะสนับสนุนการทำงานการไหลและการเก็บรักษาหนังสือของกระบวนการตรวจสอบผ่านไปยังคอมพิวเตอร์ช่วยเทคนิคการตรวจสอบแบบบูรณาการที่จะอนุญาตให้ผู้ตรวจสอบจะถามคำถามที่สำคัญและมอบหมายบางส่วนของรายละเอียดกลแบบหมากฮอส, provers ทฤษฎีบทและเครื่องมืออื่น ๆ ที่มี มีโอกาสมากมายสำหรับวิธีการเครื่องมือในการปรับปรุงประสิทธิภาพและความถูกต้องของการตรวจสอบ ใน "การออกแบบและการดำเนินงานของละเอียดเครื่องมือซอฟต์แวร์ตรวจสอบ" เดอร์สัน, et al อธิบายปัญหาทางทฤษฎีและปฏิบัติพื้นฐานเครื่องมือที่เครื่องมือที่สามารถนำมาใช้เพื่อให้การตรวจสอบของระบบซอฟต์แวร์ที่ซับซ้อนจัดการได้มากขึ้นที่

Results (Thai) 3:

อ่านได้รูปแบบพื้นฐานของการตรวจสอบ thelin et al . " การทดสอบเปรียบเทียบการใช้ - ตาม และตรวจสอบตามอ่าน " อธิบายสองเทคนิคการอ่านที่แตกต่างกัน และให้ศึกษารายละเอียดเกี่ยวกับประสิทธิภาพของพวกเขาทั้งเอกสารแสดงวิธีการปรับแต่ง การตรวจสอบกระบวนการงานในมือสามารถให้ประโยชน์5.2 ระบบความต้องการเวลาจริงและกิจกรรมที่เกิดขึ้นพร้อมกันระบบซอฟแวร์ที่ต้องจัดการกับความหลากหลายของกิจกรรมอย่างต่อเนื่อง เช่น การจัดการอุปกรณ์ , ผู้ใช้ปฏิสัมพันธ์ , กิจกรรมการตรวจสอบภายนอก ) ได้รับการปฏิบัติที่จะเป็นที่เชื่อถือได้น้อยกว่าโปรแกรมแบบลำดับ . การเปิดตัวรูปแบบของ nondeterminism เข้าระบบภายนอก เหตุการณ์ซึ่งเกิดขึ้นที่คาดเดาไม่ได้ครั้ง กำหนดลำดับเหตุการณ์ภายใน เมื่อ nondeterminism เป็นปัจจุบัน มีผู้ประเมินไม่สามารถที่จะยังคงทราบลำดับเป็นไปได้ทั้งหมด ทำให้การตรวจสอบยากขึ้น การ nondeterminism ทำให้การทดสอบยากกว่า เพราะการทดสอบลำดับอาจก่อให้เกิดข้อผิดพลาดในกรณีหนึ่ง และในอีกวิธีการหนึ่งในการประเมินคุณภาพซอฟต์แวร์ของระบบกับความต้องการเวลาจริงในการแสดงตนของการดูมูลค่าการสำรวจเป็น จำกัด ออกแบบเพื่อสถานที่ในชั้นเรียนที่ง่ายในการวิเคราะห์ ในสิ่งที่เป็นแนวโน้มที่จะเป็นบทความที่ถกเถียงกันมากที่สุดในปัญหาพิเศษ " ในการตรวจสอบและการตรวจสอบ Xu กับความต้องการ " เวลาสนับสนุนการจัดการระบบเรียลไทม์พร้อมกันผ่าน preruntime ตารางการ Xu ขอให้นักออกแบบที่จะยอมรับข้อ จำกัด ที่แข็งแรง ทำงานเพื่อให้ตรวจสอบงานได้ง่ายขึ้น5.3 เครื่องมือสนับสนุนการตรวจสอบซอฟต์แวร์ส่วนหนึ่งของแรงจูงใจในการจัดประชุมเชิงปฏิบัติการ เรื่อง การตรวจสอบทางวิศวกรรมซอฟต์แวร์เป็นดาวเทียมเหตุการณ์ CAV " 01 stems จากแขกของบรรณาธิการเชื่อว่าคอมพิวเตอร์ช่วยตรวจสอบและเทคนิคการตรวจสอบอย่างเป็นทางการ หมายถึง พื้นที่ที่มีศักยภาพที่ยิ่งใหญ่ที่สุดสำหรับอนาคตของการตรวจสอบ จากเครื่องมือเพื่อสนับสนุนการทำงานและการไหลของกระบวนการตรวจสอบสมุดบัญชีผ่านคอมพิวเตอร์แบบบูรณาการช่วยให้เทคนิคการตรวจสอบถามคำถามที่สำคัญและผู้แทนบางส่วนของรายละเอียดกลหมากฮอส provers แบบจำลอง ทฤษฎี และเครื่องมืออื่น ๆ ยังมีโอกาสหลายวิธีสำหรับเครื่องมือที่จะปรับปรุงประสิทธิภาพและความถูกต้องของการตรวจสอบ " การออกแบบและพัฒนาเครื่องมือซอฟต์แวร์ตรวจสอบปรับเม็ดเล็ก " Anderson et al . อธิบายทฤษฎี และปฏิบัติ ปัญหาพื้นฐาน เครื่องมือ เครื่องมือที่สามารถใช้เพื่อทำให้การตรวจสอบความซับซ้อนของระบบง่ายซอฟต์แวร์