SQP-based testability index allocation method for avionics system | IEEE Conference Publication | IEEE Xplore