รหัสคงที่ใน C + +

เราสามารถกำหนดกระบวนการของการวิเคราะห์แบบคงที่ของรหัสที่มาเป็นขั้นตอนโดยที่บางส่วนจะมีการระบุรหัสที่ไม่ปลอดภัยโดยไม่ทำให้การปฏิบัติจริงของโปรแกรม

การวิเคราะห์แบบคง'S สามารถดำเนินการได้โดยอัตโนมัติ, ที่อยู่, โดยเครื่องมือของตัวเองโดยเฉพาะที่เป็นประโยชน์เพื่อสนับสนุนการทดสอบ สังเกตว่าขั้นตอนของการทดสอบซอฟต์แวร์ในครบถ้วนเป็นกระบวนการที่ซับซ้อนมากและมักจะกระทำโดยโปรแกรมเมอร์ที่ตัดสินใจที่จะเชี่ยวชาญในพื้นที่นี้โดยเฉพาะ เครื่องมือซอฟต์แวร์ที่ทุ่มเทให้กับการวิเคราะห์รหัส'คงที่จึงช่วยลดเวลาและค่าใช้จ่ายในการให้คำใบ้แรกกับสิ่งที่ส่วนของรหัสที่จะต้องตรวจสอบมากขึ้นอย่างรอบคอบ

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

ที่สำคัญในการเคารพคุณค่าทางประวัติศาสตร์ของโปรแกรมเช่นนี้ ผ้าสำลี , เปิดตัวในปี 1979 ที่รันบน Linux และทุ่มเทให้กับการเขียนโปรแกรมภาษา ซี ผ้าสำลี. เป็นสถานที่จริงสำหรับซอฟต์แวร์การตรวจสอบรหัสคงที่ระบุเป็นบางครั้ง "เครื่องมือผ้าสำลีเหมือน"หรือ"ผ้าสำลีเหมือนเครื่องมือ."

วิเคราะห์แบบคงที่ทันสมัยยังสามารถที่จะตรวจสอบรหัสการออกแบบมาเพื่อทำงานในขนานที่ให้ข้อเสนอแนะที่เฉพาะเจาะจงสำหรับโปรแกรมดังกล่าว

ในบทความนี้เรามุ่งเน้นที่ประเภทของตราสารนี้พยายามที่จะนำเสนอภาพรวมคร่าวๆของความเป็นไปได้ในรหัสแบบคงที่สำหรับโปรแกรมที่ทำงานแบบขนานภาษา C + + (ที่นิยมมากที่สุดและหลากหลายในธรรมชาติ) เพื่อเริ่มต้นการให้ตรวจสอบซอฟแวร์ทั่วไปและมีความยืดหยุ่นเป็น เครื่องคอมพิวเตอร์ผ้าสำลี .

PC ผ้าสำลี

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

มันจะปรากฏที่จำเป็นเพื่อให้ตนเองระบุฟังก์ชันที่โปรแกรมจะทำงานในแบบคู่ขนาน (หรือแม้กระทั่งไปพร้อม ๆ กัน) เพื่อให้เครื่องคอมพิวเตอร์ผ้าสำลีสามารถดำเนินการเพื่อการวิเคราะห์แบบคงที่ของความเป็นธรรม (ว่าใช่อัตโนมัติ) เพียงแค่ในส่วนเหล่านี้ เพื่อให้บรรลุนี้คุณต้องใช้ตัวเลือกเสมอในการทำงานของบรรทัดคำสั่งคอมพิวเตอร์ผ้าสำลีที่ ตัวอย่างเช่นคำสั่ง :

 



 ผ้าสำลี SEM (func, ด้าย)

 

มันเป็นในเรื่องนี้หากมีการยกเว้นร่วมกันและ primitives ตรงกันจะดำเนินการใช้หัวข้อ POSIX ทั่วไปของการกระทำหรือตัวอย่างเช่น pthread_mutex_lock และ pthread_mutex_unlock คุณจะไม่จำเป็นต้องระบุอะไรเกี่ยวกับมันจากบรรทัดคำสั่ง มิฉะนั้นแนวทางที่จะใช้ :

 - Sem (Access, thread_lock)







 - Sem (ปล่อย thread_unlock)

ถ้าสำหรับการวิเคราะห์แบบคงที่ของรหัสของเรา แต่เราต้องการที่จะมีเครื่องมือเพียงเล็กน้อยมีประสิทธิภาพมากขึ้นและเป็นอิสระจากเครื่องคอมพิวเตอร์ผ้าสำลี, VivaMP อาจจะเป็นทางเลือกที่ดี

• <<
• 1
• 2
• >>