SOFIA: Um Sistema de Suporte para as Inspeções de Software

• Thiago Krug UFSM
• Juliano Pires UNIPAMPA
• Vitor dos Santos UNIPAMPA
• João Pablo da Silva UNIPAMPA

Resumo

A inspeção de software é uma prática importante de engenharia de software para detecção preliminar de defeitos, porém, a sua adoção ainda enfrenta resistência, pois é difícil relacionar o esforço despendido com o ganho na qualidade do produto. Para dar apoio ao processo de inspeção, apresenta-se neste trabalho o SOFIA, um sistema de suporte para inspeções de software. O SOFIA provê suporte para execução de todo o ciclo de vida de uma inspeção. Além disso, ele possui agentes de software que automatizam as tarefas durante o processo de inspeção, o SOFIA é capaz de apoiar a execução de inspeções de software, indicando potencial para otimizar a realização de inspeções e, por consequência, aumentar a produtividade das equipes.

Referências

[Bellifemine et al. 2007] Bellifemine, F. L., Caire, G., and Greenwood, D. (2007). Develo- ping multi-agent systems with JADE, volume 7. John Wiley & Sons.

[Bresciani et al. 2004] Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., and Mylopoulos, J. (2004). Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems, 8(3):203–236.

[da Silva et al. 2013] da Silva, J. P. S., Dall’Oglio, P., da Silva Pinto, S. C. C., and Bittencourt, I. I. (2013). Um sistema para inspeções de garantia da qualidade baseado em ontologias e agentes. Revista de Informática Teórica e Aplicada, VIII(1):1–18.

[Denger and Shull 2007] Denger, C. and Shull, F. (2007). A practical approach for quality-driven inspections. IEEE Software, 24(2):79–86.

[Fagan 1986] Fagan, M. E. (1986). Advances in software inspections. IEEE Transactions on Software Engineering, 12(7):744–751.

[IEEE 2008] IEEE, I. C. S. (2008). IEEE 1028: Standard for Software Reviews and Audits.

[Lee and Wang 2009] Lee, C.-S. and Wang, M.-H. (2009). Ontology-based computational intelligent multi-agent and its application to cmmi assessment. Applied Intelligence, 30(3):203–219.

[Liu et al. 2012] Liu, S., Chen, Y., Nagoya, F., and McDermid, J. A. (2012). Formal specification-based inspection for verification of programs. IEEE Transactions on Software Engineering, 38(5):1100–1122.

[Lucia et al. 2011] Lucia, A. D., Fasano, F., Scanniello, G., and Tortora, G. (2011). Improving artefact quality management in advanced artefact management system with distributed inspection. IET Software, 5(6):510–527.

[Mishra and Mishra 2009] Mishra, D. and Mishra, A. (2009). Simplified software inspection process in compliance with international standards. Computer Standards & Interfaces, 31(4):763–771.

[Mishra and Mishra 2012] Mishra, D. and Mishra, A. (2012). A global software inspection process for distributed software development. Journal UCS, 18(19):2731–2746.

[Pressman 2009] Pressman, R. S. (2009). Software Engineering: A Proactitioner’s Approach. McGraw-Hill, New York, NY, USA, 7 edition.

[Russell and Norvig 2009] Russell, S. and Norvig, P. (2009). Artificial Intelligence: A Modern Approach. Prentice Hall Press, Upper Saddle River, NJ, USA, 3rd edition.

[Sommerville 2010] Sommerville, I. (2010). Softwware Engineering. Addison-Wesley, Boston, MA, USA, 9 edition.

[Wang and Lee 2008] Wang, M.-H. and Lee, C.-S. (2008). An intelligent ppqa web services for cmmi assessment. In International Conference on Intelligent Systems Design and Applications, volume 1, pages 229–234.

[Wooldridge and Jennings 1995] Wooldridge, M. and Jennings, N. R. (1995). Agent theories, architectures, and languages: a survey. In Intelligent agents, pages 1–39. Springer Berlin Heidelberg, Berlin.