We have developed a novel technique

We have developed a novel technique for estimating soft-ware reliability in a Markov software usage model, taking
account of pre-information on failure probabilities. Specif-ically the procedure uses Importance Sampling technique
based on Ali-Silvey distance. The reliability estimator with
maximum precision is obtained from the test results. To show
the method's performance, we have applied it to estimate
the software reliability of Gutjahr's Markov usage model,
the good performance of the method has been demonstrated
experimentally.
However, the statistical testing models are modeled by
Markov usage models, and the number of nodes is not
too large to avoid state space explosion. This indicates
two obvious directions for future work: extension to non-Markov state models, and developing more efficient methods
for handling large state spaces such as parallel technique.
Furthermore, it may be possible to provide more solid
mathematical foundations, such as a proof of the convergence
of the parameter vector sequence.

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

เราได้พัฒนาเทคนิคใหม่สำหรับการประเมินความน่าเชื่อถือนุ่มเครื่องในรูปแบบการใช้งานซอฟแวร์มาร์คอฟพา
บัญชีก่อนข้อมูลเกี่ยวกับความน่าจะเป็นความล้มเหลว specif-ically ขั้นตอนการใช้เทคนิคการสุ่มตัวอย่าง
ความสำคัญขึ้นอยู่กับระยะทาง ali-silvey ประมาณความน่าเชื่อถือที่มีความแม่นยำสูงสุด
ได้มาจากผลการทดสอบ เพื่อแสดงผลการดำเนินงาน
วิธีการที่เราได้ใช้มันเพื่อประเมิน
น่าเชื่อถือของซอฟต์แวร์ของรูปแบบการใช้งานของมาร์คอฟ Gutjahr ของ
ผลงานที่ดีของวิธีการที่ได้รับการแสดงให้เห็นถึง
ทดลอง.
แต่รูปแบบการทดสอบทางสถิติที่จะสร้างแบบจำลองโดย
รูปแบบการใช้งานของมาร์คอฟและจำนวนของโหนดเป็น
ไม่ได้มีขนาดใหญ่เกินไปที่จะหลีกเลี่ยงการระเบิดในพื้นที่รัฐ นี้แสดงให้เห็น
สองทิศทางที่ชัดเจนสำหรับการทำงานในอนาคต:ขยายรูปแบบไม่ใช่รัฐมาร์คอฟและการพัฒนาวิธีการที่มีประสิทธิภาพมากขึ้น
สำหรับการจัดการช่องว่างขนาดใหญ่ของรัฐดังกล่าวเป็นเทคนิคการขนาน.
นอกจากนี้ก็อาจจะเป็นไปได้ที่จะให้รากฐานทางคณิตศาสตร์ที่มั่นคงมากขึ้น
เช่นหลักฐานของการลู่
ของพารามิเตอร์ ลำดับเวกเตอร์

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

เราได้พัฒนาเทคนิคสำหรับการประเมินความน่าเชื่อถือของเครื่องอัดลมในรูปแบบการใช้งานซอฟต์แวร์ Markov นวนิยายการ
บัญชีข้อมูลล่วงหน้าในกิจกรรมล้มเหลว ความ ically วิธีการใช้เทคนิคการสุ่มตัวอย่างความสำคัญ
ตามระยะอาลี-Silvey ประมาณการความน่าเชื่อถือด้วย
ความแม่นยำสูงสุดจะได้รับจากผลการทดสอบ แสดง
ประสิทธิภาพของวิธีการ เราใช้การประเมิน
ซอฟต์แวร์ความน่าเชื่อถือของแบบจำลองการใช้ Markov ของ Gutjahr,
ได้ถูกสาธิตประสิทธิภาพของวิธีการดี
experimentally.
อย่างไรก็ตาม จำลองแบบจำลองการทดสอบทางสถิติโดย
Markov รูปแบบการใช้งาน และจำนวนโหนไม่
ใหญ่เกินไปเพื่อหลีกเลี่ยงการขยายพื้นที่ของรัฐ บ่งชี้
สองทิศทางที่ชัดเจนสำหรับการทำงานในอนาคต: นามสกุลไม่ Markov รัฐรูปแบบ และพัฒนาวิธีที่มีประสิทธิภาพมากขึ้น
สำหรับจัดการพื้นที่รัฐขนาดใหญ่เช่นพร้อมเทคนิคการ
นอก มันอาจเป็นไปได้ให้แข็งเพิ่มเติม
พื้นฐานคณิตศาสตร์ เช่นหลักฐานการบรรจบกัน
ลำดับเวกเตอร์ของพารามิเตอร์ได้

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

เราได้พัฒนาเทคนิคใหม่ที่สำหรับการประเมินความน่าเชื่อถือแบบไม่มีแอลกอฮอล์ - เครื่องในรูปแบบการใช้งานซอฟต์แวร์ markov
ซึ่งจะช่วยให้การบัญชีของ Pre - ข้อมูลเกี่ยวกับความน่าจะเป็นความล้มเหลว บางรุ่น - โดยอาการที่ขั้นตอนใช้เทคนิคการลิ้มลองความสำคัญ
ตามระยะทาง ali-silvey เครื่องมือช่วยประเมินความน่าเชื่อถือได้ด้วยความแม่นยำสูงสุด
ซึ่งจะช่วยได้จากผลการทดสอบได้ ในการแสดงผลการดำเนินงานของวิธีการ
ซึ่งจะช่วยได้เราได้นำไปใช้ในการประเมินความน่าเชื่อถือของซอฟท์แวร์
markov รูปแบบการใช้งานของ gutjahr
ประสิทธิภาพ การทำงานที่ดีของวิธีการที่ได้รับการแสดงให้เห็นถึง
ทดลอง.
อย่างไรก็ตามรุ่นการทดสอบทางสถิติที่ได้รับโดยรูปแบบการใช้งาน
markov และจำนวนของโหนดไม่มี
ขนาดใหญ่เกินไปที่จะหลีกเลี่ยงการระเบิดพื้นที่ของรัฐ โรงแรมแห่งนี้แสดง
สองทิศทางได้อย่างชัดเจนสำหรับการทำงานในอนาคตการขยายไปยังรุ่นไม่ใช่ของรัฐ - markov และการพัฒนาอย่างมี ประสิทธิภาพ มากยิ่งขึ้นวิธีการ
ซึ่งจะช่วยในการจัดการพื้นที่ของรัฐขนาดใหญ่เช่นเทคนิคแบบคู่ขนาน.
ยิ่งไปกว่านั้นอาจเป็นไปได้ที่จะให้รากฐานแข็งแกร่งมากขึ้น
ทางคณิตศาสตร์เช่นการตรวจสอบความถูกต้องของการผสมผสานที่
ของลำดับเวกเตอร์พารามิเตอร์ที่