We have developed a method for esti

We have developed a method for estimating software reliability of
a program using a Markov reward model. The method uses an op-erational profile of a program, and the estimated reliability of each
module, to estimate the reliability of a program. UsingiLTL,we
show how a variety of reliability properties may be specified and
we provide an algorithm for checking these properties. While our
technique provides a promising method for rigorous compositional
software reliability estimation, empirical studies with real software
systems remain to be carried out. Moreover, further research is
needed to quantify the effect of deviations from the assumptions
used in our model.

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

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

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

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

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

เราได้พัฒนาวิธีการที่ซอฟต์แวร์สำหรับความน่าเชื่อถือการประเมินของโปรแกรม
ซึ่งจะช่วยให้การใช้รุ่นรางวัล markov ที่ วิธีการที่ใช้โปรไฟล์ความร่วมมือ - erational ของโปรแกรมและความน่าเชื่อถือโดยประมาณของแต่ละโมดูล
ซึ่งจะช่วยในการประเมินความน่าเชื่อถือได้ของโปรแกรมได้ usingiltl เรา
ซึ่งจะช่วยแสดงให้เห็นว่าความหลากหลายของคุณสมบัติของความน่าเชื่อถืออาจต้องระบุและ
ซึ่งจะช่วยเราให้อัลกอริธึมการตรวจสอบคุณสมบัติเหล่านี้ ในขณะที่ของเรา
ตามมาตรฐานเทคนิคมีวิธีการที่น่าสนใจสำหรับความน่าเชื่อถือ
ซึ่งจะช่วยประมาณซอฟต์แวร์ compositional อย่างเข้มงวดการศึกษาเชิงประจักษ์ด้วยซอฟต์แวร์
ซึ่งจะช่วยระบบยังคงอยู่ในการดำเนินการออกมา ยิ่งไปกว่านั้นการวิจัยเพิ่มเติมคือ
volatility )จำเป็นต้องมีผลของตัวแปรจากสมมุติฐาน
ที่ใช้ในรุ่นของเรา