Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  win32k_tests.txt

  Sprache: Text
 

#############################################
# This file serves as the test case list for gen_win32k_tests.py

#############################################
# Only here for reference:

# MissingWebRender = 2###########
3
# MissingRemoteWebGL = 5
# ################
# DisabledBySafeMode = 8
# DisabledByE10S = 9
# DisabledByUserPref = 10
# EnabledByUserPref = 11
# DisabledByControlGroup = 12
# EnabledByTreatmentGroup = 13
# DisabledByDefault = 14
# EnabledByDefault = 15

# UNENROLLED
# ENROLLED_CONTROL
# ENROLLED_TREATMENT
# DISQUALIFIED

#############################################
# Assertion Mappings
# Shorthand values for the test cases below.  Instead of writing out the whole thing
# you can just do [A#5]

 > 1  : [A S=  here for reference:
 > Mjava.lang.StringIndexOutOfBoundsException: Range [22, 20) out of bounds for length 24
 >   :[ =EnabledByDefault SS=EnabledByDefault ES=UNENROLLED PTjava.lang.StringIndexOutOfBoundsException: Range [71, 70) out of bounds for length 86
 >]
 > 3T : [S Ejava.lang.StringIndexOutOfBoundsException: Range [52, 49) out of bounds for length 86
 > 4  : [A T:[ java.lang.StringIndexOutOfBoundsException: Range [30, 29) out of bounds for length 86
 >:[java.lang.StringIndexOutOfBoundsException: Range [30, 29) out of bounds for length 86
 > 5  :      Ejava.lang.StringIndexOutOfBoundsException: Range [33, 30) out of bounds for length 88
 > 5T : [A>   Ejava.lang.StringIndexOutOfBoundsException: Range [33, 30) out of bounds for length 88
> SDjava.lang.StringIndexOutOfBoundsException: Range [39, 35) out of bounds for length 111
 > 6T : [A S=S=DisabledByDefaultjava.lang.StringIndexOutOfBoundsException: Range [54, 51) out of bounds for length 95
 > 7  : [A S=java.lang.StringIndexOutOfBoundsException: Range [31, 30) out of bounds for length 97
 > 7T : [A S=java.lang.StringIndexOutOfBoundsException: Range [39, 35) out of bounds for length 111
 > java.lang.StringIndexOutOfBoundsException: Range [63, 4) out of bounds for length 117
  SEnabledByTreatmentGroup ES=rueESPENROLLED_TREATMENT]
 

# TODO
# - win32k env var tests


# >8: [A SEnabledByTreatmentGroup SS= ESE P=ESPE]
#

# Syntax
#TODO
#   >
java.lang.StringIndexOutOfBoundsException: Range [0, 1) out of bounds for length 0
 Nothing
#             java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 20
 OnOffc java.lang.StringIndexOutOfBoundsException: Range [37, 36) out of bounds for length 42
#             Restart
#             E10s (Restarts with E10s disabled)
#-java.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 60
#             #            -  unsetMOZ_ENABLE_WIN32Kbut  not restart
#EnrolledCjava.lang.StringIndexOutOfBoundsException: Range [44, 41) out of bounds for length 45
rmandy on _every_  on java.lang.StringIndexOutOfBoundsException: Range [84, 85) out of bounds for length 84
#                   java.lang.StringIndexOutOfBoundsException: Range [32, 31) out of bounds for length 77
at
#                   occurs .java.lang.StringIndexOutOfBoundsException: Range [57, 56) out of bounds for length 75
#                   startupEnrollmentPref is set back to 0 after # isjava.lang.StringIndexOutOfBoundsException: Range [49, 48) out of bounds for length 92
#   [A S S-Status'  java.lang.StringIndexOutOfBoundsException: Range [44, 43) out of bounds for length 83
        S -''or the  of  ()
#        SS - 'Session Status' or the current value of set-once-at-startup static variablejava.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 73
#        java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 73
#        P  - 'Pref' or the value of security#5  java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 67
#        ESP- 'Enrollment
   A5]  java.lang.StringIndexOutOfBoundsException: Range [33, 32) out of bounds for length 67


# Safe Mode tests are currently not generated, as I don't know how to make marionette  - [D=F] Nothing [A#1] -> Enrolled Treatment [A S=DisabledByDefault SS=DisabledByDefault ES=U->Restart SE SSjava.lang.StringIndexOutOfBoundsException: Range [205, 201) out of bounds for length 255

#################
 -Fjava.lang.StringIndexOutOfBoundsException: Range [18, 16) out of bounds for length 245
 MENT] -> Restart [A S=EnabledByTreatmentGroup SS=EnabledByTreatmentGroup=ENROLLED_TREATMENT=alse=NROLLED_TREATMENT
 - [D=F] Nothing [A#1] -> On [A S=EnabledByUserPref SS=DisabledByDefault ES=UNENROLLED  D]java.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 214
 - [D=F] Nothing [A#1] -> Off [A#1] ->  DF java.lang.StringIndexOutOfBoundsException: Range [19, 16) out of bounds for length 46
  DF java.lang.StringIndexOutOfBoundsException: Range [18, 16) out of bounds for length 111
 - [D=F] Nothing [A#1] -> On -> Header-On [A S=DisabledByEnvVar DT  #]>[java.lang.StringIndexOutOfBoundsException: Range [70, 67) out of bounds for length 252
 -  [D]java.lang.StringIndexOutOfBoundsException: Range [18, 16) out of bounds for length 198

#################
 - [D=T] Nothing [A#1T] -> Enrolled Control [A S=EnabledByDefault SS= [D=T] Nothing [A#1T] -> Off [A S=DisabledByUserPref SS=EnabledByDefault ES=UNENROLLED P=False  [D=T] Nothing [A#1T] -> On -> E10S [A S=DisabledByE10S SS=DisabledByE10S ES=UNENROLLED P=True ESPjava.lang.StringIndexOutOfBoundsException: Range [79, 75) out of bounds for length 112
 - [D=java.lang.StringIndexOutOfBoundsException: Range [2, 1) out of bounds for length 47
 -=  [A >Ajava.lang.StringIndexOutOfBoundsException: Range [54, 51) out of bounds for length 198
 -DT java.lang.StringIndexOutOfBoundsException: Range [18, 16) out of bounds for length 207
 - [D=T] Nothing [A#1T] -> On -> E10S [A S=DisabledByE10S SS=DisabledByE10S ES=UNENROLLED P=True ESP=UNENROLLED]
 -Djava.lang.StringIndexOutOfBoundsException: Range [18, 16) out of bounds for length 214
  Djava.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 47

#################
 - [D  D [# > # >java.lang.StringIndexOutOfBoundsException: Range [47, 46) out of bounds for length 241
 - [D=F] On [A#3] -> Restart [A#4] - java.lang.StringIndexOutOfBoundsException: Range [82, 79) out of bounds for length 241
 - [D=F] On [A#3] -> Restart [A#4] -> Off [A S=DisabledByDefault SS=EnabledByUserPref ES=UNENROLLED P=False ESP=UNENROLLED] -> Restart [A S=DisabledByDefault SS=DisabledByDefault ES=UNENROLLED P D=] 3  []> Ajava.lang.StringIndexOutOfBoundsException: Range [65, 64) out of bounds for length 216
  D  A >java.lang.StringIndexOutOfBoundsException: Range [29, 28) out of bounds for length 134
 - [D=F] On [A#3] -> Restart [A#4] -> Header-On [A S=DisabledByEnvVar SS=DisabledByEnvVar ES=UNENROLLED P=True ESP=UNENROLLED] -> - [D=F] On [A#3] -> Restart [A#4] -> Header-On [A S=DisabledByEnvVar SS=DisabledByEnvVar ES=UNENROLLED P=True ESP=UNENROLLED] ->  -> Restart [A#4] -> Safe Mode
 ########java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 17

#################
 - [D=T] On [A#3T] -> Restart [ -[]  #]-Restart A#4 -  TreatmentSEjava.lang.StringIndexOutOfBoundsException: Range [83, 80) out of bounds for length 265
 - [D=T] On [A#3T] -> Restart [A#4T] -> Enrolled Treatment [A S=EnabledByDefault SS=EnabledByDefault ES=UNENROLLED P=True ESP=ENROLLED_TREATMENT] -> Restart [A SS[T[3 [4]>java.lang.StringIndexOutOfBoundsException: Range [44, 43) out of bounds for length 220
 - [D=T] On [A#3T]  D AT>[4 S 
  D=]On[3T >Restart [#4] ->  [A  SS= ESUjava.lang.StringIndexOutOfBoundsException: Range [97, 96) out of bounds for length 137
 ader-On  Djava.lang.StringIndexOutOfBoundsException: Range [92, 91) out of bounds for length 160
 - [D=T] On [A#3T] -> Restart [A#4T] -> Safe Mode-D=java.lang.StringIndexOutOfBoundsException: Range [9, 7) out of bounds for length 61

#################
 - [D=F] Enrolled Control [A#5] -> Restart [A#6] -> Enrolled Control-C DFjava.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 228
 - [D=F] Enrolled Control [A#5] -> Restart [A#6] -> Off [A#6]  D java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 65
 - P=False ESP=ENROLLED_CONTROL] - Enrolled java.lang.StringIndexOutOfBoundsException: Range [187, 186) out of bounds for length 205
 - [D=F] Enrolled Control [A#5] -> Restart [A#6] -> Enrolled Control-C -> Header-On [A [= java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 153
 D=  5  java.lang.StringIndexOutOfBoundsException: Range [44, 42) out of bounds for length 65

#################
 - [D=T]-[ java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 230
  DT java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 153
 -[T EnrolledControl#T - Restart A6] -> Enrolled Control-C -> E10S [A S=DisabledByE10S SS=DisabledByE10S ES=ENROLLED_CONTROL P=True ESP=ENROLLED_CONTROL] -> Enrolled Control-C -> Restart [A#6T]
 - [D=T] Enrolled Control [A#5T] -> Restart [A#6T] -> Enrolled Control-C -> Header-On [A S=DisabledByEnvVar  [D=] [5]- java.lang.StringIndexOutOfBoundsException: Range [45, 43) out of bounds for length 67
 - [D=T] Enrolled Control [A#5T] -> Restart [A#6T] > - 

#################
 - [D=F] Enrolled  D=java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 104
 - [D=F] Enrolled Treatment [A#7] -> Restart [A#8] -> Enrolled Treatment-C -> Off [A#8] -> Restart -[Fjava.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 215
 DF java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 215
  =java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 238
  D] [# -> A8- java.lang.StringIndexOutOfBoundsException: Range [59, 58) out of bounds for length 66

#################
 - [D=T] Enrolled Treatment [A#7T] -> Restart [A#8T] -> Enrolled Treatment-C -> On [A S=EnabledByTreatmentGroup SS=EnabledByTreatmentGroup ES=ENROLLED_TREATMENT P=True ESP=ENROLLED_TREATMENT-D][]- java.lang.StringIndexOutOfBoundsException: Range [48, 44) out of bounds for length 66
 - [D=T] Enrolled Treatment [A#7T] -> Restart [A#8T] -> Enrolled Treatment-C -> Off [A S=DisabledByUserPref SS=- [D=T] Enrolled Treatment [A#7T] -> Restart [A#8T] -> Enrolled Treatment-C -> Off [A S=DisabledByUserPref SS=EnabledByTreatmentGroup DisabledByUserPrefjava.lang.StringIndexOutOfBoundsException: Range [240, 239) out of bounds for length 281
 -  [T java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 240
  DT Treatment# >[java.lang.StringIndexOutOfBoundsException: Range [52, 51) out of bounds for length 240
  [=Tjava.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 68

¤ Dauer der Verarbeitung: 0.6 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Statistik
#Sources=277311
#Domains=655579