Digrafy jako modele programów komputerowych

• Autorzy: Kulesza R.
• Języki publikacji: PL

Abstrakty

PL

W pracy przedstawiono niektóre własności digrafów o jednym źródle (węźle bez poprzedników) i jednym ścieku (węźle bez następników), a więc takich, które są (między innymi) dobrymi modelami przenoszenia sterowania w programach komputerowych.

Słowa kluczowe

PL

digraf; program komputerowy; sterowanie

• Wydawca: Instytut Teleinformatyki i Automatyki, Wydział Cybernetyki, Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
• Czasopismo: Biuletyn Instytutu Automatyki i Robotyki
• Rocznik: 1999
• Tom: R. 5, nr 10
• Strony: 41--67
• Opis fizyczny: Bibliogr. 44 poz.

Twórcy

autor

Kulesza R.

• Wojskowa Akademia Techniczna, ul. gen. Sylwestra Kaliskiego 2, 00 -908 Warszawa

Bibliografia

• [1] Bień Z., Analizy grafów przejścia, Prace IPI PAN (321), Warszawa, 1978.
• [2] Clarke L.A., Podgurski A., Richardson D.J., Zeil S.J., A comparison of data flow path selection criteria, in Proc. 8th Int. Conf. Software Eng. (London UK), Aug. 1985. Los Alamitos, CA: IEEE Computer Soc., 1985, pp 244-251.
• [3] DeMillo R.A., Offutt A.J., Constraint-Based Automatic Test Data Generation, IEEE Trans. Software Eng., vol. 17, no. 9, Sept. 1991.
• [4] DeMillo R.A., Spafford E.H., The Mothra software testing environment, in Proc 11th NASA Software Eng Lab. Workshop, Goddard Space Ctr., Dec. 1986.
• [5] Denning P.J., Structuring operating systems for reliability, in Infotech State of the Art Report no. 20, Computer System Reliability, Infotech, Maindenhead, 1974.
• [6] Dijkstra E.W., Notes on structured programming, in Structured programming, Eds. E.W. Dijkstra, O J. Dahl, C A R. Hoare, London, Academic Press, 1972, pp 1-82
• [7] Ehrig H., Nagi M., Rosenberg G., Rosenfeld A., Graph - Grammars and their Application to Computer Science, Leet Not. Comp. Sci. 291, 1987.
• [8] Ejsmund J., Podział grafu programu na bloki, Prace CO PAN (118), Warszawa, 1973.
• [9] Evangelist W.M., Software complexity metric sensitivity to program structuring rules, J. Syst. Software, vol.3, pp. 231-243, 1983.
• [10] Fenton N.E., Whitty R.W., Axiomatic approach to software metrication through program decomposition, Comput. J., vol. 29, no. 4, pp. 330-339, 1986.
• [11] Grabska E., Some Properties of CP-net Concatenation, Fourth International Workshop on Graph Grammars and their Application to Computer Science, Proceedings, Bremen, 1990.
• [12] Grabska E., Hliniak G., Lembas J., Zastosowanie grafów kompozycyjnych do konstrukcji strukturalnego edytora graficznego, Informatyka, 10/1990.
• [13] Gries D., The Science of Programming, (przekł. ros.: "Nauka programirowanija", lzd. "MIR", Moskwa, 1984).
• [14] Harry F., New Directions in the Theory of Graphs, New York and London, Academic Press, 1973, pp. 153-163.
• [15] Harary F., Norman R.Z., Cartaright D., Structural Models: An information to the Theory of Directed Graphs, New York, 1965.
• [16] Harary F., Palmer E., Graphical Enumeration, New York and London, Academic Press, 1973, (przekł. ros.: "Piereczislenije grafów", Izd. "MIR", Moskwa, 1977).
• [17] Harrison W., Magel K.I., Kluczny R., Dekock A., Applying software complexity metrics to program maintenance, Computer, vol 15, no. 9, pp. 65-79, 1982.
• [18] Howden W.E., Reliability of the path analysis testing strategy, IEEE Trans. Software Eng., vol. SE-2, pp. 208- 215, Sept. 1976.
• [19] Huang J.C., An approach to program testing, ACM Comput. Surveys, vol.7, no 3, pp 113-128, Sept. 1975.
• [20] Irlik J., Częściowa strukturalizaeja schematów blokowych. Prace CO PAN (202), Warszawa, 1975.
• [21] Jayaprakash S., Lakshmanan K.B., Sinha P.K., MEBOW: a comprehensive measure of control flow complexity, in Proc. COMPSAC'87 (Tokyo, Japan), Oct. 7-9, 1987, pp. 238-244
• [22] Katkow W.L., Szimarow W.A., Staticzeskij analiz programmy s pomoszczju jejo uprawliajuszczego grafa, US i M, no.2 (82).
• [23] Kopetz H., Niezawodność oprogramowania, Warszawa, WNT, 1980.
• [24] Korzan B., Elementy teorii grafów i sieci, Warszawa, WNT, 1978.
• [25] Kulesza R., Metoda wyznaczenia liczby blokowych digrafów strukturalnych określonego rzędu, Postępy Cybernetyki, z. 1-2, Wydawnictwo PAN, Warszawa, 1993.
• [26] Kulesza R., Metoda wyznaczenia liczby blokowych digrafów strukturalnych określonego wymiaru, Postępy Cybernetyki, z. 1-2, Wydawnictwo PAN, Warszawa, 1993.
• [27] Kulesza R., Metoda wyznaczenia liczby blokowych digrafów strukturalnych określonego stopnia i rzędu. Postępy Cybernetyki, z. 3, Wydawnictwo PAN, Warszawa, 1993.
• [28] Kulesza R., Metoda wyznaczenia liczby blokowych digrafów strukturalnych określonego stopnia i wymiaru. Postępy Cybernetyki, z. 3, Wydawnictwo PAN, Warszawa, 1993.
• [29] Kulikowski J.L., Zarys teorii grafów, PWN, Warszawa, 1986.
• [30] Lakshmanan K.B., Jayaprakash S., Sinha P.K., Properties of Control Measures, IEEE Trans. Software Eng., vol. 17, pp. 1289-1295, Dec. 1991.
• [31] McCabe T.J., A complexity measure, IEEE Trans. Software Eng., vol. SE-2, no. 4, pp. 308-320, 1976.
• [32] Mills H D., Mathematical foundations of structured programming, IBM Report FSC-72-6012, Federal Systems Division, IBM, Gaithersburg, Meryland, 1972.
• [33] Morell L.J., Theoretical insights into fault-based testing, in Proc. 2nd Workshop on Software Testing, Verification, and Analysis (Banff, AB, Can.), July 1988. Los Alamitos, CA: IEEE Computer Soc., 1988, pp. 45-62.
• [34] Myers G.J., An extension to the cyclomatic measure of program complexity, ACM SIGPLAN Notices, vol. 12, no. 10, pp. 61-64, 1977.
• [35] Myers G.J., The Art of Software Testing, New York, Wiley, 1979.
• [36] Nejmeh B.A., NPATH: a measure of execution path complexity and its applications, Commun. ACM, vol. 31, no. 2, pp 188-200, 1988.
• [37] Ntafos S., Hakimi S., On Structured Digraphs and Program Testing, IEEE Trans. on Comp., vol, C-30, Jan. 1981.
• [38] Ntafos S., A comparison of some structural testing strategies, IEEE Trans. Software Eng., vol. 14, Sept. 1988.
• [39] Offutt A.J., An integrated system for automatically generating test data, in Proc. 1990 Conf. Systems Integration (Morristown, NJ), Apr.1990. Los Alamitos, CA: IEEE Computer Soc., 1990, pp. 694-701.
• [40] Oviedo E.I., Control flow, data flow and program complexity, in Proc. COMPSAC’80 (Chicago, IL), Oct. 27-31, 1980, pp. 146-152.
• [41] Ramamoorthy C.V., Ho S.F., Chen W.T., On the automated generation of program test data, IEEE Trans. Software Eng , vol. SE-2, pp. 293-300, Dec.1976.
• [42] Sinha P.K , Jayaprakash S., Lakshmanan K.B., A new look at the control flow complexity of computer programs, in Software Engineering’86, D.J. Barens, P.J. Brown, Eds. London: Peter Peregrinus Ltd, 1986, pp 88-102.
• [43] Stevens W.P., Myers G.J., Constantine L.L., Structured design, IBM System J., 1974, pp. 115-139.
• [44] Weyuker E.J., Evaluating software complexity measures, IEEE Trans. Software Eng., vol. 14, pp. 1357-1365, Sept. 1988.