Source Codes Oriented Software Trustworthiness Measure Based on Validation

<table class="fixed-width table-group" id="tab1"><tr><td><table class="table"><colgroup><col style="width:9.64em"/><col style="width:2.04em"/><col style="width:5.81em"/><col style="width:5.22em"/><col style="width:4.99em"/><col style="width:5.03em"/></colgroup><tr><td class="thead-hr" colspan="6"><hr/></td></tr><tr class="thead"><td class="align_left">Property </td><td class="align_center"> T </td><td class="align_center"> DTABSTM </td><td class="align_center"> AABSTM </td><td class="align_center"> FTBSTM </td><td class="align_center"> ERBSTM</td></tr><tr><td class="thead-hr" colspan="6"><hr/></td></tr><tr><td class="align_left">Measurement theory</td><td class="align_center"><span style="width: 10.0689ptpx;"><svg height="12.4959pt" id="M363" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></span></td><td class="align_center"><span style="width: 7.75925ptpx;"><svg height="7.35473pt" id="M364" style="vertical-align:-0.3499303pt" version="1.1" viewbox="-0.0498162 -7.0048 7.75925 7.35473" width="7.75925pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M528 54L331 254L528 455L492 493L294 291L96 493L60 455L257 254L60 54L96 16L294 217L492 16L528 54Z"></path></g></svg></span></td><td class="align_center"> <svg height="7.35473pt" id="M365" style="vertical-align:-0.3499303pt" version="1.1" viewbox="-0.0498162 -7.0048 7.75925 7.35473" width="7.75925pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M528 54L331 254L528 455L492 493L294 291L96 493L60 455L257 254L60 54L96 16L294 217L492 16L528 54Z"></path></g></svg></td><td class="align_center"><span style="width: 7.75925ptpx;"><svg height="7.35473pt" id="M366" style="vertical-align:-0.3499303pt" version="1.1" viewbox="-0.0498162 -7.0048 7.75925 7.35473" width="7.75925pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M528 54L331 254L528 455L492 493L294 291L96 493L60 455L257 254L60 54L96 16L294 217L492 16L528 54Z"></path></g></svg></span></td><td class="align_center"><span style="width: 7.75925ptpx;"><svg height="7.35473pt" id="M367" style="vertical-align:-0.3499303pt" version="1.1" viewbox="-0.0498162 -7.0048 7.75925 7.35473" width="7.75925pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M528 54L331 254L528 455L492 493L294 291L96 493L60 455L257 254L60 54L96 16L294 217L492 16L528 54Z"></path></g></svg></span></td></tr><tr><td class="align_left">Monotonicity</td><td class="align_center"><span style="width: 10.0689ptpx;"><svg height="12.4959pt" id="M368" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></span></td><td class="align_center"><span style="width: 10.0689ptpx;"><svg height="12.4959pt" id="M369" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></span></td><td class="align_center"> <svg height="12.4959pt" id="M370" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></td><td class="align_center"><span style="width: 10.0689ptpx;"><svg height="12.4959pt" id="M371" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></span></td><td class="align_center"><span style="width: 10.0689ptpx;"><svg height="12.4959pt" id="M372" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></span></td></tr><tr><td class="align_left">Acceleration</td><td class="align_center"><span style="width: 10.0689ptpx;"><svg height="12.4959pt" id="M373" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></span></td><td class="align_center"><span style="width: 10.0689ptpx;"><svg height="12.4959pt" id="M374" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></span></td><td class="align_center"> <svg height="12.4959pt" id="M375" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></td><td class="align_center"><span style="width: 7.75925ptpx;"><svg height="7.35473pt" id="M376" style="vertical-align:-0.3499303pt" version="1.1" viewbox="-0.0498162 -7.0048 7.75925 7.35473" width="7.75925pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M528 54L331 254L528 455L492 493L294 291L96 493L60 455L257 254L60 54L96 16L294 217L492 16L528 54Z"></path></g></svg></span></td><td class="align_center"><span style="width: 7.75925ptpx;"><svg height="7.35473pt" id="M377" style="vertical-align:-0.3499303pt" version="1.1" viewbox="-0.0498162 -7.0048 7.75925 7.35473" width="7.75925pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M528 54L331 254L528 455L492 493L294 291L96 493L60 455L257 254L60 54L96 16L294 217L492 16L528 54Z"></path></g></svg></span></td></tr><tr><td class="align_left">Sensitivity</td><td class="align_center"><span style="width: 10.0689ptpx;"><svg height="12.4959pt" id="M378" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></span></td><td class="align_center"><span style="width: 10.0689ptpx;"><svg height="12.4959pt" id="M379" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></span></td><td class="align_center"> <svg height="12.4959pt" id="M380" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></td><td class="align_center"><span style="width: 10.0689ptpx;"><svg height="12.4959pt" id="M381" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></span></td><td class="align_center"><span style="width: 10.0689ptpx;"><svg height="12.4959pt" id="M382" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></span></td></tr><tr><td class="align_left">Substitutivity</td><td class="align_center"><span style="width: 10.0689ptpx;"><svg height="12.4959pt" id="M383" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></span></td><td class="align_center"><span style="width: 10.0689ptpx;"><svg height="12.4959pt" id="M384" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></span></td><td class="align_center"> <svg height="12.4959pt" id="M385" style="vertical-align:-2.92051pt" version="1.1" viewbox="-0.0498162 -9.57539 10.0689 12.4959" width="10.0689pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,.013)"><path d="M782 731H740L476 -79H474L280 352L133 274L151 239L242 286L473 -219L782 731Z"></path></g></svg></td><td class="align_center"><span style="width: 7.75925ptpx;"><svg height="7.35473pt" id="M386" style="vertical-align:-0.3499303pt" version="1.1" viewbox="-0.0498162 -7.0048 7.75925 7.35473" width="7.75925pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M528 54L331 254L528 455L492 493L294 291L96 493L60 455L257 254L60 54L96 16L294 217L492 16L528 54Z"></path></g></svg></span></td><td class="align_center"><span style="width: 7.75925ptpx;"><svg height="7.35473pt" id="M387" style="vertical-align:-0.3499303pt" version="1.1" viewbox="-0.0498162 -7.0048 7.75925 7.35473" width="7.75925pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M528 54L331 254L528 455L492 493L294 291L96 493L60 455L257 254L60 54L96 16L294 217L492 16L528 54Z"></path></g></svg></span></td></tr><tr class="table-tr"><td colspan="6"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

<div>Comparative study in terms of measurement theory and the properties given in Section <a href="https://static.hindawi.com/articles/mpe/volume-2018/6982821/figures/#sec4" target="_blank">4</a>.</div>

Mathematical Problems in Engineering

tab1

Table 1

Table 1: Source Codes Oriented Software Trustworthiness Measure Based on Validation 