Abstract
There exist many software trustworthiness measures based on the decompositions of attributes. However, few of them are concerned with using more rigorous approaches to measure software trustworthiness and carrying out the theoretical validation of measures. Axiomatic approaches formalize the empirical understanding of a software attribute through the definition of a set of desirable software measure properties. It can provide precise and formal terms for the quantification of software attributes. We once used axiomatic approaches to measure software trustworthiness based on multi-dimensional attributes, in this paper, based on previous works, we apply axiomatic approaches to measure software trustworthiness based on the decompositions of attributes, propose the desirable properties of software trustworthiness measures based on the decompositions of attributes, present a software trustworthiness measure and validate this measure from the theory by proving that it complies with the set of properties. Compared with the popular software trustworthiness measures, this measure can evaluate software trustworthiness better in view of our properties.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Liu, K., Shan, Z., Wang, J., He, J., Zhang, Z., Qin, Y.: Overview On Major Research Plan of Trustworthy Software. Bull. of Nat. Nat. Sci. Foun. of Ch. 22(3), 145–151 (2008)
Hasselbring, W., Reussner, R.: Toward Trustworthy Software systems. IEEE Trans. on Comp. 39(4), 91–92 (2006)
Steffen, B., Wilhelm, H., Alexandra, P., et al.: Trustworthy Software Systems: a Discussion of Basic Cconcepts and Terminology. ACM SIGSOFT Soft. Eng. Notes 31(6), 1–18 (2006)
Ding, S., Yang, S., Fu, C.: A Novel Evidential Reasoning Based Method for Software Trustworthiness Evaluation Under the Uncertain and Unreliable Environment. Exp. Sys. with App. 39, 2700–2709 (2012)
Li, X., Wang, X., Zhang, T., Yi, J.: Software Trustworthiness Evaluation Based on Weakness Analysis and Testing Assessment. J. Tsinghua Univ (Sci.& Tech.) 51(10), 1287–1293 (2011) (in Chinese)
Yuan, Y., Han, Q.: A Data Mining Based Measurement Method For Software Trustworthiness. Chin. J. of Elec. 21(1), 13–16 (2012)
Shi, H., Ma, J., Zou, F.: Software Dependability Evaluation Model Based on Fuzzy Theory. In: Zhou, J., Xie, Y., Chai, S., Wen, D. (eds.) Computer Science and Information Technology, pp. 102–106. IEEE Press, Piscataway (2008)
Fenton, N., Littlewood, B., Neil, M., Strigini, L., Sutcliffe, A., Wright, D.: Assessing Dependability of Safety Critical Systems Using Diverse Evidence. IEE Proc. Softw. 145(1), 35–39 (1998)
Wang, J., Chen, Y., Gu, B., Guo, X., Wang, B., Jin, S., Xu, J., Zhang, J.: An Approach to Measure and Grading Software Trust for Spacecraft Software. Sci. Sin. Tech. 45(2), 221–228 (2015)
Morasca, S.: Fundamental Aspects of Software Measurement. In: De Lucia, A., Ferrucci, F. (eds.) ISSSE 2009-2011. LNCS, vol. 7171, pp. 1–45. Springer, Heidelberg (2013)
Poels, G., Dedene, G.: Distance-based Software Measurement: Necessary and Sufficient Properties for Software Measures. Infor. and Soft. Tech. 42(1), 35–46 (2000)
Weyuker, E.: Evaluating Software Complexity Measures. IEEE Trans. on Soft. Eng. 14(9), 1357–1365 (1988)
Lakshmanan, K., Jayaprakash, S., Sinha, P.: Properties of Control-flow Complexity Measures. IEEE Trans. on Soft. Eng. 17(12), 1289–1295 (1991)
Briand, L., Morasca, S., Basili, V.: Property-based Software Engineering Measurement. IEEE Trans. on Soft. Eng. 22(1), 68–86 (1996)
Morasca, S.: Refining the Axiomatic Definition of Internal Software Attributes. In: Hans, D., Sebastian, G., Jürgen, M. (eds.) Empirical Software Engineering and Measurement, pp. 188–197. IEEE Press, Piscataway (2008)
Tao, H., Chen, Y.: A Metric Model for Trustworthiness of Softwares. In: Boldi, P., Vizzari, G. (eds.) Web Intelligence and Intelligent Agent Technology, vol. 3, pp. 69–72. IEEE Press, Piscataway (2009)
Tao, H., Chen, Y.: A New Metric Model for Trustworthiness of Softwares. Tele. Sys. 51(2-3), 95–105 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tao, H., Chen, Y., Pang, J. (2015). A Software Trustworthiness Measure Based on the Decompositions of Trustworthy Attributes and Its Validation. In: Gen, M., Kim, K., Huang, X., Hiroshi, Y. (eds) Industrial Engineering, Management Science and Applications 2015. Lecture Notes in Electrical Engineering, vol 349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-47200-2_102
Download citation
DOI: https://doi.org/10.1007/978-3-662-47200-2_102
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-47199-9
Online ISBN: 978-3-662-47200-2
eBook Packages: Computer ScienceComputer Science (R0)