This approach eased development of

This approach eased development of X-Checker, and for
the most part our hypothesis about the equivalence of the
desktop and phone version of Windows was correct. However,
we found (and reported to Microsoft) a case where
the desktop and phone versions diverged in their semantics.
In particular, the public property CurrencyDecimalDigits
of the class System.Globalization.NumberFormatInfo is
required to be a read-only field according to MSDN documentation.
While the read-only property holds in the desktop
version, the property is mutable in the Windows Phone version.
We also found, using differential testing against Android, a
case where both the desktop and phone version of Windows
incorrectly implement the documented semantics for a
given property, while Android’s implementation followed Microsoft’s
documentation. In particular, the property WebName of
System.Text.Encoding.BigEndianUnicode must have the

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

วิธีการนี้พัฒนา ของ X-ตรวจสอบ และบรรเทามากสุดส่วนสมมติฐานของเราเกี่ยวกับความสมดุลของการเดสก์ท็อปและโทรศัพท์รุ่นของ Windows ที่ถูกต้อง อย่างไรก็ตามเราพบ (และรายงานไปยัง Microsoft) กรณีที่เดสก์ท็อปและโทรศัพท์รุ่นแยกออกในความหมายของพวกเขาโดยเฉพาะอย่างยิ่ง คุณสมบัติสาธารณะ CurrencyDecimalDigitsของคลา System.Globalization.NumberFormatInfo เป็นจำเป็นต้องเป็นเขตข้อมูลแบบอ่านอย่างเดียวตามเอกสารประกอบของ MSDNในขณะที่เก็บคุณสมบัติอ่านอย่างเดียวในเดสก์ท็อปรุ่น คุณสมบัติไม่แน่นอนในรุ่น Windows Phoneเรายังพบ โดยใช้การทดสอบความแตกต่างกับ Android การกรณี Windows รุ่นทั้งเดสก์ท็อปและโทรศัพท์ไม่ถูกต้องใช้ความหมายของเอกสารสำหรับการกำหนดคุณสมบัติ ในขณะที่การใช้งานของ Android ตามของ Microsoftเอกสาร โดยเฉพาะอย่างยิ่ง คุณสมบัติ WebName ของSystem.Text.Encoding.BigEndianUnicode ต้องการ

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

วิธีการนี้จะค่อย ๆ พัฒนาของ X-ตรวจสอบและสำหรับ
ส่วนใหญ่สมมติฐานของเราเกี่ยวกับความเท่าเทียมกันของ
สก์ท็อปและโทรศัพท์รุ่นของ Windows ที่ถูกต้อง แต่
เราพบว่า (และรายงานไปยัง Microsoft) กรณีที่
สก์ท็อปและโทรศัพท์รุ่นที่แยกออกมาในความหมายของพวกเขา.
โดยเฉพาะอย่างยิ่ง CurrencyDecimalDigits ทรัพย์สินของประชาชน
ของชั้น System.Globalization.NumberFormatInfo จะ
ต้องเป็นสนามอ่านอย่างเดียวตาม MSDN เอกสาร.
ขณะที่คุณสมบัติอ่านอย่างเดียวถืออยู่ในสก์ท็อป
รุ่นคุณสมบัติคือไม่แน่นอนในรุ่น Windows Phone.
นอกจากนี้เรายังพบว่าใช้การทดสอบค่ากับ Android เป็น
กรณีที่ทั้งเดสก์ทอปและรุ่นโทรศัพท์ที่ใช้ Windows
ไม่ถูกต้องใช้ความหมายเอกสาร สำหรับ
คุณสมบัติที่ได้รับในขณะที่การดำเนินงานของ Android ตามมาไมโครซอฟท์
เอกสาร โดยเฉพาะอย่างยิ่ง WebName ทรัพย์สินของ
System.Text.Encoding.BigEndianUnicode ต้องมี

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

วิธีการนี้มาจากการพัฒนา x-checker และสำหรับมากที่สุดส่วนสมมติฐานเกี่ยวกับค่าของเดสก์ทอปและโทรศัพท์รุ่นของ Windows ที่ถูกต้อง อย่างไรก็ตามเราพบและรายงานไปยัง Microsoft ) คดีที่เดสก์ทอปและโทรศัพท์รุ่น diverged ในความหมายของพวกเขาโดยเฉพาะอย่างยิ่ง currencydecimaldigits สาธารณะของชั้น system.globalization.numberformatinfo คือต้องเป็นสนามที่อ่านจากเอกสาร MSDN .ในขณะที่คุณสมบัติอ่านอย่างเดียวถือในเดสก์ท็อปรุ่นคุณสมบัติที่ไม่แน่นอนใน Windows Phone รุ่นนอกจากนี้เรายังพบ โดยใช้การทดสอบความแตกต่างกับ Android ,กรณีที่ทั้งเดสก์ทอปและโทรศัพท์รุ่นของวินโดวส์ไม่ถูกต้องใช้เอกสารความหมายสำหรับให้ทรัพย์สิน ในขณะที่ Android ใช้งานตามซอฟต์แวร์เอกสาร โดยเฉพาะคุณสมบัติของ webnamesystem.text.encoding.bigendianunicode ต้องมี