1. IntroductionSoftware is a key el

1. Introduction

Software is a key element in many of today’s complex systems, whether they are aerospace, defense, healthcare, automotive, telecommunication or critical infrastructure. The software element has also increased in complexity, with many systems being comprised of millions or tens of millions of lines of code (Charette 2009). The development of complex software systems has created a need for software assurance to ensure the systems perform as required.
The path from simple computer programs to today’s complex systems has occurred over the last 40 years. As software increased in complexity, formal methods and practices to ensure that the code was designed and built correctly have improved as well. (Royce 1970) The path for developing software assurance, the elements of designing and creating software that works as desired and only as desired has been a rocky one. The path has been marked by many differing definitions and agendas and has led to a division among participants.

ผลลัพธ์ (ไทย) 1:

บทนำซอฟต์แวร์เป็นองค์ประกอบสำคัญในระบบที่ซับซ้อนของวันนี้ ทั้งการบินและอวกาศ ป้องกัน สุขภาพ ยาน ยนต์ โทรคมนาคม หรือโครงสร้างพื้นฐาน องค์ประกอบซอฟต์แวร์มีเพิ่มขึ้นในความซับซ้อน มีหลายระบบประกอบด้วยหลายล้านหรือหลายสิบล้านบรรทัดของรหัส (Charette 2009) การพัฒนาของระบบซอฟต์แวร์ที่ซับซ้อนได้สร้างความต้องการสำหรับการรับประกันซอฟต์แวร์เพื่อให้ระบบการดำเนินการตามความจำเป็นเส้นทางจากโปรแกรมคอมพิวเตอร์อย่างง่ายของระบบซับซ้อนเกิดช่วง 40 ปีที่ผ่านมา ซอฟต์แวร์เพิ่มความซับซ้อน วิธีการอย่างเป็นทางการ และมีการปรับปรุงแนวทางปฏิบัติเพื่อให้แน่ใจว่า รหัสถูกออกแบบ และสร้างอย่างถูกต้องเช่นกัน (รอยซ์ 1970) เส้นทางสำหรับการรับประกันซอฟต์แวร์พัฒนา องค์ประกอบของการออกแบบ และสร้างซอฟต์แวร์ที่ทำงานเป็นที่ต้องการ และเท่าได้รับหนึ่งหิน เส้นทางถูกกำหนด โดยข้อกำหนดที่แตกต่างและวาระการประชุม และนำไปสู่การแบ่งระหว่างผู้เข้าร่วม

ผลลัพธ์ (ไทย) 2:

1. บทนำซอฟต์แวร์เป็นองค์ประกอบสำคัญในหลายระบบที่ซับซ้อนในปัจจุบันไม่ว่าจะเป็นการบิน, การป้องกัน, การดูแลสุขภาพ, ยานยนต์, โทรคมนาคมหรือโครงสร้างพื้นฐานที่สำคัญ องค์ประกอบซอฟต์แวร์ที่ได้เพิ่มขึ้นในความซับซ้อนมีหลายระบบที่ถูกประกอบด้วยล้านหรือหมื่นล้านบรรทัดของรหัส (Charette 2009) การพัฒนาระบบซอฟต์แวร์ที่ซับซ้อนได้สร้างความจำเป็นสำหรับการประกันซอฟแวร์เพื่อให้แน่ใจว่าระบบการดำเนินการตามความจำเป็นก. เส้นทางจากโปรแกรมคอมพิวเตอร์ที่ง่ายต่อการระบบที่ซับซ้อนของวันนี้ได้เกิดขึ้นในช่วง 40 ปีที่ผ่านมา เป็นซอฟต์แวร์ที่เพิ่มขึ้นในความซับซ้อนของวิธีการทางการและการปฏิบัติเพื่อให้แน่ใจว่ารหัสถูกออกแบบและสร้างขึ้นอย่างถูกต้องมีการปรับปรุงเช่นกัน (รอยซ์ 1970) เส้นทางสำหรับการพัฒนาซอฟแวร์การประกันองค์ประกอบของการออกแบบและการสร้างซอฟต์แวร์ที่ทำงานเป็นที่ต้องการและเป็นเพียงต้องการได้รับหินหนึ่ง เส้นทางที่ได้รับการทำเครื่องหมายด้วยคำนิยามที่แตกต่างกันจำนวนมากและวาระการประชุมและได้นำไปสู่การแบ่งระหว่างผู้เข้าร่วม

ผลลัพธ์ (ไทย) 3:

1 . แนะนำซอฟต์แวร์ เป็นองค์ประกอบที่สำคัญมากของระบบที่ซับซ้อนในปัจจุบัน ไม่ว่าจะเป็น การบินและอวกาศ , การป้องกัน , การดูแลสุขภาพ , รถยนต์ , โทรคมนาคม หรือโครงสร้างพื้นฐานหลัก ซอฟต์แวร์องค์ประกอบยังมีเพิ่มขึ้นในความซับซ้อนมีหลายระบบที่ประกอบด้วยล้าน หรือ 10 ล้านบรรทัดของรหัส ( charette 2009 ) การพัฒนาระบบซอฟต์แวร์ที่ซับซ้อนได้สร้างความต้องการซอฟต์แวร์ประกันเพื่อให้แน่ใจว่าระบบแสดงตามที่ต้องการเส้นทางจากโปรแกรมคอมพิวเตอร์อย่างง่ายเพื่อระบบที่ซับซ้อนของวันนี้เกิดขึ้นในช่วง 40 ปี เป็นซอฟต์แวร์ที่เพิ่มขึ้นในความซับซ้อนของวิธีการที่เป็นทางการและการปฏิบัติเพื่อให้แน่ใจว่ารหัสที่ถูกออกแบบและสร้างขึ้นอย่างถูกต้องมีการปรับปรุงเช่นกัน ( รอย 1970 ) เส้นทางการพัฒนาการประกันคุณภาพซอฟต์แวร์ องค์ประกอบของการออกแบบและสร้างซอฟต์แวร์ที่ใช้ได้ตามที่ต้องการและเป็นที่ต้องการได้รับหินหนึ่ง เส้นทางที่ถูกกำหนดโดยมากที่มีความหมายและวาระและได้นำไปสู่การแบ่งระหว่างผู้เข้าร่วม