Skip to main content
SpringerLink
Log in

Architecture-Guided Test Resource Allocation via Logic

  • Conference paper
  • First Online:
Tests and Proofs (TAP 2021)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 12740))

Included in the following conference series:

  • 291 Accesses

Abstract

We introduce a new logic named Quantitative Confidence Logic (QCL) that quantifies the level of confidence one has in the conclusion of a proof. By translating a fault tree representing a system’s architecture to a proof, we show how to use QCL to give a solution to the test resource allocation problem that takes the given architecture into account. We implemented a tool called Astrahl and compared our results to other testing resource allocation strategies.

The authors are supported by ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Here, we mean fuzzy logics interpreted in [0, 1].

  2. 2.

    The code and experimental data are publicly available on https://github.com/ERATOMMSD/qcl_tap_2021.

  3. 3.

    Functional optimisation may not be as efficient in larger dimensions, but even a naive estimate should give a better result than completely ignoring system structure.

  4. 4.

    It would equally be possible to assume a test costs one resource and scale the budget.

  5. 5.

    We used smaller confidence so that components will usually contain faults.

References

  1. Bergmann, M.: An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems. Cambridge University Press, Cambridge (2008). https://doi.org/10.1017/CBO9780511801129

    Book  MATH  Google Scholar 

  2. Bertsekas, D.P.: Constrained Optimization and Lagrange Multiplier Methods. Academic Press, Cambridge (2014)

    MATH  Google Scholar 

  3. Carrozza, G., Pietrantuono, R., Russo, S.: Dynamic test planning: a study in an industrial context. Int. J. Softw. Tools Technol. Transfer 16(5), 593–607 (2014). https://doi.org/10.1007/s10009-014-0319-0

    Article  Google Scholar 

  4. Dempster, A.P.: Upper and lower probabilities induced by a multivalued mapping. Ann. Math. Stat. 36, 325–339 (1967). https://doi.org/10.1007/978-3-540-44792-4_3

    Article  MathSciNet  MATH  Google Scholar 

  5. Ericson, C.A.: Fault tree analysis. In: System Safety Conference, Orlando, Florida, vol. 1, pp. 1–9 (1999)

    Google Scholar 

  6. Esteva, F., Godo, L.: Monoidal T-norm based logic: towards a logic for left-continuous T-norms. Fuzzy Sets Syst. 124(3), 271–288 (2001). https://doi.org/10.1016/S0165-0114(01)00098-7

    Article  MathSciNet  MATH  Google Scholar 

  7. Goel, A.L., Okumoto, K.: Time-dependent error-detection rate model for software reliability and other performance measures. IEEE Trans. Reliab. 28(3), 206–211 (1979). https://doi.org/10.1109/TR.1979.5220566

    Article  MATH  Google Scholar 

  8. Hájek, P.: Metamathematics of Fuzzy Logic, vol. 4. Springer Science & Business Media, Dordrecht (2013). https://doi.org/10.1007/978-94-011-5300-3

    Book  MATH  Google Scholar 

  9. Hansen, N., Ostermeier, A.: Completely derandomized self-adaptation in evolution strategies. Evol. Comput. 9(2), 159–195 (2001). https://doi.org/10.1162/106365601750190398

    Article  Google Scholar 

  10. Huang, C.Y., Lo, J.H.: Optimal resource allocation for cost and reliability of modular software systems in the testing phase. J. Syst. Softw. 79(5), 653–664 (2006). https://doi.org/10.1016/j.jss.2005.06.039

    Article  MathSciNet  Google Scholar 

  11. Kamei, Y., Shihab, E.: Defect Prediction: Accomplishments and Future Challenges. In: 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER), vol. 5, pp. 33–45. IEEE (2016). https://doi.org/10.1109/SANER.2016.56

  12. Pietrantuono, R.: On the testing resource allocation problem: research trends and perspectives. J. Syst. Softw. 161, 110462 (2020). https://doi.org/10.1016/j.jss.2019.110462

    Article  Google Scholar 

  13. Pietrantuono, R., Russo, S., Trivedi, K.S.: Software reliability and testing time allocation: an architecture-based approach. IEEE Trans. Softw. Eng. 36(3), 323–337 (2010). https://doi.org/10.1109/TSE.2010.6

    Article  Google Scholar 

  14. Sallak, M., Schön, W., Aguirre, F.: Reliability assessment for multi-state systems under uncertainties based on the Dempster-Shafer theory. IIE Trans. 45(9), 995–1007 (2013). https://doi.org/10.1080/0740817X.2012.706378

    Article  Google Scholar 

  15. Shafer, G.: A Mathematical Theory of Evidence, vol. 42. Princeton University Press, Princeton (1976). https://doi.org/10.2307/j.ctv10vm1qb

    Book  MATH  Google Scholar 

  16. Van Laarhoven, P.J., Aarts, E.H.: Simulated annealing. In: Simulated Annealing: Theory and Applications. MAIA, vol. 37, pp. 7–15. Springer, Dordrecht (1987). https://doi.org/10.1007/978-94-015-7744-1_2

    Chapter  MATH  Google Scholar 

  17. Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook. Technical Report, Nuclear Regulatory Commission Washington DC (1981)

    Google Scholar 

  18. Yamada, S., Osaki, S.: Software reliability growth modeling: models and applications. IEEE Trans. Softw. Eng. SE-11(12), 1431–1437 (1985). https://doi.org/10.1109/TSE.1985.232179

  19. Zhang, G., Su, Z., Li, M., Yue, F., Jiang, J., Yao, X.: Constraint handling in NSGA-II for solving optimal testing resource allocation problems. IEEE Trans. Reliab. 66(4), 1193–1212 (2017). https://doi.org/10.1109/TR.2017.2738660

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo, 101-8430, Japan

    Clovis Eberhart, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo & Fuyuki Ishikawa

  2. Japanese-French Laboratory for Informatics, Tokyo, Japan

    Clovis Eberhart

  3. National Institute of Advanced Industrial Science and Technology, 2-3-26, Aomi, Koto-ku, Tokyo, 135-0064, Japan

    Akihisa Yamada

  4. Japan Science and Technology Agency, 4-1-8, Honcho, Kawaguchi-shi, Saitama, 332-0012, Japan

    Tsutomu Kobayashi

Authors
  1. Clovis Eberhart
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Akihisa Yamada
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stefan Klikovits
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Shin-ya Katsumata
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Tsutomu Kobayashi
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Ichiro Hasuo
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Fuyuki Ishikawa
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Clovis Eberhart .

Editor information

Editors and Affiliations

  1. Université d’Orléans, Orléans, France

    Frédéric Loulergue

  2. Graz University of Technology, Graz, Austria

    Franz Wotawa

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Eberhart, C. et al. (2021). Architecture-Guided Test Resource Allocation via Logic. In: Loulergue, F., Wotawa, F. (eds) Tests and Proofs. TAP 2021. Lecture Notes in Computer Science(), vol 12740. Springer, Cham. https://doi.org/10.1007/978-3-030-79379-1_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-79379-1_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-79378-4

  • Online ISBN: 978-3-030-79379-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation