nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

Software Construction Monitoring and Predicting for Human-Machine Pair Programming

verfasst von : Shaoying Liu

Erschienen in: Structured Object-Oriented Formal Language and Method

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Pair programming is one of the promising techniques advocated in agile development paradigm, but it tends to be more costly than one person-based programming and to lack a rigorous principle for governing the cooperation of the two programmers. In this paper, we put forward a novel technique called Software Construction Monitoring and Predicting to study an intelligent and automatic approach to human-machine pair programming. Its aim is to automatically, dynamically monitor the process of software construction for fault detection and to predict the possible future contents of the software towards its error-free completion. We describe the theoretical foundation and frameworks for Software Construction Monitoring (SCM) and Software Construction Predicting (SCP), respectively. We also discuss how SCMP can support the Specification-Based programming paradigm. Finally, we use simple examples to illustrate how SCM and SCP can be supported.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Nächstes Kapitel Dataset Diversity for Metamorphic Testing of Machine Learning Software

Beck, K.: Embracing change with extreme programming. IEEE Comput. 32(10), 70–77 (1999)CrossRef

Cockburn, A., Williams, L.: The costs and benefits of pair programming. In: Extreme Programming Examined, pp. 223–243. Addison-Wesley Longman Publishing Co., Inc. (2001)

Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-07287-5. ISBN 3-540-20602-7CrossRefMATH

Morgan, C.: Programming from Specifications. Prentice Hall, Upper Saddle River (1990)MATH

Liu, S., McDermid, J.A.: Dynamic sets and their application in VDM. In: Proceedings of 1993 ACM Symposium on Applied Computing, pp. 187–192. ACM Press, February 1993

Liu, S.: Testing-based formal verification for theorems and its application in software specification verification. In: Aichernig, B.K.K., Furia, C.A.A. (eds.) TAP 2016. LNCS, vol. 9762, pp. 112–129. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-41135-4_7CrossRef

Li, S., Liu, S.: A software tool to support scenario-based formal specification for error prevention. In: Tian, C., Nagoya, F., Liu, S., Duan, Z. (eds.) SOFL+MSVL 2017. LNCS, vol. 10795, pp. 187–199. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-90104-6_12CrossRef

Jones, C.B.: Systematic Software Development Using VDM, 2nd edn. Prentice Hall, Upper Saddle River (1990)MATH

Weiser, M.: Program slicing. IEEE Trans. Softw. Eng. 10(4), 352–357 (1984)CrossRef

10.

Gannon, J., McMullin, P., Hamlet, R.: Data abstraction implementation, specification and testing. ACM Trans. Program. Lang. Syst. 3(3), 211–223 (1981)CrossRef

11.

Bouge, L., Choquet, N., Fribourg, L., Gaudel, M.-C.: Test set generation from algebraci specifications using logic programing. J. Syst. Softw. 6(4), 343–360 (1986)CrossRef

12.

Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6(6), 387–405 (1991)CrossRef

13.

Dick, J., Faivre, A.: Automating the generation and sequencing of test cases from model-based specifications. In: Woodcock, J.C.P., Larsen, P.G. (eds.) FME 1993. LNCS, vol. 670, pp. 268–284. Springer, Heidelberg (1993). https://doi.org/10.1007/BFb0024651CrossRef

14.

Legeard, B., Peureux, F., Utting, M.: Automated boundary testing from Z and B. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 21–40. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45614-7_2CrossRefMATH

15.

Legeard, B., Peureux, F., Utting, M.: Controlling test case explosion in test generation from B formal models. Softw. Test. Verif. Reliab. 14, 81–103 (2004)CrossRef

16.

Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, Burlington (2007)

17.

Helke, S., Neustupny, T., Santen, T.: Automating test case generation from Z specifications with Isabelle. In: Bowen, J.P., Hinchey, M.G., Till, D. (eds.) ZUM 1997. LNCS, vol. 1212, pp. 52–71. Springer, Heidelberg (1997). https://doi.org/10.1007/BFb0027283CrossRef

18.

Burton, S.: Automated Testing from Z Specifications. TR YCS-2000-329. University of York, UK (2000)

19.

Lúcio, L., Samer, M.: 12 technology of test-case generation. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 323–354. Springer, Heidelberg (2005). https://doi.org/10.1007/11498490_15CrossRef

20.

Donat, M.R.: Automating formal specification-based testing. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997. LNCS, vol. 1214, pp. 833–847. Springer, Heidelberg (1997). https://doi.org/10.1007/BFb0030644CrossRef

21.

Khurshid, S., Marinov, D.: TestEra: specification-based testing of java programs using SAT. Autom. Softw. Eng. 11(4), 403–434 (2004)CrossRef

22.

Khurshid, S., Marinov, D., Shlyakhter, I., Jackson, D.: A case for efficient solution enumeration. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 272–286. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24605-3_21CrossRef

23.

Manifesto for agile software development, August 2001

24.

Abrahamsson, P., Salo, O., Ronkainen, J., Warsta, J.: Agile software development methods: review and analysis. Espoo 2002, vol. 478. VTT Publications (2002)

Titel: Software Construction Monitoring and Predicting for Human-Machine Pair Programming
verfasst von: Shaoying Liu
Verlag: Springer International Publishing
Buch: Structured Object-Oriented Formal Language and Method
Print ISBN: 978-3-030-13650-5

Electronic ISBN: 978-3-030-13651-2

Copyright-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-030-13651-2_1

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner