Rules
Type | Description |
| JSON string. Example: "device_restart_fix" |
| JSON array of Strings (used for readability of long strings). Strings are concatenated when used, use markdown for line breaks. Example: [ "line one\\n\\n", "line two" ] |
| Reference (by "_class" and "label") to test or eliminator. For simple conditions "result" is a logic variable. By convention the variable has the same name as the condition "label". ?var ⇒ evaluate condition (if not already evaluated) $var ⇒ assign variable (if condition already evaluated) Example: { "_class" : "device_restart", "label" : fix", "result" : "?fix" } |
| See Variants.
As Examples:
|
| See Expressions. Legal characters: alphanumeric and ()_?$ Example: "(or (not ?http_public) (not ?https_public))" |
| See Resources. A JSON object containing string templates used by logic rules. Keys: alphanumeric + underscores. Values: String or multiline, markdown and templates Example: { "key1" : "**resource 1** with {{ test_label }} macro", "key2" : [ "Multiline _resource 2_ ", "with {{ another_test_label }} macro ", "and [markdown link](https://exvisory.ai)" ] } |
Faults are specific diagnosable problems. Note: we also use the plural term 'faults' to refer collectively to both fault and fault group logic rules (but we'll always try to make that clear from the context).
Key | Type | Description |
| String | Fault class (unique across all faults and fault groups). Legal characters: alphanumeric (a-zA-Z0-9_) Example: "device_restart_fix" |
| Developer comment to describe the fault. Example: "Temporary problem fixed by restarting device" | |
| Array of Conditions
| JSON array of conditions. Conditions are tests or eliminators evaluated to find or eliminate this fault (query tests ask the user questions). All conditions are evaluated and their results assigned to variables. Example: [ { "_class" : "device_restart", "label" : "fix", "result" : "?fix" } ] |
| | Result of fault evaluation. Boolean logic expression returning TRUE or FALSE. Refers to variables assigned by evaluating "conditions". Example: "(eq ?fix y)" |
| Resources
| String templates used by Fault. Valid resource keys:
At least one of "found" or "eliminated" should be present. Example: { "found" : "Unknown problem, fixed by restarting device." } |
device_restart_fix fault at https://dev.exvisory.ai/apps/sample-mobile{"_class" : "device_restart_fix","comment" : "Temporary problem fixed by restarting device","conditions" : [{ "_class" : "device_restart", "label" : "fix", "result" : "?fix" }],"result" : "(eq ?fix y)","resources" : {"found" : "Unknown problem, fixed by restarting device."}}
Fault groups are groups of related faults organised into a containment hierarchy. Note: we also use the plural term 'faults' to refer collectively to both fault and fault group logic rules (but we'll always try to make that clear from the context).
Key | Type | Description |
| String
| Fault class (unique across all faults and fault groups). Legal characters: alphanumeric (a-zA-Z0-9_) Example: "power" |
| | Developer comment to describe the fault group. Example: "problem related to battery, power or charging" |
| Array of String | Ordered array of "_class" names of sub-faults. Example: [ "battery", "charging", "power_up" ] |
| | String templates used by fault group. Valid resource keys:
All these resource keys are optional. Example: { "scoped" : [ "Unknown problem with device battery, power or charging" ] } |
power (fault group) at https://dev.exvisory.ai/apps/sample-mobile{"_class" : "power","comment" : "problem related to battery, power or charging","subclasses" : [ "battery", "charging", "power_up" ],"resources" : {"scoped" : ["Unknown problem with device battery, power or charging"]}}
Eliminators are a special kind of test that ELIMINATE or SCOPE fault groups.
Key | Type | Description |
| String | Fault group class to which the eliminator applies. Legal characters: alphanumeric (a-zA-Z0-9_) Example: "cellular_data" |
| String | Eliminator label (unique within fault), must be "eliminator". Legal characters: alphanumeric (a-zA-Z0-9_) |
| String | Eliminator variant (required, unique within eliminator). Legal characters: alphanumeric (a-zA-Z0-9_) By convention "default" if only one variant. Example: "default" |
| | Developer comment to describe the eliminator. Example: "ELIMINATED if not using mobile network" |
| Array of Conditions
| JSON array of simple or variant conditions. Eliminator conditions are tests or eliminators evaluated to ELIMINATE or SCOPE this fault "_class" (query tests ask the user questions). If the first condition is a variant condition its "result" field is a logic expression that decides which eliminator variant is to be fully evaluated. When an eliminator is fully evaluated all its conditions are evaluated and their results assigned to variables. Example: [ { "_class" : "wireless", "label" : "eliminator", "result" : "?we" }, { "_class" : "internet", "label" : "network", "result" : "?network" } ] |
| Object
| Eliminators evaluate to ELIMINATED, SCOPED or UNKNOWN by logically combining the variables from their conditions. This is captured by a JSON object with keys "ELIMINATED", "SCOPED" or "UNKNOWN" referring to logic expressions that refer to the condition variables. There are a limited number of key combinations:
Example: { "ELIMINATED" : "(neq ?network mobile)", "SCOPED" : "(eq ?we SCOPED)", "UNKNOWN" : "" } which means"if not using mobile data network ELIMINATE this fault, otherwise if fault is scoped to parent narrow SCOPE to this fault, otherwise evaluate as UNKNOWN and continue inference". |
"resources" | | String templates used by eliminator. Valid resource keys:
|
cellular_data eliminator at https://dev.exvisory.ai/apps/sample-mobile{"_class" : "cellular_data","label" : "eliminator","variant" : "default","comment" : "ELIMINATED if not using mobile network","conditions" : [{ "_class" : "wireless", "label" : "eliminator", "result" : "?we" },{ "_class" : "internet", "label" : "network", "result" : "?network" }],"result" : {"ELIMINATED" : "(neq ?network mobile)","SCOPED" : "(eq ?we SCOPED)","UNKNOWN" : ""},"resources" : {"eliminated" : "Fault is not with mobile network - using {{internet_network_usr}} network."}}
Query tests ask end users questions in order to troubleshoot a problem.
Key | Type | Description |
| String | Fault (or fault group) class to which this test belongs. Assign tests to logically related faults (for legibility). Legal characters: alphanumeric (a-zA-Z0-9_) Example: "internet" |
| String | Test label ("<_class> <label> <variant>" must be unique). Tests are generally referred to as <_class> <label> so choose descriptive labels for legibility. Legal characters: alphanumeric (a-zA-Z0-9_) Example: "network" |
| String | Test variant (unique within test) Optional: only include if your test has multiple variants. Legal characters: alphanumeric (a-zA-Z0-9_) Example: See Variants. |
| | Developer comment to describe the test. Example: "ELIMINATED if not using mobile network" |
| Array of Conditions
| JSON array of simple or variant conditions. Test conditions are tests to evaluate before evaluating this query test. If the first condition is a variant condition its "result" field is a logic expression that decides which test variant is to be fully evaluated. When a test is fully evaluated all its "conditions" are evaluated and their results assigned to variables. Note: query tests do not have a "results" key that refers to condition variables, but conditions can still be used for enforcing dependencies between tests, i.e. making sure that other tests have been evaluated before this test. This might be required if test "resources" use template macros to refer to other test results. Example: See Synthetic test example. |
| Array of String
| Defines query type and returned values:
Example: [ "wifi", "mobile", "bluetooth", "usb" ] |
|
| Logic expression that refers to query test input. If expression evaluates to TRUE this query test is added to a list of tests to possibly retry after inference completes. The query test input is available in the variable ?result and the retry list is stored in a special Example:
|
| | Logic expression that can refer to query test input and "conditions" variables. If expressions evaluates to TRUE inference then inference halts. Example:
|
"resources"
|
| String templates used by query test. Valid resource keys:
See Query test example tab. |
internet network (query test) at https://dev.exvisory.ai/apps/sample-mobile{"_class" : "internet","label" : "network","comment" : ["identify network in use { wifi | mobile | bluetooth | usb }"],"_values" : [ "wifi", "mobile", "bluetooth", "usb" ],"resources" : {"bluetooth" : "-Bluetooth (tethering to another device)","help" : ["It's not always obvious which network you are using to connect ","to the Internet. I'm talking about whether you are using WiFi or ","mobile/cellular data (if you are using Bluetooth or USB tethering I'm sure ","you know that). If not sure see:\\n\\n","{% if device_os == 'ios' %}","- [Status icons and symbols on your iPhone](https://support.apple.com/HT207354)\\n","- [About Wi-Fi Assist](https://support.apple.com/HT205296)\\n","{% elseif device_os == 'android' %}","- [Android Signal Icon Meanings](https://www.technipages.com/android-signal-icon-meanings) on your device status bar\\n","- [How do I know if I'm on WiFi or using data plan?](https://community.verizonwireless.com/thread/915359)\\n","{% elseif device_os == 'windows' %}","- [How can I tell whether I'm getting data via Wi-Fi or phone network?](https://windowsphone.stackexchange.com/questions/425/how-can-i-tell-whether-im-getting-data-via-wi-fi-or-phone-network)\\n","{% endif %}"],"mobile" : "Mobile (cellular) data","prompt" : "Which network are you using to connect to the Internet?","usb" : "-USB (tethering to another device)","wifi" : "WiFi"}}
Synthetic tests are tests that logically combine the results of other tests (to group tests or deduce intermediate conclusions useful to the fault diagnostic process).
Key | Type | Description |
| String | Fault (or fault group) class to which this test belongs. Assign tests to logically related faults (for legibility). Legal characters: alphanumeric (a-zA-Z0-9_) Example: "browser" |
| String | Test label ("<_class> <label> <variant>" must be unique). Tests are generally referred to as <_class> <label> so choose descriptive labels for legibility. Legal characters: alphanumeric (a-zA-Z0-9_) Example: "activity" |
| String | Test variant (unique within test) Optional: only include if your test has multiple variants. Legal characters: alphanumeric (a-zA-Z0-9_) Example: See Variants. |
| | Developer comment to describe the test. Example: "TRUE if browser can open HTTP or HTTPS web sites" |
| Array of Conditions
| JSON array of simple or variant conditions. Test conditions are tests to evaluate before evaluating this query test. If the first condition is a variant condition its "result" field is a logic expression that decides which test variant is to be fully evaluated. When a test is fully evaluated all its "conditions" are evaluated and their results assigned to variables. Note: conditions are fundamentally used for enforcing dependencies between tests, i.e. making sure that other tests have been evaluated before this test. This might be required if test "resources" use template macros to refer to other test results. Example: [ { "_class" : "browser", "label" : "https_public", "result" : "?https_public" }, { "_class" : "browser", "label" : "http_public", "result" : "?http_public" } ] |
| | Logic expression that can refers to test "result" and "conditions" variables. If expressions evaluates to TRUE inference then inference halts. Example:
|
|
| Logic expression determining the result of this test. Possible results (see Expressions):
|
"resources"
|
| String templates used by synthetic test. Valid resource keys:
See Synthetic test example tab. |
browser activity (synthetic test) at https://dev.exvisory.ai/apps/sample-mobile{"_class" : "browser","label" : "activity","comment" : "TRUE if browser can open HTTP or HTTPS web sites","conditions" : [{ "_class" : "browser", "label" : "https_public", "result" : "?https_public" },{ "_class" : "browser", "label" : "http_public", "result" : "?http_public" }],"result" : "(or ?http_public ?https_public)","resources" : {"pre_help" : ["There are two kinds of web sites: most are SECURE, some are OPEN. ","You can [tell the difference](https://support.google.com/chrome/answer/95617) ","by looking at the browser address bar. ","SECURE web sites show a padlock icon beside the web address and the ","web address begins with a `https://` prefix (you might need to select ","the web address to reveal the prefix). OPEN web sites don't ","have the padlock icon and begin with `http://`. ","Let's see if your mobile device can browse to both kinds of web site."],"result" : ["{% if browser_http_public and not browser_https_public %}","Being able to browse an OPEN (http) web site but not a SECURED (https) ","web site sounds like a browser problem.","{% elseif browser_https_public and not browser_http_public %}","Being able to browse a SECURED (https) web site but not an OPEN (http) ","web site sounds like a browser problem.","{% endif %}"]}}
