วิทยานิพนธ์นี้มีวัตถุประสงค์ เพื่อออกแบบขั้นตอนวิธีในการตรวจสอบความไม่ต้องกันในเอกสารข้อกำหนดความต้องการซอฟต์แวร์ภาษาไทย และพัฒนาเครื่องมือซอฟต์แวร์สนับสนุนขั้นตอนวิธีในการตรวจสอบความไม่ต้องกัน วิทยานิพนธ์นี้ใช้ตัวอย่างเอกสารข้อกำหนดความต้องการซอฟต์แวร์ภาษาไทย ที่มาจากแหล่งข้อมูลต่างกัน 5 แหล่งการออกแบบขั้นตอนวิธีในการตรวจสอบความไม่ต้องกัน แบ่งเป็น 2 ส่วนใหญ่ โดยที่ส่วนแรกคือ การประมวลผลภาษาธรรมชาติที่ใช้ในการเขียนเอกสาร ประกอบด้วย กระบวนการเตรียมเอกสาร การตัดคำ การกำกับหน้าที่คำ การวิเคราะห์ประโยคด้วยไวยากรณ์ เพื่อสร้างเป็นรูปแบบโครงสร้างใหม่ที่ใช้ในการตรวจสอบความไม่ต้องกัน ส่วนหลัง คือ การหาขั้นตอนวิธีในการตรวจสอบความไม่ต้องกันจากรูปแบบโครงสร้างที่ได้จากส่วนแรก ขั้นตอนวิธีตรวจสอบความไม่ต้องกันที่ได้จากการวิจัย สามารถตรวจสอบความไม่ต้องกัน3 ประเภทด้วยกัน คือ ประเภทที่หนึ่งความไม่ต้องกันในส่วนของข้อมูลในฐานข้อมูลประเภทที่สองความไม่ต้องกันในความต้องการด้านหน้าที่เดียวกัน ซึ่งประกอบด้วยฟังก์ชันการทำงานที่ซ้ำซ้อนในความต้องการด้านหน้าที่เดียวกัน ข้อมูลนำเข้าและข้อมูลนำออกของแต่ละฟังก์ชันการทำงานไม่ต้องกัน ข้อมูลนำเข้าและข้อมูลนำออกของฟังก์ชันการทำงานต่อเนื่องกันไม่ต้องกัน ประเภทที่สามความไม่ต้องกันระหว่างความต้องการด้านหน้าที่ที่ต่างหน้าที่กัน ซึ่งประกอบด้วย ความต้องการด้านหน้าที่ที่ซ้ำซ้อนกัน คำที่หมายถึงกลุ่มข้อมูลเดียวกันในฐานข้อมูล แต่ประกอบด้วยข้อมูลย่อยไม่ตรงกันในความต้องการด้านหน้าที่ที่ต่างกัน นอกเหนือจากนั้นยังมีการทดสอบประสิทธิภาพของขั้นตอนวิธีการตรวจสอบความไม่ต้องกันและเครื่องมือซอฟต์แวร์ โดยนำมาใช้ตรวจสอบความไม่ต้องกันในตัวอย่างเอกสารข้อกำหนดความต้องการซอฟต์แวร์ สรุปผลได้ว่า เครื่องมือซอฟต์แวร์สามารถตรวจสอบพบความไม่ต้องกันที่ระบุไว้ในงานวิจัยได้อย่างถูกต้อง